TY - JOUR AU - Flögel, A. AU - Kleine Büning, H. AU - Lettmann, Theodor ID - 19814 JF - RAIRO - Theoretical Informatics and Applications SN - 0988-3754 TI - On the restricted equivalence for subclasses of propositional logic ER - TY - GEN AU - Simon, Jens ID - 2453 TI - Benutzung virtueller Topologien unter PARIX ER - TY - GEN AU - Röttger, Markus AU - Simon, Jens AU - Schroeder, Ulf-Peter ID - 2454 TI - Virtual Topology Library for PARIX ER - TY - GEN AU - Diekmann, Ralf AU - Lüling, Reinhard AU - Simon, Jens ID - 2455 TI - Problem Independent Distributed Simulated Annealing and its Applications ER - TY - CHAP AU - Diekmann, Ralf AU - Simon, Jens ID - 2456 SN - 978-3-642-46787-5 T2 - Applied Simulated Annealing TI - Problem Independent Distributed Simulated Annealing and its Applications VL - 396 ER - TY - GEN AU - Blömer, Johannes ID - 3045 TI - On Kummer theory and the number of roots of unity in radical extensions of Q ER - TY - JOUR AU - Gries, Thomas AU - Wigger, B. ID - 3069 IS - 4 JF - Economia Internationale TI - The Dynamics of Upgrading or how to catch-up VL - 46 ER - TY - BOOK AU - Fuchssteiner, Benno AU - Wiwianka, W. AU - Gottheil, K. AU - Kemper, A. AU - Kluge, O. AU - Morisse, K. AU - Naundorf, H. AU - Oevel, Gudrun AU - Schulze, T. ID - 17302 TI - MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1 ER - TY - CONF AU - Peckhaus, Volker ED - Stelzner, Werner ID - 17476 T2 - Philosophie und Logik. Frege-Kolloquien Jena 1989/1991 TI - Ernst Schröder und der Logizismus VL - 3 ER - TY - BOOK ED - Meyer auf der Heide, Friedhelm ED - Monien, B. ED - Rosenberg, A. L. ID - 17477 SN - 0302-9743 TI - Parallel Architectures and Their Efficient Use ER - TY - CHAP AU - Peckhaus, Volker ED - Haller, Rudolf ED - Stadler, Friedrich ID - 17478 T2 - Wien—Berlin—Prag. Der Aufstieg der wissenschaftlichen Philosophie. Zentenarien Rudolf Carnap–Hans Reichenbach–Edgar Zilsel TI - Kurt Grelling und der Logische Empirismus VL - 2 ER - TY - CONF AU - Kastens, Uwe AU - Meyer auf der Heide, Friedhelm AU - Wachsmann, Alf AU - Wichmann, Friedrich ID - 17479 T2 - Proc. 3rd PASA Workshop, PARS Mitteilungen TI - OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report) ER - TY - JOUR AB - Page 4 AU - Peckhaus, Volker ID - 19046 IS - 4 JF - The Mathematical Intelligencer TI - Fotografie: Ivor Grattan-Guinness (Erlangen, 21.2.1989) VL - 15 ER - TY - BOOK ED - Eke, Norbert Otto ED - Helmes, Günter ID - 19090 TI - Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk ER - TY - BOOK AU - Eke, Norbert Otto ID - 19137 TI - Stanislaw Przybyszewski: Schnee und andere Dramen (Edition) VL - 5 ER - TY - BOOK AU - Eke, Norbert Otto AU - Oellers, Norbert AU - Skrodzki, Karl Jürgen AU - Steinecke, Hartmut ID - 19148 TI - Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 7. Aufzeichnungen. Vermischte Schriften. Text und Kommentar (Edition) ER - TY - CHAP AU - Eke, Norbert Otto ED - Eke, Norbert Otto ED - Helmes, Günter ID - 19427 T2 - Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk TI - Rettung des Sinns. Jaákobs Traum und das Projekt einer Geschichtstheodizee ER - TY - CHAP AU - Eke, Norbert Otto AU - Helmes, Günter ED - Eke, Norbert Otto ED - Helmes, Günter ID - 19428 T2 - Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk TI - Richard Beer-Hofmann – Zur Einführung ER - TY - CHAP AU - Eke, Norbert Otto ID - 19429 T2 - Grabbe Jahrbuch 12 TI - „Freiheit ist nur in dem Reich der Träume“. Revolutionsprojektionen deutscher Dramen nach 1789. Ein historischer Aufriß (mit einem Ausblick bis zum Nachmärz) ER - TY - JOUR AU - Eke, Norbert Otto ID - 19430 IS - H. 2 JF - Zeitschrift für Germanistik TI - Eine Gesamtbibliographie des deutschen Romans 1815-1830. Anmerkungen zum Problemfeld von Bibliographie und Historiographie VL - NF III ER - TY - CHAP AU - Eke, Norbert Otto ED - Scheuer, Helmut ID - 19431 T2 - Dichter und ihre Nation TI - „Deutschland ortlos“. Dekonstruktionen des Nationalen bei Heiner Müller ER - TY - JOUR AU - Trächtler, Ansgar ID - 23365 JF - Process Tomography - a Strategy for Industrial Exploitation TI - Use of Symmetries in Tomography ER - TY - JOUR AU - Trächtler, Ansgar ID - 23366 JF - at-Automatisierungstechnik TI - Vollständige Modale Synthese stationär unstörbarer und stationär perfekter Zustandsregelungen VL - 41 ER - TY - CONF AU - Engels, Gregor AU - Verrijn-Stuart, A.A. ID - 7826 IS - 251 T2 - Fortschritt-Berichte VDI TI - Integrationsaspekte bei verteilter Software-Entwicklung ER - TY - CONF AU - Krauter, Stefan AU - Hanitsch, Rolf ID - 8089 T2 - Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993 TI - Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules ER - TY - CONF AU - Krauter, Stefan AU - Hanitsch, Rolf ID - 8090 T2 - Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254 TI - Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power ER - TY - BOOK AU - Krauter, Stefan ID - 8091 TI - Betriebsmodell der optischen, thermischen und elektrischen Parameter von PV-Modulen ER - TY - GEN AU - Andries, Marc AU - Engels, Gregor ID - 8190 TI - A Hybrid Query Language for the Extended Entity Relationship Model ER - TY - GEN AU - Ehrig, Hartmut AU - Engels, Gregor ID - 8191 TI - Towards a Module Concept for Graph Transformation Systems ER - TY - GEN AU - Engels, Gregor AU - Rozenberg, Grzegorz ID - 8192 TI - Abstracts COMPUGRAPH II Workshop ER - TY - CONF AU - Engels, Gregor AU - Groenewegen, Luuk ID - 8262 T2 - Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany) TI - Modular, Visual Specifications of Software Processes ER - TY - JOUR AU - Sextro, Walter AU - Schmalhorst, B ID - 8895 JF - Zeitschrift für angewandte Mathematik und Mechanik (ZAMM) TI - Static Behaviour of Drill Strings in Curved Boreholes VL - 73 ER - TY - JOUR AU - Barany, Ernest AU - Dellnitz, Michael AU - Golubitsky, Martin ID - 16518 JF - Physica D: Nonlinear Phenomena SN - 0167-2789 TI - Detecting the symmetry of attractors ER - TY - JOUR AU - Krimphove, Dieter ID - 1655 IS - 19. Lieferung JF - Bankkalender 1994 TI - Anmerkungen zum Manteltarifvertrag der Banken - Eine Kommentierung des Manteltarifvertrages des Bankgewerbes 1993 ER - TY - JOUR AU - Krimphove, Dieter ID - 1656 IS - Januar-Heft JF - Recht der Landwirtschaft TI - Erzeugergemeinschaften: Wettbewerbsrechtliche Möglichkeiten zur Unternehmenskooperation in der Landwirtschaft ER - TY - JOUR AU - Krimphove, Dieter ID - 1657 IS - Heft 1 JF - Agrarrecht TI - Neuer europäischer Schutz von Marken- und Herkunftszeichen in der Landwirtschaft ER - TY - JOUR AU - Krimphove, Dieter ID - 1658 IS - Mai JF - Europäische Zeitschrift für Wirtschaftsrecht (EuZW) TI - Europäisches Arbeitsrecht ER - TY - JOUR AB - AbstractWe obtain normal forms for infinitesimally symplectic matrices (or linear Hamiltonian vector fields) that commute with the symplectic action of a compact Lie group of symmetries. In doing so we extend Williamson's theorem on normal forms when there is no symmetry present.Using standard representation-theoretic results the symmetry can be factored out and we reduce to finding normal forms over a real division ring. There are three real division rings consisting of the real, complex and quaternionic numbers. Of these, only the real case is covered in Williamson's original work. AU - Melbourne, Ian AU - Dellnitz, Michael ID - 16633 JF - Mathematical Proceedings of the Cambridge Philosophical Society SN - 0305-0041 TI - Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group ER - TY - JOUR AU - Melbourne, Ian AU - Dellnitz, Michael AU - Golubitsky, Martin ID - 16634 JF - Archive for Rational Mechanics and Analysis SN - 0003-9527 TI - The structure of symmetric attractors ER - TY - JOUR AU - Dietzfelbinger, M. AU - Meyer auf der Heide, Friedhelm ID - 16729 JF - Information and Computation SN - 0890-5401 TI - An Optimal Parallel Dictionary ER - TY - CHAP AU - Meyer auf der Heide, Friedhelm AU - Oesterdiekhoff, Brigitte AU - Wanka, Rolf ID - 16730 SN - 0302-9743 T2 - Automata, Languages and Programming TI - Strongly adaptive token distribution ER - TY - CONF AU - Dietzfelbinger, Martin AU - Meyer auf der Heide, Friedhelm ID - 16731 SN - 0897915992 T2 - Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures - SPAA '93 TI - Simple, efficient shared memory simulations ER - TY - CHAP AU - Lürwer-Brüggemeier, Katharina AU - Meyer auf der Heide, Friedhelm ID - 16732 SN - 0302-9743 T2 - Lecture Notes in Computer Science TI - Capabilities and complexity of computations with integer division ER - TY - CONF AU - Domik, Gitta ED - D. Franklin, Stephen ED - R. Stubberud, Allen ED - P. Wiedeman, Lyle ID - 16828 T2 - University Education Uses of Visualization in Scientific Computing, Proceedings of the {IFIP} {WG3.2} Working Conference on Visualization in Scientific Computing: Uses in University Education, Irvine, CA, USA, 28-30 July, 1993 TI - Education in Scientific Visualization VL - {A-48} ER - TY - CONF AU - Domik, Gitta ED - Maurer, H. ID - 16906 T2 - Proceedings of ED Media '93 TI - Scientific Visualization ER - TY - JOUR AU - Dellnitz, Michael ID - 17013 JF - Lectures in Applied Mathematics TI - The equivariant Darboux theorem VL - 29 ER - TY - CONF AB - Linear discriminant analysis (LDA) experiments reported previously (ICASSP-92 vol.1, p.13-16), are extended to context-dependent models and speaker-independent large vocabulary continuous speech recognition. Two variants of using mixture densities are compared: state-specific modeling and the monophone-tying approach where densities are shared across the states relevant to the same phoneme. Results are presented on the DARPA Resource Management (RM) task for both speaker-dependent (SD) and speaker-independent (SI) parts. Using triphone models based on LDA and continuous mixture densities, significant improvements have been observed and the following word error rates have been achieved: for the SD part, 7.8% without grammar and 1.5% with word pair; and for the SI part, 17.2% and 4.6%, respectively. These scores are averaged over 1200 SD or SI evaluation sentences and are among the best published so far on the RM database. AU - Aubert, Xavier L. AU - Haeb-Umbach, Reinhold AU - Ney, Hermann ID - 11718 T2 - ICASSP, Minneapolis TI - Continuous Mixture Densities and Linear Discriminant Analysis for Improved Context-Dependent Acoustic Models ER - TY - JOUR AB - To decrease the hazards of using mobile phones while driving, voice processing provides several tools that simplify their use: echo cancellation allows comfortable hands-free conversation, feedback and user guidance by voice allow to operate the phone in eyes-busy situations, and last not least speech recognition frees from keypad data entry to operate the telephone. A comprehensive view of a device incorporating the above mentioned technologies, which has been realized as an add-on for the Philips car telephone family, will be presented. Emphasis is placed on the speech recognition algorithms. Robustness of the algorithms to changing acoustic environment was improved by estimating and subtracting the long-term spectrum. We will show that, if this operation is done recursively, it is equivalent to the high-pass filtering or RASTA (Relative Spectral Approaches) methods recently proposed in the literature. AU - Dobler, Stefan AU - Geller, Dieter AU - Haeb-Umbach, Reinhold AU - Meyer, Peter AU - Ney, Hermann AU - Ruehl, Hans Wilhelm ID - 11749 JF - Speech Communication TI - Design and use of speech recognition algorithms for a mobile radio telephone ER - TY - CONF AB - Four methods were used to reduce the error rate of a continuous-density hidden Markov-model-based speech recognizer on the TI/NIST connected-digits recognition task. Energy thresholding sets a lower limit on the energy in each frequency channel to suppress spurious distortion accumulation caused by random noise. This led to an improvement in error rate by 15%. Spectrum normalization was used to compensate for across-speaker variations, resulting in an additional improvement by 20%. The acoustic resolution was increased up to 32 component densities per mixture. Each doubling of the number of component densities yielded a reduction in error rate by roughly 20%. Linear discriminant analysis was used for improved feature selection. A single class-independent transformation matrix was applied to a large input vector consisting of several adjacent frames, resulting in an improvement by 20% for high acoustic resolution. The final string error rate was 0.84%. AU - Haeb-Umbach, Reinhold AU - Geller, Dieter AU - Ney, Hermann ID - 11788 T2 - ICASSP, Minneapolis TI - Improvements in Connected Digit Recognition Using Linear Discriminant Analysis and Mixture Densities ER - TY - CONF AB - This paper gives a status report of the Philips research system for phoneme-based, large-vocabulary, continuous-speech recognition. Like for many other systems, the recognition architecture is based on an integrated statistical approach. We describe the characteristic features of the system as opposed to other systems: 1. The Viterbi criterion is consistently applied both in training and testing. 2. Continuous mixture densities are used without tying or smoothing. 3. Time-synchronous beam search in connection with a phoneme look-ahead is applied to a tree-organized lexicon. The system has been successfully applied to the American English DARPA RM task. Here, we report experimental results for a German 13 000-word Philips internal dictation task. In addition to the scientific prototype, a PC version has been set up which is described here for the first time. AU - Steinbiss, Volker AU - Ney, Hermann AU - Haeb-Umbach, Reinhold AU - Train, B.-H. AU - Essen, U. AU - Kneser, Reinhard AU - Oerder, Martin AU - Meier, H. G. AU - Aubert, X. AU - Dugast, Christian AU - Geller, Dieter AU - Hoellerbauer, W. AU - Bartosik, H. ID - 11904 T2 - EUROSPEECH, Berlin TI - The Philips Research System for Large-Vocabulary Continuous-Speech Recognition ER -