TY - JOUR AU - Gerick, Julia AU - Bloh, Bea ID - 28047 TI - Erweiterter Gestaltungspielraum für Schulen. Welche Veränderungen beschreiben Schulleiterinnen und Schulleiter in ihrem beruflichen Selbstverständnis? VL - 10 ER - TY - CHAP AU - Anskeit, Nadine AU - Eickelmann, Birgit ED - Bonsen, Martin ED - Homeier, Wulf ED - Tschekan, Kerstin ED - Ubben, Lotta ID - 28114 T2 - Unterrichtsqualität sichern – Grundschule TI - Wiki-Einsatz im Deutschunterricht - Mit neuen Technologien kooperatives Lernen unterstützen ER - TY - DATA AU - Davis, Niki AU - Eickelmann, Birgit AU - Patru, Mariana AU - Schulz-Zander, Renate AU - Dzvimbo, Peter ID - 28116 TI - EduSummIT 2011: Restructuring educational systems to move into the digital age ER - TY - JOUR AU - Eickelmann, Birgit ID - 28117 IS - 1 JF - Journal for Educational Research Online/Journal für Bildungsforschung Online TI - Editorial. Technology to enhance learning: Problems and Promises VL - 3 ER - TY - JOUR AU - Lorenz, Ramonda AU - Kahnert, Julia AU - Eickelmann, Birgit AU - Bos, Wilfried ID - 28120 IS - 6 JF - Zeitschrift Schul-Management TI - Mehr Gerechtigkeit durch Zentralabitur? – Analysen einer Lehrerbefragung in NRW VL - 42 ER - TY - JOUR AU - Eickelmann, Birgit AU - Kahnert, Julia AU - Lorenz, Ramona AU - Bos, Wilfried ID - 28121 JF - SchulVerwaltung NRW TI - Das Zentralabitur in Nordrhein-Westfalen aus der Lehrerperspektive. Veränderungen für den Unterricht ER - TY - JOUR AU - Eickelmann, Birgit AU - Bos, Wilfried ID - 28122 IS - 4 JF - Zeitschrift Medienimpulse TI - Messung computer- und informationsbezogener Kompetenzen von Schülerinnen und Schülern als Schlüsselkompetenz im 21. Jahrhundert VL - 3 ER - TY - THES AB - This dissertation explores learner beliefs about pronunciation and their interaction with identity negotiations in a study-abroad context. Current research on studying abroad has experienced a wave of interest in learner-centered questions, gradually moving away from the narrow focus on students’ linguistic development. In particular, the effects of study abroad on learner identities have attracted attention, revealing the impact of the dispositions of individuals, as well as of interlocutors, on the language learning process. The realm of speaking, especially with regard to pronunciation research, however, has hardly benefited from this interest in the individual perspectives of sojourners. Existing studies merely measure the extent to which learners appropriate native-like accents, resulting in partly inconsistent findings with limited insight into individual learning processes and factors. I thus adopt a different focus by qualitatively investigating the interplay between sojourners’ beliefs about pronunciation and their identity constructions and negotiations. My research is based on five case studies of Canadian learners of German. Each research subject has attended a German university for one or two semesters. In applying narrative inquiry as a research tool for both the within- and cross-case analyses, I investigate participants’ accounts in interviews and e-journals, as conducted at different stages throughout the first sojourn term. Poststructuralist-constructivist conceptualizations of learner identities and beliefs guide the data analysis and interpretation. The results of the holistic and categorical content analyses give insight into the intricate relationship between beliefs about pronunciation and learners’ identity work. In their narratives, learners appear to actively use pronunciation as a tool to construct identity facets in correspondence to specific communities of practice, giving meaning to their investment in the sojourn experience. This process of mediating between different identity constructions appears to be highly complex and partially conflict-laden. The participants’ beliefs and reported learning behaviours are interconnected with their definitions of learning goals, which draw on native-speaker ideals to different extents and with varying results. These orientations are in turn related to the subjects’ degrees of critical language awareness, the latter a factor that appears to play a vital role in shaping the ability of learners to take advantage of learning opportunities. In assessing participants’ learning objectives and their readiness to reflect upon their beliefs and orientations, my study also sheds light on the influence of different learning factor constellations on intercultural learning. The results indicate that unidirectional cause-and-effect relationships cannot be drawn between learners’ beliefs about pronunciation and their abilities to approach their roles as intercultural speakers in sojourn environments. My study rather underlines the importance of illuminating individual learning experiences in their idiosyncrasies and complexities, which may lead to a stronger consideration of learners’ subjective stances in both research and teaching practice. The findings of my study suggest that the primary way that language pedagogy can thus foster the ability to engage in intercultural encounters is by helping learners to become aware of their subjective stances, their self-constructions, and the influence of those on the learning process. Therefore, developing the ability and willingness to critically reflect is crucial, especially with regard to pronunciation. In illuminating the intricate nature of learner beliefs and their influence on the learning process, my study demonstrates the importance of qualitative, emic research into the acquisition of L2 pronunciation. AU - Müller, Mareike ID - 28357 TI - Learners' identity negotiations and beliefs about pronunciation in study abroad contexts ER - TY - GEN AU - Böttger, Timm ID - 2872 TI - Bicriteria-Approximation für das k-Median-Clustering mit Bregman-Divergenzen ER - TY - BOOK AU - Aufenanger, Mark ID - 25878 TI - Situativ trainierte Regeln zur Ablaufsteuerung in Fertigungssystemen und ihre Integration in Simulationssysteme VL - 269 ER - TY - CHAP AU - Betz, Stefan ED - Betz, Stefan ID - 2606 T2 - Ausgewählte Probleme des Logistikmanagements TI - Internationale Standortwahl als strategisches Logistikproblem ER - TY - CHAP AU - Betz, Stefan ED - Betz, Stefan ID - 2607 T2 - Ausgewählte Probleme des Logistikmanagements TI - Bedarfsorientiertes Kapazitätsmanagement in Supply Chains ER - TY - BOOK AU - Brink, Volker ID - 26185 TI - Verfahren zur Entwicklung konsistenter Produkt- und Technologiestrategien VL - 280 ER - TY - THES AU - Pohl, Christopher ID - 26187 TI - Konfigurierbare Hardwarebeschleuniger für selbst-organisierende Karten VL - 285 ER - TY - THES AU - Dumitrescu, Roman ID - 26188 TI - Entwicklungssystematik zur Integration kognitiver Funktionen in fortgeschrittene mechatronische Systeme VL - 286 ER - TY - THES AU - Reyes Perez, Mariana ID - 26189 TI - A Specification Technique for the Conceptual Design of Manufacturing Systems VL - 291 ER - TY - THES AU - Krol, Rafal ID - 26194 TI - Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM). VL - 293 ER - TY - GEN ED - Gausemeier, Jürgen ED - Rammig, Franz-Josef ED - Schäfer, Wilhelm ED - Trächtler, Ansgar ID - 26195 TI - 8. Paderborner Workshop Entwurf mechatronischer Systeme VL - 294 ER - TY - GEN ED - Gausemeier, Jürgen ED - Grafe, Michael ED - Meyer auf der Heide, Friedhelm ID - 26196 TI - 10. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung VL - 295 ER - TY - THES AU - Pook, Sebastian ID - 26197 TI - Eine Methode zum Entwurf von Zielsystemen selbstoptimierender mechatronischer Systeme VL - 296 ER - TY - GEN ED - Gausemeier, Jürgen ID - 26198 TI - Vorausschau und Technologieplanung. 7. Symposium für Vorausschau und Technologieplanung VL - 300 ER - TY - CONF AU - Hosseinimehr, Masoud AU - Montealegre, Norma ID - 26276 T2 - The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011) TI - Implementation of a Singular Value Decomposition Module on an FPGA ER - TY - CONF AB - In this paper an approach for automatic feature classification based on their motion in the image plane is introduced. By combining concepts of the human perception of motion with techniques belonging to the area of cluster analysis, we subsequently abstract the visual data in order to separate features, whose motion is caused by the sensor motion from features, which possibly belong to dynamic objects in the environment. The presented algorithm exclusively works on data, that can be extracted from the two dimensional image plane. Hence, no external data like the current motion of the applied camera is required. Furthermore, the algorithm works on any type of tracked feature, as long as it can be statistically represented. The results of the presented approach constitute a very good starting point for additional object detection mechanisms. AU - Jungmann, Alexander AU - Kleinjohann, Bernd ID - 26279 T2 - Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA) TI - Automatic Feature Classification for Object Detection based on Motion Analysis ER - TY - CONF AB - This paper introduces a novel method for registering a large amount of aerial images when camera parameters are almost unknown and no reference images are available. The envisioned application is the creation of an overview map of a disaster area from images made by unmanned aerial vehicles (UAVs) equipped with cameras. The camera systems only have uncertain information about flight attitude. With traditional methods, the relatively small perspective errors per image sum up over time resulting in perspective errors which prevent building a consistent map from successively arriving images. By using virtual forces between images, the image parameters are continuously adapted to the current map. The small projective errors of quasi orthographic images are distributed among overlapping images. Having UAVs which deliver quasi orthographic images, our approach can build a contemporary overview without the need to have all images in advance. AU - Stern, Claudius AU - Rasche, Christoph AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd ID - 26281 T2 - The 5th International Conference on Automation, Robotics and Applications (ICARA 2011) TI - Towards Using Virtual Forces for Image Registration ER - TY - JOUR AU - Sperling, Jan AU - Vogel, W. ID - 26357 JF - Physical Review A SN - 1050-2947 TI - Determination of the Schmidt number ER - TY - JOUR AU - Sperling, Jan AU - Vogel, W ID - 26358 JF - Physica Scripta SN - 0031-8949 TI - The Schmidt number as a universal entanglement measure ER - TY - JOUR AU - Diller, M. AU - Kundisch, Dennis AU - Späth, T. ID - 2644 IS - 3 JF - CORPORATE FINANCE biz TI - Zur Bewertung von Verlustgesellschaften nach den Änderungen des §8c KStG durch das Wachstumsbeschleunigungsgesetz ER - TY - CHAP AU - Dannewitz, Christian AU - al, et ID - 2662 T2 - Architecture and Design for the Future Internet TI - How to manage and Search/Retrieve Information Objects ER - TY - CHAP AU - Dannewitz, Christian AU - al, et ID - 2663 T2 - Architecture and Design for the Future Internet TI - Integrating Generic Paths and NetInf ER - TY - CONF AB - During rescue scenarios it is indispensable to obtain an overview of the situation. Unmanned aerial vehicles (UAVs) can gather the necessary information in a fast and efficient way. This paper presents an approach for path planning in 3D environments offering a solution to explore disaster areas including, e.g., partially or completely destroyed buildings. Using multiple UAVs decreases the time needed to receive a complete overview if the problem of coordination and task allocation is solved. We present an approach for the use of multiple UAVs. The UAVs work in a distributed manner without any central coordination instance and cover the exploration of terrains as well as goal-oriented path planning. When using multiple UAVs redundant exploration is avoided through the use of inter-UAV-communication. The approach is based on potential fields and uses the simplicity of the gradient method to calculate paths for fast exploration of the terrain. AU - Rasche, Christoph AU - Stern, Claudius AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd ID - 26660 T2 - The 5th International Conference on Automation, Robotics and Applications (ICARA 2011) TI - A Distributed Multi-UAV Path Planning Approach for 3D Environments ER - TY - CONF AU - Mathews, Emi AU - Graf, Tobias AU - Kulathunga, K. S. S. B. ID - 26663 T2 - Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems TI - A Bio-inspired Coverage and Connectivity Maintenance Algorithm ER - TY - CONF AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 26667 T2 - Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011) TI - Aspect enhanced functional coverage driven verification in the SystemC HDVL ER - TY - CONF AU - Xie, Tao AU - Müller, Wolfgang ID - 26669 T2 - Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT) TI - IP-XACT based System Level Mutation Testing ER - TY - JOUR AU - Henkler, Stefan AU - Oberthür, Simon AU - Giese, Holger AU - Seibel, Andreas ID - 26670 JF - International Journal of Computer Systems Science & Engineering 26 (6) TI - Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures ER - TY - JOUR AU - Baldin, Daniel AU - Grösbrink, Stefan AU - Oberthür, Simon ID - 26671 JF - International Journal on Computing (JoC) 1(4) TI - Enabling Constraint-based Binary Reconfiguration by Binary Analysis ER - TY - CONF AU - Bin Tariq, Fahad ID - 26673 T2 - 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011 TI - F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems ER - TY - CONF AU - Orfanus, Dalimir AU - Janacik, Peter AU - Eliassen, Frank AU - Orten, Pal ID - 26687 T2 - Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011) TI - High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems ER - TY - BOOK ED - Betz, Stefan ID - 2669 TI - Ausgewählte Probleme des Logistikmanagements ER - TY - CONF AU - Xie, Tao AU - Müller, Wolfgang ID - 26698 T2 - Proceedings of the 14th Euromicro Conference on Digital System Design (DSD) TI - HDL-Mutation Based Simulation Data Generation by Propagation Guided Search ER - TY - CONF AB - In this paper, we introduce a test bed for demonstrating and investigating self-x properties, such as self-optimization and self-organization, within the scope of multi-robot societies under realistic conditions. By doing so, we shift the investigation and demonstration of biologically inspired mechanisms from the simulative point of view to a dynamic and more complex realistic environment. For this purpose, we developed a controlled real-world environment to overcome common problems such as self-localization. Furthermore, we elaborated a concept for a descriptive robotic real-world game. By means of this game, we provide an instrument, which is easily accessible for any kind of audience on the one hand, while it still leaves enough space for an extensive scientific investigation on the other hand. AU - Jungmann, Alexander AU - Lutterbeck, Jan AU - Werdehausen, Benjamin AU - Kleinjohann, Bernd ID - 26699 T2 - Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN) TI - A Test Bed for Investigating Self-X Properties in Multi-Robot Societies ER - 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 -