@article{55243,
  author       = {{Milkov, Nikolay}},
  journal      = {{Pragmatics & Cognition }},
  number       = {{1}},
  pages        = {{188--195}},
  title        = {{{Mark Wilson, Wandering Significance: An Essay on Conceptual Behaviour. Oxford: Clarendon Press}}},
  volume       = {{20}},
  year         = {{2010}},
}

@misc{17741,
  author       = {{Peckhaus, Volker and Gethmann, Carl Friedrich}},
  booktitle    = {{Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Ins–Loc}},
  editor       = {{Mittelstraß, Jürgen}},
  pages        = {{18}},
  publisher    = {{J.B. Metzler}},
  title        = {{{Intentio}}},
  year         = {{2010}},
}

@misc{17742,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Ins–Loc}},
  editor       = {{Mittelstraß, Jürgen}},
  pages        = {{555--556}},
  publisher    = {{J.B. Metzler}},
  title        = {{{Lévinas, Emmanuel}}},
  year         = {{2010}},
}

@misc{55100,
  author       = {{Strube, Miriam}},
  booktitle    = {{Zeitschrift für Didaktik der Philosophie und Ethik}},
  title        = {{{Thomas Hecken, Pop: Geschichte eines Konzepts 1955-2009. Bielefeld: transcript 2009.}}},
  volume       = {{Nr. 4}},
  year         = {{2010}},
}

@inproceedings{47616,
  abstract     = {{Nach der Einführung der neuen Kernlehrpläne in NRW wurde eine praxisorientierte und theoriegestützte Lehrerfortbildung für Physiklehrkräfte an Gymnasien im Raum Dortmund konzipiert und implementiert: „piko-DO“. Diese Lehrerfortbildung basiert auf drei Säulen: Universität, Schule und Wirtschaft/Institution. Dabei wird die Verbindung Schule – Universität als Schlüsselpunkt dieser Fortbildung gesehen, sowohl bezüglich der Konzeption als auch der Durchführung. Regelmäßig treffen sich Physiklehrkräfte, Fachseminarleiter und Fachdidaktiker und planen und reflektieren kontextorientierten Physikunterricht. Insbesondere wird der Frage nachgegangen, was ein geeigneter Kontext ist und wie dieser auch über einen längeren Zeitraum im Unterricht präsent bleiben kann. Im Vortrag werden sowohl Aspekte zum Lehren von kontextorientiertem Unterricht analysiert als auch Möglichkeiten und Grenzen kooperativer Lehrerfortbildung diskutiert. Desweiteren werden die Konzeption der Fortbildung incl. intra- und interpersoneller Voraussetzungen sowie erste Planungsergebnisse von Unterricht vorgestellt.}},
  author       = {{Jonas-Ahrend, Gabriela and Wlotzka, Udo}},
  location     = {{Dresden}},
  title        = {{{Piko - DO - Lehrerfortbildung zu kontextorientiertem Physikunterricht}}},
  year         = {{2010}},
}

@inbook{28953,
  author       = {{Grimminger-Seidensticker, Elke}},
  booktitle    = {{Sport et discrimination en Europe}},
  editor       = {{Gasparini, W. and Talleu, C.}},
  pages        = {{75--76}},
  publisher    = {{Éditions du Conseil de l´Europe}},
  title        = {{{Conclusion: Pratiques sportives et discriminations sexuelles}}},
  year         = {{2010}},
}

@inbook{28921,
  author       = {{Grimminger-Seidensticker, Elke and Gieß-Stüber, P.}},
  booktitle    = {{Handbuch Schulsport}},
  editor       = {{Fessler, N. and Hummel, A. and Stibbe, G.}},
  pages        = {{541--553}},
  publisher    = {{Hofmann}},
  title        = {{{Interkulturalität in der Schule und im Schulsport}}},
  year         = {{2010}},
}

@book{55707,
  editor       = {{Priesching, Nicole and Henkelmann, Andreas}},
  title        = {{{Widerstand? Forschungsperspektiven auf das Verhältnis von Katholizismus und Nationalsozialismus}}},
  volume       = {{2}},
  year         = {{2010}},
}

@book{55813,
  author       = {{Kepper, Johannes and Roland, Perry D.}},
  title        = {{{Music Encoding Initiative Tag Library, 2010-05 Release}}},
  year         = {{2010}},
}

@article{40109,
  author       = {{Schmitz, Sabine}},
  journal      = {{Archiv für das Studium der neueren Sprachen und Literaturen}},
  pages        = {{317--333}},
  title        = {{{Orte des Anderssagens auf der Bühne: Spielformen der allegorischen Personifikation in der Moralité des 15. und 16. Jahrhunderts}}},
  volume       = {{247}},
  year         = {{2010}},
}

