@inproceedings{13010,
author = {Hellebrand, Sybille and Wunderlich, Hans-Joachim and Hertwig, Andre},
booktitle = {{IEEE International Test Conference (ITC'96)}},
pages = {195--204},
publisher = {{IEEE}},
title = {{Mixed-Mode BIST Using Embedded Processors}},
doi = {10.1109/test.1996.556962},
year = {1996},
}
@article{3261,
author = {Goltz, Ursula and Wehrheim, Heike},
journal = {Inf. Process. Lett.},
number = {4},
pages = {179----184},
title = {{Modelling Causality via Action Dependencies in Branching Time Semantics}},
doi = {10.1016/0020-0190(96)00111-1},
year = {1996},
}
@misc{17948,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00009]},
title = {{Mosterín, Jesús, “Theories and the Flow of Information”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 367–378}},
year = {1996},
}
@misc{17937,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 844.01010]},
title = {{Murawski, Roman, “Contributions of Polish Logicians to Decidability Theory”, Modern Logic 6 (1996), 37–66}},
year = {1996},
}
@article{1664,
author = {Krimphove, Dieter},
journal = {Neue Zeitschrift für Arbeitsrecht (NZA)},
number = {Heft 21},
pages = {1121 ff.},
title = {{Neuer Europäischer Datenschutz im Arbeitsrecht}},
year = {1996},
}
@inproceedings{8104,
author = {Krauter, Stefan and Hanitsch, Rolf and Moreira, L.},
booktitle = {Proceedings of the 25th IEEE–PV–Specialists Conference, Washington D.C. (USA), 13.–19. Mai 1996, Band 1, S. 1323–1326.},
title = {{New Optical and Thermal Enhanced PV Modules Performing 12% better under True Module Rating Conditions}},
year = {1996},
}
@article{20736,
author = {Hahn, O. and Chudaska, A. and Meschut, Gerson},
journal = {Materialprüfung},
number = {1-2},
pages = {39--41},
title = {{Nichtrostende Stahlbleche kleben – Klebeigen-schaften durch Strahlbeschichten verbessern}},
volume = {38},
year = {1996},
}
@techreport{8199,
author = {Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti},
publisher = {Vakgroep Informatica, Rijksuniversiteit Leiden},
title = {{Object-oriented Specification of Coordinated Collaboration}},
year = {1996},
}
@inproceedings{7838,
abstract = {Object-oriented specification mechanisms have become famous for modelling structure and behaviour together in terms of autonomous objects communicating via message passing. However, whereas most object-oriented specification methods are strong in modelling the local behaviour of single objects, they fall short on modelling the coordinated behaviour and collaboration of several objects together The aim of this paper is to contribute to fill this gap. The paper reports on concepts, language constructs, and experiences with three collaboration formalisms in the area of object-oriented specifications.},
author = {Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti},
booktitle = {Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)},
pages = {437--452},
publisher = {Chapman & Hall},
title = {{Object-oriented specification of coordinated collaboration}},
year = {1996},
}
@techreport{2446,
author = {Simon, Jens and Wierum, Jens-Michael},
publisher = {Paderborn Center for Parallel Computing},
title = {{On Accurate Performance Prediction for Massively Parallel Systems and its Applications}},
year = {1996},
}
@misc{17898,
author = {Peckhaus, Volker},
title = {{On the Origins of the Word ‘Logicism’ [ursprünglich Beitrag für russell-l], URL erstellt 22.3.1996}},
year = {1996},
}
@book{2674,
author = {Betz, Stefan},
publisher = {Gabler-Verlag},
title = {{Operatives Erfolgscontrolling - Ein funktionaler Ansatz für industrielle Fertigungsprozesse}},
year = {1996},
}
@article{13784,
author = {Santos, Paulo V. and Koopmans, B. and Esser, N. and Schmidt, Wolf Gero and Bechstedt, F.},
issn = {0031-9007},
journal = {Physical Review Letters},
number = {4},
pages = {759--762},
title = {{Optical Properties of Ordered As Layers on InP(110) Surfaces}},
doi = {10.1103/physrevlett.77.759},
volume = {77},
year = {1996},
}
@misc{17946,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00007]},
title = {{Otte, Michael, “Constructivism and Objects in Mathematical Theory”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 296–313}},
year = {1996},
}
@inproceedings{2444,
author = {Simon, Jens and Wierum, Jens-Michael},
booktitle = {Proc. Annual Int. Conf. on High-Performance Computers (HPCS)},
title = {{Performance Prediction of Benchmark Programs for Massively Parallel Architectures}},
year = {1996},
}
@inproceedings{15056,
author = {Volbracht, Sabine and Shahrbabaki, Khatoun and Domik, Gitta and Fels, Gregor},
booktitle = {Proceedings 1996 IEEE Symposium on Visual Languages},
pages = {192--193},
title = {{Perspective viewing, Anaglyph stereo or Shutter glass stereo?}},
year = {1996},
}
@article{13792,
author = {Schmidt, Wolf Gero and Bechstedt, F. and Srivastava, G.P.},
issn = {0039-6028},
journal = {Surface Science},
pages = {83--88},
title = {{Phonons at III–V (110) surfaces}},
doi = {10.1016/0039-6028(95)01095-5},
volume = {352-354},
year = {1996},
}
@misc{17936,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 844.01009]},
title = {{Picardi, Eva, “Dummett on Analysis and Cognitive Synonymy”, in: Czermak (Hg.) 1993 [9.4], 77–85}},
year = {1996},
}
@inproceedings{8272,
abstract = {The paper presents a conceptual framework for a module concept for graph transformation systems from a software engineering as well as from a theoretical point of view. The basic idea is to reuse concepts, which are known within or without the graph grammar field, to structure large specifications. These are the concept of distributed graph transformation systems, the concept of inheritance of specifications, and the import-export-interface concept. All these concepts are presented in a uniform framework based on the syntactical notion of a graph class specification and its semantics given by a graph transformation system. This is the basis for an explicit integration of these concepts and a corresponding specification language, to be discussed in a subsequent paper.},
author = {Ehrig, Hartmut and Engels, Gregor},
booktitle = {Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)},
pages = {137--154},
publisher = {Springer},
title = {{Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems}},
volume = {1073},
year = {1996},
}
@article{2579,
author = {Betz, Stefan},
journal = {UmweltWirtschaftsForum},
pages = {pp. 44 -- 51},
title = {{Produktionsabfallrecycling als operatives Entscheidungsproblem}},
volume = {4},
year = {1996},
}
@misc{17919,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.00023]},
title = {{Puhl, Klaus (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Witt-genstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 2, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/II)}},
year = {1996},
}
@misc{17921,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.01018]},
title = {{Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157}},
year = {1996},
}
@inbook{17564,
author = {Bäumker, Armin and Dittrich, Wolfgang and Meyer auf der Heide, Friedhelm and Rieping, Ingo},
booktitle = {Lecture Notes in Computer Science},
isbn = {9783540616276},
issn = {0302-9743},
pages = {369--376},
title = {{Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model}},
doi = {10.1007/bfb0024725},
year = {1996},
}
@inproceedings{880,
author = {Dreier, Bernd and Huber, Annja and Karl, Holger and Ungerer, Theo and Zahn, Markus},
booktitle = {Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996, Proceedings},
pages = {84----93},
title = {{ReGTime - Rent Gigaflops someTimes}},
doi = {10.1007/3-540-61842-2_28},
year = {1996},
}
@inproceedings{1918,
author = {Dreier, Bernd and Huber, Annja and Zahn, Markus and Karl, Holger and Ungerer, Theo},
booktitle = {Proceedings Trends in Distributed Systems},
title = {{ReGTime - Rent Gigaflops someTimes}},
year = {1996},
}
@book{3385,
author = {Gries, Thomas and Sieg, Gernot and Strulik, Holger},
isbn = {978-3-540-60972-8},
publisher = {Springer-Verlag},
title = {{Repetitorium Mikroökonomik}},
year = {1996},
}
@misc{17949,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00014]},
title = {{Resnik, Michael D., “Applying Mathematics and the Indispensability Argument”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 115–131}},
year = {1996},
}
@inproceedings{8274,
abstract = {By means of a special sofnvare process model component we have been successful in specifring somare process model evolution, This component also handles much reuse of software process model fragments. To handle the reuse of the software as it is being produced by a software process, another extra component can be added to the model for that software process. It is argued why this extra component is comparable to the special component for evolution.},
author = {Groenewegen, Luuk and Engels, Gregor},
booktitle = {Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)},
pages = {68},
publisher = {IEEE Computer Society},
title = {{Reuse of Software Process Fragments is Reuse of Software, too}},
year = {1996},
}
@misc{17925,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 838.03005]},
title = {{Rheinwald, Rosemarie, „Die Achilles-Paradoxie in der modernen Diskussion“, in: Czermak (Hg.) 1993 [9.4], 383–392}},
year = {1996},
}
@book{19135,
author = {Eke, Norbert Otto},
pages = {570},
publisher = {Igel},
title = {{Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition)}},
volume = {5},
year = {1996},
}
@inproceedings{11854,
author = {Langmann, Detlev and Haeb-Umbach, Reinhold and Eisele, Thomas},
booktitle = {ITG Fachtagung Sprachkommunikation, Frankfurt},
title = {{Robust Rejection Modeling for a Small-Vocabulary Application}},
year = {1996},
}
@misc{17927,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 840.01023]},
title = {{Rodríguez-Consuegra, Francisco A., “Russell, Gödel and Logicism”, in: Czermak (Hg.) 1993 [9.4], 233–242}},
year = {1996},
}
@article{19958,
author = {Schwarze, Frank and Meyer auf der Heide, Friedhelm and Schröder, Klaus},
journal = {Euro-Par 1996},
pages = {299--306},
title = {{Routing on Networks of Optical Crossbars (Extended Abstract).}},
volume = {I},
year = {1996},
}
@inproceedings{8896,
author = {Popp, Karl and Sextro, Walter},
booktitle = {Forschungsvereinigung Verbrennungskraftmaschinen (FW) - lnformationstagung Turbinen},
number = {490},
pages = {53--76},
title = {{Schwingungsverhalten eines Schaufelkranzes mit Reibelementen bei Frequenzverstimmung}},
year = {1996},
}
@article{13794,
author = {Käckell, Peter and Schmidt, Wolf Gero and Bechstedt, Friedhelm},
issn = {0169-4332},
journal = {Applied Surface Science},
pages = {141--146},
title = {{Se-induced 3d core-level shifts of GaAs(110)}},
doi = {10.1016/s0169-4332(96)00135-3},
volume = {104-105},
year = {1996},
}
@misc{17917,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 835.01006]},
title = {{Segre, Michael, “Peano's Axioms in Their Historical Context”, Archive for History of Exact Sciences 48 (1994), 201–342}},
year = {1996},
}
@inproceedings{2443,
author = {Simon, Jens and Wierum, Jens-Michael},
booktitle = {Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe)},
isbn = {978-3-540-61142-4},
pages = {627--632},
publisher = {Springer},
title = {{Sequential Performance versus Scalability: Optimizing Parallel LU-Decomposition}},
doi = {10.1007/3-540-61142-8_606},
volume = {1067},
year = {1996},
}
@article{8103,
author = {Krauter, Stefan},
journal = {Solararchitektur für Europa, Hrsg.: A. Schneider; Basel, Boston, New York},
pages = {30--31},
publisher = { Birkhäuser Verlag },
title = {{Sonneneinstrahlung}},
year = {1996},
}
@proceedings{7796,
editor = {Engels, Gregor and Ehrig, Hartmut and Rozenberg, Grzegorz and Skowron, Andrzej},
number = {3-4},
publisher = {IOS Press},
title = {{Special Issue on Graph Transformations}},
volume = {26},
year = {1996},
}
@phdthesis{3260,
author = {Wehrheim, Heike},
publisher = {University of Hildesheim, Germany},
title = {{Specifying reactive systems with action dependencies: modelling and hierarchical design}},
year = {1996},
}
@article{10198,
author = {Steffen, Eckhard and Zhu, Xuding},
journal = {Combinatorica},
pages = {439--448},
title = {{Star chromatic numbers of graphs}},
volume = {16},
year = {1996},
}
@misc{19554,
author = {Eke, Norbert Otto},
booktitle = {Zeitschrift für deutsche Philologie},
number = {H. 2},
pages = {307--310},
title = {{Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993}},
volume = {115},
year = {1996},
}
@article{16699,
author = {Meyer auf der Heide, Friedhelm and Oesterdiekhoff, B. and Wanka, R.},
issn = {0178-4617},
journal = {Algorithmica},
pages = {413--427},
title = {{Strongly adaptive token distribution}},
doi = {10.1007/bf01955042},
year = {1996},
}
@article{13789,
author = {Scholze, A. and Schmidt, Wolf Gero and Bechstedt, F.},
issn = {0163-1829},
journal = {Physical Review B},
number = {20},
pages = {13725--13733},
title = {{Structure of the diamond (111) surface: Single-dangling-bond versus triple-dangling-bond face}},
doi = {10.1103/physrevb.53.13725},
volume = {53},
year = {1996},
}
@inproceedings{7834,
abstract = {The concept of views is used on two levels. First, so-called design views are developed for structuring specifications, that is, a system is modeled according to different views (e.g., representing the needs of different kinds of users) which have to be synchronized afterwards in order to build the whole system. Views can be specified by means of typed graph transformation systems, where the type graph determines the visible types and the productions describe the known operations of that view. The synchronization of views is done by the construction of cooperative parallel composition of graph transformation systems, developed by Leila Ribeiro and presented at the same seminar. If the specification is complete, a view may describe an observation of the system in operation. In this case we speak of a user view. It turns out that the semantics of such a view cannot be described by computations (i.e., graph transformations), but just by observations of computations of the global system. Such observations of computations cannot be represented by graph transformations in the usual sense because a local view may lack operations (productions) of the global system, so that state changes may be observed that do not have a cause in the local view. Therefore, the notion of graph transition is introduced as loose semantics for productions, where the production specifies only a lower bound to the activities that are to happen during application. Contrastingly, in the classical doublepushout approach to graph rewriting, productions are interpreted as complete descriptions of the transformations to be performed. For typed graph transformation systems a transition sequence semantics is developed, comprising all finite and infinite sequences of transitions in a system. Moreover, this semantics is shown to be compositional w.r.t. the synchronization of views.},
author = {Ehrig, Hartmut and Heckel, Reiko and Padberg, Julia and Taentzer, Gabriele and Wolter, Uwe and Corradini, Andrea and Engels, Gregor},
booktitle = {Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science},
number = {155},
pages = {11--12},
publisher = {Technical University of Berlin},
title = {{Synchronization of Views and Loose Semantics of Typed Graph Productions}},
year = {1996},
}
@book{18553,
editor = {Michaelis, Susanne and Tophinke, Doris},
publisher = {Lincom},
title = {{Texte – Konstitution, Verarbeitung, Typik}},
year = {1996},
}
@inbook{16533,
author = {Dellnitz, Michael and Hohmann, Andreas},
booktitle = {Nonlinear Dynamical Systems and Chaos},
isbn = {9783034875202},
title = {{The Computation of Unstable Manifolds Using Subdivision and Continuation}},
doi = {10.1007/978-3-0348-7518-9_21},
year = {1996},
}
@inproceedings{17493,
abstract = {Rezensionen: Modern Logic 7 (1997), 88 (I.H. Anellis, “Bibliographic Notic-es”); MR 97j:01024 (J.W. Dauben); Zbl. Math. 907.01026 (J.J. Cross).},
author = {Peckhaus, Volker},
booktitle = {Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neo-humanist Scholar. Papers from a Sesquicentennial Conference},
editor = {Schubring, Gert},
pages = {217--227},
publisher = {Kluwer},
title = {{The Influence of Hermann Günther Grassmann and Robert Grassmann on Ernst Schröder’s Algebra of Logic}},
volume = {187},
year = {1996},
}
@article{9626,
author = {Tönnies, Merle},
journal = {Forum Modernes Theater},
number = {2},
pages = {185--196},
title = {{The Spectator as Participant: The Role of Integrating Audience Laughter in Samuel Beckett's Drama}},
volume = {11},
year = {1996},
}
@article{16701,
author = {Gil, Joseph and Meyer auf der Heide, Friedhelm and Wigderson, Avi},
issn = {0097-5397},
journal = {SIAM Journal on Computing},
pages = {936--955},
title = {{The Tree Model for Hashing: Lower and Upper Bounds}},
doi = {10.1137/s0097539793255722},
year = {1996},
}
@misc{17930,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 842.0007]},
title = {{Tichy, Matthias, “Mathematics and Philosophy in Wittgenstein: Dissolution of a Reflectional Relationship”, in: Puhl (Hg.) 1993 [9.5], 144–150}},
year = {1996},
}
@inbook{7514,
author = {Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm and Westfechtel, Bernhard},
booktitle = {Building Tightly Integrated Software Development Environments: The IPSEN Approach},
pages = {170--177},
publisher = {Springer},
title = {{Tight Integration on One Document: The Programming Environment}},
volume = {1170},
year = {1996},
}
@misc{17941,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 847.00006]},
title = {{Torretti, Roberto, “Mathematical Structures and Physical Necessity”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 132–140}},
year = {1996},
}
@inproceedings{8271,
author = {de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Heus, Michael and Matsinger, Aart},
booktitle = {Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)},
pages = {183--187},
publisher = {Springer},
title = {{Towards Measurable Process Models}},
doi = {http://dx.doi.org/10.1007/BFb0017743},
volume = {1149},
year = {1996},
}
@article{16698,
author = {Ameur, Foued and Fischer, Paul and Höffgen, Klaus -U. and Meyer auf der Heide, Friedhelm},
issn = {0001-5903},
journal = {Acta Informatica},
pages = {621--630},
title = {{Trial and error. A new approach to space-bounded learning}},
doi = {10.1007/bf03036467},
year = {1996},
}
@article{10199,
author = {Steffen, Eckhard},
journal = {J. Graph Theory},
pages = {309 --319},
title = {{Tutte's 5-flow conjecture for graphs of non-orientable genus 5}},
volume = {22},
year = {1996},
}
@inproceedings{2186,
author = {Cypher, Robert and Meyer auf der Heide, Friedhelm and Scheideler, Christian and Vöcking, Berthold},
booktitle = {STOC},
pages = {356----365},
publisher = {ACM},
title = {{Universal Algorithms for Store-and-Forward and Wormhole Routing}},
year = {1996},
}
@phdthesis{2181,
author = {Scheideler, Christian},
publisher = {University of Paderborn, Germany},
title = {{Universal routing strategies}},
year = {1996},
}
@misc{13087,
author = {Hellebrand, Sybille and Wunderlich, Hans-Joachim},
keyword = {WORKSHOP},
title = {{Using Embedded Processors for BIST}},
year = {1996},
}
@misc{17639,
author = {Peckhaus, Volker},
booktitle = {Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z},
editor = {Mittelstraß, Jürgen},
pages = {515--516},
publisher = {J.B. Metzler},
title = {{Verknüpfung}},
year = {1996},
}
@misc{17929,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 840.01027]},
title = {{Wagner-Döbler, Roland, „Perspektiven der Wissenschaftsforschung über die Mathematik“, in: Czermak (Hg.) 1993 [9.4], 417–427}},
year = {1996},
}
@misc{17640,
author = {Peckhaus, Volker and Thiel, C.},
booktitle = {Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z},
editor = {Mittelstraß, Jürgen},
pages = {628--629},
publisher = {J.B. Metzler},
title = {{Warschauer Schule}},
year = {1996},
}
@misc{17641,
author = {Peckhaus, Volker},
booktitle = {Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z},
editor = {Mittelstraß, Jürgen},
pages = {535--536},
publisher = {J.B. Metzler},
title = {{Weierstraß}},
year = {1996},
}
@misc{17642,
author = {Peckhaus, Volker},
booktitle = {Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z},
editor = {Mittelstraß, Jürgen},
pages = {693--694},
publisher = {J.B. Metzler},
title = {{Wiener [Ludwig Christian]}},
year = {1996},
}
@book{6535,
author = {Bendfeld, Jörg and Gärtner, Sven Olaf and Winkelmann, Thomas and Ortjohann, Egon},
publisher = {Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung},
title = {{Windatlas für den Kreis Lippe}},
year = {1996},
}
@book{6532,
author = {Bendfeld, Jörg and Gärtner, Sven Olaf and Winkelmann, Thomas and Ortjohann, Egon},
publisher = {Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung},
title = {{Windatlas für die Stadt Münster}},
year = {1996},
}
@book{6534,
author = {Bendfeld, Jörg and Gärtner, Sven Olaf and Winkelmann, Thomas and Ortjohann, Egon},
publisher = {Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung},
title = {{Windatlas für die Stadt Steinheim}},
year = {1996},
}
@book{6536,
author = {Bendfeld, Jörg and Gärtner, Sven Olaf and Winkelmann, Thomas and Ortjohann, Egon},
publisher = {Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung},
title = {{Windatlas für die Stadt Willebadessen}},
year = {1996},
}
@misc{17955,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00019]},
title = {{Wolenski, Jan, “Analyticity, Decidability and Incompleteness”, in: Czermak (Hg.) 1993 [9.4], 379–382}},
year = {1996},
}
@misc{17933,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 843.03001]},
title = {{Woleński, Jan, “Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas”, Modern Logic 5 (1995), 363–405}},
year = {1996},
}
@book{6146,
author = {Brewster, C and Weber, W and Kabst, Rüdiger},
title = {{Working Time and Contract Flexibility in the E.U.}},
year = {1996},
}
@misc{17643,
author = {Peckhaus, Volker and Thiel, C.},
booktitle = {Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z},
editor = {Mittelstraß, Jürgen},
pages = {843--845},
publisher = {J.B. Metzler},
title = {{Zermelo-Fraenkelsches Axiomensystem}},
year = {1996},
}
@misc{17644,
author = {Peckhaus, Volker},
booktitle = {Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z},
editor = {Mittelstraß, Jürgen},
pages = {846},
publisher = {J.B. Metzler},
title = {{Zermelosches Axiom}},
year = {1996},
}
@inbook{18428,
author = {Tophinke, Doris},
booktitle = {Texte – Konstitution, Verarbeitung, Typik},
editor = {Michaelis, Susanne and Tophinke, Doris},
pages = {101--116},
publisher = {Lincom},
title = {{Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel}},
year = {1996},
}
@inbook{19413,
author = {Eke, Norbert Otto},
booktitle = {Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe},
editor = {Eke, Norbert Otto},
pages = {537--566},
publisher = {Igel},
title = {{„Wandle – schaue – höre Jisro-El!“ Richard Beer-Hofmanns „Historie von König David“}},
year = {1996},
}
@book{19121,
author = {Eke, Norbert Otto and Olma, Walter and a., u.},
pages = {765},
publisher = {Insel},
title = {{„Wir wollen unsere Sehnsucht teilen“. Literatur in den Rheinlanden und in Westfalen 1895-1918 (Edition)}},
volume = {1},
year = {1996},
}
@inproceedings{8267,
abstract = {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.},
author = {Corradini, Andrea and Heckel, Reiko},
booktitle = {Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)},
pages = {46--55},
publisher = {Elsevier},
title = {{A Compositional Approach to Structuring and Refinement of Typed Graph Grammars}},
volume = {2},
year = {1995},
}
@inproceedings{13469,
author = {Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold },
booktitle = {Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing },
pages = {311--318},
publisher = {IEEE CS Press},
title = {{A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs}},
year = {1995},
}
@article{16542,
author = {Dellnitz, M and Melbourne, I},
issn = {0951-7715},
journal = {Nonlinearity},
pages = {1067--1075},
title = {{A note on the shadowing lemma and symmetric periodic points}},
doi = {10.1088/0951-7715/8/6/010},
year = {1995},
}
@inbook{16704,
author = {Meyer auf der Heide, Friedhelm and Vöcking, Berthold},
booktitle = {STACS 95},
isbn = {9783540590422},
issn = {0302-9743},
title = {{A packet routing protocol for arbitrary networks}},
doi = {10.1007/3-540-59042-0_81},
year = {1995},
}
@inproceedings{13471,
author = {Friedl, Gerald and Platzner, Marco and Rinner, Bernhard},
booktitle = {Proceedings of the EURO-PAR'95 International Conference on Parallel Processing},
pages = {695--698},
publisher = {Springer International Publishing},
title = {{A Special-Purpose Coprocessor for Qualitative Simulation}},
year = {1995},
}
@inproceedings{8099,
author = {Krauter, Stefan},
booktitle = {Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995},
title = {{Actual Optical and Thermal Performance of PV-Modules}},
year = {1995},
}
@article{16532,
author = {Dellnitz, M and Heinrich, C},
issn = {0951-7715},
journal = {Nonlinearity},
pages = {1039--1066},
title = {{Admissible symmetry increasing bifurcations}},
doi = {10.1088/0951-7715/8/6/009},
year = {1995},
}
@inproceedings{2448,
author = {Römke, Thomas and Röttger, Markus and Schroeder, Ulf-Peter and Simon, Jens},
booktitle = {Proc. ZEUS Workshop on Par. Programming and Computation},
publisher = {IOS Press},
title = {{An Efficient Mapping Library for Parix}},
year = {1995},
}
@techreport{3038,
author = {Blömer, Johannes and Kalfane, Malik and Karp, Richard and Karpinski, Marek and Luby, Michael and Zuckerman, David},
title = {{An XOR-based erasure-resilient coding scheme}},
year = {1995},
}
@misc{17776,
author = {Peckhaus, Volker},
booktitle = {Berichte zur Wissenschaftsgeschichte},
pages = {256--257},
title = {{André Weil, Lehr- und Wanderjahre eines Mathematikers, aus dem Französischen von Theresia Übelhör, Birkhäuser Verlag: Basel/Boston/Berlin 1993}},
volume = {18},
year = {1995},
}
@inproceedings{11757,
abstract = {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.},
author = {Dugast, Christian and Beyerlein, Peter and Haeb-Umbach, Reinhold},
booktitle = {ICASSP, Detroit},
title = {{Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition}},
year = {1995},
}
@article{3037,
abstract = {For two given simple polygonsP, Q, the problem is to determine a rigid motionI ofQ giving the best possible match betweenP andQ, i.e. minimizing the Hausdorff distance betweenP andI(Q). Faster algorithms as the one for the general problem are obtained for special cases, namely thatI is restricted to translations or even to translations only in one specified direction. It turns out that determining pseudo-optimal solutions, i.e. ones that differ from the optimum by just a constant factor, can be done much more efficiently than determining optimal solutions. In the most general case, the algorithm for the pseudo-optimal solution is based on the surprising fact that for the optimal possible match betweenP and an imageI(Q) ofQ, the distance between the centroids of the edges of the convex hulls ofP andI(Q) is a constant multiple of the Hausdorff distance betweenP andI(Q). It is also shown that the Hausdorff distance between two polygons can be determined in timeO(n logn), wheren is the total number of vertices.},
author = {Alt, Helmut and Behrends, Bernd and Blömer, Johannes},
issn = {1573-7470},
journal = {Annals of Mathematics and Artificial Intelligence},
number = {3},
title = {{Approximate matching of polygonal shapes}},
volume = {13},
year = {1995},
}
@inproceedings{7831,
abstract = {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.},
author = {Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika},
booktitle = {Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science},
number = {B-19},
publisher = {Universitat de les Illes Balears},
title = {{Attributed Graph Transformations with Controlled Application of Rules}},
year = {1995},
}
@inproceedings{11787,
abstract = {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.},
author = {Haeb-Umbach, Reinhold and Beyerlein, P. and Thelen, E.},
booktitle = {ICASSP, Detroit},
title = {{Automatic Transcription of Unknown Words in a Speech Recognition System}},
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 = {Institute of Electrical and Electronics Engineers ({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},
}
@misc{19556,
author = {Eke, Norbert Otto},
booktitle = {Zeitschrift für Germanistik},
number = {H. 1},
pages = {149--151},
title = {{Bürgerlichkeit im Umbruch. Studien zum deutschsprachigen Drama 1750-1800. Mit einer Bibliographie der Dramen der Oettingen-Wallersteinschen Bibliothek zwischen 1750 und 1800. Hg. von Helmut Koopmann. Tübingen 1993}},
volume = {NF V},
year = {1995},
}
@inbook{17307,
author = {Oevel, Gudrun and Siek, G.},
booktitle = {AACE educational Multimedia and Hypermedia Annual},
title = {{Computer algebra in education}},
year = {1995},
}
@phdthesis{19623,
author = {Stemann, Volker},
isbn = {3-931466-02-7},
title = {{Contention Resolution in Hashing Based Shared Memory Simulations}},
year = {1995},
}
@article{11948,
abstract = {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.},
author = {Steinbiss, Volker and Ney, Hermann J. and Essen, Ute and Tran, Bach Hiep and Aubert, Xavier L. and Dugast, Christian and Kneser, Reinhard and Meier, Hans Günter and Oerder, Martin and Haeb-Umbach, Reinhold and Geller, Dieter and Hoellerbauer, W. and Bartosik, H.},
journal = {Speech Communication},
title = {{Continuous speech dictation - From theory to practice}},
year = {1995},
}
@inproceedings{8266,
author = {Groenewegen, Luuk and Engels, Gregor},
booktitle = {Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)},
pages = {189--192},
publisher = {Springer},
title = {{Coordination by Behavioural Views and Communication Patterns}},
doi = {http://dx.doi.org/10.1007/3-540-59205-9_56},
volume = {913},
year = {1995},
}
@article{16550,
author = {Dellnitz, Michael and Field, Michael and Golubitsky, Martin and Ma, Jun and Hohmann, Andreas},
issn = {0218-1274},
journal = {International Journal of Bifurcation and Chaos},
pages = {1243--1247},
title = {{Cycling Chaos}},
doi = {10.1142/s0218127495000909},
year = {1995},
}
@article{18630,
abstract = {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.},
author = {Schindlmayr, Arno and Godby, Rex William},
issn = {1095-3795},
journal = {Physical Review B},
number = {16},
pages = {10427--10435},
publisher = {American Physical Society},
title = {{Density-functional theory and the v-representability problem for model strongly correlated electron systems}},
doi = {10.1103/PhysRevB.51.10427},
volume = {51},
year = {1995},
}
@phdthesis{18691,
author = {Seng, Eva- Maria},
publisher = {Diss. masch.},
title = {{Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins}},
year = {1995},
}
@book{18696,
abstract = {Rezensionen (Auswahl) in:
- architectura Bd. 27, 1997, Heft 2, S. 221-228 von Elisabeth Spitzbart
- Blätter für württembergische Kirchengeschichte 96. Jg. 1996, S. 253f.von Rainer Lächele
- Etudes Theologiques Et Religieuses (Montpellier) 1997, 3, S. 490-491 von
Bernard Reymond},
author = {Seng, Eva- Maria},
pages = {726 S. Text zzgl. Anhang und 430 Abb.},
publisher = {(Wasmuth)},
title = {{Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins}},
year = {1995},
}