@article{8742,
author = {Schulze-Wischeler, F. and Zeitler, U. and Hohls, F. and Haug, R.J. and Reuter, Dirk and Wieck, A.D.},
issn = {1386-9477},
journal = {Physica E: Low-dimensional Systems and Nanostructures},
pages = {474--477},
title = {{Phonon excitation of a two-dimensional electron system around ν=1}},
doi = {10.1016/s1386-9477(01)00342-3},
year = {2002},
}
@article{8747,
author = {Reuter, Dirk and Kähler, D and Kunze, U and Wieck, A D},
issn = {0268-1242},
journal = {Semiconductor Science and Technology},
pages = {603--607},
title = {{Layer-compensated selectively doped AlxGa1-xAs/GaAs heterostructures as a base material for nanolithography}},
doi = {10.1088/0268-1242/16/7/314},
year = {2002},
}
@article{8773,
author = {Skaberna, S and Versen, M and Klehn, B and Kunze, U and Reuter, Dirk and D. Wieck, A},
issn = {0304-3991},
journal = {Ultramicroscopy},
pages = {153--157},
title = {{Fabrication of a quantum point contact by the dynamic plowing technique and wet-chemical etching}},
doi = {10.1016/s0304-3991(99)00126-6},
year = {2002},
}
@article{8778,
author = {Heidtkamp, Christian and Lassen, Sabine and Schneider, Marcus and Reuter, Dirk and Versen, Martin and Wieck, Andreas D.},
issn = {0921-4526},
journal = {Physica B: Condensed Matter},
pages = {1726--1727},
title = {{Dependence of the longitudinal resistance on edge potential and electron density in quantum Hall systems}},
doi = {10.1016/s0921-4526(99)02890-2},
year = {2002},
}
@article{8780,
author = {Reuter, Dirk and Wieck, A. D. and Fischer, A.},
issn = {0034-6748},
journal = {Review of Scientific Instruments},
pages = {3435--3438},
title = {{A compact electron beam evaporator for carbon doping in solid source molecular beam epitaxy}},
doi = {10.1063/1.1149933},
year = {2002},
}
@inproceedings{8367,
abstract = {The use of UML for software specification leads usually to lots of diagrams showing different aspects and components of the software system in several views. In order to support a view-oriented approach to system modeling, consistency views and in between views has to be manageable. It is a reasonable approach to consistency management when first chossing a suitable semantic domain, provide a partial mapping into this domain, and specity as well as verify consistency constraints formulated in that domain. Annotated meta model rules can be used to translate elements of UML models into the semantic domain chosen. In this contribution, we consider triple graph grammars and attributed graph transformation approaches for the precise definition of meta model rules an outline the tool support for automatic translation.},
author = {Heckel, Reiko and Küster, Jochen and Taentzer, Gabriele},
booktitle = {Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France)},
pages = {11--21},
publisher = {Universität Bremen},
title = {{Towards Automatic Translation of UML Models into Semantic Domains}},
year = {2002},
}
@inproceedings{8932,
author = {Sextro, Walter and Popp, Karl},
booktitle = {Forschungsvereinigung Verbrennungskraftmaschinen (FW) - lnformationstagung Turbinen},
number = {518},
pages = {157--183},
title = {{Optimierung des Schwingungsverhaltens elastischer Strukturen mit Reibfugen}},
year = {2002},
}
@inbook{9601,
author = {Beutner, Marc},
booktitle = {Berufsbildung im Handwerk: Kontinuität und Perspektiven},
editor = {Esser, F. H. and Twardy, M},
pages = {401 -- 415},
title = {{Ausbildungsbereitschaft in Klein- und Mittelunternehmen – Ausgewählte Ergebnisse einer Längsschnittuntersuchung 1999 und 2000}},
year = {2002},
}
@inbook{17537,
author = {Peckhaus, Volker},
booktitle = {Die Philosophie und die Wissenschaften. Zum Werk Oskar Beckers},
editor = {Gethmann-Siefert, Annemarie and Mittelstraß, Jürgen},
pages = {161--184},
publisher = {Wilhelm Fink Verlag},
title = {{Oskar Beckers Stellung in der Geschichte der Modallogik}},
year = {2002},
}
@misc{17671,
author = {Peckhaus, Volker},
booktitle = {The Dictionary of Nineteenth-Century British Philosophers, Bd. 2: I–Z},
editor = {Manders, W. J. and Sell (general editors), Alan P. F.},
pages = {709--711},
publisher = {Thoemmes Press},
title = {{Macfarlane, Alexander (1851–1913)}},
year = {2002},
}
@misc{17669,
author = {Peckhaus, Volker},
booktitle = {The Dictionary of Nineteenth-Century British Philosophers, Bd. 1: A–H},
editor = {Budge, Gavin and a., u.},
pages = {356--357},
publisher = {Thoemmes Press},
title = {{Ellis, Robert Leslie (1817–59)}},
year = {2002},
}
@misc{17789,
author = {Peckhaus, Volker},
booktitle = {Zeitschrift für allgemeine Wissenschaftstheorie},
pages = {191--196},
title = {{Frank-Peter Hansen, Geschichte der Logik des 19. Jahrhunderts. Eine kritische Einführung in die Anfänge der Erkenntnis- und Wissenschaftstheorie, Königshausen & Neumann: Würzburg 2000}},
volume = {33},
year = {2002},
}
@misc{17791,
author = {Peckhaus, Volker},
booktitle = {Studia Logica},
pages = {142--143},
title = {{Norbert Hinske, Stellenindex zu „Immanuel Kant’s Logik“ (Jäsche-Logik). Studienausgabe zu Kant-Index Band 2, frommann-holzboog, Stuttgart-Bad Cannstatt, 1999}},
volume = {71},
year = {2002},
}
@inproceedings{18179,
abstract = {Do the solutions of linear equations depend computably on their coefficients? Implicitly, this has been one of the central questions in linear algebra since the very beginning of the subject and the famous Gauß algorithm is one of its numerical answers. Today there exists a tremendous number of algorithms which solve this problem for different types of linear equations. However, actual implementations in floating point arithmetic keep exhibiting numerical instabilities for ill-conditioned inputs. This situation raises the question which of these instabilities are intrinsic, thus caused by the very nature of the problem, and which are just side effects of specific algorithms. To approach this principle question we revisit linear equations from the rigorous point of view of computability. Therefore we apply methods of computable analysis, which is the Turing machine based theory of computable real number functions. It turns out that, given the coefficients of a system of linear equations, we can compute the space of solutions, if and only if the dimension of the solution space is known in advance. Especially, this explains why there cannot exist any stable algorithms under weaker assumptions.},
author = {Brattka, Vasco and Ziegler, Martin},
booktitle = {Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science},
pages = {95--106},
title = {{Computability of Linear Equations}},
doi = {10.1007/978-0-387-35608-2_9},
year = {2002},
}
@inproceedings{16490,
abstract = {We present a new data structure for rendering highly complex virtual environments of arbitrary topology. The special feature of our approach is that it allows an interactive navigation in very large scenes (30 GB/400 million polygons in our benchmark scenes) that cannot be stored in main memory, but only on a local or remote hard disk. Furthermore, it allows interactive rendering of substantially more complex scenes by instantiating objects.
For the computation of an approximate image of the scene, a sampling technique is used. In the preprocessing, a so-called sample tree is built whose nodes contain randomly selected polygons from the scene. This tree only uses space that is linear in the number of polygons. In order to produce an image of the scene, the tree is traversed and polygons stored in the visited nodes are rendered. During the interactive walkthrough, parts of the sample tree are loaded from local or remote hard disk.
We implemented our algorithm in a prototypical walkthrough system. Analysis and experiments show that the quality of our images is comparable to images computed by the conventional z-buffer algorithm regardless of the scene topology.},
author = {Klein, Jan and Krokowski, Jens and Fischer, Matthias and Wand, Michael and Wanka, Rolf and Meyer auf der Heide, Friedhelm},
booktitle = {Proceedings of the ACM symposium on Virtual reality software and technology - VRST '02},
isbn = {1581135300},
title = {{The randomized sample tree: a data structure for interactive walkthroughs in externally stored virtual environments}},
doi = {10.1145/585740.585764},
year = {2002},
}
@inproceedings{18369,
abstract = {Visualising is a method used to help experiencing and understanding causal cohesions in simulation processes. For this purpose, tools for visualising are already implemented in prevalent simulation systems. The user creates his simulation model and generates a 3-dimensional (2,5-dimensional) visualising by means of the simulation system. This helps examining the process which makes it easier for the viewer to understand it. Simulation tools usually only provide the opportunity for a unidirectional visualising. In a 3-dimensional surrounding the viewer can not implement an interaction with the simulation while the system is running. Though an interaction during the simulation run enables the user to gain a better understanding of causal cohesions. Solutions via HLA are sophisticated and therefore rather suited for extensive projects.
We present a distributed system consisting of a commercial manufacturing simulation tool, a coupling module and a walkthrough system. The distributed system in conjunctions with the coupling module guarantees generality and a wide field of applications of the walkthrough system. Further it guarantees flexibility and selection of the specialized graphics hardware for the walkthrough system. A further contribution of this paper is the solution of the time synchronisation problem caused by simulation tool and walkthrough system.
},
author = {Mueck, Bengt and Dangelmaier, Wilhelm and Fischer, Matthias and Klemisch, Wolfram},
booktitle = {Simulation und Visualisierung},
pages = {71--84},
publisher = {SCS European Publishing House},
title = {{Bi-directional Coupling of Simulation Tools with a Walkthrough-System}},
year = {2002},
}
@misc{18408,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 0987.00002]},
title = {{Waldegg, Guillermina, “Ontological Convictions and Epistemological Obstacles in Bolzano’s Geometry”, Science and Education 10 (2001), 409–418}},
year = {2002},
}
@misc{18403,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 0981.03004]},
title = {{Linsky, Bernard, Russell’s Metaphysical Logic, CSLI Publications: Stanford, CA 1999}},
year = {2002},
}
@misc{18410,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 0990.03002]},
title = {{Moore, Gregory H., “The Prehistory of Infinitary Logic: 1885–1955”, in: Maria Luisa Dalla Chiara u.a. (Hgg.), Structures and Norms in Science. Volume two of the 10th International Congress of Logic, Methodology and Philosophy of Science, Florence, Italy, August 1995, Dordrecht: Kluwer Academic Publishers 1997, 105–123}},
year = {2002},
}
@misc{18415,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 0993.01003, Reprint von MR 2002h:01005]},
title = {{Degnan, Michael J., “What is the Scope of Aristotle’s Defense of the PNC”, Apeiron 32 (1999), no. 3, 243–274}},
year = {2002},
}