@book{55706, editor = {{Priesching, Nicole}}, title = {{{Unter der Geissel Gottes. Das Leiden der stigmatisierten Maria von Mörl (1812–1868) im Urteil ihres Beichtvaters}}}, year = {{2007}}, } @article{55819, author = {{Kepper, Johannes and Röwenstrunk, Daniel}}, journal = {{Forum Musikbibliothek}}, number = {{1}}, pages = {{36–49}}, title = {{{Das Edirom-Projekt. Werkzeuge für digitale Formen wissenschaftlich-kritischer Musikeditionen}}}, volume = {{28}}, year = {{2007}}, } @inbook{40029, author = {{Schmitz, Sabine and Peñalva, J.J.}}, booktitle = {{Doscientos críticos literarios en la España del siglo XIX }}, editor = {{Baasner, Frank and Acero Yus, Francisco}}, isbn = {{9788400085421}}, pages = {{424--432}}, publisher = {{Wissenschaftliche Buchgesellschaft/ Consejo Superior de Investigaciones Científicas}}, title = {{{Francisco Giner de los Ríos}}}, year = {{2007}}, } @inbook{40028, author = {{Schmitz, Sabine}}, booktitle = {{Doscientos críticos literarios en la España del siglo XIX }}, editor = {{Baasner, Frank and Acero Yus, Francisco}}, pages = {{60--69}}, publisher = {{Wissenschaftliche Buchgesellschaft/ Consejo Superior de Investigaciones Científicas}}, title = {{{Rafael Altamira y Crevea}}}, year = {{2007}}, } @inbook{36977, author = {{Weber, Jutta}}, booktitle = {{Machines as Agency. Artistic Perspectives}}, editor = {{Lischka, Christof and Sick, Andrea}}, pages = {{136--151}}, publisher = {{transcript}}, title = {{{‘You See the Videos But I Know How the Machine Functions’. Human-Robot Interaction and Its Media Representations}}}, year = {{2007}}, } @article{36979, author = {{Weber, Jutta}}, journal = {{Kurswechsel. Zeitschrift für gesellschafts-, wirtschafts- und umweltpolitische Analysen. 3/2007}}, number = {{3/2007}}, pages = {{7--25}}, title = {{{Eine kleine Einführung in die feministische Technowissenschaftsforschung}}}, year = {{2007}}, } @inbook{36981, author = {{Weber, Jutta and Bath, C.}}, booktitle = {{Gender Designs IT. Construction and Deconstruction of Information Society Technology. Studien interdisziplinäre Geschlechterforschung Band 13}}, editor = {{Zorn, Isabel and Maass, Susanne and Schirmer, Carola and Rommes, Els and Schelhowe, Heidi}}, pages = {{53--63}}, publisher = {{VS Verlag}}, title = {{{‚Social‘ Robots & ‚Emotional‘ Software Agents: Gendering Processes and De-Gendering Strategies for ‚Technologies in the Making‘}}}, year = {{2007}}, } @inbook{36986, author = {{Weber, Jutta}}, booktitle = {{Feminist Politics. Identity, Difference, and Agency}}, editor = {{Orr, Deborah and Taylor, Dianna and Kahl, Eileen and Earle, Kathleen and Rainwater, Christa and McAlister, Linda Lopez}}, pages = {{41--50}}, publisher = {{Rowman & Littlefield}}, title = {{{Who’s Afraid of Nature? The Rise and Fall of ‘Denaturalization’ in Contemporary Feminist Thought}}}, year = {{2007}}, } @article{36982, author = {{Weber, Jutta and Nagenborg, Michael and Capurro, Rafael and Pingel, Christoph}}, journal = {{AI & Society. August 2007}}, number = {{August 2007}}, pages = {{349--366}}, title = {{{Ethical Regulations on Robotics in Europe}}}, year = {{2007}}, } @article{36991, author = {{Weber, Jutta}}, journal = {{Journal Netzwerk Frauenforschung NRW Nr. 22/2007}}, number = {{Nr. 22/2007}}, pages = {{56--57}}, title = {{{Interdisziplinäre Kommunikation zwischen den ‚zwei Kulturen'}}}, year = {{2007}}, } @inproceedings{37076, abstract = {{An komplexe Steuersoftware werden harte Anforderungen bez ̈ug- lich der Einhaltung von Zeitschranken gestellt. Die richtige Wahl eines Echtzeit-Schedulingverfahrens ist hier entscheidend. Die Verwendung von Interrupts in einem Echtzeitsystem erlaubt die zeitnahe Reaktion auf externe Ereignisse. Sie erschwert allerdings die Vorhersagbarkeit von Zeitschranken. In diesem Bericht wird eine Methode zur abstrakten Simulation eines Echtzeitbetriebssystems (Real-Time Operating System/RTOS) in der Systembeschreibungssprache SystemC vorgestellt. Die Verwen- dung eines RTOS-Modelles in SystemC erlaubt die Evaluierung ver- schiedener Schedulingverfahren zu einem fr ̈uhen Zeitpunkt im Ent- wurf des Systems. Interrupts unterliegen allerdings nicht einem RTOS- Schedulingverfahren und m ̈ussen daher gesondert behandelt werden. Dieser Bericht beschreibt die Implementierung eines kanonischen RTOS-Modells zur fr ̈uhen Analyse von Schedulingverfahren, das ei- ne getrennte Modellierung von Task- und Interrupt-Scheduling er- laubt. Dieser Ansatz erlaubt die Trennung des hardwareabh ̈angigen Interrupt-Scheduling in ein separates Modell und eine Evaluierung des Schedules, das sich rein auf Tasks bezieht.}}, author = {{Zabel, Henning and Müller, Wolfgang}}, issn = {{1619-7879}}, number = {{4}}, title = {{{Simulation mit abstrakten RTOS Modellen in SystemC}}}, volume = {{6}}, year = {{2007}}, } @inproceedings{37083, author = {{Krupp, Alexander and Müller, Wolfgang}}, booktitle = {{Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)}}, title = {{{Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage}}}, year = {{2007}}, } @inproceedings{37080, author = {{Großmann, Jürgen and Fey, Ines and Conrad, M. and Wewetzer, Ch. and Müller, Wolfgang}}, booktitle = {{Proceedings of the Automotive Software Workshop '06}}, title = {{{TestML - A Test Exchange Language for Model-based Testing of Embedded Software}}}, year = {{2007}}, } @inproceedings{37079, author = {{Müller, Wolfgang}}, booktitle = {{Proceedings of the UML for SoC Design Workshop at DAC'07}}, title = {{{On the Use and Misuse of UML- Application of Diagrams in Engineering}}}, year = {{2007}}, } @inproceedings{37085, abstract = {{Smart Cards are becoming a ubiquitous means for securing a wide range of interactive applications. However in many cases its use is limited for authentication purposes only. In this paper we extend the use of smart cards for carrying abstract user interface descriptions which can be rendered on dierent and potentially remote clients that in addition can support varying interaction modalities. This adds on the one hand to the security since a backend application cannot be used without the UI description, and on the other hand to the versatility of applications, since all devices with a respective renderer for certain modalities can be utilized.}}, author = {{Schäfer, Robbie and Müller, Wolfgang and Marin-López, Andrés and Díaz-Sánchez, Daniel}}, booktitle = {{Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)}}, title = {{{Using Smart Cards for Secure and Device Independent User Interfaces}}}, year = {{2007}}, } @book{36090, editor = {{Ehland, Christoph and Fajen, Robert}}, isbn = {{9783825353483}}, pages = {{414}}, publisher = {{Winter}}, title = {{{Das Paradigma des Pikaresken - The Paradigm of the Picaresque}}}, volume = {{Beiheft 30}}, year = {{2007}}, } @book{36095, editor = {{Ehland, Christoph}}, isbn = {{9789042022812}}, pages = {{448}}, publisher = {{Rodopi}}, title = {{{Thinking Northern: Textures of Identity in the North of England}}}, volume = {{Volume 2}}, year = {{2007}}, } @article{22613, author = {{de los Arcos de Pedro, Maria Teresa and Oelhafen, Peter and Thommen, Verena and Mathys, Daniel}}, issn = {{1932-7447}}, journal = {{The Journal of Physical Chemistry C}}, pages = {{16392--16396}}, title = {{{The Influence of Catalyst's Oxidation Degree on Carbon Nanotube Growth as a Substrate-Independent Parameter}}}, doi = {{10.1021/jp074928q}}, year = {{2007}}, } @article{22612, author = {{de los Arcos de Pedro, Maria Teresa and Oelhafen, P and Mathys, D}}, issn = {{0957-4484}}, journal = {{Nanotechnology}}, title = {{{Optical characterization of alignment and effective refractive index in carbon nanotube films}}}, doi = {{10.1088/0957-4484/18/26/265706}}, year = {{2007}}, } @article{39765, author = {{Strauß, Jochen and Hoischen, Andreas and Kitzerow, Heinz-Siegfried}}, issn = {{1542-1406}}, journal = {{Molecular Crystals and Liquid Crystals}}, keywords = {{Condensed Matter Physics, General Materials Science, General Chemistry}}, number = {{1}}, pages = {{281/[2147]--291/[2157]}}, publisher = {{Informa UK Limited}}, title = {{{An Efficient Optical Method to Detect Phase Transitions in Liquid Crystals}}}, doi = {{10.1080/15421400590955703}}, volume = {{439}}, year = {{2007}}, }