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 -