TY - CHAP A1 - Meer, Klaus A1 - Baartse, Martijn ED - Hirsch, Edward ED - Kuznetsov, Sergei O. ED - Pin, Jean-Éric ED - Vereshchagin, Nikolay T1 - Testing Low Degree Trigonometric Polynomials T2 - Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014, Proceedings Y1 - 2014 UR - http://www.springer.com/de/book/9783319066851 SN - 978-3-319-06685-1 U6 - https://doi.org/10.1007/978-3-319-06686-8 SP - 77 EP - 96 PB - Springer International Publishing CY - Berlin [u.a.] ER - TY - CHAP A1 - Meer, Klaus A1 - Naif, Ameen ED - Gopal, T. V. ED - Agrawal, Manindra ED - Li, Angsheng ED - Cooper, Stuart Barry T1 - Generalized Finite Automata over Real and Complex Numbers T2 - Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings Y1 - 2014 UR - http://www.springer.com/us/book/9783319060880 SN - 978-3-319-06088-0 U6 - https://doi.org/10.1007/978-3-319-06089-7 SP - 168 EP - 187 PB - Springer International Publishing CY - Berlin [u.a.] ER - TY - CHAP A1 - Meer, Klaus A1 - Baartse, Martijn T1 - An algebraic proof of the real number PCP theorem T2 - Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II Y1 - 2015 UR - http://www.springer.com/us/book/9783662480533 SN - 978-3-662-48053-3 U6 - https://doi.org/10.1007/978-3-662-48054-0 SP - 50 EP - 61 PB - Springer-Verlag CY - Berlin [u.a.] ER - TY - CHAP A1 - Makowsky, Janos A. A1 - Meer, Klaus ED - Clote, Peter ED - Schwichtenberg, Helmut T1 - On the complexity of combinatorial and metafinite generating functions T2 - Computer science logic, 14th international workshop, proceedings, CSL 2000, Fischbachau, Germany, August 21 - 26, 2000 Y1 - 2000 SN - 3-540-67895-6 SP - 399 EP - 410 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Makowsky, Janos A. A1 - Meer, Klaus T1 - Polynomials of bounded tree-width T2 - Formal Power Series and Algebraic Combinatorics, Proceedings of the 12th International Conference, FPSAC'00, Moscow, Russia, June 2000 Y1 - 2000 SN - 3-540-67247-8 SP - 692 EP - 703 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Meer, Klaus A1 - Naif, Ameen ED - Dediu, Adrian-Horia ED - Janoušek, Jan ED - Martín-Vide, Carlos ED - Truthe, Bianca T1 - Periodic Generalized Automata over the Reals T2 - Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings Y1 - 2016 UR - http://www.springer.com/de/book/9783319299990 SN - 978-3-319-29999-0 U6 - https://doi.org/10.1007/978-3-319-30000-9 SP - 168 EP - 180 PB - Springer International Publishing CY - Berlin [u.a.] ER - TY - CHAP A1 - Meer, Klaus A1 - Baartse, Martijn ED - Montaña, José Luis ED - Pardo, Luis Miguel T1 - Topics in Real and Complex Number Complexity Theory T2 - Recent Advances in Real Complexity and Computation Y1 - 2013 UR - http://bookstore.ams.org/conm-604?c=1 SN - 978-0-8218-9150-6 U6 - https://doi.org/10.1090/conm/604 SP - 1 EP - 53 PB - American Mathematical Society CY - Providence, RI ER - TY - CHAP A1 - Cucker, Felipe A1 - Meer, Klaus T1 - Logics which capture complexity classes over the reals T2 - Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25-29, 1997 Proceedings Y1 - 1997 SP - 398 EP - 407 PB - Springer CY - Heidelberg ER - TY - CHAP A1 - Grädel, Erich A1 - Meer, Klaus T1 - Descriptive Complexity Theory over the real numbers T2 - Proceedings of the 27th Annual ACM Symposium on Theory of Computing STOC, Las Vegas, 1995 Y1 - 1995 U6 - https://doi.org/10.1145/225058.225151 SP - 315 EP - 324 PB - ACM CY - New York, NY ER - TY - CHAP A1 - Meer, Klaus A1 - Schreiber, Harold T1 - Maßsynthese vier- sechs- und achtgliedriger ebener Kurbelgetriebe und ihre Anwendung im Kfz-Karosseriebau T2 - Kurvengetriebe, Koppelgetriebe, gesteuerte Antriebe, Problemlösungen in der Bewegungstechnik, Conference Veitshöchheim 26. and 27. September 2000, VDI-Getriebetagung 2000 Y1 - 2000 SN - 3-18-091567-6 SP - 277 EP - 297 PB - VDI Verlag CY - Düsseldorf ER - TY - CHAP A1 - Meer, Klaus T1 - On consistency and width notions for constraint programs with algebraic constraints T2 - Functional and logic programming, 6th international symposium, proceedings, FLOPS 2002, Aizu, Japan, September 15 - 17, 2002 Y1 - 2002 SN - 3-540-44233-2 SP - 88 EP - 102 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Meer, Klaus ED - Prívara, Igor ED - Ružička, Peter T1 - Counting problems over the reals T2 - Mathematical foundations of computer science 1997, 22nd international symposium, proceedings, MFCS '97, Bratislava, Slovakia, August 25 - 29, 1997 N2 - In this paper we introduce a complexity theoretic notion of counting problems over the real numbers. We follow the approaches of Blum, Shub, and Smale. Y1 - 1997 UR - http://www.springer.com/us/book/9783540634379?wt_mc=ThirdParty.SpringerLink.3.EPR653.About_eBook SN - 978-3-540-63437-9 U6 - https://doi.org/10.1007/BFb0029983 SP - 398 EP - 407 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Meer, Klaus ED - Dongarra, Jack T1 - On the Approximation of Interval Functions T2 - Applied Parallel Computing. State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers Y1 - 2004 SN - 978-3-540-29067-4 SP - 169 EP - 178 PB - Springer CY - Heidelberg [u.a.] ER - TY - CHAP A1 - Lickteig, Thomas A1 - Meer, Klaus A1 - Pardo, Luis Miguel T1 - Real Computation and Complexity, Dagstuhl seminar Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0030-drops-4994 UR - http://drops.dagstuhl.de/opus/volltexte/2006/499/ PB - Internationale Begegnungs- und Forschungszentrum für Informatik CY - Dagstuhl ER - TY - CHAP A1 - Meer, Klaus A1 - Baartse, Martijn T1 - The PCP theorem for NP over the reals T2 - 30th Symposium on Theoretical Aspects of Computer Science STACS , Kiel, 2013 Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0030-drops-39262 UR - http://drops.dagstuhl.de/opus/volltexte/2013/3926/ SP - 104 EP - 115 CY - Leibnitz ER - TY - CHAP A1 - Meer, Klaus T1 - Almost transparent short proof for NP? T2 - Extended abstract, Proceedings 18th International Symposium on Fundamentals of Computation Theory FCT 2011, Oslo, 2011 Y1 - 2011 SN - 978-3-642-22952-7 SP - 41 EP - 52 ER - TY - CHAP A1 - Meer, Klaus T1 - An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents Y1 - 2011 ER - TY - CHAP A1 - Koiran, Pascal A1 - Meer, Klaus T1 - On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width T2 - Graph-theoretic concepts in computer science, 34th international workshop, WG 2008, Durham, UK, June 30-July 2, 2008 Y1 - 2008 SN - 978-3-540-92247-6 SP - 252 EP - 263 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Flarup Hansen, Uffe A1 - Meer, Klaus T1 - Two logical hierarchies of optimization problems over the real numbers T2 - Mathematical Logic Quaterly Y1 - 2006 SN - 0942-5616 VL - 52 IS - 1 SP - 37 EP - 50 ER - TY - CHAP A1 - Meer, Klaus T1 - Transparent long proofs: A first PCP theorem for NP(R) T2 - Extended Abstract in 31st International Colloquium on Automata, Languages and Programming ICALP 2004, Turku Y1 - 2004 SN - 3-540-22849-7 SP - 959 EP - 970 PB - Springer CY - Berlin ER - TY - JOUR A1 - Meer, Klaus T1 - Syropoulos, Apostolos: Hypercomputation. Berlin : Springer, 2008 JF - AMS Mathematical Reviews Y1 - 2009 SN - 0025-5629 IS - 2009j ER - TY - BOOK A1 - Jongen, Hubertus Theodor A1 - Meer, Klaus A1 - Triesch, Eberhard T1 - Optimization Theory Y1 - 2004 SN - 978-1-402-08098-2 PB - Kluwer CY - Boston ER - TY - JOUR A1 - Meer, Klaus T1 - Blum, Lenore [u.a.]: Complexity and real computation. Berlin : Springer, 1998 JF - AMS Mathematical Reviews Y1 - 1999 SN - 0025-5629 IS - 99a SP - 509 EP - 600 ER -