Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/macis:"
download as .bib file
@proceedings{DBLP:conf/macis/2019,
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43120-4},
doi = {10.1007/978-3-030-43120-4},
isbn = {978-3-030-43119-8},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Ablinger19,
author = {Jakob Ablinger},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Proving Two Conjectural Series for {\(\zeta\)} {(7)} and Discovering
More Series for {\(\zeta\)} {(7)}},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {42--47},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_5},
doi = {10.1007/978-3-030-43120-4\_5},
timestamp = {Thu, 19 Mar 2020 11:24:46 +0100},
biburl = {https://dblp.org/rec/conf/macis/Ablinger19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AkogluS19,
author = {Tulay Ayyildiz Akoglu and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Certified Hermite Matrices from Approximate Roots - Univariate Case},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {3--9},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_1},
doi = {10.1007/978-3-030-43120-4\_1},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/AkogluS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AlexanderssonR19,
author = {Per Alexandersson and
Petter Restadh},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {LaserTank is NP-Complete},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {333--338},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_26},
doi = {10.1007/978-3-030-43120-4\_26},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/AlexanderssonR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AlnajjarineL19,
author = {Nour Alnajjarine and
Michel Lavrauw},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Determining the Rank of Tensors in {\textdollar}{\textbackslash}mathbb
\{F\}{\_}q2{\textbackslash}otimes {\textbackslash}mathbb \{F\}{\_}q3{\textbackslash}otimes
{\textbackslash}mathbb \{F\}{\_}q3{\textdollar}},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {288--294},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_22},
doi = {10.1007/978-3-030-43120-4\_22},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/AlnajjarineL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Borges-Quintana19,
author = {Mijail Borges{-}Quintana and
Miguel Angel Borges{-}Trenard and
Edgar Mart{\'{\i}}nez{-}Moro and
Gustavo Torres{-}Guerrero},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Computing an Invariant of a Linear Code},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {218--233},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_17},
doi = {10.1007/978-3-030-43120-4\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Borges-Quintana19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BuyukcolakGO19,
author = {Yasemin B{\"{u}}y{\"{u}}k{\c{c}}olak and
Didem G{\"{o}}z{\"{u}}pek and
Sibel {\"{O}}zkan},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Edge-Critical Equimatchable Bipartite Graphs},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {280--287},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_21},
doi = {10.1007/978-3-030-43120-4\_21},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BuyukcolakGO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/CarliniAG19,
author = {Luca Carlini and
Nihat Ay and
Christiane G{\"{o}}rgen},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {A Numerical Efficiency Analysis of a Common Ancestor Condition},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {357--363},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_28},
doi = {10.1007/978-3-030-43120-4\_28},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/CarliniAG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/CelikJMSV19,
author = {T{\"{u}}rk{\"{u}} {\"{O}}zl{\"{u}}m {\c{C}}elik and
Asgar Jamneshan and
Guido Mont{\'{u}}far and
Bernd Sturmfels and
Lorenzo Venturello},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Optimal Transport to a Variety},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {364--381},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_29},
doi = {10.1007/978-3-030-43120-4\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/CelikJMSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/CoutoMLJC19,
author = {Ana C. Camargos Couto and
Marc Moreno Maza and
David Linder and
David J. Jeffrey and
Robert M. Corless},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Comprehensive {LU} Factors of Polynomial Matrices},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {80--88},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_8},
doi = {10.1007/978-3-030-43120-4\_8},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/CoutoMLJC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DiattaMP19,
author = {S{\'{e}}ny Diatta and
Guillaume Moroz and
Marc Pouget},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Reliable Computation of the Singularities of the Projection in {\(\mathbb{R}\)}\({}^{\mbox{3}}\)
of a Generic Surface of {\(\mathbb{R}\)}\({}^{\mbox{4}}\)},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {16--34},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_3},
doi = {10.1007/978-3-030-43120-4\_3},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/DiattaMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DramnescJ19,
author = {Isabela Dramnesc and
Tudor Jebelean},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Automatic Synthesis of Merging and Inserting Algorithms on Binary
Trees Using Multisets in Theorema},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {153--168},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_13},
doi = {10.1007/978-3-030-43120-4\_13},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/DramnescJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/EsirciB19,
author = {Fatma Nur Esirci and
Alp Arslan Bayrakci},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Acceleration of Spatial Correlation Based Hardware Trojan Detection
Using Shared Grids Ratio},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {187--201},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_15},
doi = {10.1007/978-3-030-43120-4\_15},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/EsirciB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FlorescuE19,
author = {Dorian Florescu and
Matthew England},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Improved Cross-Validation for Classifiers that Make Algorithmic Choices
to Minimise Runtime Without Compromising Output Correctness},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {341--356},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_27},
doi = {10.1007/978-3-030-43120-4\_27},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/FlorescuE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HuangN19,
author = {Bo Huang and
Wei Niu},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical
Systems},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {169--184},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_14},
doi = {10.1007/978-3-030-43120-4\_14},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/HuangN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ImbachP19,
author = {R{\'{e}}mi Imbach and
Victor Y. Pan},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {New Practical Advances in Polynomial Root Clustering},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {122--137},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_11},
doi = {10.1007/978-3-030-43120-4\_11},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/ImbachP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/IsikO19,
author = {Sahin Isik and
Kemal {\"{O}}zkan},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Common Vector Approach Based Image Gradients Computation for Edge
Detection},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {408--421},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_32},
doi = {10.1007/978-3-030-43120-4\_32},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/IsikO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/IslamMK19,
author = {Muhammad Zubair Islam and
Kashif Mehmood and
Hyung Seok Kim},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Reinforcement Learning Based Interactive Agent for Personalized Mathematical
Skill Enhancement},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {395--407},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_31},
doi = {10.1007/978-3-030-43120-4\_31},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/IslamMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Jimenez-Pastor19,
author = {Antonio Jim{\'{e}}nez{-}Pastor},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {DD-Finite Functions Implemented in Sage},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {457--462},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_36},
doi = {10.1007/978-3-030-43120-4\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Jimenez-Pastor19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KettafY19,
author = {Chahrazed Kettaf and
Abderrahmane Yousfate},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Authorship Attribution by Functional Discriminant Analysis},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {438--449},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_34},
doi = {10.1007/978-3-030-43120-4\_34},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/KettafY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LedouxM19,
author = {Viviane Ledoux and
Guillaume Moroz},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Evaluation of Chebyshev Polynomials on Intervals and Application to
Root Finding},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {35--41},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_4},
doi = {10.1007/978-3-030-43120-4\_4},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/LedouxM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Levin19,
author = {Alexander B. Levin},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Hilbert-Type Dimension Polynomials of Intermediate Difference-Differential
Field Extensions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {64--79},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_7},
doi = {10.1007/978-3-030-43120-4\_7},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Levin19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LuanP19,
author = {Qi Luan and
Victor Y. Pan},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {{CUR} {LRA} at Sublinear Cost Based on Volume Maximization},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {105--121},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_10},
doi = {10.1007/978-3-030-43120-4\_10},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/LuanP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Mantzaflaris19,
author = {Angelos Mantzaflaris},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {An Overview of Geometry Plus Simulation Modules},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {453--456},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_35},
doi = {10.1007/978-3-030-43120-4\_35},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Mantzaflaris19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MehtaS19,
author = {Sanyam Mehta and
Vishal Saraswat},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Generalized Secret Sharing Schemes Using N\({}^{\mbox{{\(\mu\)}}}\)MDS
Codes},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {234--248},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_18},
doi = {10.1007/978-3-030-43120-4\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/MehtaS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MokhtariMMF19,
author = {Bilal Mokhtari and
Kamal Eddine Melkemi and
Dominique Michelucci and
Sebti Foufou},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Optimizing Query Perturbations to Enhance Shape Retrieval},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {422--437},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_33},
doi = {10.1007/978-3-030-43120-4\_33},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/MokhtariMMF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MouL19,
author = {Chenqi Mou and
Jiahua Lai},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {On the Chordality of Simple Decomposition in Top-Down Style},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {138--152},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_12},
doi = {10.1007/978-3-030-43120-4\_12},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/MouL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/NabeshimaT19,
author = {Katsusuke Nabeshima and
Shinichi Tajima},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Generalized Integral Dependence Relations},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {48--63},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_6},
doi = {10.1007/978-3-030-43120-4\_6},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/NabeshimaT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/PanLSZ19,
author = {Victor Y. Pan and
Qi Luan and
John Svadlenka and
Liang Zhao},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Sublinear Cost Low Rank Approximation via Subspace Sampling},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {89--104},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_9},
doi = {10.1007/978-3-030-43120-4\_9},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/PanLSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/SatoSFN19,
author = {Yosuke Sato and
Hiroshi Sekigawa and
Ryoya Fukasaku and
Katsusuke Nabeshima},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {On Parametric Border Bases},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {10--15},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_2},
doi = {10.1007/978-3-030-43120-4\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/SatoSFN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/SevimGO19,
author = {Taha Sevim and
Muhammet Sel{\c{c}}uk G{\"{u}}vel and
Lale {\"{O}}zkahya},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {A Fast Counting Method for 6-Motifs with Low Connectivity},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {324--332},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_25},
doi = {10.1007/978-3-030-43120-4\_25},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/SevimGO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/TarsissiV19,
author = {Lama Tarsissi and
Laurent Vuillon},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Second Order Balance Property on Christoffel Words},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {295--312},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_23},
doi = {10.1007/978-3-030-43120-4\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/TarsissiV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/UluC19,
author = {Metin Evrim Ulu and
Murat Cenk},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {A Parallel {GPU} Implementation of {SWIFFTX}},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {202--217},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_16},
doi = {10.1007/978-3-030-43120-4\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/UluC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Uncu19,
author = {Ali Kemal Uncu},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {On a Weighted Spin of the Lebesgue Identity},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {273--279},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_20},
doi = {10.1007/978-3-030-43120-4\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Uncu19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/WagnerKS19,
author = {Michael Wagner and
Ludwig Kampel and
Dimitris E. Simos},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {{IPO-Q:} {A} Quantum-Inspired Approach to the {IPO} Strategy Used
in {CA} Generation},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {313--323},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_24},
doi = {10.1007/978-3-030-43120-4\_24},
timestamp = {Thu, 26 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/WagnerKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Yildirim19,
author = {Hamdi Murat Yildirim},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {Exploiting Linearity of Modular Multiplication},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {249--269},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_19},
doi = {10.1007/978-3-030-43120-4\_19},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Yildirim19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ZhangXSLY19,
author = {Haoliang Zhang and
Hongbo Xu and
Jinqiao Shi and
Tingwen Liu and
Jing Ya},
editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
title = {{SFV-CNN:} Deep Text Sentiment Classification with Scenario Feature
Representation},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11989},
pages = {382--394},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43120-4\_30},
doi = {10.1007/978-3-030-43120-4\_30},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/ZhangXSLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BatesBHSW17,
author = {Daniel J. Bates and
Daniel A. Brake and
Jonathan D. Hauenstein and
Andrew J. Sommese and
Charles W. Wampler},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Homotopies for Connected Components of Algebraic Sets with Application
to Computing Critical Sets},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {107--120},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_8},
doi = {10.1007/978-3-319-72453-9\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/BatesBHSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BlazejSV17,
author = {V{\'{a}}clav Blazej and
Ondrej Such{\'{y}} and
Tom{\'{a}}s Valla},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {333--348},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_28},
doi = {10.1007/978-3-319-72453-9\_28},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/BlazejSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BlomerL17,
author = {Johannes Bl{\"{o}}mer and
Gennadij Liske},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Subtleties in Security Definitions for Predicate Encryption with Public
Index},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {438--453},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_35},
doi = {10.1007/978-3-319-72453-9\_35},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/BlomerL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/CorlessMT17,
author = {Robert M. Corless and
Marc Moreno Maza and
Steven E. Thornton},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Jordan Canonical Form with Parameters from Frobenius Form with Parameters},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {179--194},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_13},
doi = {10.1007/978-3-319-72453-9\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/CorlessMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Dahan17,
author = {Xavier Dahan},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {On the Bit-Size of Non-radical Triangular Sets},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {264--269},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_19},
doi = {10.1007/978-3-319-72453-9\_19},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Dahan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DavenportE17,
author = {James H. Davenport and
Matthew England},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {The Potential and Challenges of {CAD} with Equational Constraints
for SC-Square},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {280--285},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_22},
doi = {10.1007/978-3-319-72453-9\_22},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/DavenportE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DoTV17,
author = {Phan{-}Thuan Do and
Thi Thu Huong Tran and
Vincent Vajnovszki},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Right-Justified Characterization for Generating Regular Pattern Avoiding
Permutations},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {306--319},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_25},
doi = {10.1007/978-3-319-72453-9\_25},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/DoTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Dobrowolski17,
author = {Tomasz Dobrowolski},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Improving Enclosure of Interval Scalar Projection Operation},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {137--146},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_10},
doi = {10.1007/978-3-319-72453-9\_10},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Dobrowolski17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FisikopoulosZ17,
author = {Vissarion Fisikopoulos and
Zafeirakis Zafeirakopoulos},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Experimental Study of the Ehrhart Interpolation Polytope},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {320--324},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_26},
doi = {10.1007/978-3-319-72453-9\_26},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/FisikopoulosZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FotiadisK17,
author = {Georgios Fotiadis and
Elisavet Konstantinou},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely
Simple Jacobians},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {409--424},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_33},
doi = {10.1007/978-3-319-72453-9\_33},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/FotiadisK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FukasakuS17,
author = {Ryoya Fukasaku and
Yosuke Sato},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {On Real Roots Counting for Non-radical Parametric Ideals},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {258--263},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_18},
doi = {10.1007/978-3-319-72453-9\_18},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/FukasakuS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HarmouchMK17,
author = {Jouhayna Harmouch and
Bernard Mourrain and
Houssam Khalil},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Decomposition of Low Rank Multi-symmetric Tensor},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {51--66},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_4},
doi = {10.1007/978-3-319-72453-9\_4},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/HarmouchMK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Hauenstein17,
author = {Jonathan D. Hauenstein},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Certification Using Newton-Invariant Subspaces},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {34--50},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_3},
doi = {10.1007/978-3-319-72453-9\_3},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Hauenstein17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Hoeven17,
author = {Joris van der Hoeven},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Fast Chinese Remaindering in Practice},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {95--106},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_7},
doi = {10.1007/978-3-319-72453-9\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Hoeven17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HoevenLL17,
author = {Joris van der Hoeven and
Robin Larrieu and
Gr{\'{e}}goire Lecerf},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Implementing Fast Carryless Multiplication},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {121--136},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_9},
doi = {10.1007/978-3-319-72453-9\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/HoevenLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HoevenM17,
author = {Joris van der Hoeven and
Bernard Mourrain},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Efficient Certification of Numeric Solutions to Eigenproblems},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {81--94},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_6},
doi = {10.1007/978-3-319-72453-9\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/HoevenM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HoracekB0K17,
author = {Jan Hor{\'{a}}cek and
Jan Burchard and
Bernd Becker and
Martin Kreuzer},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Integrating Algebraic and {SAT} Solvers},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {147--162},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_11},
doi = {10.1007/978-3-319-72453-9\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/HoracekB0K17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HuangG17,
author = {Qiao{-}Long Huang and
Xiao{-}Shan Gao},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Sparse Rational Function Interpolation with Finitely Many Values for
the Coefficients},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {227--242},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_16},
doi = {10.1007/978-3-319-72453-9\_16},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/HuangG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/JeffreyM17,
author = {David J. Jeffrey and
Nick Murdoch},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Stirling Numbers, Lambert {W} and the Gamma Function},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {275--279},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_21},
doi = {10.1007/978-3-319-72453-9\_21},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/JeffreyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/JungnickelMTW17,
author = {Dieter Jungnickel and
Spyros S. Magliveras and
Vladimir D. Tonchev and
Alfred Wassermann},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {On Classifying Steiner Triple Systems by Their 3-Rank},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {295--305},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_24},
doi = {10.1007/978-3-319-72453-9\_24},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/JungnickelMTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KafriJC17,
author = {Heba al Kafri and
David J. Jeffrey and
Robert M. Corless},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Rapidly Convergent Integrals and Function Evaluation},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {270--274},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_20},
doi = {10.1007/978-3-319-72453-9\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/KafriJC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KaliszykP17,
author = {Cezary Kaliszyk and
Karol Pak},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Isabelle Formalization of Set Theoretic Structures and Set Comprehensions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {163--178},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_12},
doi = {10.1007/978-3-319-72453-9\_12},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/KaliszykP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KoglerT17,
author = {Alexander Kogler and
Patrick Traxler},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Parallel and Robust Empirical Risk Minimization via the Median Trick},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {378--391},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_31},
doi = {10.1007/978-3-319-72453-9\_31},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/KoglerT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KohlhaseFMPRTVW17,
author = {Michael Kohlhase and
Luca De Feo and
Dennis M{\"{u}}ller and
Markus Pfeiffer and
Florian Rabe and
Nicolas M. Thi{\'{e}}ry and
Victor Vasilyev and
Tom Wiesing},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Knowledge-Based Interoperability for Mathematical Software Systems},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {195--210},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_14},
doi = {10.1007/978-3-319-72453-9\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/KohlhaseFMPRTVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KrcadinacP17,
author = {Vedran Krcadinac and
Mario{-}Osvin Pavcevic},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {New Small 4-Designs with Nonabelian Automorphism Groups},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {289--294},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_23},
doi = {10.1007/978-3-319-72453-9\_23},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/KrcadinacP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KunduM17,
author = {Ritu Kundu and
Toktam Mahmoodi},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Mining Acute Stroke Patients' Data Using Supervised Machine Learning},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {364--377},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_30},
doi = {10.1007/978-3-319-72453-9\_30},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/KunduM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Levin17,
author = {Alexander B. Levin},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Dimension Quasi-polynomials of Inversive Difference Field Extensions
with Weighted Translations},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {67--80},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_5},
doi = {10.1007/978-3-319-72453-9\_5},
timestamp = {Tue, 09 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Levin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LisitsaV17,
author = {Alexei Lisitsa and
Alexei Vernitski},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Automated Reasoning for Knot Semigroups and {\textbackslash}pi {\(\pi\)}
-orbifold Groups of Knots},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {3--18},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_1},
doi = {10.1007/978-3-319-72453-9\_1},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/LisitsaV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LorekKZ17,
author = {Pawel Lorek and
Michal Kulis and
Filip Zag{\'{o}}rski},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Leakage-Resilient Riffle Shuffle},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {395--408},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_32},
doi = {10.1007/978-3-319-72453-9\_32},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/LorekKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LorekSZ17,
author = {Pawel Lorek and
Marcin Slowik and
Filip Zag{\'{o}}rski},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Statistical Testing of {PRNG:} Generalized Gambler's Ruin Problem},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {425--437},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_34},
doi = {10.1007/978-3-319-72453-9\_34},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/LorekSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Miyazaki17,
author = {Takunari Miyazaki},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {325--329},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_27},
doi = {10.1007/978-3-319-72453-9\_27},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Miyazaki17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ParpoulaKL17,
author = {Christina Parpoula and
Alex Karagrigoriou and
Angeliki Lambrou},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Epidemic Intelligence Statistical Modelling for Biosurveillance},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {349--363},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_29},
doi = {10.1007/978-3-319-72453-9\_29},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/ParpoulaKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Persichetti17,
author = {Edoardo Persichetti},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Code-Based Key Encapsulation from McEliece's Cryptosystem},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {454--459},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_36},
doi = {10.1007/978-3-319-72453-9\_36},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/Persichetti17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/SchirraW17,
author = {Stefan Schirra and
Martin Wilhelm},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {On Interval Methods with Zero Rewriting and Exact Geometric Computation},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {211--226},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_15},
doi = {10.1007/978-3-319-72453-9\_15},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/SchirraW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/WiesingKR17,
author = {Tom Wiesing and
Michael Kohlhase and
Florian Rabe},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Virtual Theories - {A} Uniform Interface to Mathematical Knowledge
Bases},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {243--257},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_17},
doi = {10.1007/978-3-319-72453-9\_17},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/WiesingKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Wilhelm17,
author = {Martin Wilhelm},
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
pages = {19--33},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9\_2},
doi = {10.1007/978-3-319-72453-9\_2},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/macis/Wilhelm17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/macis/2017,
editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
title = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10693},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72453-9},
doi = {10.1007/978-3-319-72453-9},
isbn = {978-3-319-72452-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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-24 09:54 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:
