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 -