TY - CONF AB - Machines are omnipresent. They produce, they transport. Machines facilitate work and assist. The increasing penetration of mechanical engineering by information technology enables considerable benefits. We refer to such systems as advanced mechatronic systems, which relay on the close interaction of mechanics, electric/electronics, control engineering and software engineering. Hence, the design and production of such systems is an interdisciplinary and complex task. Our ambition is a new school for the design of advanced mechatronic systems. Consequently, we need an avant-garde basic system which can be used to develop and to test future applications. The miniature robot BeBot is such a basic system. This robot constitutes the test bench for the applications, being based on modern approaches, such as self-optimization, self-organization and self-coordination as well as on the use of new manufacturing technologies. AU - Gausemeier, Jürgen AU - Schierbaum, Thomas AU - Dumitrescu, Roman AU - Herbrechtsmeier, Stefan AU - Jungmann, Alexander ID - 26701 T2 - Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN) TI - Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties ER - TY - CONF AU - Thuy, Andreas ID - 26702 T2 - Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on TI - Comparison of periodic and aperiodic task models for cyber-physical-systems ER - TY - JOUR AB - In the area of dynamic verification of virtual prototypes, functional coverage is a valuable tool for answering the "Are we done?" question and achieving verification closure. Recent verification methodologies such as OVM and UVM contain multi-language support that provides a basic SystemC version. However, due to language shortcoming they cannot be utilized for the same amount of verification tasks in the SystemC ecosystem as in other supported hardware design and verification languages. In this presentation, we propose to boost the verification capabilities of SystemC by implementing functional coverage collection and evaluation according to the same metric as defined in the widely accepted IEEE-1800 SystemVerilog cover group feature. We implement a functional coverage library to enable coverage-driven verification of SystemC designs on multiple levels of abstraction enabling value, transition, and expression coverage. To our knowledge, the overall functionalities are not available in the IEEE-1666 SystemC standard or the SCV add-on library, nor are they complete compared to the aforementioned in any publicly available SystemC library. AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 26705 JF - North American SystemC User Group Meeting (16th) TI - Verification Closure of SystemC Designs with Functional Coverage ER - TY - CONF AB - Planar graph routing works provably correct if the underlying network graph is connected and planar. Typically, wireless networks modeled as 2D graphs, are not planar and planar graph routing applied on such unprocessed network graphs may fail. Planarizing a given connected graph by removing intersecting links might be impossible if the outcome still needs to be a connected subgraph. It becomes even more difficult with distributed planarization techniques, where each node is allowed to use only the information about its local neighborhood. Furthermore, it is getting complicated if the nodes' assigned positions do not reflect the exact physical location. With or without exact location information, the outcome might be disconnected, nonplanar, or both of it. With all these unsolvable problems, the question arises how to apply planar graph routing in a realistic network setting? Fortunately, wireless network graphs bear one property which distinguishes them from arbitrary graphs: due to limited communication range, network links cannot become arbitrarily long. In this work we exploit this locality property to build a new localized planarization algorithm, which is location fault tolerant and which produces planar connected graphs in most cases in realistic wireless models. We evaluate our algorithm using the Log Normal Shadowing model and show that our algorithm always produces planar connected graphs in all simulations even when large location errors are present. AU - Mathews, Emi AU - Frey, Hannes ID - 26707 T2 - IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) TI - A Localized Planarization Algorithm for Realistic Wireless Networks ER - TY - CONF AU - Becker, Markus AU - Zabel, Henning AU - Müller, Wolfgang AU - Elfeky, Ahmed AU - DiPasquale, Anthony ID - 26710 T2 - 8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294 TI - Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie VL - 294 ER - TY - JOUR AU - Rasche, Christoph AU - Stern, Claudius AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd ID - 26711 JF - ThinkMind, International Journal On Advances in Software 3 (3&4) TI - Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs ER - TY - CONF AU - Khaluf, Yara AU - Mathews, Emi AU - Rammig, Franz-Josef ID - 26712 T2 - 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) TI - Self-Organized Cooperation in Swarm Robotics ER - TY - CONF AU - Klobedanz, Kay AU - König, A. AU - Müller, Wolfgang ID - 26713 T2 - Proceedings of Design, Automation, Test Europe - DATE2011 TI - A Reconfiguration Approach for Fault-Tolerant FlexRay Networks ER - TY - CONF AU - Klobedanz, Kay AU - König, A. AU - Müller, Wolfgang AU - Rettberg, Achim ID - 26714 T2 - Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011 TI - Self-Reconfiguration for Fault-Tolerant FlexRay Networks ER - TY - CONF AB - SystemC is a versatile C++ based design and verification language, offering various mechanisms and constructs required for embedded systems modeling. Using the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli techniques may be used for verification. However, SCV has several drawbacks such as lack of a functional coverage facility supporting coverage collection on RTL and TLM models. In this article we present a functional coverage library which implements parts of the IEEE 1800-2005 SystemVerilog standard capturing functional coverage throughout the design and verification process, and allows to facilitate coverage-driven verification in SystemC. AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 26715 T2 - Proceedings of DVCON TI - Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction ER - TY - CONF AB - UML profiles like SysML and MARTE have been a major research topic in electronic system design, but are mainly applied for specification and analysis in early design phases. High-Level Synthesis (HLS), however, addresses the physical implementation aspect of electronic systems, and thus leads to different requirements on the accuracy of models. For this, modular interfaces are a novel object-oriented synthesizable technique to overcome the conflict between a higher degree of abstraction and necessary details for further synthesis. In this paper, we present our approach to use SysML as an adequate modeling language for modular interfaces and C/C++/SystemC-based HLS. We extended SysML with annotations for synthesizable SystemC and high-level synthesis constraints and implemented a code generation scheme to achieve design flow automation. Based on the SysML editor Artisan Studio and an industrial case study, we demonstrate the applicability of SysML as a retargetable front-end for HLS design flows. AU - Mischkalla, Fabian AU - He, Da AU - Müller, Wolfgang ID - 26716 T2 - Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED) TI - A Retargetable SysML-based Front-End for High-Level Synthesis ER - TY - CONF AU - He, Da AU - Mischkalla, Fabian AU - Müller, Wolfgang ID - 26717 T2 - Proceedings of 1st international QEMU Users Forum TI - A SysML-based Framework with QEMU-SystemC Code Generation ER - TY - BOOK ED - Hellmich, Frank ID - 26726 TI - Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen ER - TY - CHAP AU - Hellmich, Frank ED - Wember, Franz B. ED - Heimlich , Ulrich ID - 26745 T2 - Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis TI - Lehren und Lernen im Geometrieunterricht ER - TY - CHAP AU - Hellmich, Frank ED - Kucharz, Diemut ED - Irion, Thomas ED - Reinhoffer , Bernd ID - 26749 T2 - Grundlegende Bildung ohne Brüche TI - Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang auf die weiterführenden Schulen VL - 15 ER - TY - CHAP AU - Hellmich, Frank AU - Günther, Frederike ED - Hellmich, Frank ID - 26750 T2 - Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen TI - Entwicklung von Selbstkonzepten bei Kindern im Grundschulalter – ein Überblick ER - TY - CHAP AU - Hellmich, Frank AU - Niebuhr-Siebert, Sandra ED - Hornberg, Sabine ED - Valtin, Renate ID - 26751 T2 - Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb? – empirische Befunde und Beispiele guter Praxis TI - Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache ER - TY - CONF AU - Becker, Markus ID - 26782 T2 - 1st International QEMU Users Forum (QUF'11) TI - QEMU/SystemC Cosimulation at Different Abstraction Levels ER - TY - CHAP AU - Adelt, Philipp AU - Esau, Natascha AU - Hölscher, Christian AU - Kleinjohann, Bernd AU - Kleinjohann, Lisa AU - Krüger, Martin AU - Zimmer, Detmar ID - 26783 T2 - Intelligent Mechatronics; Kapitel 10 TI - Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems ER - TY - CONF AU - Gnokam Defo, Gilles Bertrand AU - Müller, Wolfgang ID - 26784 T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) TI - Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk ER - TY - CONF AU - Khaluf, Lial AU - Gerth, Christian AU - Engels, Gregor ID - 26787 T2 - Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE'11) TI - Pattern-Based Modeling and Formalizing of Business Process Quality Constraints ER - TY - CONF AB - Mutation analysis is a powerful tool for white-box testing of the verification environment in order to produce dependable and higher quality software products. However, due to high computational costs and the focus on high-level software languages such as Java mutation analysis is not yet widely used in commercial design flows targeting embedded (software) systems. Here the industry is modeling both hardware and related software parts at higher levels of abstraction, called virtual prototypes, to accelerate parallel development and shorten time-to-market. In this paper we propose a mutation testing verification flow for SystemC based virtual prototypes that may not rely on source code only but on annotated basic blocks and enables mutant creation at assembler level to heavily reduce execution costs and equivalence mutants likelihood. AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 26789 T2 - Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing TI - Native binary mutation analysis for embedded software and virtual prototypes in SystemC ER - TY - CHAP AU - Esau, Natascha AU - Kleinjohann, Lisa ID - 26792 T2 - Emotional Engineering TI - Emotional Robot Competence and Its Use in Robot Behavior Control ER - TY - CONF AB - In this paper we introduce an infrastructure for investigating Organic Computing principles such as self-optimization and self-organization in real-world scenarios based on a heterogeneous society of robots. This infrastructure, the R3PB-Workbench (Remote Real Robots at the University of Paderborn), provides a controlled environment for conducting real-world multi robot experiments, while relieving the developer from common problems like getting a global view of the entire environment and self-localization within this environment. In addition, it provides a communication layer that hides the heterogeneity of the controlled robot types and also facilitates access to each robot's subjective view. Currently we provide three types of mobile robots with different size and capabilities. Since the workbench is easily customizable, it supports the integration of additional types of robots. Hence, the degree of heterogeneity of the robot group conducting the experiments in the scope of our real-world scenario can be modified as needed. Furthermore, we elaborated a multi-robot game as an illustrative real-world scenario, which on the one hand allows for sophisticated scientific investigations and on the other hand is also appealing for an audience, even with little technical background. AU - Jungmann, Alexander AU - Lutterbeck, Jan AU - Werdehausen, Benjamin AU - Kleinjohann, Bernd AU - Kleinjohann, Lisa ID - 26794 T2 - Proceedings of the 2011 workshop on Organic computing TI - Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots ER - TY - CHAP AB - In this article we present an approach that enables robots to learn how to act and react robustly in continuous and noisy environments while not loosing track of the overall feasibility, i.e. minimising the execution time in order to keep up continuous learning. We do so by combining reinforcement learning mechanisms with techniques belonging to the field of multivariate statistics on three different levels of abstraction: the motivation layer and the two simultaneously learning strategy and skill layers. The motivation layer allows for modelling occasionally contradicting goals in terms of drives in a very intuitive fashion. A drive represents one single goal, that a robot wants to be satisfied, like charging its battery, when it is nearly exhausted, or transporting an object to a target position. The strategy layer encapsulates the main reinforcement learning algorithm based on an abstracted and dynamically adjusted Markovian state space. By means of state abstraction, we minimise the overall state space size in order to ensure feasibility of the learning process in a dynamically changing environment. The skill layer finally realises a generalised learning method for learning reactive low-level behaviours, that enable a robot to interact with the environment. AU - Jungmann, Alexander AU - Kleinjohann, Bernd AU - Richert, Willi ID - 26805 T2 - Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems TI - A Fast Hierarchical Learning Approach for Autonomous Robots ER - TY - CHAP AB - The paradigm of imitation provides a powerful means for increasing the overall learning speed in a group of robots. While separately exploring the environment in order to learn how to behave with respect to a pre-defined goal, a robot gathers experience based on its own actions and interactions with the surroundings, respectively. By accumulating additional experience via observing the behaviour of other robots, the learning process can be significantly improved in terms of speed and quality. Within this article we present an approach, that enables robots in a multi-robot society to imitate any other available robot without imposing unnecessary restrictions regarding the robots’ design. Therefore, it benefits not only from its own actions, but also from actions that an observed robot performs. In order to realise the imitation paradigm, we solve three main challenges, namely enabling a robot to decide whom and when to imitate, to interpret and thereby understand the behaviour of an observed robot, and to integrate the experience gathered by observation into its individual learning process. AU - Jungmann, Alexander AU - Kleinjohann, Bernd AU - Richert, Willi ID - 26810 T2 - Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 TI - Increasing Learning Speed by Imitation in Multi-robot Societies ER - TY - JOUR AU - Herbst, Antje AU - Diethelm, Katharina AU - Cheng, Guo AU - Alexy, Ute AU - Icks, Andrea AU - Buyken, Anette ID - 26904 JF - The Journal of Nutrition SN - 0022-3166 TI - Direction of Associations between Added Sugar Intake in Early Childhood and Body Mass Index at Age 7 Years May Depend on Intake Levels ER - TY - JOUR AB - AbstractObjectiveNutrition-related health problems such as obesity are frequent among children and adolescents of Turkish descent living in Germany, yet data on their dietary habits are scarce. One reason might be the lack of validated assessment tools for this target group. We therefore aimed to validate protein and K intakes from one 24 h recall against levels estimated from one 24 h urine sample in children and adolescents of Turkish descent living in Germany.DesignCross-sectional analyses comprised estimation of mean differences, Pearson correlation coefficients, cross-classifications and Bland–Altman plots to assess the agreement between the nutritional intake estimated from a single 24 h recall and a single 24 h urine sample collected on the previous day.SettingDortmund, Germany.SubjectsData from forty-three study participants (aged 5–18 years; 26 % overweight) with a traditional Turkish background were included.ResultsThe 24 h recall significantly overestimated mean protein and K intake by 10·7 g/d (95 % CI of mean difference: 0·6, 20·7 g/d) and 344 mg/d (95 % CI 8, 680 mg/d), respectively. Correlations between intake estimates were r = 0·25 (P = 0·1) and 0·31 (P = 0·05). Both methods classified 70 % and 69 % of the participants into the same/adjacent quartile of protein and K intake and misclassified 7 % and 7 %, respectively, into the opposite quartile. Bland–Altman plots indicated a wide scattering of differences in both protein and K intake.ConclusionsAmong children and adolescents of traditional Turkish descent living in Germany, one 24 h recall may only be valid for categorizing subjects into high, medium or low consumers. AU - Bokhof, Beate AU - Buyken, Anette AU - Doğan, Canan AU - Karaboğa, Arzu AU - Kaiser, Josa AU - Sonntag, Antje AU - Kroke, Anja ID - 26906 JF - Public Health Nutrition SN - 1368-9800 TI - Validation of protein and potassium intakes assessed from 24 h recalls against levels estimated from 24 h urine samples in children and adolescents of Turkish descent living in Germany: results from the EVET! Study ER - TY - THES AU - Mracek, Boris ID - 26976 TI - Untersuchung des dynamischen Verhaltens gekoppelter piezoelektrischer Ultraschallmotoren mit Stoßkontakt VL - Band 297 ER - TY - CHAP AU - Gries, Thomas ED - Welfens, Paul J.J. ID - 3290 SN - 978-3-642-17606-7 T2 - Zukunftsfähige Wirtschaftspolitik für Deutschland und Europa TI - Internationale Umweltpolitik bei akkumulierender und asymmetrischer Verschmutzungsdynamik ER - TY - JOUR AU - Lettmann, Theodor AU - Baumann, Michael AU - Eberling, Markus AU - Kemmerich, Thomas ID - 3332 JF - Transactions on Computational Collective Intelligence V SN - 0302-9743 TI - Modeling Agents and Agent Systems ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Breuker, Dominic ID - 3454 T2 - XII European Workshop on Efficiency and Productivity Analysis (Abstract) TI - Conceptualizing Service Network Productivity --- A Looped DEA Approach ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Breuker, Dominic AU - Dietrich, Hanns-Alexander AU - Knackstedt, Ralf AU - Peter Rauer, Hans ID - 3455 T2 - ECIS 2011 Proceedings TI - How to Model Service Productivity for Data Envelopment Analysis? A Meta-Design Approach ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Dietrich, Hanns-Alexander AU - Breuker, Dominic AU - Peter Rauer, Hans AU - Sigge, Daniel ID - 3456 T2 - XXI. International RESER Conference TI - Do we need new theories on service productivity? --- Status Quo and implications from contemporary research ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Matzner, Martin AU - Müller, Oliver ID - 3457 SN - 1530-1605 T2 - Proceedings of the 44th Annual Hawaii International Conference on System Sciences TI - Information Needs in Service Systems --- A Framework for Integrating Service and Manufacturing Business Processes ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Matzner, Martin AU - Müller, Oliver AU - Pöppelbuß, Jens ED - Jain, Hemant ED - P. Sinha, Atish ED - Vitharana, Padmal ID - 3458 T2 - International Conference on Design Science Research in Information Systems and Technology TI - Design Science in Service Research: A Framework-Based Review of IT Artifacts in Germany ER - TY - CONF AU - Beverungen, Daniel ID - 3459 T2 - 32th International Conference on Information Systems (ICIS) TI - Mapping the Emerging Field of Service Science: Insights from a Citation Network and Cocitation Network Analysis ER - TY - CONF AU - Beverungen, Daniel AU - Kohlborn, Thomas AU - Fielt, Erwin ID - 3460 T2 - 22nd Australasian Conference on Information Systems (ACIS) TI - The Morphology of Service Bundling Settings ER - TY - CONF AU - Beverungen, Daniel AU - Wittchen, Marion AU - Becker, Jörg ID - 3461 T2 - Proceedings of the 19th European Conference on Information Systems TI - Where are the participants? Including motivational aspects into theorizing and design in IS Research ER - TY - CONF AU - Hellingrath, Bernd AU - Becker, Jörg AU - Beverungen, Daniel AU - Böhle, Carsten AU - Räckers, Michael ID - 3462 T2 - EMNet TI - On the Coalescence of Supply Networks and Information Systems ER - TY - JOUR AU - Becker, Jörg AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Müller, Oliver ID - 3502 IS - 2 JF - Enterprise Modelling and Information Systems Architectures TI - Pricing of Value Bundles: A Multi-Perspective Decision Support Approach ER - TY - BOOK AU - Paetz, Nadja-Verena AU - Ceylan, Firat AU - Fiehn, Janina AU - Schworm, Silke AU - Harteis, Christian ID - 3620 TI - Kompetenz in der Hochschuldidaktik: Ergebnisse einer Delphi-Studie über die Zukunft der Hochschullehre ER - TY - CHAP AU - Ceylan, Firat AU - Fiehn, Janina AU - Paetz, Nadja-Verena AU - Schworm, Silke AU - Harteis, Christian ED - Nickel, Sigrun ID - 3628 T2 - Der Bologna-Prozess aus Sicht der Hochschulforschung TI - Die Auswirkungen des Bologna-Prozesses--Eine Expertise der Hochschuldidaktik ER - TY - CHAP AU - Harteis, Christian AU - Morgenthaler, Barbara AU - Kugler, Christine AU - Ittner, Karl-Peter AU - Roth, Gabriel AU - Graf, Bernhard ED - Sinclair, Martha ID - 3630 T2 - Handbook of intuition research TI - Intuitive decision making in emergency medicine: an explorative study ER - TY - CHAP AU - Gruber, Hans AU - Harteis, Christian ED - Malloch, Marg ED - Cairns, Len ED - O'Connor, Bridget ID - 3632 T2 - The SAGE Handbook of Workplace Learning TI - Researching workplace learning in Europe ER - TY - CONF AU - Wachsmuth, Henning AU - Bujna, Kathrin ED - Berendt, Bettina ED - de Vries, Arjen ED - Fan, Wenfei ED - Macdonald, Craig ED - Ounis, Iadh ED - Ruthven, Ian ID - 3811 SN - 978-1-4503-0717-8 T2 - Proceedings of 5th International Joint Conference on Natural Language Processing TI - Back to the Roots of Genres: Text Classification by Language Function ER - TY - CONF AU - Wachsmuth, Henning AU - Stein, Benno AU - Engels, Gregor ED - Berendt, Bettina ED - de Vries, Arjen ED - Fan, Wenfei ED - Macdonald, Craig ED - Ounis, Iadh ED - Ruthven, Ian ID - 3875 SN - 978-1-4503-0717-8 T2 - 20th ACM International Conference on Information and Knowledge Management TI - Constructing Efficient Information Extraction Pipelines ER - TY - BOOK AU - Davis, Niki AU - Eickelmann, Birgit AU - Patru, Mariana AU - Schulz-Zander, Renate AU - Dzvimbo, Peter ID - 28933 TI - EduSummIT 2011: Restructuring educational systems to move into the digital age ER - TY - GEN AU - Märtens, Marcus ID - 2902 TI - The Monotone Complexity of Computing k-Clique on Random Graphs ER - TY - THES AU - Naewe, Stefanie ID - 2910 TI - Algorithms for lattice problems with respect to general norms ER - TY - JOUR AU - Gries, Thomas AU - Naudé, Wim ID - 2953 IS - 3-4 JF - Journal of Public Economics TI - Entrepreneurship and human development - A capability approach VL - 95 ER - TY - JOUR AU - Gries, Thomas AU - Naudé, Wim ID - 2954 IS - 3 JF - Entrepreneurship Research Journal TI - Entrepreneurship, Structural Change and a Global Economic Crisis VL - 1 ER - TY - JOUR AU - Gries, Thomas AU - Wieneke, Axel ID - 2955 IS - 2 JF - Journal of Comparative Economics TI - SME performance in transition economies: The financial regulation and firm level corruption nexus VL - 39 ER - TY - CONF AU - Ackermann, Marcel R AU - Blömer, Johannes AU - Scholz, Christoph ID - 2985 TI - Hardness and Non-Approximability of Bregman Clustering Problems. ER - TY - CHAP AU - Blömer, Johannes ID - 2986 SN - 9783642153273 T2 - Algorithms Unplugged TI - How to Share a Secret ER - TY - GEN AB - In this paper, we present a deterministic algorithm for the closest vector problem for all l_p-norms, 1 < p < \infty, and all polyhedral norms, especially for the l_1-norm and the l_{\infty}-norm. We achieve our results by introducing a new lattice problem, the lattice membership problem. We describe a deterministic algorithm for the lattice membership problem, which is a generalization of Lenstra's algorithm for integer programming. We also describe a polynomial time reduction from the closest vector problem to the lattice membership problem. This approach leads to a deterministic algorithm that solves the closest vector problem for all l_p-norms, 1 < p < \infty, in time p log_2 (r)^{O (1)} n^{(5/2+o(1))n} and for all polyhedral norms in time (s log_2 (r))^{O (1)} n^{(2+o(1))n}, where s is the number of constraints defining the polytope and r is an upper bound on the coefficients used to describe the convex body. AU - Blömer, Johannes AU - Naewe, Stefanie ID - 2987 T2 - arXiv:1104.3720 TI - Solving the Closest Vector Problem with respect to Lp Norms ER - TY - JOUR AU - Gries, Thomas AU - Gravemeyer, Stefan AU - Xue, Jinjun ID - 3052 IS - 7 JF - Urban Studies TI - Income Determination and Income Discrimination in Shenzhen VL - 48 ER - TY - JOUR AU - Gries, Thomas AU - Kraft, Manfred AU - Meierrieks, Daniel ID - 3053 IS - 30 JF - Applied Economics TI - Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean VL - 43 ER - TY - JOUR AU - Gries, Thomas AU - Krieger, Tim AU - Meierrieks, Daniel ID - 3054 IS - 5 JF - Defence and Peace Economics TI - Causal Linkages Between Domestic Terrorism and Economic Growth VL - 22 ER - TY - JOUR AU - Gries, Thomas AU - Kraft, Manfred AU - Piek, Christina ID - 3058 IS - 3 JF - The Annals of Regional Science TI - Interregional Migration, Self-selection and the Returns to Education in Brazil VL - 46 ER - TY - CONF AU - Hofheinz, Dennis AU - Jager, Tibor AU - Kiltz, Eike ID - 3137 T2 - Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings TI - Short Signatures from Weaker Assumptions ER - TY - CONF AU - Jager, Tibor AU - Somorovsky, Juraj ID - 3138 T2 - Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011 TI - How to break XML encryption ER - TY - JOUR AU - Schneider, Steve AU - Treharne, Helen AU - Wehrheim, Heike ID - 3183 JF - Electr. Notes Theor. Comput. Sci. TI - Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study ER - TY - JOUR AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ID - 3184 IS - 1 JF - {ACM} Trans. Program. Lang. Syst. TI - Mechanically verified proof obligations for linearizability ER - TY - CONF AU - Ruhroth, Thomas AU - Wehrheim, Heike AU - Ziegert, Steffen ID - 3185 T2 - 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011 TI - ReL: {A} Generic Refactoring Language for Specification and Execution ER - TY - CONF AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ED - J. Butler, Michael ED - Schulte, Wolfram ID - 3186 T2 - {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings TI - Verifying Linearisability with Potential Linearisation Points ER - TY - CONF AU - Steenken, Dominik AU - Wehrheim, Heike AU - Wonisch, Daniel ED - da Silva Sim{\~{a}}o, Adenilso ED - Morgan, Carroll ID - 3187 T2 - Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers TI - Sound and Complete Abstract Graph Transformation ER - TY - CONF AU - Schneider, Steve AU - Treharne, Helen AU - Wehrheim, Heike ED - Derrick, John ED - A. Boiten, Eerke ED - Reeves, Steve ID - 3188 T2 - Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. TI - A {CSP} Account of Event-B Refinement ER - TY - CONF AU - Sondermann-Wölke, Christoph AU - Sextro, Walter AU - Reinold, Peter AU - Trächtler, Ansgar ID - 26981 T2 - Technische Zuverlässigkeit –TTZ TI - Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs ER - TY - THES AU - Krol, Rafal ID - 26982 TI - Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM) VL - Band 293 ER - TY - JOUR AU - Diethelm, Katharina AU - Remer, Thomas AU - Jilani, Hannah AU - Kunz, Clemens AU - Buyken, Anette ID - 27010 JF - Clinical Nutrition SN - 0261-5614 TI - Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood ER - TY - JOUR AB - There are no published data regarding the overall dietary glycaemic index (GI) and glycaemic load (GL) of Australian children and adolescents. We therefore aim to describe the dietary GI and GL of participants of the 2007 Australian National Children's Nutrition and Physical Activity Survey (2007ANCNPAS), and to identify the main foods contributing to their GL. Children, aged 2–16 years, who provided two 24 h recalls in the 2007ANCNPAS were included. A final dataset of 4184 participants was analysed. GI of each food item was assigned using a previously published method. GL was calculated, and food groups contributing to the GL were described by age group and sex. The weighted mean dietary GI and GL of the participants were 54 (sd 5) and 136 (sd 44), respectively. Among the nutrients examined, Ca had the highest inverse relationship with GI (P < 0·001), while percentage energy from starch was most positively associated with GI. The association between fibre density and GI was modest, and percentage energy from sugar had an inverse relationship with GI. Daily dietary GL contributed by energy-dense and/or nutrient-poor (EDNP) items in subjects aged 14–16 years was more than doubled that of subjects aged 2–3 years. To conclude, Australian children and adolescents were having a high-GI dietary pattern characterised by high-starchy food intake and low Ca intake. A significant proportion of their dietary GL was from EDNP foods. Efforts to reduce dietary GI and GL in children and adolescents should focus on energy-dense starchy foods. AU - Chun Yu Louie, Jimmy AU - Buyken, Anette AU - Heyer, Kristina AU - Flood, Victoria M. ID - 27011 JF - British Journal of Nutrition SN - 0007-1145 TI - Dietary glycaemic index and glycaemic load among Australian children and adolescents ER - TY - JOUR AB - AbstractObjectiveHighly processed foods such as convenience foods usually have a high salt content and therefore might indirectly act as adipogenic due to an increasing consumption of sugar-containing beverages (SCB). We examined the association between dietary salt and body weight status.DesignWe used data on urinary Na excretion as an indicator of dietary salt and BMI standard deviation score (BMI-SDS) and percentage body fat (%BF) of children and adolescents participating in the DONALD (Dortmund Nutritional and Anthropometric Longitudinally Designed) Study.SettingDortmund, Germany.SubjectsChildren and adolescents (n 364) who had at least two 24 h urine samples and two dietary records in the observational period between 2003 and 2009 were considered in our data analysis.ResultsRepeated-measures regression models revealed that urinary Na was positively associated with BMI-SDS (+0·202 SDS/g Na excretion at baseline; P < 0·001) and %BF (+1·303 %BF/g Na excretion at baseline; P < 0·01) at baseline in boys and girls. These associations remained significant after adjustment for SCB consumption and total energy intake. Furthermore, there was a positive trend between baseline Na excretion and the individual change in %BF in the study period (+0·364 increase in %BF/g Na excretion at baseline), which was confirmed after inclusion of SCB consumption or total energy intake. There was no significant association between the change in Na excretion and the concurrent change of either BMI-SDS or %BF in any model.ConclusionsOur results suggest that a high intake of processed salty foods could have a negative impact on body weight status in children and adolescents independently from their consumption of SCB. AU - Libuda, Lars AU - Kersting, Mathilde AU - Alexy, Ute ID - 27068 JF - Public Health Nutrition SN - 1368-9800 TI - Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents ER - TY - JOUR AU - Alexy, Ute AU - Cheng, Guo AU - Libuda, Lars AU - Hilbig, Annett AU - Kersting, Mathilde ID - 27069 JF - Clinical Nutrition SN - 0261-5614 TI - 24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study ER - TY - JOUR AU - Muckelbauer, R. AU - Libuda, Lars AU - Clausen, K. AU - Kersting, M. ID - 27076 JF - Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz SN - 1436-9990 TI - Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule ER - TY - GEN AU - Gries, Thomas AU - Redlin, Margarete ID - 2734 TI - Trade Openness and Economic Growth: A Panel Causality Analysis VL - 2011-06 ER - TY - JOUR AU - Bohl, Benjamin AU - Kepper, Johannes AU - Röwenstrunk, Daniel ID - 27466 IS - 3 JF - DIE TONKUNST TI - Perspektiven Digitaler Musikeditionen aus der Sicht des Edirom-Projekts VL - 5 ER - TY - CHAP AU - Muckelbauer, R. AU - Libuda, Lars AU - Kersting, M. ID - 27589 SN - 978-1-84569-431-9 T2 - Developing Children´s Food Products. TI - Fluids and children’s health. ER - TY - CONF AU - Nebe, Karsten AU - Fischer, Holger Gerhard AU - Klompmaker, Florian AU - Jung, Helge ID - 27622 TI - Multi-touch, tangible and pen-based interaction in incident planning ER - TY - CONF AB - Kollaboratives Lernen kann im Großen und Ganzen durch verteilte, unterbrochene kooperative Prozesse charakterisiert werden, da die Interaktion mit anderen Lernern und Lehrenden zu verschiedenen Zeiten an verschiedenen Orten stattfindet. Um die zeitlich und räumlich verteilten Lernaktivitäten zu integrieren, muss ein virtueller Lernraum bereitgestellt werden der einerseits als Arena kooperativer Interaktionen dient und andererseits gleichzeitig ein verteiltes externes Gedächtnis durch persistente Lernobjekte bietet. Das Konzept des ko-aktiven Lernens umfasst eine Vielzahl von technischen Konzepten und Funktionen, die kollaboratives Lernen in unterschiedlichsten Lernarrangements unterstützen. AU - Keil, Reinhard AU - Selke, Harald ID - 27623 T2 - Proc. of Int. Conf. on Improving University Teaching TI - Virtual Learning Spaces for Co-Active Learning ER - TY - CONF AU - Paelke, Volker AU - Nebe, Karsten AU - Klompmaker, Florian AU - Jung, Helge ID - 27624 TI - Multi-Touch Interaction for Disaster Management.} ER - TY - CONF AU - Keil, Reinhard ED - Breiter, A ED - Wind, M ID - 27625 TI - Hypothesis- guided technology design as the basis of contextual computer science ER - TY - CONF AU - Klompmaker, Florian AU - Nebe, Karsten AU - Jung, H ID - 27626 TI - Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns ER - TY - CONF AU - Klompmaker, Florian AU - Nebe, Karsten AU - Busch, Clemens AU - Willemsen, Detlev ID - 27627 T2 - Proceedings of the International Conference on Health Informatics TI - User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application ER - TY - CONF AU - Laroque, Christoph AU - Schulte, Jonas ED - Chinni, M.I ED - Weed, D ID - 27628 T2 - Proceedings of the 2011 Spring Simulation Multiconference TI - KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules ER - TY - CONF AU - Schulte, Jonas ED - Zhang, R ED - Cordeiro, José ED - Li, X ED - Zhang, Z ED - Zhang, J ID - 27629 T2 - Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China TI - WasabiBeans - Web Application Services and Business Integration ER - TY - CONF AU - Rudolph, S AU - Niehus, Dominik ID - 27630 TI - Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training ER - TY - CONF AU - Schulte, Jonas AU - Keil, Reinhard AU - Klaholt, D AU - Sauer, J ED - Zhang, R ED - Cordeiro, José ED - Li, X ED - Zhang, Z ED - Zhang, J ID - 27631 T2 - Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China TI - Koi School - Towards the Next Level of Communication, Organization and Integration in Education ER - TY - CONF AU - Schulte, Jonas AU - Keil, Reinhard AU - Oberhoff, Andreas ED - K {\ "o} hler, Th. ED - Neumann, J ID - 27632 TI - Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science ER - TY - CONF AU - Schulte, Jonas AU - Keil, Reinhard AU - Rybka, Johann AU - Ferber, Ferdinand ED - Zhang, R ED - Cordeiro, J ED - Li, X ED - Zhang, Z ED - Zhang, J ID - 27633 T2 - Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China TI - Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics ER - TY - CONF AU - Schulte, Jonas AU - Rybka, Johann AU - Ferber, Ferdinand AU - Keil, Reinhard ED - K {\ "o} hler, Th. ED - Neumann, J ID - 27634 TI - KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work ER - TY - THES AU - Erren, Patrick ID - 27635 TI - Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements ER - TY - CONF AU - Fischer, Holger Gerhard AU - Nebe, Karsten AU - Klompmaker, Florian ID - 27636 TI - A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities ER - TY - CONF AU - Jung, Helge AU - Nebe, Karsten AU - Klompmaker, Florian AU - Fischer, Holger Gerhard ID - 27637 TI - Authenticated entries on multi-touch tables ER - TY - CONF AU - Nebe, Karsten AU - Klompmaker, Florian AU - Jung, Helge AU - Fischer, Holger Gerhard ID - 27638 TI - Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction ER - TY - CONF AU - Fischer, Holger Gerhard AU - Bogner, Christian AU - Geis, Thomas AU - Polkehn, Knut AU - Zimmermann, Dirk ID - 27639 TI - Der Qualit {\ "a} tsstandard f {\" u} r Usability engineering of the German UPA: Current status of the work ER - TY - GEN AU - Herrmann, Philipp AU - Kundisch, Dennis AU - Rahman, Mohammad ID - 2771 T2 - 12th Workshop on Information Systems and Economics (WISE) TI - The Impact of Delegating Decision Making to IT on the Sunk Cost Effect ER - TY - GEN AU - Herrmann, Philipp AU - Kundisch, Dennis AU - Rahman, Mohammad ID - 2772 T2 - INFORMS 2011 Annual Meeting, Track Digital Channel and It Usage TI - Sunk Cost Effect: The Impact of Delegating Decision Making to IT ER - TY - JOUR AB - Context: Whether prepubertal glucocorticoid status impacts on the timing of puberty is not clear. Objective: The objective of the study was to examine the relationship between prepubertal glucocorticoid status and early or late pubertal markers, independent of adrenarchal and nutritional status. Design and Participants: Prospective cohort study of healthy Caucasian children (n = 111, 56 boys) who provided both 24-h urine samples and weighed dietary records 1 and 2 yr before the start of pubertal growth spurt [age at take-off (ATO)]. Measurements: Major urinary glucocorticoid and androgen metabolites determined by gas chromatography-mass spectrometry analysis were summed to assess daily overall cortisol (ΣC21) and adrenal androgen secretion; urinary free cortisol and cortisone measured by RIA were summed (UFF+UFE) as an indicator of potentially bioactive free glucocorticoids. Main Outcomes: The main outcomes included ATO, age at peak height velocity, age at menarche/voice break, ages at Tanner stage 2 for breast (girls) and genital (boys) development, and pubic hair. Results: In girls ΣC21, but not UFF+UFE, was associated with pubertal markers after adjusting for overall adrenal androgen, urinary nitrogen, and body fat. Girls with higher ΣC21 (fourth quartile) reached ATO 0.7 yr (P = 0.01) and menarche 0.9 yr later (P = 0.006) than girls with lower ΣC21 (first quartile). The ΣC21 tended to be also positively associated with age at Tanner stage 2 for breast (P = 0.1), Tanner stage 2 for pubic hair (P = 0.1), and age at peak height velocity (P = 0.06). In boys, neither the ΣC21 nor UFF+UFE was related to pubertal timing. Conclusion: An individually higher prepubertal glucocorticoid secretion level, even in physiological range, appears to delay early and late pubertal timing of healthy girls, particularly their onset of pubertal growth spurt and menarche. AU - Shi, Lijie AU - Wudy, Stefan A. AU - Buyken, Anette AU - Maser-Gluth, Christiane AU - Hartmann, Michaela F. AU - Remer, Thomas ID - 27728 JF - The Journal of Clinical Endocrinology & Metabolism SN - 0021-972X TI - Prepubertal Glucocorticoid Status and Pubertal Timing ER - TY - JOUR AU - Diethelm, Katharina AU - Bolzenius, Katja AU - Cheng, Guo AU - Remer, Thomas AU - Buyken, Anette ID - 27729 JF - International Journal of Pediatric Obesity SN - 1747-7166 TI - Longitudinal associations between reported sleep duration in early childhood and the development of body mass index, fat mass index and fat free mass index until age 7 ER -