@inproceedings{17990,
  abstract     = {{We consider the notion of Property Testing as applied to computational geometry. We aim at developing efficient algorithms which determine whether a given (geometrical) object has a predetermined property Q or is 'far' from any object having the property. We show that many basic geometric properties have very efficient testing algorithms, whose running time is significantly smaller than the object description size.}},
  author       = {{Czumaj, Artur and Sohler, Christian and Ziegler, Martin}},
  booktitle    = {{Proceedings of the 8th Annual European Symposium on Algorithms (ESA'00)}},
  isbn         = {{9783540410041}},
  issn         = {{0302-9743}},
  pages        = {{155--166}},
  publisher    = {{Springer}},
  title        = {{{Property Testing in Computational Geometry}}},
  doi          = {{10.1007/3-540-45253-2_15}},
  volume       = {{4698}},
  year         = {{2000}},
}

@inproceedings{18146,
  abstract     = {{Since its very beginning, linear algebra is a highly algorithmic subject. Let us just mention the famous Gauss Algorithm which was invented before the theory of algorithms has been developed. The purpose of this paper is to link linear algebra explicitly to computable analysis, that is the theory of computable real number functions. Especially, we will investigate in which sense the dimension of a given linear subspace can be computed. The answer highly depends on how the linear subspace is given: if it is given by a finite number of vectors whose linear span represents the space, then the dimension does not depend continuously on these vectors and consequently it cannot be computed. If the linear subspace is represented via its distance function, which is a standard way to represent closed subspaces in computable analysis, then the dimension does computably depend on the distance function.}},
  author       = {{Ziegler, Martin and Brattka, Vasco}},
  booktitle    = {{SOFSEM 2000: Theory and Practice of Informatics}},
  isbn         = {{9783540413486}},
  issn         = {{0302-9743}},
  pages        = {{450--458}},
  publisher    = {{Springer}},
  title        = {{{Computing the Dimension of Linear Subspaces}}},
  doi          = {{10.1007/3-540-44411-4_34}},
  volume       = {{1963}},
  year         = {{2000}},
}

@inproceedings{18150,
  abstract     = {{What is the minimum number of hyperplanes that slice all edges of the d-dimensional hypercube? The answers have been known for d<=4.<br>This work settles the problem for d=5 and d=6. More precisely, a computer search implies that 4 hyperplanes do not suffice for this purpose (but 5 do).<br>We also develop computational approaches for attacking this extremal problem from combinatorial geometry in higher dimensions. They allow us to determine for example all maximal sliceable subsets of hypercube edges up to dimension 7.}},
  author       = {{Ziegler, Martin and Sohler, Christian}},
  booktitle    = {{Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG'00)}},
  pages        = {{73--79}},
  title        = {{{Computing Cut Numbers}}},
  year         = {{2000}},
}

@inproceedings{7872,
  author       = {{Engels, Gregor and Heckel, Reiko}},
  booktitle    = {{Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland)}},
  pages        = {{127--150}},
  publisher    = {{Springer}},
  title        = {{{Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45022-X_12}},
  volume       = {{1853}},
  year         = {{2000}},
}

@inproceedings{7875,
  abstract     = {{In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a speci.cation of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to de.ne the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics speci.cation for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML statechart and object diagrams. Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users.}},
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)}},
  pages        = {{323--337}},
  publisher    = {{Springer}},
  title        = {{{Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-40011-7_23}},
  volume       = {{1939}},
  year         = {{2000}},
}

@article{7690,
  author       = {{Heidtkamp, C. and Meier, Cedrik and Reuter, D. and Versen, M. and Hoch, S. and Diaconescu, D. and Wieck, A.D.}},
  issn         = {{0921-4526}},
  journal      = {{Physica B: Condensed Matter}},
  pages        = {{1728--1729}},
  publisher    = {{Elsevier BV}},
  title        = {{{Tunable backscattering in quantum Hall systems induced by neighbouring gates}}},
  doi          = {{10.1016/s0921-4526(99)02892-6}},
  volume       = {{284-288}},
  year         = {{2000}},
}

@inproceedings{8342,
  abstract     = {{This position paper weighs the benefits against the problems of using a graph rewrite system for the formal specification of an integrated software engineering model and for its implementation using the same graph rewrite system. The integrated software engineering approach, called GRIDS1, has been motivated by the shortcomings of software engineering support for real-life software projects. It is based on the formal integration of software engineering aspects for the automatic construction and well-defined manipulation of situational project frameworks. GRIDS uses the graph rewrite system PROGRES for the formal specification of the concepts and for their prototypical implementation. Without claiming to cover the entire field of graph rewrite systems, the experiences of this particular, graph-based approach are used as example for a discussion about the adequacy, the benefits, but also the shortcomings and the problems of applying a graph rewrite approach to realize automated software and method engineering support.}},
  author       = {{Engels, Gregor and Zamperoni, Andreas}},
  booktitle    = {{Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}},
  pages        = {{359--368}},
  publisher    = {{Springer}},
  title        = {{{Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45104-8_28}},
  volume       = {{1779}},
  year         = {{2000}},
}

@article{8918,
  abstract     = {{The paper deals with cyclic periodic structures modelling bladed disk assemblies of blades with friction elements for vibration damping. These elements placed between adjacent blades reduce the vibration amplitudes by means of dry friction resulting from centrifugal forces acting on the elements and relative displacements of the blades. However, the application of these friction elements results in an additional dynamical coupling which together with mistuning of some system parameters (e.g., blade eigenfrequency or contact parameters) may cause localization of vibration. In the present paper a linear approximation of such a system is investigated. The structure composed of cyclic periodic cells modelled each as a clamped-free beam interacting with each other by means of viscoelastic elements of complex stiffness is applied for dynamic system analysis. In case of free vibrations as well as in case of steady-state dynamic response to a harmonic pressure field, a perfect periodic structure and the structures with periodically mistuned parameters (blade eigenfrequencies and contact parameters) are studied. Some regularities in the dynamic response of the systems with mistuning have been noticed. Despite the fact that only a linear approximation has been used, the results and conclusions can be applied for models which describe the blade interaction in a nonlinear way.}},
  author       = {{Krzyzynski, Tomasz and Popp, Karl and Sextro, Walter}},
  issn         = {{0960-0779}},
  journal      = {{Chaos, Solitons \& Fractals}},
  number       = {{10}},
  pages        = {{1597 -- 1609}},
  title        = {{{On some regularities in dynamic response of cyclic periodic structures}}},
  doi          = {{10.1016/S0960-0779(99)00080-6}},
  volume       = {{11}},
  year         = {{2000}},
}

@inproceedings{8919,
  abstract     = {{the vibration amplitudes of bladed disk assemblies can be reduced significantly by means of friction damping devices such as shrouds, damping wires and interblade Friction dampers. in practice, interblade Friction dampers are applied in rotating arrangements with various geometries showing curved or flat surfaces like so-called wedge-shaped dampers. this paper is focusing on a computation method to predict the dynamical behaviour of turbine blades with Friction dampers including both, curved and wedge-shaped dampers with hertzian and non-herutian contact conditions, respectively. the presented computation method uses a 3d contact model to calculate the contact forces, including normal and tangential stiffnesses, roughness and microslip effects. the relative displacements in the contact area can be expressed by means of 6 dof of the blade platforms and 6 rigid body dof of the damper including translational and rotational displacements. the relative displacement of the Friction damper with respect to the adjacent blades can be derived from the contact kinematics of the blade-damper-blade system and the equations of motion of the Friction damper. thus, the model can be applied to investigate spatial motions of the bladed disk assembly including bending and torsional vibrations. a comparison of different Friction damper designs with respect to an optimal damper geometry and damper mass is presented. the advantages and disadvantages of each design will be discussed. experimental results are shown to validate the developed computation method.}},
  author       = {{Panning, Lars and Sextro, Walter and Popp, Karl}},
  booktitle    = {{International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME}},
  pages        = {{1--8}},
  title        = {{{Optimization of Interblade Friction Damper}}},
  year         = {{2000}},
}

@inbook{16497,
  author       = {{Meyer auf der Heide, Friedhelm and Kutyłowski, Mirosław and Ragde, Prabhakar}},
  booktitle    = {{Euro-Par 2000 Parallel Processing}},
  isbn         = {{9783540679561}},
  issn         = {{0302-9743}},
  title        = {{{Complexity Theory and Algorithms}}},
  doi          = {{10.1007/3-540-44520-x_59}},
  year         = {{2000}},
}

@article{16345,
  author       = {{Meyer auf der Heide, Friedhelm and Wanka, Rolf}},
  journal      = {{ForschungsForum Paderborn}},
  pages        = {{112--116}},
  title        = {{{Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik}}},
  year         = {{2000}},
}

@inbook{48785,
  author       = {{Hartung, Olaf and Mütter, Bernd}},
  booktitle    = {{Geschichtskultur. Theorie – Empirie – Pragmatik}},
  editor       = {{Mütter, Bernd and Schönemann, Bernd and Uffelmann, Uwe}},
  isbn         = {{9783892719182}},
  pages        = {{240--254}},
  publisher    = {{Deutscher Studien Verlag}},
  title        = {{{„Geschichtskultur“ und „Histourismus“. Praktische Erfahrungen und pragmatische Schlussfolgerungen}}},
  volume       = {{11}},
  year         = {{2000}},
}

@article{48784,
  author       = {{Hartung, Olaf}},
  issn         = {{0949-3751}},
  journal      = {{industrie-kultur}},
  pages        = {{34--35}},
  publisher    = {{Klartext Verlag}},
  title        = {{{„Was die Welt zusammenhält...“ – Ein Zwischenbericht zum aktuellen Veranstaltungs- und Ausstellungsprojekt des RIM Engelskirchen}}},
  volume       = {{3}},
  year         = {{2000}},
}

@article{53464,
  author       = {{Englisch, Brigitte}},
  journal      = {{Das Mittelalter}},
  number       = {{2}},
  pages        = {{17--30}},
  title        = {{{Zum Spannungsfeld von Chronographie und Autobiographie in der Weltchronistik des Hermann von Reichenau}}},
  volume       = {{5}},
  year         = {{2000}},
}

@book{36301,
  abstract     = {{Die Publikation stellt einen Beitrag zur öffentlichen Relevanz der Erziehungswissenschaften dar. Renommierte Vertreterinnen und Vertreter hatten sich im Rahmen einer studentisch initierten Veranstaltungsreihe am Erziehungswissenschaftlichen Seminar der Universität Heidelberg geäußert: AG "Kleiner Bildungsgipfel", Micha Brumlik, Ingrid Gogolin, Franz Hamburger, Elke Kleinau, Eckard König, Heinz Sünker, Hans Thiersch, Heinz-Elmar Tenorth, Michael Winkler, Dieter Wunder. Aus dem ·Die deutschen Erziehungswissenschaften - eine Geschichte von Ablehnung und Anerkennung ·Bildung und Gesellschaft: Erziehungswissenschaft als Sozialwissenschaft ·Pädagogik als Humanwissenschaft ·Wer erzieht die Erzieher? Lehrerbildung und Schulentwicklung ·Die Herausgeber sind Mitarbeiter erziehungswissenschaftlicher Forschungsprojekte und pädagogischer Einrichtungen}},
  editor       = {{Böhme, Peter and Kessl, Fabian and Heil, Ragnar and Reinke, Thilo}},
  isbn         = {{ ISBN-13 ‏ : ‎ 978-3407253361 }},
  keywords     = {{Sozialwissenschaft, Pädagogik, Erziehungswissenschaft, Lehrerbildung, Schulentwicklung}},
  publisher    = {{Luchterhand Verlag}},
  title        = {{{Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion}}},
  year         = {{2000}},
}

@phdthesis{34782,
  author       = {{Süßmann, Johannes}},
  isbn         = {{978-3-515-07589-3}},
  keywords     = {{Schiller, Kleist, Ranke, Leopold von, Gatterer, Johann Christoph, Darstellungsfragen, Universalhistorie, Humboldt, Wilhelm von, Wieland, Christoph Martin}},
  pages        = {{300}},
  publisher    = {{Franz Steiner}},
  title        = {{{Geschichtsschreibung oder Roman? Zur Konstitutionslogik von Geschichtserzählungen zwischen Schiller und Ranke (1780–1824)}}},
  volume       = {{41}},
  year         = {{2000}},
}

@inbook{19475,
  author       = {{Seng, Eva- Maria}},
  booktitle    = {{Von der Geometrie zur Naturalisierung. Utopisches Denken im 18. Jahrhundert zwischen literarischer Fiktion und frühneuzeitlicher Gartenkunst. Hallesche Beiträge zur Europäischen Aufklärung Bd. 10}},
  editor       = {{Saage, Richard and Seng, Eva-Maria}},
  pages        = {{117--150}},
  title        = {{{Die Wörlitzer Anlagen zwischen Englischem Landschaftsgarten und Bon-Sauvage-Utopie?}}},
  volume       = {{Bd. 10}},
  year         = {{1999}},
}

@inbook{2435,
  author       = {{Simon, Jens and Reinefeld, Alexander and Heinz, Oliver}},
  booktitle    = {{SCI: Scalable Coherent Interface. Architecture and Software for High-Performance Compute Clusters}},
  editor       = {{Hellwagner, Hermann and Reinefeld, Alexander}},
  isbn         = {{978-3-540-47048-9}},
  issn         = {{0302-9743}},
  pages        = {{367--381}},
  publisher    = {{Springer}},
  title        = {{{Large-Scale SCI Clusters in Practice: Architecture and Performance in SCI}}},
  doi          = {{10.1007/10704208}},
  volume       = {{1734}},
  year         = {{1999}},
}

@inproceedings{3253,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}},
  editor       = {{M. Wing, Jeannette and Woodcock, Jim and Davies, Jim}},
  pages        = {{1028----1047}},
  title        = {{{Data Abstraction for {CSP-OZ}}}},
  doi          = {{10.1007/3-540-48118-4_5}},
  year         = {{1999}},
}

@book{3381,
  author       = {{Gries, Thomas and Addison, J.T. and Audretsch, D.B. and Grupp, H. and Welfens, P.J.J.}},
  isbn         = {{978-3-540-65858-0}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Globalization, Economic Growth and Innovation Dynamics}}},
  year         = {{1999}},
}