Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/macis/macis2015.bht:"
download as .bib file
@proceedings{DBLP:conf/macis/2015,
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32859-1},
doi = {10.1007/978-3-319-32859-1},
isbn = {978-3-319-32858-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AmendolaDS15,
author = {Carlos Am{\'{e}}ndola and
Mathias Drton and
Bernd Sturmfels},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {579--590},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_49},
doi = {10.1007/978-3-319-32859-1\_49},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/AmendolaDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AnCW15,
author = {Wenya An and
Xiaoyu Chen and
Dongming Wang},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Searching for Geometric Theorems Using Features Retrieved from Diagrams},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {383--397},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_33},
doi = {10.1007/978-3-319-32859-1\_33},
timestamp = {Fri, 29 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/AnCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AronicaLMMMN15,
author = {Salvatore Aronica and
Alessio Langiu and
Francesca Marzi and
Salvatore Mazzola and
Filippo Mignosi and
Giulio Nazzicone},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Compressing Big Data: When the Rate of Convergence to the Entropy
Matters},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {285--289},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_24},
doi = {10.1007/978-3-319-32859-1\_24},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/AronicaLMMMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Batra15,
author = {Prashant Batra},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {On the Quality of Some Root-Bounds},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {591--595},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_50},
doi = {10.1007/978-3-319-32859-1\_50},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Batra15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BeyerLMK15,
author = {Andreas Beyer and
Yu Liu and
Hubert Mara and
Susanne Kr{\"{o}}mker},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine
Features},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {63--77},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_5},
doi = {10.1007/978-3-319-32859-1\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BeyerLMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BlomerJL15,
author = {Johannes Bl{\"{o}}mer and
Jakob Juhnke and
Nils L{\"{o}}ken},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Short Group Signatures with Distributed Traceability},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {166--180},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_14},
doi = {10.1007/978-3-319-32859-1\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BlomerJL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BohmDKR15,
author = {Janko B{\"{o}}hm and
Wolfram Decker and
Simon Keicher and
Yue Ren},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Current Challenges in Developing Open Source Computer Algebra Systems},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {3--24},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_1},
doi = {10.1007/978-3-319-32859-1\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BohmDKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BouaguelMM15,
author = {Waad Bouaguel and
Emna Mouelhi and
Ghazi Bel Mufti},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {New Method for Instance Feature Selection Using Redundant Features
for Biological Data},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {398--405},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_34},
doi = {10.1007/978-3-319-32859-1\_34},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BouaguelMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BournezGP15,
author = {Olivier Bournez and
Daniel Silva Gra{\c{c}}a and
Amaury Pouly},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Rigorous Numerical Computation of Polynomial Differential Equations
Over Unbounded Domains},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {469--473},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_40},
doi = {10.1007/978-3-319-32859-1\_40},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BournezGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BrakeBPM15,
author = {Daniel A. Brake and
Daniel J. Bates and
Vakhtang Putkaradze and
Anthony A. Maciejewski},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Workspace Multiplicity and Fault Tolerance of Cooperating Robots},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {109--123},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_8},
doi = {10.1007/978-3-319-32859-1\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BrakeBPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BrakeHS15,
author = {Daniel A. Brake and
Jonathan D. Hauenstein and
Andrew J. Sommese},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Numerical Local Irreducible Decomposition},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {124--129},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_9},
doi = {10.1007/978-3-319-32859-1\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BrakeHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BrausseKM15,
author = {Franz Brau{\ss}e and
Margarita Vladimirovna Korovina and
Norbert Th. M{\"{u}}ller},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Using Taylor Models in Exact Real Arithmetic},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {474--488},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_41},
doi = {10.1007/978-3-319-32859-1\_41},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BrausseKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BurgisserKLS15,
author = {Peter B{\"{u}}rgisser and
Kathl{\'{e}}n Kohn and
Pierre Lairez and
Bernd Sturmfels},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Computing the Chow Variety of Quadratic Space Curves},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {130--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_10},
doi = {10.1007/978-3-319-32859-1\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BurgisserKLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DaleoH15,
author = {Noah S. Daleo and
Jonathan D. Hauenstein},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Numerically Testing Generically Reduced Projective Schemes for the
Arithmetic Gorenstein Property},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {137--142},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_11},
doi = {10.1007/978-3-319-32859-1\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/DaleoH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DaykinMR15,
author = {Jacqueline W. Daykin and
Mirka Miller and
Joe Ryan},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Trends in Temporal Reasoning: Constraints, Graphs and Posets},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {290--304},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_25},
doi = {10.1007/978-3-319-32859-1\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/DaykinMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DumasDEPR15,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous and
Jean{-}Claude Reynaud},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Relative Hilbert-Post Completeness for Exceptions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {596--610},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_51},
doi = {10.1007/978-3-319-32859-1\_51},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/DumasDEPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FereeZ15,
author = {Hugo F{\'{e}}r{\'{e}}e and
Martin Ziegler},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {On the Computational Complexity of Positive Linear Functionals on
\emph{C}[0;1]},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {489--504},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_42},
doi = {10.1007/978-3-319-32859-1\_42},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/FereeZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FreitagL15,
author = {James Freitag and
Wei Li},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Simple Differential Field Extensions and Effective Bounds},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {343--357},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_29},
doi = {10.1007/978-3-319-32859-1\_29},
timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/FreitagL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FukasakuIS15,
author = {Ryoya Fukasaku and
Hidenao Iwane and
Yosuke Sato},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Improving a {CGS-QE} Algorithm},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {231--235},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_20},
doi = {10.1007/978-3-319-32859-1\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/FukasakuIS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/GiesenLM15,
author = {Joachim Giesen and
S{\"{o}}ren Laue and
Jens K. M{\"{u}}ller},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Reconstructing a Sparse Solution from a Compressed Support Vector
Machine},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {305--319},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_26},
doi = {10.1007/978-3-319-32859-1\_26},
timestamp = {Fri, 05 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/GiesenLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/GuntherK15,
author = {Peter G{\"{u}}nther and
Volker Krummel},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Implementing Cryptographic Pairings on Accumulator Based Smart Card
Architectures},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {151--165},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_13},
doi = {10.1007/978-3-319-32859-1\_13},
timestamp = {Sun, 27 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/GuntherK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/GustavsonS15,
author = {Richard Gustavson and
Omar Le{\'{o}}n S{\'{a}}nchez},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {A New Bound for the Existence of Differential Field Extensions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {358--361},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_30},
doi = {10.1007/978-3-319-32859-1\_30},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/GustavsonS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HambasanK15,
author = {Radu Hambasan and
Michael Kohlhase},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Faceted Search for Mathematics},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {406--420},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_35},
doi = {10.1007/978-3-319-32859-1\_35},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/HambasanK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Hoeven15,
author = {Joris van der Hoeven},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Certifying Trajectories of Dynamical Systems},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {520--532},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_44},
doi = {10.1007/978-3-319-32859-1\_44},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Hoeven15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ImbachMP15,
author = {R{\'{e}}mi Imbach and
Guillaume Moroz and
Marc Pouget},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Numeric and Certified Isolation of the Singularities of the Projection
of a Smooth Space Curve},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {78--92},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_6},
doi = {10.1007/978-3-319-32859-1\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/ImbachMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Jeannerod15,
author = {Claude{-}Pierre Jeannerod},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Exploiting Structure in Floating-Point Arithmetic},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {25--34},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_2},
doi = {10.1007/978-3-319-32859-1\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Jeannerod15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/JoswigLLS15,
author = {Michael Joswig and
Georg Loho and
Benjamin Lorenz and
Benjamin Schr{\"{o}}ter},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Linear Programs and Convex Hulls Over Fields of Puiseux Fractions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {429--445},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_37},
doi = {10.1007/978-3-319-32859-1\_37},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/JoswigLLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KinoshitaWN15,
author = {Takehiko Kinoshita and
Yoshitaka Watanabe and
Mitsuhiro T. Nakao},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {H\({}^{\mbox{3}}\) and H\({}^{\mbox{4}}\) Regularities of the Poisson
Equation on Polygonal Domains},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {199--201},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_16},
doi = {10.1007/978-3-319-32859-1\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/KinoshitaWN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KissKS15,
author = {{\'{A}}gnes Kiss and
Juliane Kr{\"{a}}mer and
Anke St{\"{u}}ber},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {On the Optimality of Differential Fault Analyses on {CLEFIA}},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {181--196},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_15},
doi = {10.1007/978-3-319-32859-1\_15},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/KissKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KobayashiIMA15,
author = {Munehiro Kobayashi and
Hidenao Iwane and
Takuya Matsuzaki and
Hirokazu Anai},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex
Formulas},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {236--251},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_21},
doi = {10.1007/978-3-319-32859-1\_21},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/KobayashiIMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KociumakaRW15,
author = {Tomasz Kociumaka and
Jakub Radoszewski and
Bartlomiej Wisniewski},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Subquadratic-Time Algorithms for Abelian Stringology Problems},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {320--334},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_27},
doi = {10.1007/978-3-319-32859-1\_27},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/KociumakaRW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Kutas15,
author = {P{\'{e}}ter Kutas},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Some Results Concerning the Explicit Isomorphism Problem over Number
Fields},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {143--148},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_12},
doi = {10.1007/978-3-319-32859-1\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Kutas15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Lange15,
author = {Marko Lange},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {A New Matrix Splitting Based Relaxation for the Quadratic Assignment
Problem},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {535--549},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_45},
doi = {10.1007/978-3-319-32859-1\_45},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Lange15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Levin15,
author = {Alexander B. Levin},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Dimension Polynomials of Intermediate Fields of Inversive Difference
Field Extensions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {362--376},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_31},
doi = {10.1007/978-3-319-32859-1\_31},
timestamp = {Tue, 09 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Levin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Li15,
author = {Hongbo Li},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Symbolic Geometric Reasoning with Advanced Invariant Algebras},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {35--49},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_3},
doi = {10.1007/978-3-319-32859-1\_3},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Li15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MonnetNC15,
author = {Dominique Monnet and
Jordan Ninin and
Benoit Clement},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Global Optimization of H\({}_{\mbox{{\(\infty\)}}}\) Problems: Application
to Robust Control Synthesis Under Structural Constraints},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {550--554},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_46},
doi = {10.1007/978-3-319-32859-1\_46},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/MonnetNC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Morig15,
author = {Marc M{\"{o}}rig},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Another Classroom Example of Robustness Problems in Planar Convex
Hull Computation},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {446--450},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_38},
doi = {10.1007/978-3-319-32859-1\_38},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Morig15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MorigS15,
author = {Marc M{\"{o}}rig and
Stefan Schirra},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Precision-Driven Computation in the Evaluation of Expression-Dags
with Common Subexpressions: Problems and Solutions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {451--465},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_39},
doi = {10.1007/978-3-319-32859-1\_39},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/MorigS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/NabeshimaT15,
author = {Katsusuke Nabeshima and
Shinichi Tajima},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Solving Extended Ideal Membership Problems in Rings of Convergent
Power Series via Gr{\"{o}}bner Bases},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {252--267},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_22},
doi = {10.1007/978-3-319-32859-1\_22},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/NabeshimaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Ninin15,
author = {Jordan Ninin},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Global Optimization Based on Contractor Programming: An Overview of
the {IBEX} Library},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {555--559},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_47},
doi = {10.1007/978-3-319-32859-1\_47},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Ninin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Okayama15,
author = {Tomoaki Okayama},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Explicit Error Bound for Modified Numerical Iterated Integration by
Means of Sinc Methods},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {202--217},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_17},
doi = {10.1007/978-3-319-32859-1\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Okayama15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Patil15,
author = {Bhagyesh V. Patil},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {The Bernstein Branch-and-Prune Algorithm for Constrained Global Optimization
of Multivariate Polynomial MINLPs},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {560--575},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_48},
doi = {10.1007/978-3-319-32859-1\_48},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Patil15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Pogudin15,
author = {Gleb Pogudin},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {A "Polynomial Shifting" Trick in Differential Algebra},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {377--379},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_32},
doi = {10.1007/978-3-319-32859-1\_32},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Pogudin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/QuedenfeldW15,
author = {Frank{-}M. Quedenfeld and
Christopher Wolf},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Advanced Algebraic Attack on Trivium},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {268--282},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_23},
doi = {10.1007/978-3-319-32859-1\_23},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/QuedenfeldW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Rote15,
author = {G{\"{u}}nter Rote},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Congruence Testing of Point Sets in Three and Four Dimensions - Results
and Techniques},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {50--59},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_4},
doi = {10.1007/978-3-319-32859-1\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Rote15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/SchroderSZ15,
author = {Matthias Schr{\"{o}}der and
Florian Steinberg and
Martin Ziegler},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Average-Case Bit-Complexity Theory of Real Functions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {505--519},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_43},
doi = {10.1007/978-3-319-32859-1\_43},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/SchroderSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ShiraiF15,
author = {Shizuka Shirai and
Tetsuo Fukui},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Evaluation of a Predictive Algorithm for Converting Linear Strings
to Mathematical Formulae for an Input Method},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {421--425},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_36},
doi = {10.1007/978-3-319-32859-1\_36},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/ShiraiF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Sidorov15,
author = {Sergei P. Sidorov},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Linear k-Monotonicity Preserving Algorithms and Their Approximation
Properties},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {93--106},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_7},
doi = {10.1007/978-3-319-32859-1\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Sidorov15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Stoykova15,
author = {Velislava Stoykova},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Using Statistical Search to Discover Semantic Relations of Political
Lexica - Evidences from Bulgarian-Slovak {EUROPARL} 7 Corpus},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {335--339},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_28},
doi = {10.1007/978-3-319-32859-1\_28},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Stoykova15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/TakayasuMKO15,
author = {Akitoshi Takayasu and
Makoto Mizuguchi and
Takayuki Kubo and
Shin'ichi Oishi},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Verified Computations for Solutions to Semilinear Parabolic Equations
Using the Evolution Operator},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {218--223},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_18},
doi = {10.1007/978-3-319-32859-1\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/TakayasuMKO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/WalterKK15,
author = {Rouven Walter and
Thore K{\"{u}}bart and
Wolfgang K{\"{u}}chlin},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Optimal Coverage in Automotive Configuration},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {611--626},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_52},
doi = {10.1007/978-3-319-32859-1\_52},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/WalterKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/YamanakaOO15,
author = {Naoya Yamanaka and
Tomoaki Okayama and
Shin'ichi Oishi},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Verified Error Bounds for the Real Gamma Function Using Double Exponential
Formula over Semi-infinite Interval},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {224--228},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_19},
doi = {10.1007/978-3-319-32859-1\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/YamanakaOO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-20 02:31 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