@article{36946,
  author       = {{Weber, Jutta}},
  journal      = {{Poiesis and Praxis. International Journal of Ethics of Science and Technology Assessment 1/2010}},
  number       = {{1/2010}},
  pages        = {{17--36}},
  title        = {{{Making Worlds. Epistemological, Ontological and Political Dimensions of Technoscience}}},
  volume       = {{Vol. 7}},
  year         = {{2010}},
}

@inbook{36957,
  author       = {{Weber, Jutta}},
  booktitle    = {{GenderChange in Academia. Re-mapping the Fields of Work, Knowledge, and Politics from a Gender Perspective}},
  editor       = {{Riegraf, Birgit and Aulenbacher, Brigitte and Kirsch-Auwärter, Edit and Müller, Ursula}},
  pages        = {{217--230}},
  publisher    = {{Verlag für Sozialwissenschaften}},
  title        = {{{‘Security’ Architectures, New Ontologies and the Category of Gender. Contemporary Challenges in Feminist Technoscience Studies}}},
  year         = {{2010}},
}

@inbook{36959,
  author       = {{Weber, Jutta}},
  booktitle    = {{Roboterträume}},
  pages        = {{40--61}},
  publisher    = {{Kehrer Verlag}},
  title        = {{{Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik}}},
  year         = {{2010}},
}

@inbook{36958,
  author       = {{Weber, Jutta}},
  booktitle    = {{Roboterträume}},
  pages        = {{40--61}},
  publisher    = {{Kehrer Verlag}},
  title        = {{{New Robot Dreams. On Desire and Reality in Service Robotics}}},
  year         = {{2010}},
}

@inbook{36963,
  author       = {{Weber, Jutta}},
  booktitle    = {{Thinking Machines and the Philosophy of Computer Science: Concepts and Principles}},
  editor       = {{Vallverdú, Jordi}},
  pages        = {{206--222}},
  publisher    = {{IGI Global}},
  title        = {{{Armchair Warfare ‘on Terrorism’. On Robots, Targeted Assassinations and Strategic Violations of International Law}}},
  year         = {{2010}},
}

@inbook{36964,
  author       = {{Weber, Jutta and Crutzen, Cecile}},
  booktitle    = {{Festschrift for Christina Mörtberg}},
  editor       = {{Elovaara, Pirjo and Sefyrin, Johanna and Öhman, Maybritt and Björkman, Christina and Blomqvist, Martha}},
  pages        = {{245--268}},
  publisher    = {{Department of Informatics: Umeå Universität}},
  title        = {{{Gender, Diversity and a Competence Based Computer Science Curriculum}}},
  year         = {{2010}},
}

@inbook{36967,
  author       = {{Weber, Jutta}},
  booktitle    = {{Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen}},
  editor       = {{Ernst, Waltraud}},
  pages        = {{49--62}},
  publisher    = {{LIT Verlag}},
  title        = {{{Situiertheit, Verkörperung, Gefühl: Unscharfe Begriffe als technowissenschaftliche Innovationsressource}}},
  year         = {{2010}},
}

@inbook{36969,
  author       = {{Weber, Jutta}},
  booktitle    = {{Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz}},
  editor       = {{Badura, Hans}},
  pages        = {{245--260}},
  publisher    = {{Eigenverlag}},
  title        = {{{Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience}}},
  year         = {{2010}},
}

@inproceedings{37007,
  abstract     = {{UML is widely applied for the specification and modeling of software and some studies have demonstrated that it is applicable for HW/SW codesign. However, in this area there is still a big gap from UML modeling to SystemC-based verification and synthesis environments. This paper presents an efficient approach to bridge this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework for the seamless integration of a customized SysML entry with code generation for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate the applicability of our approach.}},
  author       = {{Mischkalla, Fabian and He, Da and Müller, Wolfgang}},
  booktitle    = {{Proceedings of DATE’10}},
  keywords     = {{Unified modeling language, Field programmable gate arrays, Bridges, Helium, Real time systems, Operating systems, Documentation, Application software, XML, Space exploration}},
  location     = {{Dresden}},
  publisher    = {{IEEE}},
  title        = {{{Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}}},
  doi          = {{10.1109/DATE.2010.5456990}},
  year         = {{2010}},
}

@inproceedings{37009,
  abstract     = {{Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) residing on one or several processors. For scaling of each task set and processor configuration, instruction set simulation and worst case timing analysis are typically applied. This paper presents a complementary approach for the verification of RTOS properties based on an abstract RTOS-Model in SystemC. We apply IEEE P1850 PSL for which we present an approach and first experiences for the assertion-based verification of RTOS properties.}},
  author       = {{Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}},
  booktitle    = {{Proceedings of DATE’10}},
  keywords     = {{Operating systems, Real time systems, Timing, Hardware, Analytical models, Embedded software, Software systems, Processor scheduling, Software performance, Performance analysis}},
  location     = {{Dresden}},
  publisher    = {{IEEE}},
  title        = {{{Assertion-Based Verification of RTOS Properties}}},
  doi          = {{10.1109/DATE.2010.5457130}},
  year         = {{2010}},
}