@misc{24948, author = {{Elit, Stefan}}, booktitle = {{Monatshefte}}, issn = {{0026-9271}}, pages = {{672--675}}, title = {{{Sprachliche Spur der Moderne. In Gedichten um 1900: Nietzsche, Holz, George, Rilke, Morgenstern. Von Helmut Henne. Berlin: de Gruyter, 2010. 151 Seiten + 58 s / w Abbildungen.  39,95.}}}, doi = {{10.1353/mon.2011.0119}}, year = {{2011}}, } @article{2512, abstract = {{In this paper we introduce the concept of an overall power function that is meant to combine two sources of a party’s power in a parliament. The first source is based on the possibilities for the party to be part of a majority coalition and it is typically modeled using a cooperative simple game. The second source takes into account parties’ asymmetries outside the cooperative game and it is displayed by a vector of exogenously given weights. We adopt a normative point of view and provide an axiomatic characterization of a specific overall power function, in which the weights enter in a proportional fashion.}}, author = {{Dimitrov, Dinko and Haake, Claus-Jochen}}, issn = {{1742-7355}}, journal = {{International Journal of Economic Theory}}, number = {{2}}, pages = {{189--200}}, publisher = {{Wiley-Blackwell}}, title = {{{Proportionality and the power of unequal parties}}}, doi = {{10.1111/j.1742-7363.2011.00158.x}}, volume = {{7}}, year = {{2011}}, } @article{25419, author = {{Hoehndorf, Robert and Ngonga Ngomo, Axel-Cyrille and Pyysalo, Sampo and Ohta, Tomoko and Oellrich, Anika and Rebholz{-}Schuhmann, Dietrich}}, journal = {{J. Biomed. Semant.}}, number = {{{S-5}}}, pages = {{S1}}, title = {{{Ontology design patterns to disambiguate relations between genes and gene products in GENIA}}}, volume = {{2}}, year = {{2011}}, } @inproceedings{25420, author = {{Hillner, Stanley and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{Proceedings the 7th International Conference on Semantic Systems, {I-SEMANTICS} 2011, Graz, Austria, September 7-9, 2011}}, editor = {{Ghidini, Chiara and Ngonga Ngomo, Axel-Cyrille and N. Lindstaedt, Stefanie and Pellegrini, Tassilo}}, pages = {{9--16}}, publisher = {{{ACM}}}, title = {{{Parallelizing LIMES for large-scale link discovery}}}, doi = {{10.1145/2063518.2063520}}, year = {{2011}}, } @inproceedings{25421, author = {{Ngonga Ngomo, Axel-Cyrille and Auer, Sören}}, booktitle = {{{IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011}}, editor = {{Walsh, Toby}}, pages = {{2312--2317}}, publisher = {{{IJCAI/AAAI}}}, title = {{{LIMES - A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data}}}, doi = {{10.5591/978-1-57735-516-8/IJCAI11-385}}, year = {{2011}}, } @inproceedings{25422, author = {{Auer, Sören and Lehmann, Jens and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures}}, editor = {{Polleres, Axel and d'Amato, Claudia and Arenas, Marcelo and Handschuh, Siegfried and Kroner, Paula and Ossowski, Sascha and F. Patel-Schneider, Peter}}, pages = {{1--75}}, publisher = {{Springer}}, title = {{{Introduction to Linked Data and Its Lifecycle on the Web}}}, doi = {{10.1007/978-3-642-23032-5\_1}}, volume = {{6848}}, year = {{2011}}, } @inproceedings{25423, author = {{Ngonga Ngomo, Axel-Cyrille and Heino, Norman and Lyko, Klaus and Speck, René and Kaltenböck, Martin}}, booktitle = {{The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part {II}}}, editor = {{Aroyo, Lora and Welty, Chris and Alani, Harith and Taylor, Jamie and Bernstein, Abraham and Kagal, Lalana and Fridman Noy, Natasha and Blomqvist, Eva}}, pages = {{189--204}}, publisher = {{Springer}}, title = {{{SCMS - Semantifying Content Management Systems}}}, doi = {{10.1007/978-3-642-25093-4\_13}}, volume = {{7032}}, year = {{2011}}, } @inproceedings{25424, author = {{Morsey, Mohamed and Lehmann, Jens and Auer, Sören and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}}}, editor = {{Aroyo, Lora and Welty, Chris and Alani, Harith and Taylor, Jamie and Bernstein, Abraham and Kagal, Lalana and Fridman Noy, Natasha and Blomqvist, Eva}}, pages = {{454--469}}, publisher = {{Springer}}, title = {{{DBpedia SPARQL Benchmark - Performance Assessment with Real Queries on Real Data}}}, doi = {{10.1007/978-3-642-25073-6\_29}}, volume = {{7031}}, year = {{2011}}, } @inproceedings{25425, author = {{Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{Proceedings of the 6th International Workshop on Ontology Matching, Bonn, Germany, October 24, 2011}}, editor = {{Shvaiko, Pavel and Euzenat, Jérôme and Heath, Tom and Quix, Christoph and Mao, Ming and F. Cruz, Isabel}}, publisher = {{CEUR-WS.org}}, title = {{{A time-efficient hybrid approach to link discovery}}}, volume = {{814}}, year = {{2011}}, } @inproceedings{25426, author = {{Ngonga Ngomo, Axel-Cyrille and Lehmann, Jens and Auer, Sören and Höffner, Konrad}}, booktitle = {{Proceedings of the 6th International Workshop on Ontology Matching, Bonn, Germany, October 24, 2011}}, editor = {{Shvaiko, Pavel and Euzenat, Jérôme and Heath, Tom and Quix, Christoph and Mao, Ming and F. Cruz, Isabel}}, publisher = {{CEUR-WS.org}}, title = {{{RAVEN - active learning of link specifications}}}, volume = {{814}}, year = {{2011}}, } @inproceedings{25427, author = {{Shekarpour, Saeedeh and Auer, Sören and Ngonga Ngomo, Axel-Cyrille and Gerber, Daniel and Hellmann, Sebastian and Stadler, Claus}}, booktitle = {{Proceedings of the 2011 {IEEE/WIC/ACM} International Conference on Web Intelligence, {WI} 2011, Campus Scientifique de la Doua, Lyon, France, August 22-27, 2011}}, editor = {{Boissier, Olivier and Benatallah, Boualem and P. Papazoglou, Mike and W. Ras, Zbigniew and Hacid, Mohand-Said}}, pages = {{203--210}}, publisher = {{{IEEE} Computer Society}}, title = {{{Keyword-Driven SPARQL Query Generation Leveraging Background Knowledge}}}, doi = {{10.1109/WI-IAT.2011.70}}, year = {{2011}}, } @proceedings{25428, editor = {{Ghidini, Chiara and Ngonga Ngomo, Axel-Cyrille and N. Lindstaedt, Stefanie and Pellegrini, Tassilo}}, isbn = {{978-1-4503-0621-8}}, publisher = {{{ACM}}}, title = {{{Proceedings the 7th International Conference on Semantic Systems, I-SEMANTICS 2011, Graz, Austria, September 7-9, 2011}}}, year = {{2011}}, } @inbook{19455, author = {{Eke, Norbert Otto}}, booktitle = {{Kathrin Röggla: das stottern des realismus: fiktion und fingiertes, ironie und kritik}}, pages = {{1--2}}, title = {{{Vorwort}}}, year = {{2011}}, } @misc{19500, author = {{Eke, Norbert Otto}}, booktitle = {{Germanistik}}, number = {{H. 1/2}}, pages = {{136}}, title = {{{Zaal Andronikashvili: Die Erzeugung des dramatischen Textes. Ein Beitrag zur Theorie des Sujets}}}, volume = {{52}}, year = {{2011}}, } @misc{19505, author = {{Eke, Norbert Otto}}, booktitle = {{Germanistik}}, number = {{H. 1/2}}, pages = {{404f.}}, title = {{{Anna Souksengphet-Dachlauer: Text als Klangmaterial. Heiner Müllers Texte in Heiner Goebbes‘ Hörstücken}}}, volume = {{52}}, year = {{2011}}, } @article{19594, author = {{Büker, Petra and Kordulla, Agnes and Pollmann, Achim}}, journal = {{Die Grundschulzeitschrift, Ausgabe 250}}, number = {{250}}, pages = {{42--45}}, title = {{{Eine neue Didaktik für den Übergang? KiTa- und Grundschulkinder erforschen gemeinsam das Phänomen "Wasser"}}}, year = {{2011}}, } @inbook{19595, author = {{Büker, Petra}}, booktitle = {{Grundlegende Bildung ohne Brüche (Jahrbuch Grundschulforschung; Bd. 15)}}, editor = {{Kucharz, Diemut and Iron, Thomas and Reinhoffer, Bernd}}, pages = {{141--144}}, publisher = {{VS Verlag}}, title = {{{Brüche zwischen Schein und Sein. Zu den Chancen, Risiken und unbeabsichtigten Nebenwirkungen interkultureller Bildung für Grundschulkinder}}}, volume = {{15}}, year = {{2011}}, } @inbook{19596, author = {{Büker, Petra and Nitsche, Angelika}}, booktitle = {{Ästhetisch-biographische Reflexion in Lehrerbildung und Schule}}, editor = {{Eckhardt, Juliane and al., et}}, pages = {{195--218}}, publisher = {{Lang}}, title = {{{"Denk-Pausen" als Impulse zur biographischen Reflexion - Konturen eines anschlussfähigen Konzeptes zur Professionalisierung der ersten und zweiten Phase der Lehrerausbildung}}}, year = {{2011}}, } @phdthesis{19619, author = {{Korzeniowski, Miroslaw}}, isbn = {{978-3-942647-08-3}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Dynamic Load Balancing in Peer-to-Peer Networks}}}, volume = {{289}}, year = {{2011}}, } @article{19677, author = {{Briest, Patrick and Krysta, Piotr and Hoefer, Martin}}, journal = {{Algorithmica}}, pages = {{733–753}}, title = {{{Stackelberg Network Pricing Games}}}, doi = {{10.1007/s00453-010-9480-3}}, volume = {{62}}, year = {{2011}}, } @inproceedings{1968, abstract = {{Infrastructure as a Service providers use virtualization to abstract their hardware and to create a dynamic data center. Virtualization enables the consolidation of virtual machines as well as the migration of them to other hosts during runtime. Each provider has its own strategy to efficiently operate a data center. We present a rule based mapping algorithm for VMs, which is able to automatically adapt the mapping between VMs and physical hosts. It offers an interface where policies can be defined and combined in a generic way. The algorithm performs the initial mapping at request time as well as a remapping during runtime. It deals with policy and infrastructure changes. We extended the open source IaaS solution Eucalyptus and we evaluated it with typical policies: maximizing the compute performance and VM locality to achieve a high performance and minimizing energy consumption. The evaluation was done on state-of-the-art servers in our own data center and by simulations using a workload of the Parallel Workload Archive. The results show that our algorithm performs well in dynamic data centers environments.}}, author = {{Kleineweber, Christoph and Keller, Axel and Niehörster, Oliver and Brinkmann, André}}, booktitle = {{Proc. Int. Conf. on Parallel, Distributed and Network-Based Computing (PDP)}}, title = {{{Rule Based Mapping of Virtual Machines in Clouds}}}, doi = {{10.1109/PDP.2011.69}}, year = {{2011}}, } @article{1971, abstract = {{System virtualization has become the enabling technology to manage the increasing number of different applications inside data centers. The abstraction from the underlying hardware and the provision of multiple virtual machines (VM) on a single physical server have led to a consolidation and more efficient usage of physical servers. The abstraction from the hardware also eases the provision of applications on different data centers, as applied in several cloud computing environments. In this case, the application need not adapt to the environment of the cloud computing provider, but can travel around with its own VM image, including its own operating system and libraries. System virtualization and cloud computing could also be very attractive in the context of high‐performance computing (HPC). Today, HPC centers have to cope with both, the management of the infrastructure and also the applications. Virtualization technology would enable these centers to focus on the infrastructure, while the users, collaborating inside their virtual organizations (VOs), would be able to provide the software. Nevertheless, there seems to be a contradiction between HPC and cloud computing, as there are very few successful approaches to virtualize HPC centers. This work discusses the underlying reasons, including the management and performance, and presents solutions to overcome the contradiction, including a set of new libraries. The viability of the presented approach is shown based on evaluating a selected parallel, scientific application in a virtualized HPC environment. }}, author = {{Birkenheuer, Georg and Brinkmann, André and Kaiser, Jürgen and Keller, Axel and Keller, Matthias and Kleineweber, Christoph and Konersmann, Christoph and Niehörster, Oliver and Schäfer, Thorsten and Simon, Jens and Wilhelm, Maximilan}}, journal = {{Software: Practice and Experience}}, publisher = {{John Wiley & Sons}}, title = {{{Virtualized HPC: a contradiction in terms?}}}, doi = {{10.1002/spe.1055}}, year = {{2011}}, } @inproceedings{1972, abstract = {{We present a multi-agent system on top of the IaaS layer consisting of a scheduler agent and multiple worker agents. Each job is controlled by an autonomous worker agent, which is equipped with application specific knowledge (e.g., performance functions) allowing it to estimate the type and number of necessary resources. During runtime, the worker agent monitors the job and adapts its resources to ensure the specified quality of service - even in noisy clouds where the job instances are influenced by other jobs. All worker agents interact with the scheduler agent, which takes care of limited resources and does a cost-aware scheduling by assigning jobs to times with low energy costs. The whole architecture is self-optimizing and able to use public or private clouds.}}, author = {{Niehörster, Oliver and Keller, Axel and Brinkmann, André}}, booktitle = {{Proc. Int. Meeting of the IEEE Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS)}}, title = {{{An Energy-Aware SaaS Stack}}}, doi = {{10.1109/MASCOTS.2011.52}}, year = {{2011}}, } @inproceedings{19845, abstract = {{In dieser Arbeit stellen wir ein flexibles System zur Entwicklung und Evaluation von 3-D-Renderingalgorithmen vor, das die Visualisierung komplexer virtueller Szenen auf einem breiten Spektrum an Geräten erlaubt. Die Aufbereitung und Echtzeitdarstellung solcher virtueller Szenen, wie sie beispielsweise aus detaillierten CAD-Daten erzeugt werden, stellt in vielerlei Hinsicht eine algorithmische und technische Herausforderung dar. Die 3-D-Szenendaten können nach dem Dateiimport aus einem Austauschformat in eine Vielzahl unterschiedlicher Datenstrukturen überführt werden. Es muss ein geeignetes Renderingverfahren ausgewählt und eingestellt werden, welches sowohl die Eigenschaften der Szene (Zahl der Polygone, Grad der Verdeckung etc.) als auch die Fähigkeiten der Hardware berücksichtigt. Auf der einen Seite stellt die Darstellung auf mobilen Endgeräten wie Smartphones besonders hohe Anforderungen aufgrund der Speicherbeschränkung und der geringen Leistungsfähigkeit der Grafikhardware. Auf der anderen Seite stehen bei Großprojektionssystemen, wie beispielsweise dem HD-Visualisierungscenter des Heinz Nixdorf Instituts, die hohe Bildqualität bei stereoskopischer Darstellung und die Unterstützung von Trackingsystemen im Vordergrund. Der Fokus des von uns entwickelten Systems PADrend liegt in der Bereitstellung einer flexiblen und leicht erweiterbaren Grundlage für die Entwicklung und Evaluation von 3-D-Renderingalgorithmen und räumlichen Datenstrukturen im Bereich der Forschung und der universitären Ausbildung. Durch den modularen Aufbau und die große Bandbreite an unterstützten Systemen wird gewährleistet, dass eine Vielzahl unterschiedlicher Entwicklungen und Anwendungen auf PADrend aufsetzen können. In diesem Artikel geben wir einen Überblick über den Aufbau und die Fähigkeiten des Systems. Des Weiteren geben wir ein Beispiel für ein Anwendungsszenario, in dem PADrend eingesetzt wird: die Visualisierung von architektonischen Modellen auf einem Multiprojektionssystem.}}, author = {{Jähn, Claudius and Petring, Ralf and Eikel, Benjamin}}, booktitle = {{Augmented & Virtual Reality in der Produktentstehung}}, pages = {{159----170}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{PADrend: Platform for Algorithm Development and Rendering}}}, volume = {{295}}, year = {{2011}}, } @inproceedings{19908, abstract = {{November 2011}}, author = {{Büker, Petra}}, title = {{{Heterogenität im Klassenzimmer. Herausforderungen für Lehrer/innenbildung und Praxis. Einführungsvortrag zum Praxistag: Interkulturelles Klassenmanagement des PLAZ sowie des Netzwerkes Lehrkräfte mit Zuwanderungsgeschichte NRW}}}, year = {{2011}}, } @inproceedings{19909, abstract = {{September 2011}}, author = {{Büker, Petra and Berning, Hanna}}, title = {{{Das Praxissemester in der Ausbildungsregion der Universität Paderborn. Vortrag im Rahmen des Symposions: Das neue Grundschullehramt in NRW an der 20. Jahrestagung der Kommission "Grundschulforschung und Pädagogik in der Primarstufe" der Deutschen Gesellschaft für Erziehungswissenschaft. Universität Paderborn}}}, year = {{2011}}, } @inproceedings{19910, abstract = {{September 2011}}, author = {{Büker, Petra and Hüpping, Birgit}}, title = {{{Sichtweisen, Handlungslogiken und Belastungserleben von Grundschullehrer/innen im Umgang mit kultureller Vielfalt: Forschungsbefunde aus der Paderborner Professionsstudie Pro-LEG. Vortrag an der 20. Jahrestagung der Kommission "Grundschulforschung und Pädagogik in der Primarstufe" der Deutschen Gesellschaft für Erziehungswissenschaft. Universität Paderborn}}}, year = {{2011}}, } @inproceedings{19911, abstract = {{September 2011}}, author = {{Büker, Petra and Bührmann, Thorsten and Kordulla, Agnes}}, title = {{{Schul- und Kindergartenentwicklung als neues interdisziplinäres Forschungsfeld: Methodologische Herausforderungen am Beispiel des Paderborner Modellprojektes "Kinderbildungshaus". Vortrag an der 20. Jahrestagung der Kommission "Grundschulforschung und Pädagogik der Primarstufe" der Deutschen Gesellschaft für Erziehungswissenschaften. Universität Paderborn}}}, year = {{2011}}, } @inproceedings{19913, abstract = {{September 2011}}, author = {{Büker, Petra and Kordulla, Agnes and Bunte, Nicola}}, title = {{{Lernen in multiprofessionellen Teams - Integrierte Praxisforschung im Paderborner Modellprojekt "Kinderbildungshaus". Vortrag an der Jahrestagung des Nordverbunds Schulbegleitforschung an der Universität Paderborn}}}, year = {{2011}}, } @inproceedings{20180, abstract = {{The challenging scientific field of self-reconfiguring modular robotics (i.e., decentrally controlled 'super-robots' based on autonomous, interacting robot modules with variable morphologies) calls for novel paradigms of designing robot controllers. One option is the approach of evolutionary robotics. In this approach, the challenge is to achieve high evaluation numbers with the available resources which may even affect the feasibility of this approach. Simulations are usually applied at least in a preliminary stage of research to support controller design. However, even simulations are computationally expensive which gets even more burdensome once comprehensive studies and comparisons between different controller designs and approaches have to be done. Hence, a benchmark with low computational cost is needed that still contains the typical challenges of decentral control, is comparable, and easily manageable. We propose such a benchmark and report an empirical study of its characteristics including the transition from the single-robot setting to the multi-robot setting, typical local optima, and properties of adaptive walks through the fitness landscape.}}, author = {{Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl and Krasnogor, Natalio and Luca Lanzi, Pier}}, booktitle = {{Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011}}, pages = {{195----202}}, title = {{{Coupled inverted pendulums: A benchmark for evolving decentral controllers in modular robotics}}}, doi = {{10.1145/2001576.2001604}}, year = {{2011}}, } @inproceedings{20181, abstract = {{The current definitions of emergence have no effects in the context of artificial life that could convincingly be called `constructive'. They are rather descriptive labels or tests. In order to get towards recipes of generating emergence we need to know systemic characteristics that help during the design phase of artificial life systems and worlds. In this paper, we develop and discuss five hypotheses that are not meant to be irrevocable but rather thought-provoking. We introduce two modeling approaches for Langton's ant to clarify these hypotheses. Then we discuss general properties of systems, such as (ir-)reversibility, dependence on initial states, computation, discreetness, and undecidable properties of system states.}}, author = {{Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}}, booktitle = {{IEEE Symposium on Artificial Life (IEEE ALIFE 2011)}}, pages = {{62----69}}, title = {{{Thermodynamics of Emergence: Langton's Ant Meets Boltzmann}}}, doi = {{10.1109/ALIFE.2011.5954660}}, year = {{2011}}, } @inproceedings{20183, author = {{Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}}, booktitle = {{10th European Conference on Artificial Life (ECAL'09)}}, isbn = {{9783642212826}}, issn = {{0302-9743}}, pages = {{442----449}}, title = {{{Evolving for Creativity: Maximizing Complexity in a Self-organized Multi-particle System}}}, doi = {{10.1007/978-3-642-21283-3_55}}, volume = {{5777}}, year = {{2011}}, } @inproceedings{20184, author = {{Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Thenius, Rona and Fitch, Robert}}, booktitle = {{Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples}}, title = {{{Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples for Adaptive Reaction-Diffusion Controllers}}}, year = {{2011}}, } @article{2019, author = {{Krimphove, Dieter}}, journal = {{Zeitschrift für das gesamte Genossenschaftswesen ZFgG }}, number = {{Bd. 61. Heft 1}}, pages = {{45 – 59}}, publisher = {{Lucius & Lucius}}, title = {{{Die Europäische Genossenschaft (SCE) auf dem Prüfstand }}}, year = {{2011}}, } @inbook{20193, author = {{Hamann, Heiko and Schmickl, Thomas}}, booktitle = {{Bio-inspired Computing and Communication Networks}}, editor = {{Xiao, Yang}}, publisher = {{CRC Press}}, title = {{{{BEECLUST}: {A} Swarm Algorithm Derived from Honeybees}}}, year = {{2011}}, } @inproceedings{20194, author = {{Hamann, Heiko and Karsai, Istvan and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Thenius, Ronald and Kampis, Gyoergy and Szathmary, Eoers}}, booktitle = {{Advances in Artificial Life, 10th European Conference, ECAL 2009}}, pages = {{132----139}}, title = {{{Evolving a novel bio-inspired controller in reconfigurable robots}}}, year = {{2011}}, } @inproceedings{20195, author = {{Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl and Thenius, Ronald and Kengyel, Daniela}}, booktitle = {{10th European Conference on Artificial Life (ECAL'09)}}, title = {{{Embodiment of Honeybee's Thermotaxis in a Mobile Robot Swarm}}}, doi = {{10.1007/978-3-642-21314-4_9}}, year = {{2011}}, } @inbook{20196, author = {{Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}}, booktitle = {{Advances in Artificial Life, ECAL 2011: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems}}, editor = {{Lenaerts, Tom and Giacobini, Mario and Bersini, Hugues and Bourgine, Paul and Dorigo, Marco and Doursat, Rene}}, pages = {{302----309}}, publisher = {{MIT Press}}, title = {{{Explaining Emergent Behavior in a Swarm System Based on an Inversion of the Fluctuation Theorem}}}, year = {{2011}}, } @inbook{20214, author = {{Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Winkler, Lutz}}, booktitle = {{New Horizons in Evolutionary Robotics}}, publisher = {{Springer}}, title = {{{Major Feedback Loops Supporting Artificial Evolution in Multi-modular Robotics}}}, doi = {{10.1007/978-3-642-18272-3_13}}, year = {{2011}}, } @article{20215, author = {{Schmickl, Thomas and Hamann, Heiko and Crailsheim, Karl}}, issn = {{1387-3954}}, journal = {{Mathematical and Computer Modelling of Dynamical Systems}}, number = {{3}}, pages = {{221--242}}, title = {{{Modelling a hormone-inspired controller for individual- and multi-modular robotic systems}}}, doi = {{10.1080/13873954.2011.557862}}, volume = {{17}}, year = {{2011}}, } @article{28047, author = {{Gerick, Julia and Bloh, Bea}}, pages = {{268--270}}, title = {{{Erweiterter Gestaltungspielraum für Schulen. Welche Veränderungen beschreiben Schulleiterinnen und Schulleiter in ihrem beruflichen Selbstverständnis?}}}, volume = {{10}}, year = {{2011}}, } @inbook{28114, author = {{Anskeit, Nadine and Eickelmann, Birgit}}, booktitle = {{Unterrichtsqualität sichern – Grundschule}}, editor = {{Bonsen, Martin and Homeier, Wulf and Tschekan, Kerstin and Ubben, Lotta}}, pages = {{1--22}}, publisher = {{Raabe}}, title = {{{Wiki-Einsatz im Deutschunterricht - Mit neuen Technologien kooperatives Lernen unterstützen}}}, year = {{2011}}, } @misc{28116, author = {{Davis, Niki and Eickelmann, Birgit and Patru, Mariana and Schulz-Zander, Renate and Dzvimbo, Peter}}, publisher = {{UNESCO/Kennisnet}}, title = {{{EduSummIT 2011: Restructuring educational systems to move into the digital age}}}, year = {{2011}}, } @article{28117, author = {{Eickelmann, Birgit}}, journal = {{Journal for Educational Research Online/Journal für Bildungsforschung Online}}, number = {{1}}, pages = {{7--10}}, title = {{{Editorial. Technology to enhance learning: Problems and Promises}}}, volume = {{3}}, year = {{2011}}, } @article{28120, author = {{Lorenz, Ramonda and Kahnert, Julia and Eickelmann, Birgit and Bos, Wilfried}}, journal = {{Zeitschrift Schul-Management}}, number = {{6}}, pages = {{24--27}}, title = {{{Mehr Gerechtigkeit durch Zentralabitur? – Analysen einer Lehrerbefragung in NRW}}}, volume = {{42}}, year = {{2011}}, } @article{28121, author = {{Eickelmann, Birgit and Kahnert, Julia and Lorenz, Ramona and Bos, Wilfried}}, journal = {{SchulVerwaltung NRW}}, pages = {{31--32}}, title = {{{Das Zentralabitur in Nordrhein-Westfalen aus der Lehrerperspektive. Veränderungen für den Unterricht}}}, year = {{2011}}, } @article{28122, author = {{Eickelmann, Birgit and Bos, Wilfried}}, journal = {{Zeitschrift Medienimpulse}}, number = {{4}}, pages = {{1--11}}, title = {{{Messung computer- und informationsbezogener Kompetenzen von Schülerinnen und Schülern als Schlüsselkompetenz im 21. Jahrhundert}}}, volume = {{3}}, year = {{2011}}, } @phdthesis{28357, abstract = {{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.}}, author = {{Müller, Mareike}}, publisher = {{University of Waterloo}}, title = {{{Learners' identity negotiations and beliefs about pronunciation in study abroad contexts}}}, year = {{2011}}, } @misc{2872, author = {{Böttger, Timm}}, title = {{{Bicriteria-Approximation für das k-Median-Clustering mit Bregman-Divergenzen}}}, year = {{2011}}, } @book{25878, author = {{Aufenanger, Mark}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Situativ trainierte Regeln zur Ablaufsteuerung in Fertigungssystemen und ihre Integration in Simulationssysteme}}}, volume = {{269}}, year = {{2011}}, } @inbook{2606, author = {{Betz, Stefan}}, booktitle = {{Ausgewählte Probleme des Logistikmanagements}}, editor = {{Betz, Stefan}}, pages = {{215--240}}, title = {{{Internationale Standortwahl als strategisches Logistikproblem}}}, year = {{2011}}, } @inbook{2607, author = {{Betz, Stefan}}, booktitle = {{Ausgewählte Probleme des Logistikmanagements}}, editor = {{Betz, Stefan}}, pages = {{109--137}}, title = {{{Bedarfsorientiertes Kapazitätsmanagement in Supply Chains}}}, year = {{2011}}, } @book{26185, author = {{Brink, Volker}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Verfahren zur Entwicklung konsistenter Produkt- und Technologiestrategien}}}, volume = {{280}}, year = {{2011}}, } @phdthesis{26187, author = {{Pohl, Christopher}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Konfigurierbare Hardwarebeschleuniger für selbst-organisierende Karten}}}, volume = {{285}}, year = {{2011}}, } @phdthesis{26188, author = {{Dumitrescu, Roman}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Entwicklungssystematik zur Integration kognitiver Funktionen in fortgeschrittene mechatronische Systeme}}}, volume = {{286}}, year = {{2011}}, } @phdthesis{26189, author = {{Reyes Perez, Mariana}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{A Specification Technique for the Conceptual Design of Manufacturing Systems}}}, volume = {{291}}, year = {{2011}}, } @phdthesis{26194, author = {{Krol, Rafal}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM).}}}, volume = {{293}}, year = {{2011}}, } @proceedings{26195, editor = {{Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{8. Paderborner Workshop Entwurf mechatronischer Systeme}}}, volume = {{294}}, year = {{2011}}, } @proceedings{26196, editor = {{Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{10. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}}}, volume = {{295}}, year = {{2011}}, } @phdthesis{26197, author = {{Pook, Sebastian}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Eine Methode zum Entwurf von Zielsystemen selbstoptimierender mechatronischer Systeme}}}, volume = {{296}}, year = {{2011}}, } @proceedings{26198, editor = {{Gausemeier, Jürgen}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Vorausschau und Technologieplanung. 7. Symposium für Vorausschau und Technologieplanung}}}, volume = {{300}}, year = {{2011}}, } @inproceedings{26276, author = {{Hosseinimehr, Masoud and Montealegre, Norma}}, booktitle = {{The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011)}}, location = {{ 14. - 16. Dez. 2011, ACTA Press, Calgary, Canada}}, publisher = {{ACTA Press}}, title = {{{Implementation of a Singular Value Decomposition Module on an FPGA}}}, year = {{2011}}, } @inproceedings{26279, abstract = {{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.}}, author = {{Jungmann, Alexander and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA)}}, location = {{Wellington, New Zealand, 6. - 8. Dez. 2011, IEEE}}, publisher = {{IEEE}}, title = {{{Automatic Feature Classification for Object Detection based on Motion Analysis}}}, year = {{2011}}, } @inproceedings{26281, abstract = {{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.}}, author = {{Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)}}, location = {{Wellington, New Zealand, Dez. 2011}}, title = {{{Towards Using Virtual Forces for Image Registration}}}, year = {{2011}}, } @article{26357, author = {{Sperling, Jan and Vogel, W.}}, issn = {{1050-2947}}, journal = {{Physical Review A}}, title = {{{Determination of the Schmidt number}}}, doi = {{10.1103/physreva.83.042315}}, year = {{2011}}, } @article{26358, author = {{Sperling, Jan and Vogel, W}}, issn = {{0031-8949}}, journal = {{Physica Scripta}}, title = {{{The Schmidt number as a universal entanglement measure}}}, doi = {{10.1088/0031-8949/83/04/045002}}, year = {{2011}}, } @article{2644, author = {{Diller, M. and Kundisch, Dennis and Späth, T.}}, journal = {{CORPORATE FINANCE biz}}, number = {{3}}, pages = {{153--156}}, title = {{{Zur Bewertung von Verlustgesellschaften nach den Änderungen des §8c KStG durch das Wachstumsbeschleunigungsgesetz}}}, year = {{2011}}, } @inbook{2662, author = {{Dannewitz, Christian and al, et}}, booktitle = {{Architecture and Design for the Future Internet}}, title = {{{How to manage and Search/Retrieve Information Objects}}}, year = {{2011}}, } @inbook{2663, author = {{Dannewitz, Christian and al, et}}, booktitle = {{Architecture and Design for the Future Internet}}, title = {{{Integrating Generic Paths and NetInf}}}, year = {{2011}}, } @inproceedings{26660, abstract = {{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. }}, author = {{Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)}}, title = {{{A Distributed Multi-UAV Path Planning Approach for 3D Environments}}}, year = {{2011}}, } @inproceedings{26663, author = {{Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}}, booktitle = {{Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems}}, publisher = {{Lecture Notes of ICST}}, title = {{{A Bio-inspired Coverage and Connectivity Maintenance Algorithm}}}, year = {{2011}}, } @inproceedings{26667, author = {{Kuznik, Christoph and Müller, Wolfgang}}, booktitle = {{Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)}}, title = {{{Aspect enhanced functional coverage driven verification in the SystemC HDVL}}}, year = {{2011}}, } @inproceedings{26669, author = {{Xie, Tao and Müller, Wolfgang}}, booktitle = {{Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)}}, title = {{{IP-XACT based System Level Mutation Testing}}}, year = {{2011}}, } @article{26670, author = {{Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel, Andreas}}, journal = {{International Journal of Computer Systems Science & Engineering 26 (6)}}, title = {{{Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures}}}, year = {{2011}}, } @article{26671, author = {{Baldin, Daniel and Grösbrink, Stefan and Oberthür, Simon}}, journal = {{International Journal on Computing (JoC) 1(4)}}, title = {{{Enabling Constraint-based Binary Reconfiguration by Binary Analysis}}}, year = {{2011}}, } @inproceedings{26673, author = {{Bin Tariq, Fahad}}, booktitle = {{ 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011}}, location = {{Poznan, Poland, 26. - 28. Okt. 2011, Springer-Verlag}}, publisher = {{Springer-Verlag}}, title = {{{F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems}}}, year = {{2011}}, } @inproceedings{26687, author = {{Orfanus, Dalimir and Janacik, Peter and Eliassen, Frank and Orten, Pal}}, booktitle = {{Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)}}, location = {{Salamanca, Spain, 19. - 21. Okt. 2011, IEEE Computer Society}}, publisher = {{IEEE Computer Society}}, title = {{{High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems}}}, year = {{2011}}, } @book{2669, editor = {{Betz, Stefan}}, title = {{{Ausgewählte Probleme des Logistikmanagements}}}, year = {{2011}}, } @inproceedings{26698, author = {{Xie, Tao and Müller, Wolfgang}}, booktitle = {{Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)}}, title = {{{HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}}}, year = {{2011}}, } @inproceedings{26699, abstract = {{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.}}, author = {{Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)}}, publisher = {{IEEE}}, title = {{{A Test Bed for Investigating Self-X Properties in Multi-Robot Societies}}}, year = {{2011}}, } @inproceedings{26701, abstract = {{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. }}, author = {{Gausemeier, Jürgen and Schierbaum, Thomas and Dumitrescu, Roman and Herbrechtsmeier, Stefan and Jungmann, Alexander}}, booktitle = {{Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)}}, publisher = {{IEEE}}, title = {{{Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties}}}, year = {{2011}}, } @inproceedings{26702, author = {{Thuy, Andreas}}, booktitle = {{Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on }}, publisher = {{IEEE Xplore}}, title = {{{ Comparison of periodic and aperiodic task models for cyber-physical-systems}}}, year = {{2011}}, } @article{26705, abstract = {{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. }}, author = {{Kuznik, Christoph and Müller, Wolfgang}}, journal = {{North American SystemC User Group Meeting (16th)}}, title = {{{Verification Closure of SystemC Designs with Functional Coverage}}}, year = {{2011}}, } @inproceedings{26707, abstract = {{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. }}, author = {{Mathews, Emi and Frey, Hannes}}, booktitle = {{IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)}}, pages = {{1--9}}, publisher = {{ IEEE Computer Society}}, title = {{{A Localized Planarization Algorithm for Realistic Wireless Networks}}}, year = {{2011}}, } @inproceedings{26710, author = {{Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed and DiPasquale, Anthony}}, booktitle = {{8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294}}, pages = {{315--327}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie}}}, volume = {{294}}, year = {{2011}}, } @article{26711, author = {{Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}}, journal = {{ThinkMind, International Journal On Advances in Software 3 (3&4)}}, pages = {{351--370}}, title = {{{Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs}}}, year = {{2011}}, } @inproceedings{26712, author = {{Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}}, booktitle = {{14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)}}, pages = {{217--226}}, publisher = {{IEEE Computer Society}}, title = {{{ Self-Organized Cooperation in Swarm Robotics}}}, year = {{2011}}, } @inproceedings{26713, author = {{Klobedanz, Kay and König, A. and Müller, Wolfgang}}, booktitle = {{Proceedings of Design, Automation, Test Europe - DATE2011}}, location = {{14. - 18. Mrz. 2011}}, publisher = {{IEEE Computer Society Press}}, title = {{{A Reconfiguration Approach for Fault-Tolerant FlexRay Networks}}}, year = {{2011}}, } @inproceedings{26714, author = {{Klobedanz, Kay and König, A. and Müller, Wolfgang and Rettberg, Achim}}, booktitle = {{Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011}}, publisher = {{IEEE Computer Society Press}}, title = {{{Self-Reconfiguration for Fault-Tolerant FlexRay Networks}}}, year = {{2011}}, } @inproceedings{26715, abstract = {{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.}}, author = {{Kuznik, Christoph and Müller, Wolfgang}}, booktitle = {{Proceedings of DVCON }}, title = {{{Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction}}}, year = {{2011}}, } @inproceedings{26716, abstract = {{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.}}, author = {{Mischkalla, Fabian and He, Da and Müller, Wolfgang}}, booktitle = {{Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)}}, title = {{{A Retargetable SysML-based Front-End for High-Level Synthesis}}}, year = {{2011}}, } @inproceedings{26717, author = {{He, Da and Mischkalla, Fabian and Müller, Wolfgang}}, booktitle = {{Proceedings of 1st international QEMU Users Forum}}, title = {{{A SysML-based Framework with QEMU-SystemC Code Generation}}}, year = {{2011}}, } @book{26726, editor = {{Hellmich, Frank}}, publisher = {{Kohlhammer}}, title = {{{Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen}}}, year = {{2011}}, } @inbook{26745, author = {{Hellmich, Frank}}, booktitle = {{Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis}}, editor = {{Wember, Franz B. and Heimlich , Ulrich}}, pages = {{294--306}}, publisher = {{Kohlhammer}}, title = {{{Lehren und Lernen im Geometrieunterricht}}}, year = {{2011}}, } @inbook{26749, author = {{Hellmich, Frank}}, booktitle = {{Grundlegende Bildung ohne Brüche}}, editor = {{Kucharz, Diemut and Irion, Thomas and Reinhoffer , Bernd}}, pages = {{215--218}}, publisher = {{Springer VS}}, title = {{{Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang auf die weiterführenden Schulen}}}, doi = {{10.1007/978-3-531-94131-8_39}}, volume = {{15}}, year = {{2011}}, } @inbook{26750, author = {{Hellmich, Frank and Günther, Frederike}}, booktitle = {{Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen}}, editor = {{Hellmich, Frank}}, pages = {{17--46}}, publisher = {{Kohlhammer}}, title = {{{Entwicklung von Selbstkonzepten bei Kindern im Grundschulalter – ein Überblick}}}, year = {{2011}}, } @inbook{26751, author = {{Hellmich, Frank and Niebuhr-Siebert, Sandra}}, booktitle = {{Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb? – empirische Befunde und Beispiele guter Praxis}}, editor = {{Hornberg, Sabine and Valtin, Renate}}, pages = {{287--293}}, publisher = {{Deutsche Gesellschaft für Lesen und Schreiben}}, title = {{{Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache}}}, year = {{2011}}, } @inproceedings{26782, author = {{Becker, Markus}}, booktitle = {{1st International QEMU Users Forum (QUF'11)}}, title = {{{QEMU/SystemC Cosimulation at Different Abstraction Levels}}}, year = {{2011}}, } @inbook{26783, author = {{Adelt, Philipp and Esau, Natascha and Hölscher, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Zimmer, Detmar}}, booktitle = {{ Intelligent Mechatronics; Kapitel 10}}, pages = {{169--194}}, publisher = {{InTech Open Access Publisher}}, title = {{{Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems}}}, year = {{2011}}, } @inproceedings{26784, author = {{Gnokam Defo, Gilles Bertrand and Müller, Wolfgang}}, booktitle = {{Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}}, title = {{{Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk}}}, year = {{2011}}, }