@misc{37568, author = {{Grotjahn, Rebecca}}, booktitle = {{Die Musik in Geschichte und Gegenwart. Bd. 4}}, editor = {{Finscher, Ludwig}}, publisher = {{Bärenreiter/Metzler}}, title = {{{Catalani, Angelica}}}, year = {{2000}}, } @misc{37570, author = {{Grotjahn, Rebecca}}, booktitle = {{Die Musik in Geschichte und Gegenwart. Bd. 4}}, editor = {{Finscher, Ludwig}}, publisher = {{Bärenreiter/Metzler}}, title = {{{Colbran, Isabella}}}, year = {{2000}}, } @inproceedings{39434, abstract = {{In diesem Artikel stellen wir die Anwendung von Modellprüfung für ein Fertigungssystem mit freifahrenden Transportfahrzeugen vor. Dabei konzentrieren wir uns darauf, den Materialfluss in einem Systemmodell auf die Einhaltung quantitativer und zeitlicher Bedingungen hin zu überprüfen. Zur Modellentwicklung setzen wir die graphische Beschreibungsmethode MFERT ein, die sich bereits mehrfach in Industrieprojekten bewährt hat. Wir präsentieren eine Abbildung von MFERT in zeitannotierte Zustandsübergangssysteme, die für ein bereits existierendes Werkzeug zur Modellprüfung als Eingabe einer Modellbeschreibung dienen. Bei der Modellprüfung wird diese Beschreibung auf die Einhaltung von Eigenschaften überprüft, die in einer temporalen Logik oder einer davon abstrahierten Form spezifiziert werden.}}, author = {{Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}}, title = {{{Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}}}, year = {{2000}}, } @inproceedings{39444, abstract = {{Prototyping mit 3D-Modellen in virtueller Umgebung ist eine kostengünstige Alternative zur Entwicklung von physikalischen Modellen und Mock-ups. Für einige Anwendungen ergeben sich erhebliche Vorteile durch die Validierung in einer virtuellen Umgebung. In diesem Artikel stellen wir den Einsatz einer 3D-Animation zur Entwicklung und zum Test einer Fahrzeugsteuerung vor. Basierend auf dem Prinzip der schrittweisen Verfeinerung kann die Steuerung zunächst nur unter Berücksichtigung der Kommunikation zwischen den Basiskomponenten entworfen werden. Im zweiten Schritt wird die Ansteuerung der Aktoren unter Auswertung der Sensoren berücksichtigt. Letztendlich ist das System unter Einflussnahme der physikalischen Größen zu validieren. Wir stellen die Schnittstelle exemplarisch anhand einer Steuerung für fahrerlose Transportfahrzeuge im Szenario eines holonischen Transportsystems vor. }}, author = {{Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}}, title = {{{Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}}}, year = {{2000}}, } @inproceedings{39461, abstract = {{Model checking has received wide acceptance as a valuable technique in the field of electronic design automation and is currently of growing interest in general systems design. Though its concepts and applications are well understood it often turns out that engineers have severe problems with the specification process and the underlying notation, i.e., formulation and understanding of specifications through means of temporal logic formulae. In this article, we present an approach for a natural language–oriented representation of temporal logic formulae by introducing patterns of structured English sentences for Clocked CTL (CCTL) specification. After outlining the basic patterns of the sentences we give their semantics by a translation to CCTL. A final example demonstrates their application.}}, author = {{Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}}, title = {{{Structured English for Model Checking Specification}}}, year = {{2000}}, } @article{39681, author = {{Morrien, Rita}}, journal = {{Jahrbuch zur Literatur der Weimarer Republik }}, pages = {{145--165}}, title = {{{Nach dem Sturm: Mütterlichkeit, Sexualität und Ansätze einer kritischen Relektüre der christlichen Schöpfungs- und Heilsgeschichte bei Clara Viebig und Gabriele Reuter}}}, volume = {{5}}, year = {{2000}}, } @article{39680, author = {{Morrien, Rita}}, journal = {{Aurora}}, pages = {{147--162}}, title = {{{“O du ewige, unbegreifliche Schönheit [...], wie roh gehn auch mit dir die Menschen um” – Die Poesie der Gewalt in Ludwig Tiecks Vittoria Accorombona (1840)}}}, volume = {{60}}, year = {{2000}}, } @article{38393, author = {{Hinz, S and Sandel, D and Noé, Reinhold and Wust, F}}, issn = {{0013-5194}}, journal = {{ELECTRONICS LETTERS}}, number = {{16}}, pages = {{1402--1403}}, title = {{{Optical NRZ 2 x 10Gbit/s polarisation division multiplex transmission with endless polarisation control driven by correlation signals}}}, doi = {{10.1049/el:20001002}}, volume = {{36}}, year = {{2000}}, } @book{36301, abstract = {{Die Publikation stellt einen Beitrag zur öffentlichen Relevanz der Erziehungswissenschaften dar. Renommierte Vertreterinnen und Vertreter hatten sich im Rahmen einer studentisch initierten Veranstaltungsreihe am Erziehungswissenschaftlichen Seminar der Universität Heidelberg geäußert: AG "Kleiner Bildungsgipfel", Micha Brumlik, Ingrid Gogolin, Franz Hamburger, Elke Kleinau, Eckard König, Heinz Sünker, Hans Thiersch, Heinz-Elmar Tenorth, Michael Winkler, Dieter Wunder. Aus dem ·Die deutschen Erziehungswissenschaften - eine Geschichte von Ablehnung und Anerkennung ·Bildung und Gesellschaft: Erziehungswissenschaft als Sozialwissenschaft ·Pädagogik als Humanwissenschaft ·Wer erzieht die Erzieher? Lehrerbildung und Schulentwicklung ·Die Herausgeber sind Mitarbeiter erziehungswissenschaftlicher Forschungsprojekte und pädagogischer Einrichtungen}}, editor = {{Böhme, Peter and Kessl, Fabian and Heil, Ragnar and Reinke, Thilo}}, isbn = {{ ISBN-13 ‏ : ‎ 978-3407253361 }}, keywords = {{Sozialwissenschaft, Pädagogik, Erziehungswissenschaft, Lehrerbildung, Schulentwicklung}}, publisher = {{Luchterhand Verlag}}, title = {{{Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion}}}, year = {{2000}}, } @inproceedings{39435, abstract = {{This article presents SAL (Synchronous Agent Language), a general-purpose grid{based 2D programming language for parallel system specication, implementation, and visualization. SAL agents have a depiction and a behavior. The behavior is dened by the means of state transition rules. The depiction is given by the drawing area on its surface. Actions in rules can execute drawing operations for dynamically changing the depiction during runtime. For a broader range of applications, SAL incorporates mobile code, code modication during runtime, and tool integration facilities.}}, author = {{Müller, Wolfgang and Meyer, Arne and Zabel, Henning}}, booktitle = {{Proceedings of the IEEE Symposium on Visual Languages}}, title = {{{A Visual Framework for the Scripting of Parallel Agents}}}, year = {{2000}}, } @inproceedings{39439, author = {{Bhatt, P. C. P. and Müller, Wolfgang}}, booktitle = {{Proceedings of IECON 2000}}, title = {{{A Methodology for the Protocol-Centered Design of Agent-Based Systems}}}, year = {{2000}}, } @inproceedings{39442, author = {{Bhatt, P. C. P. and Müller, Wolfgang}}, booktitle = {{Proceedings of UKPEW 2000}}, title = {{{Morphic Nets: Model Based Design Diagrams}}}, year = {{2000}}, } @inproceedings{39464, author = {{Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}}, booktitle = {{Proceedings of AVI 2000}}, title = {{{An Advanced Visual Capture for Model Checking Specifications}}}, year = {{2000}}, } @book{39706, editor = {{Morrien, Rita and Brueckel, Ina}}, isbn = {{382601815X }}, publisher = {{ Königshausen & Neumann}}, title = {{{Bei Gefahr des Untergangs. Phantasien des Aufbrechens}}}, year = {{2000}}, } @inbook{39683, author = {{Morrien, Rita}}, booktitle = {{Frauen-Körper-Kunst. Literarische Inszenierungen weiblicher Sexualität}}, editor = {{Tebben, Karin}}, isbn = {{3525012276 }}, pages = {{136--154}}, publisher = {{Vandenhoeck & Ruprecht}}, title = {{{Können Frauen sublimieren? Zur Verflechtung von sexueller und künstlerischer Entfaltung in Clara Viebigs Es lebe die Kunst! und Grete Meisel-Hess’ Fanny Roth. Eine Jung-Frauengeschichte}}}, year = {{2000}}, } @inbook{39684, author = {{Morrien, Rita}}, booktitle = {{Bei Gefahr des Untergangs. Phantasien des Aufbrechens}}, editor = {{Brueckel, Ina and Morrien, Rita}}, isbn = {{382601815X }}, pages = {{389--405}}, publisher = {{Königshausen & Neumann}}, title = {{{“Scared of Something?” – Liebe und andere Verbrechen in Bernard Roses Horrorfilm Candyman}}}, year = {{2000}}, } @article{40084, author = {{Röder, Th. and Paelke, L. and Held, N. and Vinzelberg, S. and Kitzerow, Heinz-Siegfried}}, issn = {{0034-6748}}, journal = {{Review of Scientific Instruments}}, keywords = {{Instrumentation}}, number = {{7}}, pages = {{2759--2764}}, publisher = {{AIP Publishing}}, title = {{{Imaging of liquid crystals using a new scanning near-field optical microscope with microfabricated tips and shear force detection}}}, doi = {{10.1063/1.1150688}}, volume = {{71}}, year = {{2000}}, } @article{40083, author = {{Glossmann, Jochen and Hoischen, Andreas and Roder, Thorsten and Kitzerow, Heinz-Siegfried}}, issn = {{0015-0193}}, journal = {{Ferroelectrics}}, keywords = {{Condensed Matter Physics, Electronic, Optical and Magnetic Materials}}, number = {{1}}, pages = {{95--106}}, publisher = {{Informa UK Limited}}, title = {{{Asymmetric switching and storage effects in ferroelectric and antiferroelectric gels and polymers}}}, doi = {{10.1080/00150190008008011}}, volume = {{243}}, year = {{2000}}, } @inproceedings{40908, abstract = {{Block codes for use in turbo coding schemes provide an alternative to punctured convolutional codes when high rate component codes are needed. Since block codes have large, time-varying trellis diagrams, full maximum a posteriori (MAP) soft-in soft-out decoders are very complex. It is shown how to modify the MAP algorithm to utilize a sectionalized trellis diagram of the dual code for decoding, which minimizes computational complexity for high rate component codes. This paper also gives simulation results for some high rate block turbo codes}}, author = {{Schreier, Peter J. and Costello, Jr., Daniel J.}}, booktitle = {{Proc.\ Int.\ Zurich Seminar Broadband Comm.}}, pages = {{271–278}}, title = {{{MAP decoding of linear block codes based on a sectionalized trellis of the dual code}}}, doi = {{10.1109/IZSBC.2000.829262}}, year = {{2000}}, } @inproceedings{40172, author = {{Rösler, Margit}}, booktitle = {{Special Functions (HongKong 1999)}}, pages = {{309--323}}, publisher = {{World Scientific}}, title = {{{Short-time estimates for heat kernels associated with root systems}}}, doi = {{10.1142/9789812792303_0024}}, year = {{2000}}, }