TY - JOUR AU - Trächtler, Ansgar AU - Wernsdörfer, Andreas ID - 23361 JF - Frontiers in Industrial Process Tomography, Engineering Foundation TI - Direct Algebraic Reconstruction in Electromagnetic Flow Tomography ER - TY - JOUR AU - Trächtler, Ansgar ID - 23362 JF - Frontiers in Industrial Process Tomography, Engineering Foundation TI - Stress Tensor Tomography Using Integrated Photoelasticity ER - TY - CONF AU - Kienegger-Domik, Gitta ED - Maurer, H. ID - 21786 T2 - Proceedings of ED-MEDIA `95 TI - Intelligent visualization systems in educational environments ER - TY - CONF AU - Meyer auf der Heide, Friedhelm AU - Scheideler, Christian ID - 2187 T2 - ESA TI - Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks ER - TY - CONF AU - Meyer auf der Heide, Friedhelm AU - Scheideler, Christian ID - 2207 T2 - SPAA TI - Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract) ER - TY - CONF AU - Meyer auf der Heide, Friedhelm AU - Scheideler, Christian AU - Stemann, Volker ID - 2208 T2 - STACS TI - Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations ER - TY - CONF AB - 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. AU - Heckel, Reiko AU - Müller, Jürgen AU - Taentzer, Gabriele AU - Wagner, Annika ID - 7831 IS - B-19 T2 - Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science TI - Attributed Graph Transformations with Controlled Application of Rules ER - TY - CONF AU - Thoben, Wilfried AU - Appelrath, Hans-Jürgen AU - Sauer, Stefan ID - 7832 T2 - Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany) TI - Record Linkage of Anonymous Data by Control Numbers ER - TY - CONF AB - 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. AU - Heckel, Reiko ID - 7833 IS - B-19 T2 - Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science TI - Embedding of Conditional Graph Transformations ER - TY - CHAP AU - Kremer, H.-Hugo ED - Braukmann, U. ED - Euler, D. ED - Kremer, H.-H. ED - Theis, M. ID - 7976 T2 - Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung. TI - Planung und Durchführung der Ausbildung ER - TY - CHAP AU - Euler, D. AU - Kremer, H.-Hugo AU - Theis, M. ED - Braukmann, U. ED - Euler, D. ED - Kremer, H.-H. ED - Theis, M ID - 8076 T2 - Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung. TI - Grundfragen der Berufsbildung ER - TY - CHAP AU - Euler, D. AU - Kremer, H.-Hugo AU - Theis, M. ED - Euler, D. ED - Kremer, H.-Hugo ED - Theis, M. ID - 8077 T2 - Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk TI - Grundfragen der Berufsbildung 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 - 8078 T2 - Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1 TI - Existenzgründung ER - TY - CONF AU - Krauter, Stefan ID - 8097 T2 - Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995. TI - Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules ER - TY - CONF AU - Onneken, K. AU - Krauter, Stefan ID - 8098 T2 - Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995 TI - STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations ER - TY - CONF AU - Krauter, Stefan ID - 8099 T2 - Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995 TI - Actual Optical and Thermal Performance of PV-Modules ER - TY - CONF AU - Krauter, Stefan ID - 8100 T2 - Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309. TI - Thermal and Optical Enhanced PV-Modules ER - TY - GEN AU - Conrad, Mirko AU - Gajewsky, Magdalena AU - Holl-Biniasz, Rainer AU - Rudolf, Michael AU - Demuth, Jochen AU - Weber, Stephan AU - Heckel, Reiko AU - Müller, Jürgen AU - Taentzer, Gabriele AU - Wagner, Annika ID - 8194 TI - Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem ER - TY - GEN AB - 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. AU - Ebert, Jürgen AU - Engels, Gregor ID - 8195 TI - Specialization of Object Life Cycle Definitions ER - TY - GEN AU - Engels, Gregor AU - Schürr, Andy ID - 8196 TI - Encapsulated Hierarchical Graphs, Graph Types, and Meta Types ER - 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 -