@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}}, } @misc{34765, author = {{Süßmann, Johannes}}, booktitle = {{Archiv für Sozialgeschichte}}, pages = {{667 f.}}, title = {{{[Rez. v.] Friedrich Jaeger: Bürgerliche Modernisierungskrise und historische Sinnbildung. Kulturgeschichte bei Droysen, Burckhardt und Max Weber. Göttingen. Vandenhoeck & Ruprecht 1994}}}, volume = {{35}}, year = {{1995}}, } @article{13011, author = {{Hellebrand, Sybille and Rajski, Janusz and Tarnick, Steffen and Venkataraman, Srikanth and Courtois, B.}}, journal = {{IEEE Transactions on Computers}}, number = {{2}}, pages = {{223--233}}, publisher = {{IEEE}}, title = {{{Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers}}}, doi = {{10.1109/12.364534}}, volume = {{44}}, year = {{1995}}, } @inproceedings{13012, author = {{Hellebrand, Sybille and Reeb, Birgit and Tarnick, Steffen and Wunderlich, Hans-Joachim}}, booktitle = {{ACM/IEEE International Conference on Computer Aided Design (ICCAD'95)}}, pages = {{88--94}}, publisher = {{IEEE}}, title = {{{Pattern Generation for a Deterministic BIST Scheme}}}, doi = {{10.1109/iccad.1995.479997}}, year = {{1995}}, } @inbook{32988, author = {{Öhlschläger, Claudia and Bettinger, Elfi }}, booktitle = {{Maskeraden. Geschlechterdifferenz in der literarischen Inszenierung}}, editor = {{Bettinger , Elfi and Funk , Julika }}, pages = {{323--337}}, publisher = {{Erich Schmidt Verlag}}, title = {{{ ́Ich wäre gerne ein Engel ́. Zu Peter Roos' Demaskerade seines als Kunstwerk verkleideten Geschlechtskörpers}}}, year = {{1995}}, } @phdthesis{32460, author = {{Buhl, Heike M.}}, title = {{{Zur Blickpunktbezogenheit sprachlicher Lokalisationen: Der Genese-Effekt}}}, year = {{1995}}, } @article{32494, author = {{Herrmann, Theo and Buhl, Heike M. and Schweizer, Karin}}, journal = {{Zeitschrift für Psychologie}}, pages = {{1 -- 23}}, title = {{{Zur blickpunktbezogenen Wissensrepräsentation: Der Richtungseffekt}}}, volume = {{203}}, year = {{1995}}, } @misc{32993, author = {{Öhlschläger, Claudia}}, booktitle = {{Rundbrief Frauen in der Literaturwissenschaft 44: Zensur. Mai 1995}}, pages = {{74--78}}, title = {{{Rezension zu Susanne Lummerding: "Weibliche" Ästhetik? Möglichkeiten und Grenzen einer Subversion von Codes. Wien: Passagen 1994}}}, year = {{1995}}, } @article{35381, author = {{Schmidt, Claudia and Rosen, M. E. and Caplan, D. F. and Pines, A. and Quinton, M. F.}}, issn = {{0022-3654}}, journal = {{The Journal of Physical Chemistry}}, keywords = {{Physical and Theoretical Chemistry, General Engineering}}, number = {{26}}, pages = {{10565--10572}}, publisher = {{American Chemical Society (ACS)}}, title = {{{Orientation and Motion of Tetrahydrofuran in Graphite Intercalation Compounds: Proton NMR Studies of Cs(THF)1.3C24 and K(THF)2.5C24}}}, doi = {{10.1021/j100026a020}}, volume = {{99}}, year = {{1995}}, } @article{35382, author = {{Lukaschek, Michail and Grabowski, David A. and Schmidt, Claudia}}, issn = {{0743-7463}}, journal = {{Langmuir}}, keywords = {{Electrochemistry, Spectroscopy, Surfaces and Interfaces, Condensed Matter Physics, General Materials Science}}, number = {{9}}, pages = {{3590--3594}}, publisher = {{American Chemical Society (ACS)}}, title = {{{Shear-Induced Alignment of a Hexagonal Lyotropic Liquid Crystal as Studied by Rheo-NMR}}}, doi = {{10.1021/la00009a050}}, volume = {{11}}, year = {{1995}}, } @article{35380, author = {{Fischer, Peter and Schmidt, Claudia and Finkelmann, Heino}}, issn = {{1022-1336}}, journal = {{Macromolecular Rapid Communications}}, keywords = {{Materials Chemistry, Polymers and Plastics, Organic Chemistry}}, number = {{6}}, pages = {{435--447}}, publisher = {{Wiley}}, title = {{{Amphiphilic liquid-crystalline networks — phase behavior and alignment by mechanical fields}}}, doi = {{10.1002/marc.1995.030160605}}, volume = {{16}}, year = {{1995}}, } @inbook{15612, author = {{Hagengruber, Ruth Edith}}, booktitle = {{Wissenschaftliche Weiterbildung für Frauen}}, editor = {{De Sotelo, Elisabeth}}, pages = {{67--74}}, publisher = {{Lit-Verlag}}, title = {{{Philosophinnen in der Frauenforschung. Ein Plädoyer für Vernunft und Wissenschaft}}}, volume = {{5}}, year = {{1995}}, } @inbook{36174, author = {{Kamp, Hermann}}, booktitle = {{Memoria als Kultur}}, editor = {{Oexle, Otto Gerhard}}, pages = {{253--284}}, title = {{{Amortisation und Herrschergedenken im Burgund des 15. Jahrhunderts}}}, volume = {{121}}, year = {{1995}}, } @misc{2675, author = {{Betz, Stefan}}, title = {{{Erfolgscontrolling unter besonderer Berücksichtigung produktionswirtschaftlicher Aspekte}}}, year = {{1995}}, } @inbook{51479, author = {{Hilgert, Joachim}}, booktitle = {{Semigroups in Algebra, Geometry and Analysis}}, editor = {{Hofmann, K.H. and Lawson, J.D. and Vinberg, E.B.}}, publisher = {{De Gruyter}}, title = {{{The Halfspace Method for Causal Structures on Homogeneous Manifolds}}}, year = {{1995}}, } @misc{51583, author = {{Hilgert, Joachim}}, booktitle = {{JBer. DMV}}, title = {{{Woodhouse, N.M.J. Geometric Quantization (Clarendon Press, 1992)}}}, volume = {{97}}, year = {{1995}}, } @book{51595, editor = {{Hilgert, Joachim and Doebner, H.-D. and Dobrev, V. K.}}, publisher = {{World Scientific}}, title = {{{Lie Theory and its Applcations in Physics}}}, year = {{1995}}, } @inbook{51478, author = {{Hilgert, Joachim and Neeb, K.-H.}}, booktitle = {{Semigroups in Algebra, Geometry and Analysis}}, editor = {{Hofmann, K.H. and Lawson, J.D. and Vinberg, E.B.}}, publisher = {{De Gruyter}}, title = {{{Symplectic Convexity Theorems, Lie Semigroups, and Unitary Representations}}}, year = {{1995}}, } @article{51436, author = {{Hilgert, Joachim and Neeb, K.-H.}}, journal = {{Monatshefte Math.}}, pages = {{187--214}}, title = {{{Compression Semigroups of Open Orbits on Real Flag Manifolds}}}, volume = {{119}}, year = {{1995}}, } @article{51432, author = {{Hilgert, Joachim and Neeb, K.-H.}}, journal = {{Arkiv för mat.}}, pages = {{293--322}}, title = {{{Compression Semigroups of Open Orbits in Complex Manifolds}}}, volume = {{33}}, year = {{1995}}, }