TY - GEN
AU - Peckhaus, Volker
ED - Manders, W. J.
ED - Sell (general editors), Alan P. F.
ID - 17671
T2 - The Dictionary of Nineteenth-Century British Philosophers, Bd. 2: I–Z
TI - Macfarlane, Alexander (1851–1913)
ER -
TY - GEN
AU - Peckhaus, Volker
ED - Budge, Gavin
ED - a., u.
ID - 17669
T2 - The Dictionary of Nineteenth-Century British Philosophers, Bd. 1: A–H
TI - Ellis, Robert Leslie (1817–59)
ER -
TY - GEN
AU - Peckhaus, Volker
ID - 17789
T2 - Zeitschrift für allgemeine Wissenschaftstheorie
TI - 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
VL - 33
ER -
TY - GEN
AU - Peckhaus, Volker
ID - 17791
T2 - Studia Logica
TI - Norbert Hinske, Stellenindex zu „Immanuel Kant’s Logik“ (Jäsche-Logik). Studienausgabe zu Kant-Index Band 2, frommann-holzboog, Stuttgart-Bad Cannstatt, 1999
VL - 71
ER -
TY - CONF
AB - 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.
AU - Brattka, Vasco
AU - Ziegler, Martin
ID - 18179
T2 - Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science
TI - Computability of Linear Equations
ER -
TY - CONF
AB - 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.
AU - Klein, Jan
AU - Krokowski, Jens
AU - Fischer, Matthias
AU - Wand, Michael
AU - Wanka, Rolf
AU - Meyer auf der Heide, Friedhelm
ID - 16490
SN - 1581135300
T2 - Proceedings of the ACM symposium on Virtual reality software and technology - VRST '02
TI - The randomized sample tree: a data structure for interactive walkthroughs in externally stored virtual environments
ER -
TY - CONF
AB - 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.
AU - Mueck, Bengt
AU - Dangelmaier, Wilhelm
AU - Fischer, Matthias
AU - Klemisch, Wolfram
ID - 18369
T2 - Simulation und Visualisierung
TI - Bi-directional Coupling of Simulation Tools with a Walkthrough-System
ER -
TY - GEN
AU - Peckhaus, Volker
ID - 18408
T2 - Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 0987.00002]
TI - Waldegg, Guillermina, “Ontological Convictions and Epistemological Obstacles in Bolzano’s Geometry”, Science and Education 10 (2001), 409–418
ER -
TY - GEN
AU - Peckhaus, Volker
ID - 18403
T2 - Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 0981.03004]
TI - Linsky, Bernard, Russell’s Metaphysical Logic, CSLI Publications: Stanford, CA 1999
ER -
TY - GEN
AU - Peckhaus, Volker
ID - 18410
T2 - Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 0990.03002]
TI - 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
ER -