@inproceedings{30049, author = {{Maas, Jürgen and Ide, Peter and Fröhleke, Norbert and Grotstollen, Horst}}, booktitle = {{IAS '95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting}}, publisher = {{IEEE}}, title = {{{Simulation model for ultrasonic motors powered by resonant converters}}}, doi = {{10.1109/ias.1995.530291}}, year = {{1995}}, } @inbook{34448, abstract = {{We present a rigorous but transparent semantic definition for VHDL corresponding to the IEEE VHDL’ 93 standard [68, 9, 84]. Our definition covers the full behavior of signal and variable assignments as well as the behavior of the various wait statements including delta, time, and postponed cycles. We consider explicitly declared signals, ports, local variables, and shared variables. Our specification defines an abstract VHDL ’ 93 interpreter in the form of transition rules for an evolving algebra machine (EA-Machine) [60]. It faithfully reflects and supports the view of simulation given in the IEEE VHDL ’ 93 standard language reference manual. The definition can be understood without any prior formal training. We illustrate our definition by running the example VHDL program set out in the Introduction to this volume.}}, author = {{Börger, Egon and Glässer, Uwe and Müller, Wolfgang}}, booktitle = {{Semantics of VHDL}}, editor = {{Delgado Kloos, C. and Breuer, Peter T.}}, isbn = {{978-1-4615-2237-9}}, keywords = {{Transition Rule Formal Verification Variable Assignment Kernel Process Simulation Cycle}}, pages = {{107 -- 139}}, publisher = {{Kluwer Academic Publishers}}, title = {{{A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines}}}, doi = {{10.1007/978-1-4615-2237-9_5}}, year = {{1995}}, } @article{27953, author = {{Walther, J. and Bigga, Regine and Bischof, H.}}, journal = {{Sonderpädagogik }}, pages = {{4--22}}, title = {{{Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern.}}}, volume = {{1}}, year = {{1995}}, } @inproceedings{39538, abstract = {{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.}}, author = {{Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}}, booktitle = {{Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair}}, isbn = {{4-930813-67-0}}, keywords = {{Animation, Protocols, Timing, Computer languages, Electronic mail, Context modeling, Visualization, Control systems, Flow graphs, Trademarks}}, title = {{{Complete Visual Specification and Animations of Protocols}}}, doi = {{10.1109/ASPDAC.1995.486383}}, year = {{1995}}, } @inproceedings{3263, author = {{Rensink, Arend and Wehrheim, Heike}}, booktitle = {{{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}}, editor = {{Jonsson, Bengt and Parrow, Joachim}}, pages = {{226----241}}, title = {{{Weak Sequential Composition in Process Algebras}}}, doi = {{10.1007/978-3-540-48654-1_20}}, year = {{1994}}, } @inproceedings{8092, author = {{Krauter, Stefan and Hanitsch, Rolf and Campbell, P. and Wenham, S.R. }}, booktitle = {{Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201}}, title = {{{Optical Modelling, Simulation and Improvement of PV Module Encapsulation}}}, year = {{1994}}, } @inproceedings{8093, author = {{Strauss, Philipp and Onneken, K. and Krauter, Stefan and Hanitsch, Rolf}}, booktitle = {{Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197.}}, title = {{{Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation}}}, year = {{1994}}, } @inproceedings{8095, author = {{Krauter, Stefan and Hanitsch, Rolf and Wenham, S. R.}}, booktitle = {{Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994}}, title = {{{Simulation of Thermal and Optical Performance of PV Modules}}}, year = {{1994}}, } @article{17489, abstract = {{Abstract: Historia Mathematica 22 (1995), #22.2.62 (I. Anellis). Rezensionen: Zbl. Math. 812.01012 (I. Grattan-Guinness); MR 95m:03002 (M. Guillaume).}}, author = {{Peckhaus, Volker}}, journal = {{Modern Logic}}, pages = {{357--381}}, title = {{{Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen}}}, volume = {{4}}, year = {{1994}}, } @book{27958, author = {{Bigga, Regine and Braun, F. and Hoffmann, L.}}, title = {{{Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. }}}, year = {{1994}}, } @book{27961, author = {{Tornieporth, G. and Bigga, Regine}}, title = {{{Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre}}}, year = {{1994}}, } @inbook{37582, author = {{Bigga, Regine}}, booktitle = {{Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld der Arbeitslehre}}, editor = {{Tornieporth, Gerda and Bigga, Regine}}, pages = {{154 -- 180}}, publisher = {{Schneider Verlag}}, title = {{{Ergebnisse aus dem Projekt Mädchen & junge Frauen in der Arbeitswelt}}}, year = {{1994}}, } @inproceedings{17831, author = {{Peckhaus, Volker}}, booktitle = {{XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia}}, editor = {{Hormigon, Mariano and Ausejo, Elena and Dhombres, Jean}}, title = {{{The Development of Ernst Schröder’s Attitude towards Logic [Abstract]}}}, volume = {{Nr. 4.2}}, year = {{1993}}, } @inproceedings{17829, author = {{Peckhaus, Volker}}, booktitle = {{Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal}}, editor = {{Toepell, Michael}}, pages = {{30--31}}, title = {{{Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract]}}}, year = {{1993}}, } @inproceedings{8084, author = {{Krauter, Stefan}}, booktitle = {{Solar Energy Simulation Workshop der DGS, Oldenburg (Deutschland)}}, location = {{ Oldenburg (Deutschland)}}, title = {{{Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module}}}, year = {{1992}}, } @inproceedings{16736, author = {{Karp, Richard M. and Luby, Michael and Meyer auf der Heide, Friedhelm}}, booktitle = {{Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92}}, isbn = {{0897915119}}, title = {{{Efficient PRAM simulation on a distributed memory machine}}}, doi = {{10.1145/129712.129743}}, year = {{1992}}, } @article{11792, abstract = {{The authors present conditions on the error sequences between channel input sequences which guarantee certain lower bounds on the free Euclidian distance at the output of a partial-response (PR) class I or II channel. From these expressions, trellis codes are derived which improve performance of binary signaling over noisy PR channels with reduced complexity maximum-likelihood sequence detection. They are shown to be compatible with the input restriction caused by the magnetooptical resonant coil direct overwrite recording scheme. The codes achieve high signal-to-noise ratio coding gains of 3 dB (on PR class I) and 2.2 dB (on PR class II) with rates as close to, but strictly less than, the capacity of the initial input restriction as desired. The performance of these codes is analyzed with an optical channel simulation system which shows that one code has the rare but highly desirable property that its maximum-likelihood sequence detector (MLSD) is less complex than the MLSD of the reference system and still achieves an error rate performance gain of 1.8 dB}}, author = {{Haeb-Umbach, Reinhold and Lynch, Robert}}, journal = {{IEEE Journal on Selected Areas in Communications}}, title = {{{Trellis codes for partial-response magnetooptical direct overwrite recording}}}, year = {{1992}}, } @article{37467, author = {{Bigga, Regine}}, journal = {{Lehrplanrevision in Schleswig-Holstein}}, location = {{Kiel}}, pages = {{69 -- 78}}, publisher = {{Kultusministerium Schleswig-Holstein}}, title = {{{Forschungsergebnisse zur Geschlechterfrage - Konsequenzen für die Gestaltung von Unterricht sowie für die Aus- und Weiterbildung von Lehrkräften}}}, year = {{1992}}, } @article{19438, abstract = {{Auch erschienen in: Neue Zeitung [Budapest], Nr 28 vom 14.7.1990, S. 6-7, und Nr 29 vom 21.7.1990, S. 8-9, sowie Neue Literatur [Bukarest], H. 5-6/1990/91, S. 22-42 }}, author = {{Eke, Norbert Otto}}, journal = {{Deutsche Studien 29}}, number = {{H. 113}}, pages = {{30--50}}, title = {{{Die deutschsprachige Literatur Osteuropas und ihre Rezeption in der Bundesrepublik. Probleme und Chancen einer 'kleinen Literatur'}}}, volume = {{29}}, year = {{1991}}, } @inproceedings{8082, author = {{Krauter, Stefan and Hanitsch, Rolf and Strauss, Philipp}}, booktitle = {{Proceedings of “Renewable Energy Sources '91”, Prag (CFSR), 1.–4. Juli 1991, Band 3, S. 48–53.}}, location = {{Prag (CFSR)}}, title = {{{Simulation-Program for Selecting Efficiency Improving Strategies of PV-Module-Encapsulations under Operating Conditions}}}, year = {{1991}}, }