@misc{18306,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 897.01002]},
title = {{Gabriel, Gottfried/Kienzler, Wolfgang (eds.), Frege in Jena. Beiträge zur Spurensicherung. Tagungsbericht, Jena, Deutschland, 6.–7. Dezember 1996, Königshausen & Neumann: Würzburg 1997}},
year = {1998},
}
@misc{18301,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01011]},
title = {{Huber-Dyson, Verena, “Toughts on the Occasion of Georg Kreisel’s 70th Birth-day”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 51–73}},
year = {1998},
}
@misc{18298,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01007]},
title = {{Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 103–108}},
year = {1998},
}
@phdthesis{18445,
author = {Oesterdiekhoff, Brigitte},
title = {{On Periodic Comparator Networks}},
year = {1998},
}
@book{2185,
author = {Scheideler, Christian},
isbn = {978-3-540-69792-3},
title = {{Universal Routing Strategies for Interconnection Networks}},
doi = {10.1007/BFb0052928},
volume = {1390},
year = {1998},
}
@inproceedings{20743,
author = {Meschut, Gerson and Hahn, O. and Eis, M.},
booktitle = {Tagungsband zur Swissbondung 98},
location = {Rapperswil (CH)},
title = {{Vermeidung von Abzeichnungen an Stahlblechklebungen}},
year = {1998},
}
@article{10194,
author = {Brinkmann, Gunnar and Steffen, Eckhard},
journal = {European J. Combinatorics},
pages = {889 -- 900},
title = {{Chromatic-index-critical graphs of Orders 11 and 12}},
volume = {19},
year = {1998},
}
@article{13061,
author = {Hellebrand, Sybille and Wunderlich, Hans-Joachim and Hertwig, Andre},
journal = {{Journal of Electronic Testing Theory and Applications - JETTA}},
number = {1/2},
pages = {127--138},
title = {{Mixed-Mode BIST Using Embedded Processors}},
volume = {12},
year = {1998},
}
@misc{13092,
author = {N. Yarmolik, Vyacheslav and Hellebrand, Sybille and Wunderlich, Hans-Joachim},
keyword = {WORKSHOP},
title = {{Efficient Consistency Checking for Embedded Memories}},
year = {1998},
}
@inproceedings{15288,
author = {Hüllermeier, Eyke and Giersch, C.},
booktitle = {In Proceedings IPMU-98 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne},
pages = {1857--1864},
publisher = {Editions E.D.K.},
title = {{Fuzzy sets and modelling of uncertainty in biological systems}},
year = {1998},
}
@inproceedings{15303,
author = {Hüllermeier, Eyke},
booktitle = {in Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia},
editor = {Borne, P. and Ksouri, M. and El Kamel, A.},
title = {{Numerical solutions for fuzzy initial value problems}},
year = {1998},
}
@inproceedings{15271,
author = {Koenig, M and Lenz, Christian and Domik, Gitta},
booktitle = {Proceedings. Computer Graphics International (Cat. No. 98EX149)},
pages = {402--403},
title = {{Visualization of meteorological data using an interactive flight}},
year = {1998},
}
@inproceedings{15810,
author = {Hüllermeier, Eyke},
booktitle = {in Proceedings of the 6th German Workshop on Case-Based Reasoning, Berlin, Germany},
editor = {Gierl, L. and Lenz, M.},
pages = {13--22},
title = {{Case-based probality and case-based decision making}},
year = {1998},
}
@inproceedings{2009,
abstract = {RSD (Resource and Service Description) is a scheme for specifying resources and services in complex heterogeneous computing systems and metacomputing environments. At the system administrator level, RSD is used to specify the available system components, such as the number of nodes, their interconnection topology, CPU speeds, and available software packages. At the user level, a GUI provides a comfortable, high-level interface for specifying system requests. A textual editor can be used for defining repetitive and recursive structures. This gives service providers the necessary flexibility for fine-grained specification of system topologies, interconnection networks, system and software dependent properties. All these representations are mapped onto a single, coherent internal object-oriented resource representation.
Dynamic aspects (like network performance, availability of compute nodes, and compute node loads) are traced at runtime and included in the resource description to allow for optimal process mapping and dynamic task load balancing at runtime at the metacomputer level. This is done in a self-organizing way, with human system operators becoming only involved when new hardware/software components are installed.},
author = {Brune, Matthias and Gehring, Jörn and Keller, Axel and Reinefeld, Alexander},
booktitle = {Proc. Int. Conf. on High-Performance Computing Systems (HPCS)},
title = {{RSD - Resource and Service Description}},
doi = {10.1007/978-1-4615-5611-4_18},
year = {1998},
}
@inproceedings{2011,
abstract = {CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administrator level, CCS offers tools for controlling (i.e, specifying, configuring and scheduling) the system components that are operated in a computing center. Hence the name "Computing Center Software". CCS provides: hardware-independent scheduling of interactive and batch jobs; partitioning of exclusive and non-exclusive resources; open, extensible interfaces to other resource management systems; a high degree of reliability (e.g. automatic restart of crashed daemons); fault tolerance in the case of network breakdowns. The authors describe CCS as one important component for the access, job distribution, and administration of networked HPC systems in a metacomputing environment.},
author = {Keller, Axel and Reinefeld, Alexander},
booktitle = {Proc. Heterogenous Computing Workshop (HCW) at IPPS},
pages = {44--56},
title = {{CCS Resource Management in Networked HPC Systems}},
doi = {10.1109/HCW.1998.666544},
year = {1998},
}
@inbook{4632,
author = {Feng, Yuanhua and Heiler, Siegfried},
booktitle = {Econometrics in Theory and Practice},
editor = {Galata, Robert and Küchenhoff, Helmut},
pages = {101--117},
publisher = {Physica-Verlag HD},
title = {{Locally Weighted Autoregression}},
year = {1998},
}
@proceedings{7794,
editor = {Engels, Gregor and Ehrig, Hartmut and Kreowski, Hans-Jörg and Rozenberg, Grzegorz},
publisher = {Springer},
title = {{6th International Workshop on Theory and Applications of Graph Transformations (TAGT '98), Paderborn, Selected Papers}},
volume = {1764},
year = {1998},
}
@inproceedings{8110,
author = {Salhi, M. and Triebel, C. and Lemoine, R. and Krauter, Stefan and Schroer, S. and Araújo:, R. G.},
booktitle = {Proceedings of the 2nd World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594.},
title = {{Hybrid Thermal Insulating PV Facade Elements}},
year = {1998},
}
@inproceedings{8115,
author = {Krauter, Stefan and Schroer, S. and Araújo, R. G. and Stephan, R.},
booktitle = {Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375},
title = {{Thermisch aktive PV-Module zur Fassadenintegration}},
year = {1998},
}
@inproceedings{8280,
author = {Kolmschlag, Silvia and Engels, Gregor},
booktitle = {Proceedings of the workshop on "Integration heterogener Softwaresysteme" (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)},
pages = {13--24},
publisher = {GI},
title = {{Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken}},
year = {1998},
}
@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},
}
@article{16503,
author = {Meyer auf der Heide, Friedhelm and Schröder, Klaus and Schwarze, Frank},
issn = {0304-3975},
journal = {Theoretical Computer Science},
pages = {181--200},
title = {{Routing on networks of optical crossbars}},
doi = {10.1016/s0304-3975(97)86791-6},
volume = {196},
year = {1998},
}
@phdthesis{20744,
author = {Meschut, Gerson},
publisher = {Shaker Verlag},
title = {{Untersuchungen zur Wärmeleitfähigkeit von Klebverbindungen unter Berücksichtigung klebspezifischer Randbedingungen}},
year = {1998},
}
@article{10195,
author = {Steffen, Eckhard},
journal = {Discrete Mathematics},
pages = {183 -- 203 (},
title = {{Classification and characterizations of snarkse}},
volume = {188},
year = {1998},
}
@article{10607,
author = {Platzner, Marco},
journal = {e&i Elektrotechnik und Informationstechnik},
pages = {143--148},
publisher = {Springer},
title = {{Reconfigurable Computer Architectures}},
volume = {115},
year = {1998},
}
@techreport{13029,
author = {Hellebrand, Sybille and Wunderlich, Hans-Joachim},
title = {{Test und Synthese schneller eingebetteter Systeme}},
year = {1998},
}
@article{13771,
author = {Shkrebtii, A. I. and Esser, N. and Richter, W. and Schmidt, Wolf Gero and Bechstedt, F. and Fimland, B. O. and Kley, A. and Del Sole, R.},
issn = {0031-9007},
journal = {Physical Review Letters},
number = {3},
pages = {721--724},
title = {{Reflectance Anisotropy of GaAs(100): Theory and Experiment}},
doi = {10.1103/physrevlett.81.721},
volume = {81},
year = {1998},
}
@article{13810,
author = {Hauptmann, Peter and Lucklum, Ralf and Püttmer, Alf and Henning, Bernd},
journal = {Sensors and Actuators A: Physical},
number = {1-3},
pages = {32--48},
title = {{Ultrasonic sensors for process monitoring and chemical analysis state of the art and trends}},
doi = {10.1016/S0924-4247(97)01725-1},
volume = {67},
year = {1998},
}
@inproceedings{13606,
author = {Platzner, Marco and De Micheli, Giovanni},
booktitle = {Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL) },
isbn = {9783540649489},
issn = {0302-9743},
pages = {69--78},
publisher = {Springer },
title = {{Acceleration of satisfiability algorithms by reconfigurable hardware}},
doi = {10.1007/bfb0055234},
year = {1998},
}
@inproceedings{15289,
author = {Hüllermeier, Eyke},
booktitle = {In Proceedings IPMU-98 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne},
pages = {1296--1303},
publisher = {Editions E.D.K.},
title = {{A Bayesian approach to case-based probalistic reasoning}},
year = {1998},
}
@article{15070,
author = {Volbracht, Sabine and Domik, Gitta and Backe-Neuwald, Dorothea and Rinkens, Hans-Dieter},
journal = {Journal of Universal Computer Science},
number = {4},
pages = {461--465},
title = {{The City Game: An Example of a Virtual Environment for Teaching Spatial Orientation.}},
volume = {4},
year = {1998},
}