@inbook{55501, author = {{Strube, Miriam and Rohr, Susanne}}, booktitle = {{Revisiting Pragmatism: William James in the New Millennium}}, editor = {{Strube, Miriam and Rohr, Susanne }}, pages = {{9--17}}, publisher = {{Winter}}, title = {{{'Life is in the Transitions’: Revisiting William James’s Pragmatism}}}, year = {{2012}}, } @inbook{55502, author = {{Strube, Miriam}}, booktitle = {{Revisiting Pragmatism: William James in the New Millennium}}, editor = {{Strube, Miriam and Rohr, Susanne}}, pages = {{141--154}}, publisher = {{Winter}}, title = {{{Negating Domination: Pragmatism, Pluralism, Power}}}, year = {{2012}}, } @article{55530, author = {{Zare, Somayeh and Raissi, Zahra and Mohammadzadeh, Hosein and Mirza, Behrouz}}, issn = {{1434-6044}}, journal = {{The European Physical Journal C}}, number = {{9}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Condensation of an ideal gas with intermediate statistics on the horizon}}}, doi = {{10.1140/epjc/s10052-012-2152-5}}, volume = {{72}}, year = {{2012}}, } @book{51492, author = {{Hilgert, Joachim and Hilgert, Ingrid}}, publisher = {{Springer Spektrum}}, title = {{{Mathematik - Ein Reiseführer}}}, year = {{2012}}, } @article{28890, author = {{Grimminger-Seidensticker, Elke and Gieß-Stüber, P.}}, journal = {{Revue d´Allemagne et des Pays de Langue Allemande}}, number = {{4}}, pages = {{521--534}}, title = {{{Integration im und durch Sport. Die sportpolitische Programmatik in Deutschland aus sportwissenschaftlicher Perspektive}}}, volume = {{44}}, year = {{2012}}, } @article{28892, author = {{Grimminger-Seidensticker, Elke}}, journal = {{Journal of Physical Education and Health. Social Perspective}}, number = {{1}}, pages = {{5--14}}, title = {{{An Empirical Study About the Importance of Teachers´ Educational Beliefs and Acculturation Attitudes for the Implementation of Intercultural Education in Physical Education}}}, volume = {{1}}, year = {{2012}}, } @article{28891, author = {{Grimminger-Seidensticker, Elke}}, journal = {{Sportwissenschaft}}, number = {{2}}, pages = {{105--114}}, title = {{{Anerkennungs- und Missachtungsprozesse im Sportunterricht. Die Bedeutung von Machtquellen für die Gestaltung sozialer Peer-Beziehungen}}}, volume = {{42}}, year = {{2012}}, } @misc{55702, author = {{Priesching, Nicole}}, publisher = {{Olms}}, title = {{{Von Menschenfängern und Menschenfischern. Sklaverei und Loskauf im Kirchenstaat des 16.–18. Jahrhunderts}}}, volume = {{10}}, year = {{2012}}, } @book{55814, author = {{Kepper, Johannes and Roland, Perry D.}}, title = {{{Music Encoding Initiative Guidelines Version 2.0.0}}}, year = {{2012}}, } @article{55822, author = {{Hartwig, Maja and Kepper, Johannes and Richts, Kristina}}, journal = {{Forum Musikbibliothek}}, number = {{1}}, pages = {{16–23}}, title = {{{Neue Wege der Musikerschließung. Über den möglichen Einsatz von MEI in deutschen Bibliotheken}}}, volume = {{33}}, year = {{2012}}, } @inbook{55823, author = {{Siegert, Christine and Kepper, Johannes}}, booktitle = {{Medienwandel / Medienwechsel in der Editionswissenschaft}}, editor = {{Bohnenkamp-Renken, Annette}}, pages = {{141–150}}, title = {{{Oper multimedial – Zur Ausgabe von Haydns Arienbearbeitungen}}}, doi = {{10.1515/9783110300437.141}}, volume = {{35}}, year = {{2012}}, } @inproceedings{55848, author = {{Pugin, Laurent and Kepper, Johannes and Roland, Perry and Hartwig, Maja and Hankinson, Andrew}}, booktitle = {{Proceedings of the 13th International Society for Music Information Retrieval Conference, ISMIR 2012, Mosteiro S.Bento Da Vitória, Porto, Portugal, October 8-12, 2012}}, editor = {{Gouyon, Fabien and Herrera, Perfecto and Martins, Luis Gustavo and Müller, Meinard}}, pages = {{505–510}}, publisher = {{FEUP Edições}}, title = {{{Separating Presentation and Content in MEI}}}, year = {{2012}}, } @inbook{39808, author = {{Schmitz, Sabine and Ebert, Kathrin}}, booktitle = {{Facteurs d' identité/Faktoren der Identität}}, editor = {{Avon, Dominique and Langenbacher-Liebgott, Jutta and Franke, Anna-Susan}}, isbn = {{978-3-0343-1230-1}}, pages = {{243--262}}, publisher = {{Peter Lang}}, title = {{{Entre Grand débat sur l' identité nationale et politique identitaire: la France à la recherche d' une identité nationale et culturelle au début du XXIème siècle}}}, year = {{2012}}, } @inbook{39756, author = {{Schmitz, Sabine and Ebert, Kathrin}}, booktitle = {{Facteurs d' identité. Faktoren der Identität}}, editor = {{Avon, Dominique and Langenbacher-Liebgott, Jutta and Franke, Anna-Susan}}, isbn = {{978-3-0343-1230-1}}, pages = {{243--262}}, publisher = {{Peter Lang}}, title = {{{Entre Grand débat sur l' identité nationale et politique identitaire: la France à la recherche d' une identité nationale et culturelle au début du XXIème siècle}}}, year = {{2012}}, } @inbook{36902, author = {{Weber, Jutta}}, booktitle = {{Handbuch Wissenschaftssoziologie}}, editor = {{Maasen, Sabine and Kaiser, Mario and Reinhart, Martin and Sutter, Barbara}}, pages = {{409--416}}, publisher = {{Verlag für Sozialwissenschaften}}, title = {{{Neue Episteme: Die biokybernetische Konfiguration der Technowissenschaftskultur}}}, year = {{2012}}, } @inbook{36903, author = {{Weber, Jutta}}, booktitle = {{Dualitäten}}, editor = {{Hoffstadt, Christian and Peschke, Franz and Nagenborg, Michael and Müller, Sabine}}, pages = {{197--228}}, publisher = {{Projektverlag}}, title = {{{Den Dualismus überlisten: Negative Dialektik, Cat’s Cradle und die Idee unverstellter Erkenntnis}}}, year = {{2012}}, } @inproceedings{36922, abstract = {{In this paper we present an approach for the self reconfiguration of distributed micro-controllers for increased fault tolerance. Based on a modified distributed system topology utilizing a time division multiple access (TDMA) protocol, i.e., Flex Ray, we present a self-organized distributed coordinator concept which performs the self-reconfiguration in the case of node failures. We introduce a distributed coordinator, which utilizes redundant slots in the Flex Ray communication schedule and combines messages in configured protocol frames and slots to avoid a complete bus restart. As such, the self-reconfiguration is realized by means of predetermined information about resulting changes in the communication dependencies and (re-)assignments determined in the design phase. To retrieve the necessary information, we present an analytical approach, which determines a combined solution for the initial configuration and all possible reconfigurations for the remaining nodes of the Flex Ray network in case of node failures. Hence, through this method we can design self-reconfiguring network-based systems enabling the handling of node failures for an increased fault tolerance.}}, author = {{Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim}}, keywords = {{Real time systems, Fault tolerant systems, Schedules, Protocols, Redundancy, Delay}}, publisher = {{IEEE}}, title = {{{An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems}}}, doi = {{10.1109/ISORCW.2012.41}}, year = {{2012}}, } @inproceedings{36921, author = {{Oliveira, M. F. and Kuznik, Christoph and Müller, Wolfgang and Esen, V. and Ecker, W.}}, booktitle = {{Proceedings of the Design & Verification Conference (DVCon)}}, title = {{{Towards an Enhanced UVM for SystemC}}}, year = {{2012}}, } @inproceedings{36994, abstract = {{This paper proposes a quality driven, simulation based approach to functional design verification, which applies mainly to IP-level HDL designs with well specified test instruction format and is evaluated on a soft microprocessor core MB-LITE [5]. The approach utilizes mutation analysis as the quality metric to steer an automated simulation data generation process. It leads to a simulation flow with two phases towards an enhanced mutation analysis result. First in a random simulation phase, an in-loop heuristics is deployed and adjusts dynamically the test probability distribution so as to improve the coverage efficiency. Next, for each remaining hard-to-kill mutant, a search heuristics on test input space is developed to iteratively locate a target test, using a specific objective cost function for the goal of killing HDL mutant. The effectiveness of this integrated two-phase simulation flow is demonstrated by the results with the MB-LITE microprocessor IP.}}, author = {{Xie, Tao and Müller, Wolfgang and Letombe, Florian}}, booktitle = {{Proceedings of SOCC2012}}, keywords = {{Analytical models, Hardware design languages, Microprocessors, Cost function, Data models, Search problems, IP networks}}, publisher = {{IEEE}}, title = {{{Mutation-Analysis Driven Functional Verification of a Soft Microprocessor}}}, doi = {{10.1109/SOCC.2012.6398362}}, year = {{2012}}, } @inproceedings{36997, author = {{Xie, Tao and Müller, Wolfgang}}, booktitle = {{Proceedings of the MeCoES’12}}, title = {{{An IP-XACT-TO-SystemC Model Generator for Mutation Analysis}}}, year = {{2012}}, }