TY - THES AU - Chang, Hua ID - 25848 TI - A Methodology for the Identification of Technology Indicators VL - 233 ER - TY - BOOK AU - Gehrke, Matthias AU - Giese, Holger AU - Stroop, Joachim ID - 25849 TI - Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems VL - 236 ER - TY - BOOK AU - Brökelmann, Michael ID - 25851 TI - Entwicklung einer Methodik zur Online-Qualitätsüberwachung des Ultraschall-Drahtbondprozesses mittels integrierter Mikrosensorik VL - 238 ER - TY - THES AU - Kettelhoit, Boris ID - 25852 TI - Architektur und Entwurf dynamisch rekonfigurierbarer FPGA-Systeme VL - 239 ER - TY - THES AU - Zambaldi, Martin ID - 25853 TI - Concepts for the development of a generic Multi-Level Test Bench covering different areas of applications VL - 240 ER - TY - GEN ED - Gausemeier, Jürgen ED - Grafe, Michael ID - 25865 TI - 8. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung VL - 252 ER - TY - JOUR AU - Karaolis-Danckert, N AU - Buyken, Anette AU - Kulig, M AU - Kroke, A AU - Forster, J AU - Kamin, W AU - Schuster, A AU - Hornberg, C AU - Keil, T AU - Bergmann, RL AU - Wahn, U AU - Lau, S ID - 25938 IS - 5 JF - Am J Clin Nutr SN - 0002-9165 TI - How pre- and postnatal risk factors modify the effect of rapid weight gain in infancy and early childhood on subsequent fat mass development: results from the Multicenter Allergy Study 90. VL - 87 ER - TY - CHAP AU - Betz, Stefan ED - Betz, Stefan ID - 2602 T2 - Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand TI - Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains ER - TY - CHAP AU - Betz, Stefan ED - Betz, Stefan ID - 2603 T2 - Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand TI - Analyse des Bullwhip-Effekts in einer Supply Chain von KMU ER - TY - JOUR AB - Modeling of particle deposition on adjacent walls is a key issue in various applications like separation or transport processes. The present paper focuses on the modeling of turbophoretic deposition of particles in the micron size range. The first step is to evaluate the important range where turbophoresis plays an important role in comparison to other mechanisms e.g. gravity or electrostatic separation. The disadvantages of commonly used models will be analyzed and overcome by implementing a more sophisticated approach considering damping of turbulent fluctuations in the wall-boundary layer. In contrast to previous work, commonly used turbulence models are applied to solve the mean flow field of the examples under consideration. The results will show a good prediction of particle deposition in comparison to experimental values [B.Y.H. Liu, J.K. Agarwal, Experimental observation of aerosol deposition in turbulent flow, Aerosol. Sci. 5 (1974) 145–155.] by using the advanced model. AU - Horn, M. AU - Schmid, Hans-Joachim ID - 26142 IS - 3 JF - Powder Technology SN - 0032-5910 TI - A comprehensive approach in modeling Lagrangian particle deposition in turbulent boundary layers VL - 186 ER - TY - GEN AB - Kolmogorov Complexity constitutes an integral part of computability theory, information theory, and computational complexity theory -- in the discrete setting of bits and Turing machines. Over real numbers, on the other hand, the BSS-machine (aka real-RAM) has been established as a major model of computation. This real realm has turned out to exhibit natural counterparts to many notions and results in classical complexity and recursion theory; although usually with considerably different proofs. The present work investigates similarities and differences between discrete and real Kolmogorov Complexity as introduced by Montana and Pardo (1998). AU - Ziegler, Martin AU - Koolen, Wouter M. ID - 26235 T2 - arXiv:0802.2027 TI - Kolmogorov Complexity Theory over the Reals ER - TY - CONF AB - 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. AU - Köhler, Sven AU - Ziegler, Martin ID - 26243 T2 - Proc. 8th Conference on Real Numbers and Computers TI - On the Stability of Fast Polynomial Arithmetic ER - TY - JOUR AB - 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. AU - Ziegler, Martin ID - 26255 JF - Applied Mathematics and Computation TI - Physically-Relativized Church-Turing Hypotheses ER - TY - CHAP AU - Ziegler, Martin ID - 26262 T2 - Verhandlungen der Deutschen Physikalischen Gesellschaft TI - A Meta-Theory of Physics and Computation ER - TY - JOUR AU - Meer, Klaus AU - Ziegler, Martin ID - 26280 JF - Journal of Complexity SN - 0885-064X TI - An explicit solution to Post's Problem over the reals ER - TY - BOOK ED - Betz, Stefan ID - 2672 TI - Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand ER - TY - BOOK ED - Hellmich, Frank ID - 26729 TI - Lehr-Lernforschung und Grundschulpädagogik ER - TY - BOOK ED - Hellmich, Frank ED - Köster, Hilde ID - 26730 TI - Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften ER - TY - CHAP AU - Hellmich, Frank ED - Ramseger, Jörg ED - Wagener, Matthea ID - 26765 T2 - Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise TI - Bedingungen für erfolgreiche Leselernprozesse bei leistungsschwächeren Kindern VL - 12 ER - TY - CHAP AU - Hellmich, Frank AU - Sämisch, Markus ED - Ramseger, Jörg ED - Wagener, Matthea ID - 26766 T2 - Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise TI - Chancengleichheit im mathematischen Anfangsunterricht durch eine frühzeitige Diagnose mathematischer Vorläuferfähigkeiten VL - 12 ER - TY - JOUR AU - Hellmich, Frank ID - 26767 JF - Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich TI - Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit VL - 2 ER - TY - CHAP AU - Hellmich, Frank ED - Hellmich, Frank ID - 26768 T2 - Lehr-Lernforschung und Grundschulpädagogik TI - Empirische Bildungsforschung und Grundschulpädagogik ER - TY - CHAP AU - Hellmich, Frank AU - Jahnke-Klein , Sylvia ED - Prengel, Annedore ED - Rendtorff, Barbara ID - 26769 T2 - Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft TI - Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule ER - TY - CHAP AU - Hellmich, Frank ED - Hofmann, Bernhard ED - Valtin, Renate ID - 26771 T2 - Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin TI - Individuelle und schulische Bedingungen im Leseunterricht der Grundschule ER - TY - JOUR AU - Hellmich, Frank ID - 26772 JF - Sache - Wort - Zahl TI - "Ich mach` das so, wie machst du das eigentlich?" – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter VL - 92 ER - TY - CHAP AU - Hellmich, Frank AU - Jansen, Sven ED - Hellmich, Frank ED - Köster, Hilde ID - 26774 T2 - Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften TI - Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich ER - TY - CHAP AU - Hellmich, Frank ED - Hellmich, Frank ED - Köster, Hilde ID - 26776 T2 - Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften TI - Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven ER - TY - JOUR AU - Buyken, Anette AU - Karaolis-Danckert, Nadina AU - Remer, Thomas ID - 26891 JF - The American Journal of Clinical Nutrition SN - 0002-9165 TI - Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers ER - TY - JOUR AU - Libuda, Lars AU - Alexy, Ute AU - Buyken, Anette AU - Sichert-Hellert, Wolfgang AU - Stehle, Peter AU - Kersting, Mathilde ID - 26892 JF - British Journal of Nutrition SN - 0007-1145 TI - Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents ER - TY - JOUR AU - Wehrheim, Heike ID - 3203 JF - Electr. Notes Theor. Comput. Sci. TI - Refinement in the Presence of Unknowns ER - TY - JOUR AU - Estler, H.{-}Christian AU - Wehrheim, Heike ID - 3204 JF - Electr. Notes Theor. Comput. Sci. TI - Alloy as a Refactoring Checker? ER - TY - JOUR AU - Möller, Michael AU - Olderog, Ernst-Rüdiger AU - Rasch, Holger AU - Wehrheim, Heike ID - 3205 IS - 2 JF - Formal Asp. Comput. TI - Integrating a formal method into a software engineering process with {UML} and Java ER - TY - JOUR AU - Brückner, Ingo AU - Dräger, Klaus AU - Finkbeiner, Bernd AU - Wehrheim, Heike ID - 3206 IS - 4 JF - Fundam. Inform. TI - Slicing Abstractions ER - TY - CONF AU - Engels, Gregor AU - Kleppe, Anneke AU - Rensink, Arend AU - Semenyak, Maria AU - Soltenborn, Christian AU - Wehrheim, Heike ED - Schieferdecker, Ina ED - Hartman, Alan ID - 3207 T2 - Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings TI - From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations ER - TY - CONF AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ED - Barthe, Gilles ED - S. de Boer, Frank ID - 3208 T2 - Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings TI - Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack ER - TY - CONF AU - Metzler, Björn AU - Wehrheim, Heike AU - Wonisch, Daniel ED - Liu, Shaoying ED - S. E. Maibaum, T. ED - Araki, Keijiro ID - 3209 T2 - Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings TI - Decomposition for Compositional Verification ER - TY - CONF AU - Wehrheim, Heike ED - S. Fitzgerald, John ED - Elisabeth Haxthausen, Anne ED - Yenig{\"{u}}n, H{\"{u}}sn{\"{u}} ID - 3210 T2 - Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings TI - Bounded Model Checking for Partial Kripke Structures ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Knackstedt, Ralf ID - 3477 T2 - Proceedings of the 41th Hawai'i International Conference on System Sciences TI - Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Müller, Oliver ID - 3478 T2 - Americas Conference on Information Systems TI - Modeling, Customer-Specific Configuration and Calculation of Value Bundles ER - TY - CONF AU - Beverungen, Daniel AU - Kaiser, Uwe AU - Knackstedt, Ralf AU - Krings, Robin AU - Stein, Armin ID - 3479 T2 - Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008) TI - Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus ER - TY - CONF AU - Winkelmann, Axel AU - Beverungen, Daniel AU - Janiesch, Christian AU - Becker, Jörg ID - 3480 T2 - Proceedings of the 16th European Conference on Information Systems TI - Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail ER - TY - JOUR AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Müller, Oliver ID - 3507 IS - 3 JF - Wirtschaftsinformatik TI - Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte ER - TY - BOOK AB - Über 50 Jahre wurde das Stuttgarter Verfahren verwendet, um den Wert nicht börsennotierter Unternehmen für die Erbschaft-, Schenkung- und Vermögensteuer zu bestimmen. Durch das Urteil des Bundesverfassungsgerichts vom 07.11.2006 ist der Gesetzgeber verpflichtet, die Erbschaftsteuer zu reformieren und eine marktnahe Bewertung von Unternehmensvermögen sicherzustellen. Auf der Basis einer umfangreichen empirischen Analyse geht Jens Müller den Fragen nach, wie stark eine Bewertung durch das Stuttgarter Verfahren von Marktwerten abweicht und in welchen Fällen eine akzeptable Approximation des Marktwertes erreicht wird. In der Praxis wird das Multiplikatorverfahren häufig zur Bewertung nicht börsennotierter Unternehmen verwendet. Der Autor untersucht, in welcher Form dieses Verfahren auch für steuerliche Zwecke geeignet ist und zeigt auf, mit welchen Schätzfehlern zu rechnen ist. AU - Müller, Jens ID - 3558 KW - Steuer- KW - Rechnungs- und Prüfungswesen SN - 978-3834912879 TI - Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze ER - TY - JOUR AU - Harteis, Christian AU - Gruber, Hans ID - 3597 IS - 1 JF - Vocations and Learning TI - Intuition and professional competence: Intuitive versus rational forecasting of the stock market ER - TY - BOOK ED - Billett, Stephen ED - Harteis, Christian ED - Eteläpelto, Anneli ID - 3598 TI - Emerging perspectives of workplace learning ER - TY - JOUR AU - Harteis, Christian AU - Bauer, Johannes AU - Gruber, Hans ID - 3604 IS - 4 JF - International Journal of Educational Research TI - The culture of learning from mistakes: How employees handle mistakes in everyday work ER - TY - JOUR AU - Harteis, Christian AU - Billett, Stephen ID - 3605 IS - 4 JF - International Journal of Educational Research TI - The workplace as learning environment: Introduction ER - TY - JOUR AU - Harteis, Christian AU - Gruber, Hans ID - 3610 IS - 1 JF - Studies in the Education of Adults TI - How important is intuition for teaching expertise in the field of adult education? ER - TY - JOUR AU - Harteis, Christian AU - Koch, Tina AU - Morgenthaler, Barbara ID - 3616 IS - 1 JF - US-China Education Review TI - How Intuition Contributes to High Performance: An Educational Perspective. VL - 5 ER - TY - GEN AU - Gruber, Hans AU - Harteis, Christian AU - Paetz, Nadja-Verena AU - Keil, Stefanie ID - 3631 TI - Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen ER -