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 -