@phdthesis{25848, author = {{Chang, Hua}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{A Methodology for the Identification of Technology Indicators}}}, volume = {{233}}, year = {{2008}}, } @book{25849, author = {{Gehrke, Matthias and Giese, Holger and Stroop, Joachim}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems}}}, volume = {{236}}, year = {{2008}}, } @book{25851, author = {{Brökelmann, Michael}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Entwicklung einer Methodik zur Online-Qualitätsüberwachung des Ultraschall-Drahtbondprozesses mittels integrierter Mikrosensorik}}}, volume = {{238}}, year = {{2008}}, } @phdthesis{25852, author = {{Kettelhoit, Boris}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Architektur und Entwurf dynamisch rekonfigurierbarer FPGA-Systeme}}}, volume = {{239}}, year = {{2008}}, } @phdthesis{25853, author = {{Zambaldi, Martin}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Concepts for the development of a generic Multi-Level Test Bench covering different areas of applications}}}, volume = {{240}}, year = {{2008}}, } @proceedings{25865, editor = {{Gausemeier, Jürgen and Grafe, Michael}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{8. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}}}, volume = {{252}}, year = {{2008}}, } @article{25938, author = {{Karaolis-Danckert, N and Buyken, Anette and Kulig, M and Kroke, A and Forster, J and Kamin, W and Schuster, A and Hornberg, C and Keil, T and Bergmann, RL and Wahn, U and Lau, S}}, issn = {{0002-9165}}, journal = {{Am J Clin Nutr}}, number = {{5}}, pages = {{1356--1364}}, title = {{{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.}}}, doi = {{10.1093/ajcn/87.5.1356}}, volume = {{87}}, year = {{2008}}, } @inbook{2602, author = {{Betz, Stefan}}, booktitle = {{Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}}, editor = {{Betz, Stefan}}, pages = {{47 -- 66}}, title = {{{Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains}}}, year = {{2008}}, } @inbook{2603, author = {{Betz, Stefan}}, booktitle = {{Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}}, editor = {{Betz, Stefan}}, pages = {{95 -- 118}}, title = {{{Analyse des Bullwhip-Effekts in einer Supply Chain von KMU}}}, year = {{2008}}, } @article{26142, abstract = {{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.}}, author = {{Horn, M. and Schmid, Hans-Joachim}}, issn = {{0032-5910}}, journal = {{Powder Technology}}, number = {{3}}, pages = {{189--198}}, title = {{{A comprehensive approach in modeling Lagrangian particle deposition in turbulent boundary layers}}}, doi = {{10.1016/j.powtec.2007.11.048}}, volume = {{186}}, year = {{2008}}, } @unpublished{26235, abstract = {{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).}}, author = {{Ziegler, Martin and Koolen, Wouter M.}}, booktitle = {{arXiv:0802.2027}}, title = {{{Kolmogorov Complexity Theory over the Reals}}}, year = {{2008}}, } @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}}, } @article{3205, author = {{Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{2}}, pages = {{161----204}}, title = {{{Integrating a formal method into a software engineering process with {UML} and Java}}}, doi = {{10.1007/s00165-007-0042-7}}, year = {{2008}}, } @article{3206, author = {{Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}}, journal = {{Fundam. Inform.}}, number = {{4}}, pages = {{369----392}}, title = {{{Slicing Abstractions}}}, year = {{2008}}, } @inproceedings{3207, author = {{Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}}, booktitle = {{Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}}, editor = {{Schieferdecker, Ina and Hartman, Alan}}, pages = {{94----109}}, title = {{{From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}}}, doi = {{10.1007/978-3-540-69100-6_7}}, year = {{2008}}, } @inproceedings{3208, author = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}}, editor = {{Barthe, Gilles and S. de Boer, Frank}}, pages = {{78----95}}, title = {{{Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}}}, doi = {{10.1007/978-3-540-68863-1_6}}, year = {{2008}}, } @inproceedings{3209, author = {{Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}}, booktitle = {{Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}}, editor = {{Liu, Shaoying and S. E. Maibaum, T. and Araki, Keijiro}}, pages = {{105----125}}, title = {{{Decomposition for Compositional Verification}}}, doi = {{10.1007/978-3-540-88194-0_9}}, year = {{2008}}, } @inproceedings{3210, author = {{Wehrheim, Heike}}, booktitle = {{Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}}, editor = {{S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}}}, pages = {{380----394}}, title = {{{Bounded Model Checking for Partial Kripke Structures}}}, doi = {{10.1007/978-3-540-85762-4_26}}, year = {{2008}}, } @inproceedings{3477, author = {{Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf}}, booktitle = {{Proceedings of the 41th Hawai'i International Conference on System Sciences}}, location = {{Waikoloa, Hawaii}}, title = {{{Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research}}}, year = {{2008}}, } @inproceedings{3478, author = {{Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf and Müller, Oliver}}, booktitle = {{Americas Conference on Information Systems}}, location = {{Toronto, Canada}}, title = {{{Modeling, Customer-Specific Configuration and Calculation of Value Bundles}}}, year = {{2008}}, } @inproceedings{3479, author = {{Beverungen, Daniel and Kaiser, Uwe and Knackstedt, Ralf and Krings, Robin and Stein, Armin}}, booktitle = {{Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)}}, location = {{München}}, pages = {{735----747}}, title = {{{Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus}}}, year = {{2008}}, } @inproceedings{3480, author = {{Winkelmann, Axel and Beverungen, Daniel and Janiesch, Christian and Becker, Jörg}}, booktitle = {{Proceedings of the 16th European Conference on Information Systems}}, location = {{Galway, Ireland}}, title = {{{Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail}}}, year = {{2008}}, } @article{3507, author = {{Beverungen, Daniel and Knackstedt, Ralf and Müller, Oliver}}, journal = {{Wirtschaftsinformatik}}, number = {{3}}, pages = {{220----234}}, title = {{{Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte}}}, year = {{2008}}, } @book{3558, abstract = {{Ü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. }}, author = {{Müller, Jens}}, isbn = {{978-3834912879}}, keywords = {{Steuer-, Rechnungs- und Prüfungswesen}}, pages = {{185}}, publisher = {{Springer Gabler}}, title = {{{Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze}}}, year = {{2008}}, } @article{3597, author = {{Harteis, Christian and Gruber, Hans}}, journal = {{Vocations and Learning}}, number = {{1}}, pages = {{71----85}}, title = {{{Intuition and professional competence: Intuitive versus rational forecasting of the stock market}}}, year = {{2008}}, } @book{3598, editor = {{Billett, Stephen and Harteis, Christian and Eteläpelto, Anneli}}, publisher = {{Sense}}, title = {{{Emerging perspectives of workplace learning}}}, year = {{2008}}, } @article{3604, author = {{Harteis, Christian and Bauer, Johannes and Gruber, Hans}}, journal = {{International Journal of Educational Research}}, number = {{4}}, pages = {{223----231}}, title = {{{The culture of learning from mistakes: How employees handle mistakes in everyday work}}}, year = {{2008}}, } @article{3605, author = {{Harteis, Christian and Billett, Stephen}}, journal = {{International Journal of Educational Research}}, number = {{4}}, pages = {{209----212}}, title = {{{The workplace as learning environment: Introduction}}}, year = {{2008}}, } @article{3610, author = {{Harteis, Christian and Gruber, Hans}}, journal = {{Studies in the Education of Adults}}, number = {{1}}, pages = {{96----109}}, title = {{{How important is intuition for teaching expertise in the field of adult education?}}}, year = {{2008}}, } @article{3616, author = {{Harteis, Christian and Koch, Tina and Morgenthaler, Barbara}}, journal = {{US-China Education Review}}, number = {{1}}, pages = {{68----80}}, title = {{{How Intuition Contributes to High Performance: An Educational Perspective.}}}, volume = {{5}}, year = {{2008}}, } @techreport{3631, author = {{Gruber, Hans and Harteis, Christian and Paetz, Nadja-Verena and Keil, Stefanie}}, publisher = {{Universität Regensburg}}, title = {{{Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen}}}, year = {{2008}}, }