@article{23361, author = {{Trächtler, Ansgar and Wernsdörfer, Andreas}}, journal = {{Frontiers in Industrial Process Tomography, Engineering Foundation}}, pages = {{159--170,}}, title = {{{Direct Algebraic Reconstruction in Electromagnetic Flow Tomography}}}, year = {{1995}}, } @article{23362, author = {{Trächtler, Ansgar}}, journal = {{Frontiers in Industrial Process Tomography, Engineering Foundation}}, title = {{{Stress Tensor Tomography Using Integrated Photoelasticity}}}, year = {{1995}}, } @inproceedings{21786, author = {{Kienegger-Domik, Gitta}}, booktitle = {{Proceedings of ED-MEDIA `95}}, editor = {{Maurer, H.}}, pages = {{17--22}}, publisher = {{AACE}}, title = {{{Intelligent visualization systems in educational environments}}}, year = {{1995}}, } @inproceedings{2187, author = {{Meyer auf der Heide, Friedhelm and Scheideler, Christian}}, booktitle = {{ESA}}, pages = {{341----354}}, title = {{{Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks}}}, doi = {{10.1007/3-540-60313-1_154}}, year = {{1995}}, } @inproceedings{2207, author = {{Meyer auf der Heide, Friedhelm and Scheideler, Christian}}, booktitle = {{SPAA}}, pages = {{137----146}}, title = {{{Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract)}}}, year = {{1995}}, } @inproceedings{2208, author = {{Meyer auf der Heide, Friedhelm and Scheideler, Christian and Stemann, Volker}}, booktitle = {{STACS}}, pages = {{267----278}}, title = {{{Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations}}}, year = {{1995}}, } @inproceedings{7831, abstract = {{We present a combination of recent extensions to single-pushout graph transformations, as there are attribution, application conditions and amalgamated graph transformations and add a simple transaction concept on top of this formalism. Thereby, we provide the formal basis for several examples, where these concepts are used in combination.}}, author = {{Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}}, booktitle = {{Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}}, number = {{B-19}}, publisher = {{Universitat de les Illes Balears}}, title = {{{Attributed Graph Transformations with Controlled Application of Rules}}}, year = {{1995}}, } @inproceedings{7832, author = {{Thoben, Wilfried and Appelrath, Hans-Jürgen and Sauer, Stefan}}, booktitle = {{Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)}}, pages = {{412--419}}, publisher = {{Springer}}, title = {{{Record Linkage of Anonymous Data by Control Numbers}}}, year = {{1995}}, } @inproceedings{7833, abstract = {{Single pushout graph transformations at injective matches are extended by negative application conditions. It is shown, how right-sided application conditions can be transformed into equivalent left-sided ones. Based on this result, conditional derived rules are introduced and a theorem, similiar to the double pushout embedding theorem is shown. Finally, three variants of contextual application conditions are discussed with respect to their expressive power and expected results.}}, author = {{Heckel, Reiko}}, booktitle = {{Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}}, number = {{B-19}}, publisher = {{Universitat de les Illes Balears}}, title = {{{Embedding of Conditional Graph Transformations}}}, year = {{1995}}, } @inbook{7976, author = {{Kremer, H.-Hugo}}, booktitle = {{Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung.}}, editor = {{Braukmann, U. and Euler, D. and Kremer, H.-H. and Theis, M.}}, pages = {{1--123}}, title = {{{Planung und Durchführung der Ausbildung}}}, year = {{1995}}, } @inbook{8076, author = {{Euler, D. and Kremer, H.-Hugo and Theis, M.}}, booktitle = {{Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung.}}, editor = {{Braukmann, U. and Euler, D. and Kremer, H.-H. and Theis, M}}, pages = {{1--23}}, title = {{{Grundfragen der Berufsbildung}}}, year = {{1995}}, } @inbook{8077, author = {{Euler, D. and Kremer, H.-Hugo and Theis, M.}}, booktitle = {{Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk}}, editor = {{Euler, D. and Kremer, H.-Hugo and Theis, M.}}, pages = {{13--42}}, title = {{{Grundfragen der Berufsbildung}}}, year = {{1995}}, } @inbook{8078, author = {{Kremer, H.-Hugo}}, booktitle = {{Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1}}, editor = {{Braukmann, U. and Diettrich, A. and Kremer, H.-H. and Sloane, P.F.E. and Stickling, E.}}, pages = {{19--94}}, title = {{{Existenzgründung}}}, year = {{1995}}, } @inproceedings{8097, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995.}}, title = {{{Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules}}}, year = {{1995}}, } @inproceedings{8098, author = {{Onneken, K. and Krauter, Stefan}}, booktitle = {{Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995}}, title = {{{STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations}}}, year = {{1995}}, } @inproceedings{8099, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995}}, title = {{{Actual Optical and Thermal Performance of PV-Modules}}}, year = {{1995}}, } @inproceedings{8100, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309.}}, title = {{{Thermal and Optical Enhanced PV-Modules}}}, year = {{1995}}, } @techreport{8194, author = {{Conrad, Mirko and Gajewsky, Magdalena and Holl-Biniasz, Rainer and Rudolf, Michael and Demuth, Jochen and Weber, Stephan and Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}}, title = {{{Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem}}}, year = {{1995}}, } @techreport{8195, abstract = {{Several object-oriented modeling approaches propose to describe the dynamic behaviour of objects by state transition diagrams. None of them provides precise rules or conditions for the interrelation between the behaviour description of classes and those of their subclasses. In this paper, we discuss this interrelation in detail. It turns out that one has to distinguish between the observable and the invocable behaviour of objects and that different compatibility requirements between the diagrams exist depending on the type of behaviour.}}, author = {{Ebert, Jürgen and Engels, Gregor}}, publisher = {{University of Koblenz-Landau}}, title = {{{Specialization of Object Life Cycle Definitions}}}, year = {{1995}}, } @techreport{8196, author = {{Engels, Gregor and Schürr, Andy}}, publisher = {{Vakgroep Informatica, Rijksuniversiteit Leiden}}, title = {{{Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}}}, year = {{1995}}, } @inproceedings{8266, author = {{Groenewegen, Luuk and Engels, Gregor}}, booktitle = {{Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)}}, pages = {{189--192}}, publisher = {{Springer}}, title = {{{Coordination by Behavioural Views and Communication Patterns}}}, doi = {{http://dx.doi.org/10.1007/3-540-59205-9_56}}, volume = {{913}}, year = {{1995}}, } @inproceedings{8267, abstract = {{Based on a categorical semantics that has been developed for typed graph grammars we uses colimits (pushouts) to model composition and (reverse) graph grammar morphisms to describe refinements of typed graph grammars. Composition of graph grammars w.r.t. common subgrammars is shown to be compatible with the semantics, i.e. the semantics of the composed grammar is obtained as the composition of the semantics of the component grammars. Moreover, the structure of a composed grammar is preserved during a refinement step in the sense that compatible refinements of the components induce a refinement of the composition. The concepts and results are illustrated by an example.}}, author = {{Corradini, Andrea and Heckel, Reiko}}, booktitle = {{Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}}, pages = {{46--55}}, publisher = {{Elsevier}}, title = {{{A Compositional Approach to Structuring and Refinement of Typed Graph Grammars}}}, volume = {{2}}, year = {{1995}}, } @inproceedings{8268, abstract = {{The overall aim of this paper is a proposal how to bridge the gap between formal specification techniques developed in research projects and semi--formal or informal specifications used in industrial practice. The main idea to overcome these problems is to develop graphical support for formal methods in order to increase acceptance by practitioners and to provide means for integration of formal and semi--formal methods. More specifically suitable concepts will be developed to combine algebraic specifications, Petri Nets, and Graph Grammars with each other and with distinguished graphical components to be used by industrial partners.}}, author = {{Bardohl, Bernhard and Bardohl, Roswitha and Castro, Paulo and Ehrig, Hartmut and Heckel, Reiko and Ribeiro, Leila and Nunes, Daltro and Martini, Alfio}}, booktitle = {{Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)}}, publisher = {{Forschungszentrum Jülich GmbH}}, title = {{{GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development}}}, volume = {{26}}, year = {{1995}}, } @inproceedings{8269, abstract = {{Currently existing graph grammar-based specification languages have serious problems with supporting any kind of “specification-in-the-large” activities. More precisely, they have deficiencies with respect to modeling hierarchical data structures or specifying meta activities like manipulation of graph schemata. Furthermore, already proposed graph grammar module concepts are still too abstract to be useful in practice. Our contribution addresses these problems by introducing a new hierarchical graph data model with an infinite number of schema, meta-schema, etc. layers. It forms the base for a forthcoming concrete modular graph grammar specification language where in addition information hiding aspects like explicit export and import interfaces are expressible.}}, author = {{Engels, Gregor and Schürr, Andy}}, booktitle = {{Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}}, pages = {{101--109}}, publisher = {{Elsevier}}, title = {{{Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}}}, doi = {{http://dx.doi.org/10.1016/S1571-0661(05)80186-0}}, year = {{1995}}, } @inproceedings{8270, author = {{Heckel, Reiko and Wagner, Annika}}, booktitle = {{Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}}, pages = {{118--126}}, publisher = {{Elsevier}}, title = {{{Ensuring Consistency of Conditional Graph Grammars - A constructive Approach}}}, doi = {{http://dx.doi.org/10.1016/S1571-0661(05)80188-4}}, volume = {{2}}, year = {{1995}}, } @inbook{8354, author = {{Kremer, H.-Hugo}}, booktitle = {{Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1}}, editor = {{Braukmann, U. and Diettrich, A. and Kremer, H.-H. and Sloane, P.F.E. and Stickling, E.}}, pages = {{19--94}}, title = {{{Existenzgründung}}}, year = {{1995}}, } @article{16510, abstract = {{ In an array of coupled oscillators, synchronous chaos may occur in the sense that all the oscillators behave identically although the corresponding motion is chaotic. When a parameter is varied this fully symmetric dynamical state can lose its stability, and the main purpose of this paper is to investigate which type of dynamical behavior is expected to be observed once the loss of stability has occurred. The essential tool is a classification of Lyapunov exponents based on the symmetry of the underlying problem. This classification is crucial in the derivation of the analytical results but it also allows an efficient computation of the dominant Lyapunov exponent associated with each symmetry type. We show how these dominant exponents determine the stability of invariant sets possessing various instantaneous symmetries, and this leads to the idea of symmetry breaking bifurcations of chaotic attractors. Finally, the results and ideas are illustrated for several systems of coupled oscillators. }}, author = {{Aston, Philip J. and Dellnitz, Michael}}, issn = {{0218-1274}}, journal = {{International Journal of Bifurcation and Chaos}}, pages = {{1643--1676}}, title = {{{Symmetry Breaking Bifurcations of Chaotic Attractors}}}, doi = {{10.1142/s021812749500123x}}, year = {{1995}}, } @article{16532, author = {{Dellnitz, M and Heinrich, C}}, issn = {{0951-7715}}, journal = {{Nonlinearity}}, pages = {{1039--1066}}, title = {{{Admissible symmetry increasing bifurcations}}}, doi = {{10.1088/0951-7715/8/6/009}}, year = {{1995}}, } @article{16542, author = {{Dellnitz, M and Melbourne, I}}, issn = {{0951-7715}}, journal = {{Nonlinearity}}, pages = {{1067--1075}}, title = {{{A note on the shadowing lemma and symmetric periodic points}}}, doi = {{10.1088/0951-7715/8/6/010}}, year = {{1995}}, } @article{16550, author = {{Dellnitz, Michael and Field, Michael and Golubitsky, Martin and Ma, Jun and Hohmann, Andreas}}, issn = {{0218-1274}}, journal = {{International Journal of Bifurcation and Chaos}}, pages = {{1243--1247}}, title = {{{Cycling Chaos}}}, doi = {{10.1142/s0218127495000909}}, year = {{1995}}, } @article{16551, abstract = {{ Spiral patterns have been observed experimentally, numerically, and theoretically in a variety of systems. It is often believed that these spiral wave patterns can occur only in systems of reaction–diffusion equations. We show, both theoretically (using Hopf bifurcation techniques) and numerically (using both direct simulation and continuation of rotating waves) that spiral wave patterns can appear in a single reaction–diffusion equation [ in u(x, t)] on a disk, if one assumes "spiral" boundary conditions (ur = muθ). Spiral boundary conditions are motivated by assuming that a solution is infinitesimally an Archimedian spiral near the boundary. It follows from a bifurcation analysis that for this form of spirals there are no singularities in the spiral pattern (technically there is no spiral tip) and that at bifurcation there is a steep gradient between the "red" and "blue" arms of the spiral. }}, author = {{Dellnitz, Michael and Golubitsky, Martin and Hohmann, Andreas and Stewart, Ian}}, issn = {{0218-1274}}, journal = {{International Journal of Bifurcation and Chaos}}, pages = {{1487--1501}}, title = {{{Spirals in Scalar Reaction–Diffusion Equations}}}, doi = {{10.1142/s0218127495001149}}, year = {{1995}}, } @article{16566, author = {{Breslauer, Dany and Czumaj, Artur and Dubhashi, Devdatt P. and Meyer auf der Heide, Friedhelm}}, issn = {{0020-0190}}, journal = {{Information Processing Letters}}, pages = {{103--110}}, title = {{{Transforming comparison model lower bounds to the parallel-random-access-machine}}}, doi = {{10.1016/s0020-0190(97)00032-x}}, year = {{1995}}, } @inbook{16611, author = {{Golubitsky, Martin and Marsden, Jerrold and Stewart, Ian and Dellnitz, Michael}}, booktitle = {{Normal Forms and Homoclinic Chaos}}, isbn = {{9780821803264}}, title = {{{The constrained Liapunov-Schmidt procedure and periodic orbits}}}, doi = {{10.1090/fic/004/05}}, year = {{1995}}, } @inbook{16704, author = {{Meyer auf der Heide, Friedhelm and Vöcking, Berthold}}, booktitle = {{STACS 95}}, isbn = {{9783540590422}}, issn = {{0302-9743}}, title = {{{A packet routing protocol for arbitrary networks}}}, doi = {{10.1007/3-540-59042-0_81}}, year = {{1995}}, } @inbook{16705, author = {{Czumaj, Artur and Meyer auf der Heide, Friedhelm and Stemann, Volker}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783540603139}}, issn = {{0302-9743}}, title = {{{Shared memory simulations with triple-logarithmic delay}}}, doi = {{10.1007/3-540-60313-1_133}}, year = {{1995}}, } @inproceedings{16706, author = {{Meyer auf der Heide, Friedhelm and Storch, Martin and Wanka, Rolf}}, booktitle = {{Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures - SPAA '95}}, isbn = {{0897917170}}, title = {{{Optimal trade-offs between size and slowdown for universal parallel networks}}}, doi = {{10.1145/215399.215430}}, year = {{1995}}, } @inproceedings{16707, author = {{Czumaj, Artur and Meyer auf der Heide, Friedhelm and Stemann, Volker}}, booktitle = {{Proceedings Third Israel Symposium on the Theory of Computing and Systems}}, isbn = {{0818669152}}, title = {{{Improved optimal shared memory simulations, and the power of reconfiguration}}}, doi = {{10.1109/istcs.1995.377051}}, year = {{1995}}, } @inbook{16717, author = {{Meyer auf der Heide, Friedhelm and Westermann, Matthias}}, booktitle = {{Graph-Theoretic Concepts in Computer Science}}, isbn = {{9783540606185}}, issn = {{0302-9743}}, title = {{{Hot-potato routing on multi-dimensional tori}}}, doi = {{10.1007/3-540-60618-1_77}}, year = {{1995}}, } @inbook{16874, author = {{Bäumker, Armin and Dittrich, Wolfgang and Meyer auf der Heide, Friedhelm}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783540603139}}, issn = {{0302-9743}}, title = {{{Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model}}}, doi = {{10.1007/3-540-60313-1_131}}, year = {{1995}}, } @article{10610, author = {{Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold}}, journal = {{J.UCS Journal of Universal Computer Science}}, pages = {{811--820}}, publisher = {{Springer}}, title = {{{Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation}}}, volume = {{12}}, year = {{1995}}, } @inproceedings{11757, abstract = {{Clustering techniques have been integrated at different levels into the training procedure of a continuous-density hidden Markov model (HMM) speech recognizer. These clustering techniques can be used in two ways. First acoustically similar states are tied together. It will help to reduce the number of parameters but also allow to train otherwise rarely seen states together with more robust ones (state-tying). Secondly densities are clustered across states, this reduces the number of densities while at the same time keeping the best performances of our recognizer (density-clustering). We have applied these techniques both to word-based small-vocabulary and phoneme-based large-vocabulary recognition tasks. On the WSJ task, we could achieve a reduction of the word error rate by 7%. On the TI/NIST-connected digit task, the number of parameters was reduced by a factor 2-3 while keeping the same string error rate.}}, author = {{Dugast, Christian and Beyerlein, Peter and Haeb-Umbach, Reinhold}}, booktitle = {{ICASSP, Detroit}}, title = {{{Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition}}}, year = {{1995}}, } @article{11764, abstract = {{Today speech recognition of a small vocabulary can be realized so cost-effectively that the technology can penetrate into consumer electronics. But, as first applications that failed on the market show, it is by no means obvious how to incorporate voice control in a user interface. This paper addresses the issue of how to design a voice control so that the user perceives it as a benefit. User interface guidelines that are adapted or specific to voice control are presented. Then the process of designing a voice control in the user-centred approach is described. By means of two examples, the car stereo and telephone answering machine, it is shown how this is turned into practice.}}, author = {{Gamm, Stephan and Haeb-Umbach, Reinhold}}, journal = {{Philips Journal of Research}}, title = {{{User interface design of voice controlled consumer electronics}}}, year = {{1995}}, } @inproceedings{11765, author = {{Gamm, Stephan and Haeb-Umbach, Reinhold}}, booktitle = {{Eurospeech, Madrid}}, title = {{{Human Factors of a Voice-Controlled Car Stereo}}}, year = {{1995}}, } @inproceedings{11768, author = {{Gamm, Stephan and Haeb-Umbach, Reinhold and Langmann, Det}}, booktitle = {{International Symposium on Human Factors in Telecommunications, Melbourne}}, title = {{{The Usability Engineering of a Voice-Controlled Answering Machine}}}, year = {{1995}}, } @article{11786, abstract = {{Recognition accuracy has been the primary objective of most speech recognition research, and impressive results have been obtained, e.g. less than 0.3% word error rate on a speaker-independent digit recognition task. When it comes to real-world applications, robustness and real-time response might be more important issues. For the first requirement we review some of the work on robustness and discuss one specific technique, spectral normalization, in more detail. The requirement of real-time response has to be considered in the light of the limited hardware resources in voice control applications, which are due to the tight cost constraints. In this paper we discuss in detail one specific means to reduce the processing and memory demands: a clustering technique applied at various levels within the acoustic modelling.}}, author = {{Haeb-Umbach, Reinhold and Beyerlein, Peter and Geller, Dieter}}, journal = {{Philips Journal of Research}}, title = {{{Speech recognition algorithms for voice control interfaces}}}, year = {{1995}}, } @inproceedings{11787, abstract = {{We address the problem of automatically finding an acoustic representation (i.e. a transcription) of unknown words as a sequence of subword units, given a few sample utterances of the unknown words, and an inventory of speaker-independent subword units. The problem arises if a user wants to add his own vocabulary to a speaker-independent recognition system simply by speaking the words a few times. Two methods are investigated which are both based on a maximum-likelihood formulation of the problem. The experimental results show that both automatic transcription methods provide a good estimate of the acoustic models of unknown words. The recognition error rates obtained with such models in a speaker-independent recognition task are clearly better than those resulting from separate whole-word models. They are comparable with the performance of transcriptions drawn from a dictionary.}}, author = {{Haeb-Umbach, Reinhold and Beyerlein, P. and Thelen, E.}}, booktitle = {{ICASSP, Detroit}}, title = {{{Automatic Transcription of Unknown Words in a Speech Recognition System}}}, year = {{1995}}, } @article{11905, abstract = {{This paper gives an overview of the Philips Research system for continuous-speech recognition. The recognition architecture is based on an integrated statistical approach. The system has been successfully applied to various tasks in American English and German, ranging from small vocabulary tasks to very large vocabulary tasks and from recognition only to speech understanding. Here, we concentrate on phoneme-based continuous-speech recognition for large vocabulary recognition as used for dictation, which covers a significant part of our research work on speech recognition. We describe this task and report on experimental results. In order to allow a comparison with the performance of other systems, a section with an evaluation on the standard North American Business news (NAB2) task (dictation of American English newspaper text) is supplied.}}, author = {{Steinbiss, Volker and Ney, Hermann J. and Aubert, Xavier L. and Besling, Stefan and Dugast, Christian and Essen, Ute and Geller, Dieter and Haeb-Umbach, Reinhold and Kneser, Reinhard and Meier, Hans Günter and Oerder, Martin and Tran, Bach Hiep}}, journal = {{Philips Journal of Research}}, title = {{{The Philips Research system for continuous-speech dictation}}}, year = {{1995}}, } @article{11948, abstract = {{This paper gives an overview of the Philips research system for phoneme-based, large-vocabulary, continuousspeech recognition. The system has been successfully applied to various tasks in the German and (American) English languages, ranging from small vocabulary tasks to very large vocabulary tasks. Here, we concentrate on continuousspeech recognition for dictation in real applications, the dictation of legal reports and radiology reports in German. We describe this task and report on experimental results. We also describe a commercial PC-based dictation system which includes a PC implementation of our scientific recognition prototype. In order to allow for a comparison with the performance of other systems, a section with an evaluation on the standard Wall Street Journal task (dictation of American English newspaper text) is supplied. 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.}}, author = {{Steinbiss, Volker and Ney, Hermann J. and Essen, Ute and Tran, Bach Hiep and Aubert, Xavier L. and Dugast, Christian and Kneser, Reinhard and Meier, Hans Günter and Oerder, Martin and Haeb-Umbach, Reinhold and Geller, Dieter and Hoellerbauer, W. and Bartosik, H.}}, journal = {{Speech Communication}}, title = {{{Continuous speech dictation - From theory to practice}}}, year = {{1995}}, } @techreport{13026, author = {{Hellebrand, Sybille and Wunderlich, Hans-Joachim}}, title = {{{Synthesis Procedures for Self-Testable Controllers}}}, year = {{1995}}, } @techreport{13027, author = {{Hellebrand, Sybille and Wunderlich, Hans-Joachim and Goncalves, F. and Paulo Teixeira, Joao}}, title = {{{Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis}}}, year = {{1995}}, } @techreport{13028, author = {{Hellebrand, Sybille and Herzog, Maik and Wunderlich, Hans-Joachim}}, title = {{{Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing}}}, year = {{1995}}, } @inproceedings{15294, author = {{Hüllermeier, Eyke}}, booktitle = {{in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}}, editor = {{Zimmermann, H.J.}}, pages = {{150--154}}, title = {{{Towards modelling of fuzzy functions}}}, year = {{1995}}, } @inproceedings{15295, author = {{Hüllermeier, Eyke}}, booktitle = {{in Proceedings ISFL-95 International Symposium on Logic, Zürich}}, pages = {{B49--B56}}, publisher = {{ICSC Academic Press}}, title = {{{Rule-based modelling in fuzzy simulation}}}, year = {{1995}}, } @inproceedings{15305, author = {{Hüllermeier, Eyke}}, booktitle = {{in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin}}, pages = {{401--404}}, publisher = {{Gordon and Breach Publishers}}, title = {{{Fuzzy polynomial and spline interpolation}}}, year = {{1995}}, } @inproceedings{15272, author = {{Domik-Kienegger, Gitta and Owen, GS}}, booktitle = {{Proceedings of the Third Eurographics Workshop on Graphics and Visualization}}, title = {{{Education for Visualization-Activities of the ACM-SIGGRAPH Education Committee}}}, year = {{1995}}, } @book{1602, author = {{Krimphove, Dieter and Brehmer, Carsten}}, pages = {{49}}, publisher = {{FHTW Schriftenreihe}}, title = {{{Die Gründung einer GmbH}}}, volume = {{Nr. 13}}, year = {{1995}}, } @book{1603, author = {{Krimphove, Dieter}}, pages = {{59}}, publisher = {{FHTW Schriftenreihe}}, title = {{{Rechtliche Rahmenbedingungen des deutschen und internationalen Börsentermingeschäftes Ein Leitfaden für Banken, Sparkassen, Kreditinstitute, Anlagevermittler und Kunden mit Checklisten und Hinweisen zur Durchführung einer ordnungsgemäßen Anlageberatung }}}, volume = {{Nr. 14}}, year = {{1995}}, } @inbook{16236, author = {{Hüllermeier, Eyke}}, booktitle = {{Moderne Makroökonomie-Eine kritische Bestandsaufnahme}}, editor = {{Flemmig, J.}}, pages = {{413--454}}, publisher = {{Metropolis}}, title = {{{Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung}}}, year = {{1995}}, } @article{16243, author = {{Dohmeier-Fischer, Silvia and Krämer, Nicolai and Grützmacher, Hans- Friedrich}}, issn = {{1356-1049}}, journal = {{European Journal of Mass Spectrometry}}, title = {{{Rearrangement by intermediate ion/neutral complexes during the McLafferty fragmentation of unsaturated ketones}}}, doi = {{10.1255/ejms.154}}, year = {{1995}}, } @misc{13086, author = {{Hellebrand, Sybille and Reeb, Birgit and Tarnick, Steffen and Wunderlich, Hans-Joachim}}, keywords = {{WORKSHOP}}, title = {{{Pattern Generation for a Deterministic BIST Scheme}}}, year = {{1995}}, } @inproceedings{13469, author = {{Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold }}, booktitle = {{Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing }}, pages = {{311--318}}, publisher = {{IEEE CS Press}}, title = {{{A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs}}}, year = {{1995}}, } @inproceedings{13470, author = {{Brenner, Eugen and Ginthör-Kalcsics, Robert and Hranitzky, Robert and Platzner, Marco and Rinner, Bernhard and Steger, Christian and Weiss, Reinhold}}, booktitle = {{Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference}}, title = {{{High-Performance Simulators Based on Multi-TMS320C40}}}, year = {{1995}}, } @inproceedings{13471, author = {{Friedl, Gerald and Platzner, Marco and Rinner, Bernhard}}, booktitle = {{Proceedings of the EURO-PAR'95 International Conference on Parallel Processing}}, pages = {{695--698}}, publisher = {{Springer International Publishing}}, title = {{{A Special-Purpose Coprocessor for Qualitative Simulation}}}, year = {{1995}}, } @inproceedings{13472, author = {{Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold }}, booktitle = {{Proceedings of the EUROSIM Congress}}, pages = {{231--236}}, publisher = {{Elsevier}}, title = {{{Parallel Qualitative Simulation}}}, year = {{1995}}, } @inproceedings{13473, author = {{Platzner, Marco and Rinner, Bernhard}}, booktitle = {{Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems}}, pages = {{494--501}}, publisher = {{ISCA}}, title = {{{Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture}}}, year = {{1995}}, } @inproceedings{13474, author = {{Platzner, Marco and Rinner, Bernhard}}, booktitle = {{Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT)}}, title = {{{High-Performance Qualitative Simulation on a Multi-DSP Architecture}}}, year = {{1995}}, } @inproceedings{13484, author = {{Hranitzky, Robert and Platzner, Marco}}, booktitle = {{Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT)}}, title = {{{Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System}}}, year = {{1995}}, } @article{13796, author = {{Santos, Paulo V. and Esser, N. and Groenen, J. and Cardona, M. and Schmidt, Wolf Gero and Bechstedt, F.}}, issn = {{0163-1829}}, journal = {{Physical Review B}}, number = {{24}}, pages = {{17379--17385}}, title = {{{Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces}}}, doi = {{10.1103/physrevb.52.17379}}, volume = {{52}}, year = {{1995}}, } @article{13797, author = {{Santos, Paulo V. and Esser, N. and Cardona, M. and Schmidt, Wolf Gero and Bechstedt, F.}}, issn = {{0163-1829}}, journal = {{Physical Review B}}, number = {{16}}, pages = {{12158--12167}}, title = {{{Optical properties of Sb-terminated GaAs and InP (110) surfaces}}}, doi = {{10.1103/physrevb.52.12158}}, volume = {{52}}, year = {{1995}}, } @article{13798, author = {{Schmidt, Wolf Gero and Bechstedt, F. and Srivastava, G. P.}}, issn = {{0163-1829}}, journal = {{Physical Review B}}, number = {{3}}, pages = {{2001--2007}}, title = {{{III-V(110) surface dynamics from anab initiofrozen-phonon approach}}}, doi = {{10.1103/physrevb.52.2001}}, volume = {{52}}, year = {{1995}}, } @article{13799, author = {{Schmidt, Wolf Gero and Bechstedt, Friedhelm}}, issn = {{0039-6028}}, journal = {{Surface Science}}, number = {{Part A}}, pages = {{557--563}}, title = {{{Se/GaAs(110): energetics and structure}}}, doi = {{10.1016/0039-6028(95)00317-7}}, volume = {{331-333}}, year = {{1995}}, } @article{13800, author = {{Kress, Clemens and Fiedler, Marion and Schmidt, Wolf Gero and Bechstedt, Friedhelm}}, issn = {{0039-6028}}, journal = {{Surface Science}}, pages = {{1152--1156}}, title = {{{Quasi-particle band structure of C(111)2 × 1 and C(100)2 × 1 surfaces}}}, doi = {{10.1016/0039-6028(95)00160-3}}, volume = {{331-333}}, year = {{1995}}, } @article{13801, author = {{Schmidt, Wolf Gero and Srivastava, G.P.}}, issn = {{0039-6028}}, journal = {{Surface Science}}, number = {{Part A}}, pages = {{540--545}}, title = {{{III-V(110)/Sb(1 ML): structural and dynamical properties}}}, doi = {{10.1016/0039-6028(95)00304-5}}, volume = {{331-333}}, year = {{1995}}, } @article{13850, author = {{Kress, C. and Fiedler, M. and Schmidt, Wolf Gero and Bechstedt, F.}}, issn = {{0163-1829}}, journal = {{Physical Review B}}, number = {{23}}, pages = {{17697--17700}}, title = {{{Geometrical and electronic structure of the reconstructed diamond (100) surface}}}, doi = {{10.1103/physrevb.50.17697}}, volume = {{50}}, year = {{1995}}, } @article{13851, author = {{Schmidt, Wolf Gero and Bechstedt, F.}}, issn = {{0163-1829}}, journal = {{Physical Review B}}, number = {{23}}, pages = {{17651--17654}}, title = {{{Exchange reactions versus adsorption geometries for Se/GaAs(110)}}}, doi = {{10.1103/physrevb.50.17651}}, volume = {{50}}, year = {{1995}}, } @article{13852, author = {{Schmidt, Wolf Gero and Bechstedt, F.}}, issn = {{0163-1829}}, journal = {{Physical Review B}}, number = {{23}}, pages = {{17280--17291}}, title = {{{Se/GaAs(110): Atomic and electronic structure}}}, doi = {{10.1103/physrevb.50.17280}}, volume = {{50}}, year = {{1995}}, } @article{30050, author = {{Grotstollen, H. and Wiesing, J.}}, issn = {{0278-0046}}, journal = {{IEEE Transactions on Industrial Electronics}}, keywords = {{Electrical and Electronic Engineering, Control and Systems Engineering}}, number = {{4}}, pages = {{374--381}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Torque capability and control of a saturated induction motor over a wide range of flux weakening}}}, doi = {{10.1109/41.402476}}, volume = {{42}}, year = {{1995}}, } @inproceedings{30052, author = {{Becker, B. and Grotstollen, H. and Heinemann, L.}}, booktitle = {{Proceedings of 1995 IEEE Applied Power Electronics Conference and Exposition - APEC'95}}, publisher = {{IEEE}}, title = {{{Computer aided design and modeling of high frequency magnetic components}}}, doi = {{10.1109/apec.1995.468970}}, year = {{1995}}, } @inproceedings{30041, author = {{Fiedler, A. and Grotstollen, H.}}, booktitle = {{IAS '95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting}}, publisher = {{IEEE}}, title = {{{Simulation of power electronic circuits with principles used in wave digital filters}}}, doi = {{10.1109/ias.1995.530613}}, year = {{1995}}, } @inproceedings{30048, author = {{Fiedler, A. and Grotstollen, H.}}, booktitle = {{Proceedings of IECON '95 - 21st Annual Conference on IEEE Industrial Electronics}}, publisher = {{IEEE}}, title = {{{Investigation of asymmetrical phase-shifted full bridge [power convertors]}}}, doi = {{10.1109/iecon.1995.483448}}, year = {{1995}}, } @inproceedings{30049, author = {{Maas, Jürgen and Ide, Peter and Fröhleke, Norbert and Grotstollen, Horst}}, booktitle = {{IAS '95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting}}, publisher = {{IEEE}}, title = {{{Simulation model for ultrasonic motors powered by resonant converters}}}, doi = {{10.1109/ias.1995.530291}}, year = {{1995}}, } @inproceedings{30040, author = {{Fröhleke, Norbert and Fiedler, A. and Grotstollen, Horst and Margaritis, Basile}}, booktitle = {{Proceedings of IECON '95 - 21st Annual Conference on IEEE Industrial Electronics}}, publisher = {{IEEE}}, title = {{{Investigation of PWM controlled, resonant transition converters with asymmetrical duty cycle}}}, doi = {{10.1109/iecon.1995.485666}}, year = {{1995}}, } @phdthesis{30051, author = {{Sun, Jian}}, title = {{{Optimal pulsewidth modulation techniques for high-power voltage-source inverter}}}, year = {{1995}}, } @book{17446, abstract = {{Rezensionen: Philosophischer Literaturanzeiger 49 (1996), 325–328 (U. Dathe); Studia Logica 58 (1997), 335–337 (Roman Murawski); Modern Logic 8 (2000/01), 109–111 (H. Frank)}}, author = {{Peckhaus, Volker}}, pages = {{181}}, publisher = {{Hallescher Verlag}}, title = {{{Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften}}}, year = {{1995}}, } @inproceedings{17492, abstract = {{Abstract: Philosopher’s Index 30.2 (Sommer 1996), 215.}}, author = {{Peckhaus, Volker}}, booktitle = {{Logik und Mathematik. Frege-Kolloquium Jena 1993}}, editor = {{Max, Ingolf and Stelzner, Werner}}, pages = {{269--280}}, publisher = {{Walter de Gruyter}}, title = {{{The Genesis of Grelling’s Paradox}}}, volume = {{5}}, year = {{1995}}, } @article{17490, abstract = {{Rezension: Zbl. Math. 908.01010 (V.V. Pambuccian).}}, author = {{Peckhaus, Volker}}, journal = {{NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F.}}, pages = {{65--86}}, title = {{{Hilberts Logik. Von der Axiomatik zur Beweistheorie}}}, volume = {{3}}, year = {{1995}}, } @inproceedings{29990, author = {{Böcker, Joachim and Endrikat, Christian and Liu, Steven}}, booktitle = {{EPE’95, Sevilla}}, location = {{Sevilla, Spain}}, pages = {{314--318}}, title = {{{A Systematic Approach to State Feedback Controller Design for DC/DC Line-Side Traction Converters}}}, volume = {{1}}, year = {{1995}}, } @article{29992, author = {{Janning, Jörg and Böcker, Joachim and Anbuhl, Kay and Boni, Marco}}, journal = {{Elektrische Bahnen}}, number = {{6}}, pages = {{177--212}}, publisher = {{Oldenbourg}}, title = {{{Netzkupplungsumrichter Jübek – Regelung}}}, year = {{1995}}, } @misc{17775, author = {{Peckhaus, Volker}}, booktitle = {{Modern Logic}}, pages = {{356--359}}, title = {{{Grundprobleme der großen Philosophen. Philosophie der Neuzeit VI. Tarski, Reichenbach, Kraft, Gödel, Neurath. ed. Josef Speck, Vandenhoeck & Ruprecht: Göttingen 1992 (= Uni-Taschenbücher; 1654)}}}, volume = {{5}}, year = {{1995}}, } @misc{17777, author = {{Peckhaus, Volker}}, booktitle = {{Mathesis (México)}}, pages = {{285--290}}, title = {{{“Russell y las ‘Paradojas’” [Rez. v. Alejandro R. Garciadiego, Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’. Birkhäuser Verlag: Basel/Boston/Berlin 1992]}}}, volume = {{11}}, year = {{1995}}, } @misc{17776, author = {{Peckhaus, Volker}}, booktitle = {{Berichte zur Wissenschaftsgeschichte}}, pages = {{256--257}}, title = {{{André Weil, Lehr- und Wanderjahre eines Mathematikers. aus dem Französischen von Theresia Übelhör, Birkhäuser Verlag: Basel/Boston/Berlin 1993}}}, volume = {{18}}, year = {{1995}}, } @inbook{17842, author = {{Peckhaus, Volker}}, booktitle = {{Modern Logic Calendar 1995}}, pages = {{März}}, title = {{{Kurt Grelling}}}, year = {{1995}}, } @article{18630, abstract = {{Inspired by earlier work on the band-gap problem in insulators, we reexamine the treatment of strongly correlated Hubbard-type models within density-functional theory. In contrast to previous studies, the density is fully parametrized by occupation numbers and overlap of orbitals centered at neighboring atomic sites, as is the local potential by the hopping matrix. This corresponds to a good formal agreement between density-functional theory in real space and second quantization. It is shown that density-functional theory is formally applicable to such systems and the theoretical framework is provided. The question of noninteracting v representability is studied numerically for finite one-dimnsional clusters, for which exact results are available, and qualitatively for infinite systems. This leads to the conclusion that the electron density corresponding to interacting systems of the type studied here is in fact not noninteracting v representable because the Kohn-Sham electrons are unable to reproduce the correlation-induced localization correctly.}}, author = {{Schindlmayr, Arno and Godby, Rex William}}, issn = {{1095-3795}}, journal = {{Physical Review B}}, number = {{16}}, pages = {{10427--10435}}, publisher = {{American Physical Society}}, title = {{{Density-functional theory and the v-representability problem for model strongly correlated electron systems}}}, doi = {{10.1103/PhysRevB.51.10427}}, volume = {{51}}, year = {{1995}}, } @inbook{34448, abstract = {{We present a rigorous but transparent semantic definition for VHDL corresponding to the IEEE VHDL’ 93 standard [68, 9, 84]. Our definition covers the full behavior of signal and variable assignments as well as the behavior of the various wait statements including delta, time, and postponed cycles. We consider explicitly declared signals, ports, local variables, and shared variables. Our specification defines an abstract VHDL ’ 93 interpreter in the form of transition rules for an evolving algebra machine (EA-Machine) [60]. It faithfully reflects and supports the view of simulation given in the IEEE VHDL ’ 93 standard language reference manual. The definition can be understood without any prior formal training. We illustrate our definition by running the example VHDL program set out in the Introduction to this volume.}}, author = {{Börger, Egon and Glässer, Uwe and Müller, Wolfgang}}, booktitle = {{Semantics of VHDL}}, editor = {{Delgado Kloos, C. and Breuer, Peter T.}}, isbn = {{978-1-4615-2237-9}}, keywords = {{Transition Rule Formal Verification Variable Assignment Kernel Process Simulation Cycle}}, pages = {{107 -- 139}}, publisher = {{Kluwer Academic Publishers}}, title = {{{A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines}}}, doi = {{10.1007/978-1-4615-2237-9_5}}, year = {{1995}}, } @misc{34765, author = {{Süßmann, Johannes}}, booktitle = {{Archiv für Sozialgeschichte}}, pages = {{667 f.}}, title = {{{[Rez. v.] Friedrich Jaeger: Bürgerliche Modernisierungskrise und historische Sinnbildung. Kulturgeschichte bei Droysen, Burckhardt und Max Weber. Göttingen. Vandenhoeck & Ruprecht 1994}}}, volume = {{35}}, year = {{1995}}, } @article{13011, author = {{Hellebrand, Sybille and Rajski, Janusz and Tarnick, Steffen and Venkataraman, Srikanth and Courtois, B.}}, journal = {{IEEE Transactions on Computers}}, number = {{2}}, pages = {{223--233}}, publisher = {{IEEE}}, title = {{{Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers}}}, doi = {{10.1109/12.364534}}, volume = {{44}}, year = {{1995}}, } @inproceedings{13012, author = {{Hellebrand, Sybille and Reeb, Birgit and Tarnick, Steffen and Wunderlich, Hans-Joachim}}, booktitle = {{ACM/IEEE International Conference on Computer Aided Design (ICCAD'95)}}, pages = {{88--94}}, publisher = {{IEEE}}, title = {{{Pattern Generation for a Deterministic BIST Scheme}}}, doi = {{10.1109/iccad.1995.479997}}, year = {{1995}}, } @inbook{32988, author = {{Öhlschläger, Claudia and Bettinger, Elfi }}, booktitle = {{Maskeraden. Geschlechterdifferenz in der literarischen Inszenierung}}, editor = {{Bettinger , Elfi and Funk , Julika }}, pages = {{323--337}}, publisher = {{Erich Schmidt Verlag}}, title = {{{ ́Ich wäre gerne ein Engel ́. Zu Peter Roos' Demaskerade seines als Kunstwerk verkleideten Geschlechtskörpers}}}, year = {{1995}}, } @phdthesis{32460, author = {{Buhl, Heike M.}}, title = {{{Zur Blickpunktbezogenheit sprachlicher Lokalisationen: Der Genese-Effekt}}}, year = {{1995}}, } @article{32494, author = {{Herrmann, Theo and Buhl, Heike M. and Schweizer, Karin}}, journal = {{Zeitschrift für Psychologie}}, pages = {{1 -- 23}}, title = {{{Zur blickpunktbezogenen Wissensrepräsentation: Der Richtungseffekt}}}, volume = {{203}}, year = {{1995}}, }