@inbook{31311, author = {{Schuster, Britt-Marie}}, booktitle = {{Einführung in die historische Textanalyse}}, editor = {{Hünecke, Rainer and Pfefferkorn, Oliver and Riecke, Jörg and Schuster , Britt-Marie and Voeste , Anja }}, keywords = {{Textsortengeschichte}}, pages = {{43–66}}, title = {{{Kapitel „Textsortenbestimmung“ (Kap. 3)}}}, year = {{2004}}, } @inbook{31312, author = {{Schuster, Britt-Marie}}, booktitle = {{Einführung in die historische Textanalyse}}, editor = {{Hünecke, Rainer and Pfefferkorn, Oliver and Riecke, Jörg and Schuster , Britt-Marie and Voeste , Anja }}, keywords = {{Textgrammatik}}, pages = {{140–166}}, title = {{{Kapitel „Textsyntax“ (Kap. 7)}}}, year = {{2004}}, } @article{31309, author = {{Schuster, Britt-Marie and Riecke , Jörg and Savitskaia, Natalia }}, journal = {{Giessener Universitätsblätter }}, keywords = {{Historische Medienlinguistik}}, pages = {{103–107}}, title = {{{Deutschsprachige Zeitungen in Mittel- und Osteuropa}}}, volume = {{37}}, year = {{2004}}, } @book{31310, author = {{Schuster, Britt-Marie and Hünecke, Rainer and Pfefferkorn , Oliver and Riecke , Jörg and Voeste, Anja }}, keywords = {{Textsortengeschichte}}, publisher = {{Vandenhoeck&Ruprecht}}, title = {{{Einführung in die historische Textanalyse}}}, year = {{2004}}, } @misc{18493, author = {{Peckhaus, Volker}}, booktitle = {{zbMATH Open,Zbl. 1033.00006}}, title = {{{Frischbier, Reinhard, Kant und die Mathematik, Hallescher Verlag: Halle 2001 (Akademische Studien und Vorträge; 5)}}}, year = {{2004}}, } @book{37709, editor = {{Öhlschläger, Claudia and Neumann, Gerhard}}, isbn = {{978-3-89528-429-8}}, publisher = {{Aisthesis Verlag}}, title = {{{Inszenierungen in Schrift und Bild. }}}, year = {{2004}}, } @inproceedings{39061, abstract = {{This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit.}}, author = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}}, booktitle = {{Proceedings of DATE’04 Designers' Forum}}, isbn = {{0-7695-2085-5}}, keywords = {{Echo cancellers, Logic, Unified modeling language, Automata, Data structures, Boolean functions, Electronic design automation and methodology, Prototypes, Specification languages, Constraint theory}}, title = {{{Formal Refinement and Model Checking of An Echo Cancellation Unit}}}, doi = {{10.1109/DATE.2004.1269214}}, year = {{2004}}, } @inproceedings{39352, abstract = {{The recently adopted OCL 2.0 specification comes with a formal semantics that is based on set theory with a notion of an object model and system states. System states keep the runtime information relevant for the evaluation of OCL expressions. However, not all new language concepts of OCL 2.0 are already addressed in that formal semantics. We show how to overcome this by introducing new components to the object model and system states defining a dynamic semantics of OCL. In order to give precise rules that determine when the current system state has to be updated according to a change in the referred UML model, we make use of adequate mathematical means, namely Abstract State Machines (ASMs). Though our ASM specification also gives a clear definition for the evaluation of OCL constraints, it leaves sufficient flexibility for application specific implementations that have to determine when constraints are to be checked.}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of the UML 2004}}, keywords = {{System State Formal Semantic Object Management Group Denotational Semantic Dynamic Semantic}}, title = {{{An ASM Definition of the Dynamic OCL 2.0 Semantics}}}, doi = {{10.1007/978-3-540-30187-5_17}}, year = {{2004}}, } @inproceedings{17296, abstract = {{One dream of robotics research is to build robot companions that can interact outside the lab in real world environments such as private homes. There has been good progress on many components needed for such a robot companion, but only few systems are documented in the literature that actually integrate a larger number of components leading to a more natural and human-like interaction with such a robot. However, only the integration of many components on the same robot allows us to study embodied interaction and leads to new insights on how to improve the overall appearance of such a robot companion. Towards this end, we present the Bielefeld Robot Companion BIRON as an integration platform for studying embodied interaction. Reporting different stages of the alternating development and evaluation process, we argue that an integrated and actually running system is necessary to assess human needs and demands under real life conditions and to determine what functions are still missing. This interplay between evaluation and development stimulates the development process as well as the design of appropriate evaluation metrics. Moreover, such constant evaluations of the system help identify problematic aspects that need to be solved before sophisticated robot companions can be successfully evaluated in long-term user studies.}}, author = {{Rohlfing, Katharina and Fritsch, Jannik and Wrede, Britta}}, booktitle = {{Third International Conference on Development and Learning (ICDL 2004)}}, isbn = {{0-615-12704-5}}, pages = {{27}}, title = {{{Learning to Manipulate Objects: A Quantitative Evaluation of Motionese}}}, year = {{2004}}, } @inproceedings{44189, author = {{Müller, Inez}}, booktitle = {{Grenzen und Grenzauflösungen}}, editor = {{Platen, Edgar}}, isbn = {{978-3-89129-761-2}}, pages = {{11}}, publisher = {{iudicium Verlag}}, title = {{{Zum Verlust von Grenze in "Weggeküßt" von Angela Krauß}}}, year = {{2004}}, } @article{41769, author = {{Fuchs, Christian}}, journal = {{Journal of Knowledge Management Practice 5 (2004)}}, title = {{{Knowledge Management in Self-Organizing Systems}}}, year = {{2004}}, } @article{44175, author = {{Müller, Inez}}, journal = {{Studia Neophilologica}}, number = {{1}}, pages = {{9}}, publisher = {{Taylor & Francis}}, title = {{{Überlegungen zum poetischen Kompositionsverfahren in Christoph Peters' Prosaband "Kommen und gehen, machmal bleiben"}}}, doi = {{doi.org/10.1080/00393270410015997}}, volume = {{76}}, year = {{2004}}, } @misc{31455, author = {{Elit, Stefan}}, booktitle = {{NlatJb 6 }}, pages = {{335--341}}, title = {{{[Rezension zu:] Franz Witek: Die "Bühne des Schicksals". Demetrios von Makedonien in Historiographie und Drama, Horn/Wien 2001 (Musae Benedictinae Salisburgenses 1)}}}, year = {{2004}}, } @misc{19539, author = {{Eke, Norbert Otto}}, booktitle = {{Germanistik}}, number = {{H. 3/4}}, pages = {{1033f.}}, title = {{{Nikolaus Müller-Schöll: Das Theater des „konstruktiven Defaitismus“. Lektüren zur Theorie eines Theaters der A-Identität bei Walter Benjamin, Bertolt Brecht und Heiner Müller. Frankfurt/Main u.a.: Stroemfeld, 2002}}}, volume = {{44}}, year = {{2003}}, } @misc{19540, author = {{Eke, Norbert Otto}}, booktitle = {{Germanistik}}, number = {{H. 3/4}}, pages = {{1009}}, title = {{{Marcus Kreikebaum: Heiner Müllers Gedichte. Bielefeld: Aisthesis, 2003}}}, volume = {{44}}, year = {{2003}}, } @misc{19541, author = {{Eke, Norbert Otto}}, booktitle = {{Germanistik}}, number = {{H. 3/4}}, pages = {{1008f.}}, title = {{{Katharina Ebrecht: Heiner Müllers Lyrik. Quellen und Vorbilder. Würzburg: Königshausen & Neumann, 2001}}}, volume = {{44}}, year = {{2003}}, } @inproceedings{24273, author = {{Terbahl, Martina and Krokowski, Jens}}, booktitle = {{Proceedings of 5. GI-Informatiktage 2003}}, title = {{{Verteiltes Rendern durch dynamische Bildaufteilung}}}, year = {{2003}}, } @inproceedings{21058, author = {{Friedrich, H. E. and Meschut, Gerson}}, booktitle = {{DVS-Berichte, Band 222}}, isbn = {{ISBN 3-87155-680-7}}, location = {{Düsseldorf}}, pages = {{5--10}}, publisher = {{DVS-Verlag GmbH}}, title = {{{Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau}}}, volume = {{222}}, year = {{2003}}, } @inproceedings{21154, author = {{Brüdgam, S. and Meschut, Gerson}}, booktitle = {{Tagungsband zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen und Kleben“}}, isbn = {{ISBN 3-9805447-9-6}}, location = {{Paderborn}}, pages = {{1--9}}, title = {{{Mechanisches Fügen und Kleben – Schlüsseltechnologien für die Mischbauweise}}}, year = {{2003}}, } @inproceedings{21155, author = {{Küting, J. and Meschut, Gerson}}, booktitle = {{Tagungsband zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen und Kleben“}}, isbn = {{ISBN 3-9805447-9-6}}, location = {{Paderborn}}, pages = {{22--34}}, title = {{{Niet- und Direktverschraubungstechniken für Fahrzeug-strukturen in Mischbauweise}}}, year = {{2003}}, }