@inproceedings{8285,
abstract = {This paper presents a systematic approach for classifying and comparing modularity concepts that have been proposed for graph transformation systems. The approach is based on the following observation: Modules and module interconnections consist of basic specifications (forming, e.g., a module's body, import, or export interface), and relations between such specifications, like the implementation relation between export and body of a module. Hence, a natural approach for characterizing a module concept is to answer the following three questions: 1. What are the basic specifications? 2. Which relations between specifications are used? 3. How are specifications and relations combined to modules and interconnections? In this paper, these questions are considered in some detail for the following module concepts for graph transformation systems.},
author = {Ehrig, Hartmut and Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele},
booktitle = {Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT '98), Paderborn (Germany)},
number = {tr-ri-98-201},
pages = {122--131},
publisher = {University of Paderborn},
title = {{Classification and Comparison of Modularity Concepts for Graph Transformation Systems}},
year = {1998},
}
@inproceedings{7845,
author = {Cherchago, Alexey},
booktitle = {Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)},
title = {{A generalized schema of a decision-making process of a SCENAR-therapeutist}},
year = {1998},
}
@inproceedings{879,
author = {Karl, Holger and Werner, Matthias and Kuttner, Lars},
booktitle = {24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden},
pages = {10468----10475},
title = {{An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults}},
doi = {10.1109/EURMIC.1998.711841},
year = {1998},
}
@inproceedings{8906,
author = {Hemsel, Tobias and Wallaschek, Jörg},
booktitle = {Proceedings of VIBROENGINEERING},
number = {1},
pages = {7--12},
title = {{A piezoelectric linear vibration drive for high driving forces}},
year = {1998},
}
@misc{18213,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 876.12002]},
title = {{Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 113–246}},
year = {1998},
}
@misc{18220,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.01042]},
title = {{Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997}},
year = {1998},
}
@misc{18232,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.03011]},
title = {{Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270}},
year = {1998},
}
@misc{18244,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 881.01013]},
title = {{Howard, William A., “Some Proof Theory in the 1960’s”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 275–288}},
year = {1998},
}
@misc{18237,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 878.03004]},
title = {{Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [9.4], 69–76}},
year = {1998},
}
@misc{18251,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 884.03003]},
title = {{Buschlinger, Wolfgang, Wider das Verbot der semantischen Geschlossenheit der Sprache. Der Wert unliebsamer sprachlicher Strukturen für die Reduktion von Graphentheorie auf Logik, Peter Lang: Frankfurt a.M. 1997}},
year = {1998},
}
@misc{18275,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01010]},
title = {{Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 25–32}},
year = {1998},
}
@misc{18270,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 889.03045]},
title = {{Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273}},
year = {1998},
}
@misc{18302,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03005]},
title = {{Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273}},
year = {1998},
}
@misc{18299,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01008]},
title = {{Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 97–102}},
year = {1998},
}
@misc{18294,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01013]},
title = {{Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 77–78}},
year = {1998},
}
@misc{18307,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 897.03005]},
title = {{Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 389–415}},
year = {1998},
}
@inbook{17412,
abstract = {We study algorithmic aspects in the management of geometric scenes in interactive walkthrough animations. We consider arbitrarily large scenes consisting of unit size balls. For a smooth navigation in the scene we have to fulfill hard real time requirements. Therefore, we need algorithms whose running time is independent of the total number of objects in the scene and that use as small space as possible. In this work we focus on one of the basic operations in our walkthrough system: reporting the objects around the visitor within a certain distance. Previously a randomized data structure was presented that supports reporting the balls around the visitor in an output sensitive time and allows insertion and deletion of objects nearly as fast as searching. These results were achieved by exploiting the fact that the visitor moves ''slowly'' through the scene. A serious disadvantage of the aforementioned data structure is a big space overhead and the use of randomization. Our first result is a construction of weak spanners that leads to an improvement of the space requirement of the previously known data structures. Then we develop a deterministic data structure for the searching problem in which insertion of objects are allowed. Our incremental data structure supports O(1+k) reporting time, where k is a certain quantity close to the number of reported objects. The insertion time is similar to the reporting time and the space is linear to the total number of objects.
},
author = {Fischer, Matthias and Lukovszki, Tamás and Ziegler, Martin},
booktitle = {Algorithms — ESA’ 98},
isbn = {9783540648482},
issn = {0302-9743},
title = {{Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time}},
doi = {10.1007/3-540-68530-8_14},
year = {1998},
}
@article{18624,
abstract = {We investigate the performance of the GW approximation by comparison to exact results for small model systems. The role of the chemical potentials in Dyson's equation as well as the consequences of numerical resonance broadening are examined, and we show how a proper treatment can improve computational implementations of many-body perturbation theory in general. Exchange-only and GW calculations are performed over a wide range of fractional band fillings and correlation strengths. We thus identify the physical situations where these schemes are applicable.},
author = {Pollehn, Thomas Joachim and Schindlmayr, Arno and Godby, Rex William},
issn = {1361-648X},
journal = {Journal of Physics: Condensed Matter},
number = {6},
pages = {1273--1283},
publisher = {IOP Publishing},
title = {{Assessment of the GW approximation using Hubbard chains}},
doi = {10.1088/0953-8984/10/6/011},
volume = {10},
year = {1998},
}
@phdthesis{19639,
author = {Vöcking, Berthold},
isbn = {3-931466-45-0},
title = {{Static and Dynamic Data Management in Networks}},
year = {1998},
}
@techreport{19735,
abstract = {The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between any pair of processors, and a mechanism for synchronizing the processors in a barrier style. In addition, it provides routines for collective communication on arbitrary subsets of processors, partition operations, and a zero-cost synchronization mechanism. Furthermore, some techniques used in the implementation of the PUB library deviate significantly from the techniques used in other BSP libraries.},
author = {Bonorden, Olaf and Rieping, Ingo and von Otte, Ingo and Juurlink, Bernhardus},
title = {{The Paderborn University BSP (PUB) Library - Design, Implementation and Performance}},
year = {1998},
}