TY - CONF
AU - Groenewegen, Luuk
AU - Engels, Gregor
ID - 8266
T2 - Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)
TI - Coordination by Behavioural Views and Communication Patterns
VL - 913
ER -
TY - CONF
AB - 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.
AU - Corradini, Andrea
AU - Heckel, Reiko
ID - 8267
T2 - Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)
TI - A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
VL - 2
ER -
TY - CONF
AB - 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.
AU - Bardohl, Bernhard
AU - Bardohl, Roswitha
AU - Castro, Paulo
AU - Ehrig, Hartmut
AU - Heckel, Reiko
AU - Ribeiro, Leila
AU - Nunes, Daltro
AU - Martini, Alfio
ID - 8268
T2 - Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)
TI - GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
VL - 26
ER -
TY - CONF
AB - 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.
AU - Engels, Gregor
AU - Schürr, Andy
ID - 8269
T2 - Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)
TI - Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
ER -
TY - CONF
AU - Heckel, Reiko
AU - Wagner, Annika
ID - 8270
T2 - Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)
TI - Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
VL - 2
ER -
TY - CHAP
AU - Kremer, H.-Hugo
ED - Braukmann, U.
ED - Diettrich, A.
ED - Kremer, H.-H.
ED - Sloane, P.F.E.
ED - Stickling, E.
ID - 8354
T2 - Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1
TI - Existenzgründung
ER -
TY - JOUR
AB - 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.
AU - Aston, Philip J.
AU - Dellnitz, Michael
ID - 16510
JF - International Journal of Bifurcation and Chaos
SN - 0218-1274
TI - Symmetry Breaking Bifurcations of Chaotic Attractors
ER -
TY - JOUR
AU - Dellnitz, M
AU - Heinrich, C
ID - 16532
JF - Nonlinearity
SN - 0951-7715
TI - Admissible symmetry increasing bifurcations
ER -
TY - JOUR
AU - Dellnitz, M
AU - Melbourne, I
ID - 16542
JF - Nonlinearity
SN - 0951-7715
TI - A note on the shadowing lemma and symmetric periodic points
ER -
TY - JOUR
AU - Dellnitz, Michael
AU - Field, Michael
AU - Golubitsky, Martin
AU - Ma, Jun
AU - Hohmann, Andreas
ID - 16550
JF - International Journal of Bifurcation and Chaos
SN - 0218-1274
TI - Cycling Chaos
ER -
TY - JOUR
AB - 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.
AU - Dellnitz, Michael
AU - Golubitsky, Martin
AU - Hohmann, Andreas
AU - Stewart, Ian
ID - 16551
JF - International Journal of Bifurcation and Chaos
SN - 0218-1274
TI - Spirals in Scalar Reaction–Diffusion Equations
ER -
TY - JOUR
AU - Breslauer, Dany
AU - Czumaj, Artur
AU - Dubhashi, Devdatt P.
AU - Meyer auf der Heide, Friedhelm
ID - 16566
JF - Information Processing Letters
SN - 0020-0190
TI - Transforming comparison model lower bounds to the parallel-random-access-machine
ER -
TY - CHAP
AU - Golubitsky, Martin
AU - Marsden, Jerrold
AU - Stewart, Ian
AU - Dellnitz, Michael
ID - 16611
SN - 9780821803264
T2 - Normal Forms and Homoclinic Chaos
TI - The constrained Liapunov-Schmidt procedure and periodic orbits
ER -
TY - CHAP
AU - Meyer auf der Heide, Friedhelm
AU - Vöcking, Berthold
ID - 16704
SN - 0302-9743
T2 - STACS 95
TI - A packet routing protocol for arbitrary networks
ER -
TY - CHAP
AU - Czumaj, Artur
AU - Meyer auf der Heide, Friedhelm
AU - Stemann, Volker
ID - 16705
SN - 0302-9743
T2 - Lecture Notes in Computer Science
TI - Shared memory simulations with triple-logarithmic delay
ER -
TY - CONF
AU - Meyer auf der Heide, Friedhelm
AU - Storch, Martin
AU - Wanka, Rolf
ID - 16706
SN - 0897917170
T2 - Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures - SPAA '95
TI - Optimal trade-offs between size and slowdown for universal parallel networks
ER -
TY - CONF
AU - Czumaj, Artur
AU - Meyer auf der Heide, Friedhelm
AU - Stemann, Volker
ID - 16707
SN - 0818669152
T2 - Proceedings Third Israel Symposium on the Theory of Computing and Systems
TI - Improved optimal shared memory simulations, and the power of reconfiguration
ER -
TY - CHAP
AU - Meyer auf der Heide, Friedhelm
AU - Westermann, Matthias
ID - 16717
SN - 0302-9743
T2 - Graph-Theoretic Concepts in Computer Science
TI - Hot-potato routing on multi-dimensional tori
ER -
TY - CHAP
AU - Bäumker, Armin
AU - Dittrich, Wolfgang
AU - Meyer auf der Heide, Friedhelm
ID - 16874
SN - 0302-9743
T2 - Lecture Notes in Computer Science
TI - Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model
ER -
TY - JOUR
AU - Platzner, Marco
AU - Rinner, Bernhard
AU - Weiss, Reinhold
ID - 10610
JF - J.UCS Journal of Universal Computer Science
TI - Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
VL - 12
ER -
TY - CONF
AB - 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.
AU - Dugast, Christian
AU - Beyerlein, Peter
AU - Haeb-Umbach, Reinhold
ID - 11757
T2 - ICASSP, Detroit
TI - Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition
ER -
TY - JOUR
AB - 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.
AU - Gamm, Stephan
AU - Haeb-Umbach, Reinhold
ID - 11764
JF - Philips Journal of Research
TI - User interface design of voice controlled consumer electronics
ER -
TY - CONF
AU - Gamm, Stephan
AU - Haeb-Umbach, Reinhold
ID - 11765
T2 - Eurospeech, Madrid
TI - Human Factors of a Voice-Controlled Car Stereo
ER -
TY - CONF
AU - Gamm, Stephan
AU - Haeb-Umbach, Reinhold
AU - Langmann, Det
ID - 11768
T2 - International Symposium on Human Factors in Telecommunications, Melbourne
TI - The Usability Engineering of a Voice-Controlled Answering Machine
ER -
TY - JOUR
AB - 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.
AU - Haeb-Umbach, Reinhold
AU - Beyerlein, Peter
AU - Geller, Dieter
ID - 11786
JF - Philips Journal of Research
TI - Speech recognition algorithms for voice control interfaces
ER -
TY - CONF
AB - 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.
AU - Haeb-Umbach, Reinhold
AU - Beyerlein, P.
AU - Thelen, E.
ID - 11787
T2 - ICASSP, Detroit
TI - Automatic Transcription of Unknown Words in a Speech Recognition System
ER -
TY - JOUR
AB - 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.
AU - Steinbiss, Volker
AU - Ney, Hermann J.
AU - Aubert, Xavier L.
AU - Besling, Stefan
AU - Dugast, Christian
AU - Essen, Ute
AU - Geller, Dieter
AU - Haeb-Umbach, Reinhold
AU - Kneser, Reinhard
AU - Meier, Hans Günter
AU - Oerder, Martin
AU - Tran, Bach Hiep
ID - 11905
JF - Philips Journal of Research
TI - The Philips Research system for continuous-speech dictation
ER -
TY - JOUR
AB - 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.
AU - Steinbiss, Volker
AU - Ney, Hermann J.
AU - Essen, Ute
AU - Tran, Bach Hiep
AU - Aubert, Xavier L.
AU - Dugast, Christian
AU - Kneser, Reinhard
AU - Meier, Hans Günter
AU - Oerder, Martin
AU - Haeb-Umbach, Reinhold
AU - Geller, Dieter
AU - Hoellerbauer, W.
AU - Bartosik, H.
ID - 11948
JF - Speech Communication
TI - Continuous speech dictation - From theory to practice
ER -
TY - GEN
AU - Hellebrand, Sybille
AU - Wunderlich, Hans-Joachim
ID - 13026
TI - Synthesis Procedures for Self-Testable Controllers
ER -
TY - GEN
AU - Hellebrand, Sybille
AU - Wunderlich, Hans-Joachim
AU - Goncalves, F.
AU - Paulo Teixeira, Joao
ID - 13027
TI - Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis
ER -
TY - GEN
AU - Hellebrand, Sybille
AU - Herzog, Maik
AU - Wunderlich, Hans-Joachim
ID - 13028
TI - Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing
ER -
TY - CONF
AU - Hüllermeier, Eyke
ED - Zimmermann, H.J.
ID - 15294
T2 - in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany
TI - Towards modelling of fuzzy functions
ER -
TY - CONF
AU - Hüllermeier, Eyke
ID - 15295
T2 - in Proceedings ISFL-95 International Symposium on Logic, Zürich
TI - Rule-based modelling in fuzzy simulation
ER -
TY - CONF
AU - Hüllermeier, Eyke
ID - 15305
T2 - in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin
TI - Fuzzy polynomial and spline interpolation
ER -
TY - CONF
AU - Domik-Kienegger, Gitta
AU - Owen, GS
ID - 15272
T2 - Proceedings of the Third Eurographics Workshop on Graphics and Visualization
TI - Education for Visualization-Activities of the ACM-SIGGRAPH Education Committee
ER -
TY - BOOK
AU - Krimphove, Dieter
AU - Brehmer, Carsten
ID - 1602
TI - Die Gründung einer GmbH
VL - Nr. 13
ER -
TY - BOOK
AU - Krimphove, Dieter
ID - 1603
TI - 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
VL - Nr. 14
ER -
TY - CHAP
AU - Hüllermeier, Eyke
ED - Flemmig, J.
ID - 16236
T2 - Moderne Makroökonomie-Eine kritische Bestandsaufnahme
TI - Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung
ER -
TY - JOUR
AU - Dohmeier-Fischer, Silvia
AU - Krämer, Nicolai
AU - Grützmacher, Hans- Friedrich
ID - 16243
JF - European Journal of Mass Spectrometry
SN - 1356-1049
TI - Rearrangement by intermediate ion/neutral complexes during the McLafferty fragmentation of unsaturated ketones
ER -
TY - GEN
AU - Hellebrand, Sybille
AU - Reeb, Birgit
AU - Tarnick, Steffen
AU - Wunderlich, Hans-Joachim
ID - 13086
KW - WORKSHOP
TI - Pattern Generation for a Deterministic BIST Scheme
ER -
TY - CONF
AU - Platzner, Marco
AU - Rinner, Bernhard
AU - Weiss, Reinhold
ID - 13469
T2 - Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing
TI - A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs
ER -
TY - CONF
AU - Brenner, Eugen
AU - Ginthör-Kalcsics, Robert
AU - Hranitzky, Robert
AU - Platzner, Marco
AU - Rinner, Bernhard
AU - Steger, Christian
AU - Weiss, Reinhold
ID - 13470
T2 - Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference
TI - High-Performance Simulators Based on Multi-TMS320C40
ER -
TY - CONF
AU - Friedl, Gerald
AU - Platzner, Marco
AU - Rinner, Bernhard
ID - 13471
T2 - Proceedings of the EURO-PAR'95 International Conference on Parallel Processing
TI - A Special-Purpose Coprocessor for Qualitative Simulation
ER -
TY - CONF
AU - Platzner, Marco
AU - Rinner, Bernhard
AU - Weiss, Reinhold
ID - 13472
T2 - Proceedings of the EUROSIM Congress
TI - Parallel Qualitative Simulation
ER -
TY - CONF
AU - Platzner, Marco
AU - Rinner, Bernhard
ID - 13473
T2 - Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems
TI - Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture
ER -
TY - CONF
AU - Platzner, Marco
AU - Rinner, Bernhard
ID - 13474
T2 - Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT)
TI - High-Performance Qualitative Simulation on a Multi-DSP Architecture
ER -
TY - CONF
AU - Hranitzky, Robert
AU - Platzner, Marco
ID - 13484
T2 - Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT)
TI - Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System
ER -
TY - JOUR
AU - Santos, Paulo V.
AU - Esser, N.
AU - Groenen, J.
AU - Cardona, M.
AU - Schmidt, Wolf Gero
AU - Bechstedt, F.
ID - 13796
IS - 24
JF - Physical Review B
SN - 0163-1829
TI - Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces
VL - 52
ER -
TY - JOUR
AU - Santos, Paulo V.
AU - Esser, N.
AU - Cardona, M.
AU - Schmidt, Wolf Gero
AU - Bechstedt, F.
ID - 13797
IS - 16
JF - Physical Review B
SN - 0163-1829
TI - Optical properties of Sb-terminated GaAs and InP (110) surfaces
VL - 52
ER -
TY - JOUR
AU - Schmidt, Wolf Gero
AU - Bechstedt, F.
AU - Srivastava, G. P.
ID - 13798
IS - 3
JF - Physical Review B
SN - 0163-1829
TI - III-V(110) surface dynamics from anab initiofrozen-phonon approach
VL - 52
ER -
TY - JOUR
AU - Schmidt, Wolf Gero
AU - Bechstedt, Friedhelm
ID - 13799
IS - Part A
JF - Surface Science
SN - 0039-6028
TI - Se/GaAs(110): energetics and structure
VL - 331-333
ER -
TY - JOUR
AU - Kress, Clemens
AU - Fiedler, Marion
AU - Schmidt, Wolf Gero
AU - Bechstedt, Friedhelm
ID - 13800
JF - Surface Science
SN - 0039-6028
TI - Quasi-particle band structure of C(111)2 × 1 and C(100)2 × 1 surfaces
VL - 331-333
ER -
TY - JOUR
AU - Schmidt, Wolf Gero
AU - Srivastava, G.P.
ID - 13801
IS - Part A
JF - Surface Science
SN - 0039-6028
TI - III-V(110)/Sb(1 ML): structural and dynamical properties
VL - 331-333
ER -
TY - JOUR
AU - Kress, C.
AU - Fiedler, M.
AU - Schmidt, Wolf Gero
AU - Bechstedt, F.
ID - 13850
IS - 23
JF - Physical Review B
SN - 0163-1829
TI - Geometrical and electronic structure of the reconstructed diamond (100) surface
VL - 50
ER -
TY - JOUR
AU - Schmidt, Wolf Gero
AU - Bechstedt, F.
ID - 13851
IS - 23
JF - Physical Review B
SN - 0163-1829
TI - Exchange reactions versus adsorption geometries for Se/GaAs(110)
VL - 50
ER -
TY - JOUR
AU - Schmidt, Wolf Gero
AU - Bechstedt, F.
ID - 13852
IS - 23
JF - Physical Review B
SN - 0163-1829
TI - Se/GaAs(110): Atomic and electronic structure
VL - 50
ER -
TY - JOUR
AU - Grotstollen, H.
AU - Wiesing, J.
ID - 30050
IS - 4
JF - IEEE Transactions on Industrial Electronics
KW - Electrical and Electronic Engineering
KW - Control and Systems Engineering
SN - 0278-0046
TI - Torque capability and control of a saturated induction motor over a wide range of flux weakening
VL - 42
ER -
TY - CONF
AU - Becker, B.
AU - Grotstollen, H.
AU - Heinemann, L.
ID - 30052
T2 - Proceedings of 1995 IEEE Applied Power Electronics Conference and Exposition - APEC'95
TI - Computer aided design and modeling of high frequency magnetic components
ER -
TY - CONF
AU - Fiedler, A.
AU - Grotstollen, H.
ID - 30041
T2 - IAS '95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting
TI - Simulation of power electronic circuits with principles used in wave digital filters
ER -
TY - CONF
AU - Fiedler, A.
AU - Grotstollen, H.
ID - 30048
T2 - Proceedings of IECON '95 - 21st Annual Conference on IEEE Industrial Electronics
TI - Investigation of asymmetrical phase-shifted full bridge [power convertors]
ER -
TY - CONF
AU - Maas, Jürgen
AU - Ide, Peter
AU - Fröhleke, Norbert
AU - Grotstollen, Horst
ID - 30049
T2 - IAS '95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting
TI - Simulation model for ultrasonic motors powered by resonant converters
ER -
TY - CONF
AU - Fröhleke, Norbert
AU - Fiedler, A.
AU - Grotstollen, Horst
AU - Margaritis, Basile
ID - 30040
T2 - Proceedings of IECON '95 - 21st Annual Conference on IEEE Industrial Electronics
TI - Investigation of PWM controlled, resonant transition converters with asymmetrical duty cycle
ER -
TY - THES
AU - Sun, Jian
ID - 30051
TI - Optimal pulsewidth modulation techniques for high-power voltage-source inverter
ER -
TY - BOOK
AB - 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)
AU - Peckhaus, Volker
ID - 17446
TI - 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
ER -
TY - CONF
AB - Abstract: Philosopher’s Index 30.2 (Sommer 1996), 215.
AU - Peckhaus, Volker
ED - Max, Ingolf
ED - Stelzner, Werner
ID - 17492
T2 - Logik und Mathematik. Frege-Kolloquium Jena 1993
TI - The Genesis of Grelling’s Paradox
VL - 5
ER -
TY - JOUR
AB - Rezension: Zbl. Math. 908.01010 (V.V. Pambuccian).
AU - Peckhaus, Volker
ID - 17490
JF - NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F.
TI - Hilberts Logik. Von der Axiomatik zur Beweistheorie
VL - 3
ER -
TY - CONF
AU - Böcker, Joachim
AU - Endrikat, Christian
AU - Liu, Steven
ID - 29990
T2 - EPE’95, Sevilla
TI - A Systematic Approach to State Feedback Controller Design for DC/DC Line-Side Traction Converters
VL - 1
ER -
TY - JOUR
AU - Janning, Jörg
AU - Böcker, Joachim
AU - Anbuhl, Kay
AU - Boni, Marco
ID - 29992
IS - 6
JF - Elektrische Bahnen
TI - Netzkupplungsumrichter Jübek – Regelung
ER -
TY - GEN
AU - Peckhaus, Volker
ID - 17775
T2 - Modern Logic
TI - 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)
VL - 5
ER -
TY - GEN
AU - Peckhaus, Volker
ID - 17777
T2 - Mathesis (México)
TI - “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]
VL - 11
ER -
TY - GEN
AU - Peckhaus, Volker
ID - 17776
T2 - Berichte zur Wissenschaftsgeschichte
TI - André Weil, Lehr- und Wanderjahre eines Mathematikers. aus dem Französischen von Theresia Übelhör, Birkhäuser Verlag: Basel/Boston/Berlin 1993
VL - 18
ER -
TY - CHAP
AU - Peckhaus, Volker
ID - 17842
T2 - Modern Logic Calendar 1995
TI - Kurt Grelling
ER -
TY - JOUR
AB - 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.
AU - Schindlmayr, Arno
AU - Godby, Rex William
ID - 18630
IS - 16
JF - Physical Review B
SN - 0163-1829
TI - Density-functional theory and the v-representability problem for model strongly correlated electron systems
VL - 51
ER -
TY - CHAP
AB - 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.
AU - Börger, Egon
AU - Glässer, Uwe
AU - Müller, Wolfgang
ED - Delgado Kloos, C.
ED - Breuer, Peter T.
ID - 34448
KW - Transition Rule Formal Verification Variable Assignment Kernel Process Simulation Cycle
SN - 978-1-4615-2237-9
T2 - Semantics of VHDL
TI - A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines
ER -
TY - GEN
AU - Süßmann, Johannes
ID - 34765
T2 - Archiv für Sozialgeschichte
TI - [Rez. v.] Friedrich Jaeger: Bürgerliche Modernisierungskrise und historische Sinnbildung. Kulturgeschichte bei Droysen, Burckhardt und Max Weber. Göttingen. Vandenhoeck & Ruprecht 1994
VL - 35
ER -
TY - JOUR
AU - Hellebrand, Sybille
AU - Rajski, Janusz
AU - Tarnick, Steffen
AU - Venkataraman, Srikanth
AU - Courtois, B.
ID - 13011
IS - 2
JF - IEEE Transactions on Computers
TI - Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers
VL - 44
ER -
TY - CONF
AU - Hellebrand, Sybille
AU - Reeb, Birgit
AU - Tarnick, Steffen
AU - Wunderlich, Hans-Joachim
ID - 13012
T2 - ACM/IEEE International Conference on Computer Aided Design (ICCAD'95)
TI - Pattern Generation for a Deterministic BIST Scheme
ER -
TY - CHAP
AU - Öhlschläger, Claudia
AU - Bettinger, Elfi
ED - Bettinger , Elfi
ED - Funk , Julika
ID - 32988
T2 - Maskeraden. Geschlechterdifferenz in der literarischen Inszenierung
TI - ́Ich wäre gerne ein Engel ́. Zu Peter Roos' Demaskerade seines als Kunstwerk verkleideten Geschlechtskörpers
ER -
TY - THES
AU - Buhl, Heike M.
ID - 32460
TI - Zur Blickpunktbezogenheit sprachlicher Lokalisationen: Der Genese-Effekt
ER -
TY - JOUR
AU - Herrmann, Theo
AU - Buhl, Heike M.
AU - Schweizer, Karin
ID - 32494
JF - Zeitschrift für Psychologie
TI - Zur blickpunktbezogenen Wissensrepräsentation: Der Richtungseffekt
VL - 203
ER -
TY - GEN
AU - Öhlschläger, Claudia
ID - 32993
T2 - Rundbrief Frauen in der Literaturwissenschaft 44: Zensur. Mai 1995
TI - Rezension zu Susanne Lummerding: "Weibliche" Ästhetik? Möglichkeiten und Grenzen einer Subversion von Codes. Wien: Passagen 1994
ER -
TY - JOUR
AU - Schmidt, Claudia
AU - Rosen, M. E.
AU - Caplan, D. F.
AU - Pines, A.
AU - Quinton, M. F.
ID - 35381
IS - 26
JF - The Journal of Physical Chemistry
KW - Physical and Theoretical Chemistry
KW - General Engineering
SN - 0022-3654
TI - Orientation and Motion of Tetrahydrofuran in Graphite Intercalation Compounds: Proton NMR Studies of Cs(THF)1.3C24 and K(THF)2.5C24
VL - 99
ER -
TY - JOUR
AU - Lukaschek, Michail
AU - Grabowski, David A.
AU - Schmidt, Claudia
ID - 35382
IS - 9
JF - Langmuir
KW - Electrochemistry
KW - Spectroscopy
KW - Surfaces and Interfaces
KW - Condensed Matter Physics
KW - General Materials Science
SN - 0743-7463
TI - Shear-Induced Alignment of a Hexagonal Lyotropic Liquid Crystal as Studied by Rheo-NMR
VL - 11
ER -
TY - JOUR
AU - Fischer, Peter
AU - Schmidt, Claudia
AU - Finkelmann, Heino
ID - 35380
IS - 6
JF - Macromolecular Rapid Communications
KW - Materials Chemistry
KW - Polymers and Plastics
KW - Organic Chemistry
SN - 1022-1336
TI - Amphiphilic liquid-crystalline networks — phase behavior and alignment by mechanical fields
VL - 16
ER -
TY - CHAP
AU - Hagengruber, Ruth Edith
ED - De Sotelo, Elisabeth
ID - 15612
T2 - Wissenschaftliche Weiterbildung für Frauen
TI - Philosophinnen in der Frauenforschung. Ein Plädoyer für Vernunft und Wissenschaft
VL - 5
ER -
TY - CHAP
AU - Kamp, Hermann
ED - Oexle, Otto Gerhard
ID - 36174
T2 - Memoria als Kultur
TI - Amortisation und Herrschergedenken im Burgund des 15. Jahrhunderts
VL - 121
ER -
TY - JOUR
AU - Walther, J.
AU - Bigga, Regine
AU - Bischof, H.
ID - 27953
JF - Sonderpädagogik
TI - Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern.
VL - 1
ER -
TY - CONF
AU - Lehrenfeld, Georg
AU - Müller, Wolfgang
AU - Wiechers, N.
ID - 39532
T2 - Proceedings of the 4th EXPRESS User's Group
TI - Conformance Tests of Very Large STEP Files
ER -
TY - CONF
AU - Zhao, R.
AU - Kaufmann, H. J.
AU - Kern, T.
AU - Müller, Wolfgang
ID - 39535
TI - Pen-based Interfaces for Engineering Environments
ER -
TY - CONF
AB - We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the specification by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sketching the transformation of an Ethernet CSMA/CD protocol specification.
AU - Lehrenfeld, Georg
AU - Müller, Wolfgang
AU - Tahedl, C.
ID - 39541
KW - Animation
KW - Timing
KW - Debugging
KW - Ethernet networks
KW - Multiaccess communication
KW - Protocols
KW - Computer languages
KW - Prototypes
KW - Environmental management
KW - Visualization
SN - 0-8186-7045-2
T2 - Proceedings of Symposium on Visual Languages
TI - Transforming SDL Diagrams Into a Complete Visual Representation
ER -
TY - CONF
AU - Müller, Wolfgang
AU - Lehrenfeld, Georg
AU - Wiechers, N.
ID - 39546
TI - Validation of EXPRESS Models
ER -
TY - CONF
AU - REHAGE, M
AU - Noé, Reinhold
AU - HARIZI, C
AU - RICKEN, R
ED - Najafi, SI
ED - Porte, H
ID - 38445
SN - 0-8194-1800-5
T2 - FIBER OPTIC NETWORK COMPONENTS
TI - SINGLE-STAGE AND DOUBLE-STAGE ACOUSTOOPTICAL TI-LINBO3 TE-TM CONVERTERS USED IN WAVELENGTH-SELECTIVE POLARIMETER AND POLARIZATION-INDEPENDENT DEPOLARIZER
VL - 2449
ER -
TY - GEN
AU - Öhlschläger, Claudia
ID - 38033
T2 - Rundbrief Frauen in der Literaturwissenschaft
TI - Weibliche" Ästhetik? Möglichkeiten und Grenzen einer Subversion von Codes
VL - 44
ER -
TY - CONF
AB - Greenville, South Carolina
AU - Müller, Wolfgang
AU - Felser, W.
AU - Buijs, F.
ID - 39531
T2 - Proceedings of the 4th EXPRESS User's Group
TI - Guide to EXPRESS-P
ER -
TY - CONF
AB - This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol.
AU - Müller, Wolfgang
AU - Lehrenfeld, Georg
AU - Tahedl, C.
ID - 39538
KW - Animation
KW - Protocols
KW - Timing
KW - Computer languages
KW - Electronic mail
KW - Context modeling
KW - Visualization
KW - Control systems
KW - Flow graphs
KW - Trademarks
SN - 4-930813-67-0
T2 - Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
TI - Complete Visual Specification and Animations of Protocols
ER -
TY - CONF
AU - Zhao, R.
AU - Müller, Wolfgang
AU - Kaufmann, H. J.
AU - Kern, Th.
AU - Buijs, F.
ID - 39543
T2 - Proceedings of the 5th EXPRESS User's Group
TI - An Editor for the Rapid Prototyping of EXPRESS-G Models
ER -
TY - CONF
AU - Müller, Wolfgang
AU - Felser, W.
AU - Wiechers, N.
ID - 39550
TI - The Process Modeling Language EXPRESS-P
ER -
TY - JOUR
AU - Noé, Reinhold
AU - REHAGE, M
AU - TIAN, F
ID - 38462
IS - 10
JF - ELECTRONICS LETTERS
SN - 0013-5194
TI - MULTISTAGE SPECTRAL POLARIMETER WITH GREATER-THAN-28DB STOPBAND ATTENUATION
VL - 31
ER -
TY - JOUR
AB -
Most electrooptic effects in liquid crystals require a uniform orientation of the director at the glass substrates. A new method to produce suitable alignment layers is based on the creation of anisotropic polymer films by photopolymerization with linearly polarized light. In the present paper we report on measurements of the anchoring strength of these photo-induced anisotropic films. Using a wedge-cell technique, we find an azimuthal anchoring energy of W
ϕ≈2.3·10-6 J/m2.
AU - Vorflusev, Valery P.
AU - Kitzerow, Heinz-Siegfried
AU - Chigrinov, Vladimir G.
ID - 40315
IS - 9A
JF - Japanese Journal of Applied Physics
KW - General Physics and Astronomy
KW - General Engineering
SN - 0021-4922
TI - Azimuthal Anchoring Energy in Photoinduced Anisotropic Films
VL - 34
ER -
TY - CONF
AU - Rösler, Margit
ID - 40209
SN - 1098-3627
T2 - Applications of Hypergroups and Related Measure Algebras
TI - Convolution algebras which are not necessarily positivity-preserving
VL - 183
ER -