@inproceedings{26243, abstract = {{Operations on univariate dense polynomials—multiplication, division with remainder, multipoint evaluation—constitute central primitives entering as build-up blocks into many higher applications and algorithms. Fast Fourier Transform permits to accelerate them from naive quadratic to running time O(n·polylogn), that is softly linear in the degree n of the input. This is routinely employed in complexity theoretic considerations and, over integers and finite fields, in practical number theoretic calculations. The present work explores the benefit of fast polynomial arithmetic over the field of real numbers where the precision of approximation becomes crucial. To this end, we study the computability of the above operations in the sense of Recursive Analysis as an effective refinement of continuity. This theo- retical worst-case stability analysis is then complemented by an empirical evaluation: We use GMP and the iRRAM to find the precision required for the intermediate calculations in order to achieve a desired output accuracy.}}, author = {{Köhler, Sven and Ziegler, Martin}}, booktitle = {{Proc. 8th Conference on Real Numbers and Computers}}, pages = {{147--156}}, title = {{{On the Stability of Fast Polynomial Arithmetic}}}, year = {{2008}}, } @article{26255, abstract = {{We turn the physical Church-Turing Hypothesis from an ambiguous source of sensational speculations into a (collection of) sound and well-defined scientific problem(s): Examining recent controversies and causes for misunderstanding concerning the state of the Church- Turing Hypothesis (CTH), it is suggested to study the CTH ‘sharpened’ relative to an arbitrary but specific physical theory—rather than vaguely referring to “nature” in general. For this purpose we combine physical structuralism with computational complexity theory. The benefits of this approach are illustrated by some exemplary results on computability and complexity in computational physics.}}, author = {{Ziegler, Martin}}, journal = {{Applied Mathematics and Computation}}, title = {{{Physically-Relativized Church-Turing Hypotheses}}}, year = {{2008}}, } @inbook{26262, author = {{Ziegler, Martin}}, booktitle = {{Verhandlungen der Deutschen Physikalischen Gesellschaft}}, pages = {{145}}, publisher = {{Deutsche Physikalische Gesellschaft (DPG)}}, title = {{{A Meta-Theory of Physics and Computation}}}, year = {{2008}}, } @article{26280, author = {{Meer, Klaus and Ziegler, Martin}}, issn = {{0885-064X}}, journal = {{Journal of Complexity}}, pages = {{3--15}}, title = {{{An explicit solution to Post's Problem over the reals}}}, doi = {{10.1016/j.jco.2006.09.004}}, year = {{2008}}, } @book{2672, editor = {{Betz, Stefan}}, title = {{{Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}}}, year = {{2008}}, } @book{26729, editor = {{Hellmich, Frank}}, publisher = {{Klinkhardt}}, title = {{{Lehr-Lernforschung und Grundschulpädagogik}}}, year = {{2008}}, } @book{26730, editor = {{Hellmich, Frank and Köster, Hilde}}, publisher = {{Klinkhardt}}, title = {{{Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften}}}, year = {{2008}}, } @inbook{26765, author = {{Hellmich, Frank}}, booktitle = {{Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise}}, editor = {{Ramseger, Jörg and Wagener, Matthea}}, pages = {{195--198}}, publisher = {{VS Verlag für Sozialwissenschaften}}, title = {{{Bedingungen für erfolgreiche Leselernprozesse bei leistungsschwächeren Kindern}}}, volume = {{12}}, year = {{2008}}, } @inbook{26766, author = {{Hellmich, Frank and Sämisch, Markus }}, booktitle = {{Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise}}, editor = {{Ramseger, Jörg and Wagener, Matthea}}, pages = {{223--226}}, publisher = {{VS Verlag für Sozialwissenschaften}}, title = {{{Chancengleichheit im mathematischen Anfangsunterricht durch eine frühzeitige Diagnose mathematischer Vorläuferfähigkeiten}}}, volume = {{12}}, year = {{2008}}, } @article{26767, author = {{Hellmich, Frank}}, journal = {{Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich}}, pages = {{46--58}}, title = {{{Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit}}}, volume = {{2}}, year = {{2008}}, } @inbook{26768, author = {{Hellmich, Frank}}, booktitle = {{Lehr-Lernforschung und Grundschulpädagogik }}, editor = {{Hellmich, Frank}}, pages = {{46--75}}, publisher = {{Klinkhardt}}, title = {{{Empirische Bildungsforschung und Grundschulpädagogik}}}, year = {{2008}}, } @inbook{26769, author = {{Hellmich, Frank and Jahnke-Klein , Sylvia}}, booktitle = {{Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft}}, editor = {{Prengel, Annedore and Rendtorff, Barbara}}, pages = {{111--120}}, publisher = {{Barbara Budrich}}, title = {{{Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule}}}, year = {{2008}}, } @inbook{26771, author = {{Hellmich, Frank}}, booktitle = {{Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin}}, editor = {{Hofmann, Bernhard and Valtin, Renate}}, pages = {{172--182}}, publisher = {{Deutsche Gesellschaft für Lesen und Schreiben}}, title = {{{Individuelle und schulische Bedingungen im Leseunterricht der Grundschule}}}, year = {{2008}}, } @article{26772, author = {{Hellmich, Frank}}, journal = {{Sache - Wort - Zahl}}, pages = {{48--53}}, title = {{{"Ich mach` das so, wie machst du das eigentlich?" – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter}}}, volume = {{92}}, year = {{2008}}, } @inbook{26774, author = {{Hellmich, Frank and Jansen, Sven}}, booktitle = {{Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften}}, editor = {{Hellmich, Frank and Köster, Hilde}}, pages = {{59--81}}, publisher = {{Klinkhardt}}, title = {{{Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich}}}, year = {{2008}}, } @inbook{26776, author = {{Hellmich, Frank}}, booktitle = {{Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften }}, editor = {{Hellmich, Frank and Köster, Hilde}}, pages = {{83--102}}, publisher = {{Klinkhardt}}, title = {{{Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven}}}, year = {{2008}}, } @article{26891, author = {{Buyken, Anette and Karaolis-Danckert, Nadina and Remer, Thomas}}, issn = {{0002-9165}}, journal = {{The American Journal of Clinical Nutrition}}, pages = {{221--230}}, title = {{{Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers}}}, doi = {{10.3945/ajcn.2008.26733}}, year = {{2008}}, } @article{26892, author = {{Libuda, Lars and Alexy, Ute and Buyken, Anette and Sichert-Hellert, Wolfgang and Stehle, Peter and Kersting, Mathilde}}, issn = {{0007-1145}}, journal = {{British Journal of Nutrition}}, title = {{{Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents}}}, doi = {{10.1017/s0007114508094671}}, year = {{2008}}, } @article{3203, author = {{Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{255----264}}, title = {{{Refinement in the Presence of Unknowns}}}, doi = {{10.1016/j.entcs.2008.02.023}}, year = {{2008}}, } @article{3204, author = {{Estler, H.{-}Christian and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{331----357}}, title = {{{Alloy as a Refactoring Checker?}}}, doi = {{10.1016/j.entcs.2008.06.015}}, year = {{2008}}, }