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 -