en
Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
13393 Publications
1998 | Conference Paper | LibreCat-ID: 8280
Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken
S. Kolmschlag, G. Engels, in: Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), GI, 1998, pp. 13–24.
LibreCat
S. Kolmschlag, G. Engels, in: Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), GI, 1998, pp. 13–24.
1998 | Conference Paper | LibreCat-ID: 8285
Classification and Comparison of Modularity Concepts for Graph Transformation Systems
H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.
LibreCat
H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.
1998 | Conference Paper | LibreCat-ID: 7845
A generalized schema of a decision-making process of a SCENAR-therapeutist
A. Cherchago, in: Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
LibreCat
A. Cherchago, in: Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
1998 | Conference Paper | LibreCat-ID: 879
An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults
H. Karl, M. Werner, L. Kuttner, in: 24th EUROMICRO ’98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, 1998, pp. 10468--10475.
LibreCat
| DOI
H. Karl, M. Werner, L. Kuttner, in: 24th EUROMICRO ’98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, 1998, pp. 10468--10475.
1998 | Conference Paper | LibreCat-ID: 8906
A piezoelectric linear vibration drive for high driving forces
T. Hemsel, J. Wallaschek, in: Proceedings of VIBROENGINEERING, 1998, pp. 7–12.
LibreCat
T. Hemsel, J. Wallaschek, in: Proceedings of VIBROENGINEERING, 1998, pp. 7–12.
1998 | Book Review | LibreCat-ID: 18213
Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 113–246
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 876.12002] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 876.12002] (1998).
1998 | Book Review | LibreCat-ID: 18220
Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.01042] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.01042] (1998).
1998 | Book Review | LibreCat-ID: 18232
Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.03011] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.03011] (1998).
1998 | Book Review | LibreCat-ID: 18244
Howard, William A., “Some Proof Theory in the 1960’s”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 275–288
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 881.01013] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 881.01013] (1998).
1998 | Book Review | LibreCat-ID: 18237
Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [9.4], 69–76
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03004] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03004] (1998).
1998 | Book Review | LibreCat-ID: 18251
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
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 884.03003] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 884.03003] (1998).
1998 | Book Review | LibreCat-ID: 18275
Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 25–32
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01010] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01010] (1998).
1998 | Book Review | LibreCat-ID: 18270
Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03045] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03045] (1998).
1998 | Book Review | LibreCat-ID: 18302
Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03005] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03005] (1998).
1998 | Book Review | LibreCat-ID: 18299
Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 97–102
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 895.01008] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 895.01008] (1998).
1998 | Book Review | LibreCat-ID: 18294
Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 77–78
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01013] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01013] (1998).
1998 | Book Review | LibreCat-ID: 18307
Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 389–415
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 897.03005] (1998).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 897.03005] (1998).
1998 | Book Chapter | LibreCat-ID: 17412
Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time
M. Fischer, T. Lukovszki, M. Ziegler, in: Algorithms — ESA’ 98, Berlin, Heidelberg, 1998.
LibreCat
| Files available
| DOI
M. Fischer, T. Lukovszki, M. Ziegler, in: Algorithms — ESA’ 98, Berlin, Heidelberg, 1998.
1998 | Journal Article | LibreCat-ID: 18624
Assessment of the GW approximation using Hubbard chains
T.J. Pollehn, A. Schindlmayr, R.W. Godby, Journal of Physics: Condensed Matter 10 (1998) 1273–1283.
LibreCat
| Files available
| DOI
| WoS
T.J. Pollehn, A. Schindlmayr, R.W. Godby, Journal of Physics: Condensed Matter 10 (1998) 1273–1283.
1998 | Dissertation | LibreCat-ID: 19639
Static and Dynamic Data Management in Networks
B. Vöcking, Static and Dynamic Data Management in Networks, Universität Paderborn, 1998.
LibreCat
| Files available
B. Vöcking, Static and Dynamic Data Management in Networks, Universität Paderborn, 1998.
1998 | Report | LibreCat-ID: 19735
The Paderborn University BSP (PUB) Library - Design, Implementation and Performance
O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, The Paderborn University BSP (PUB) Library - Design, Implementation and Performance, 1998.
LibreCat
| Files available
O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, The Paderborn University BSP (PUB) Library - Design, Implementation and Performance, 1998.
1998 | Journal Article | LibreCat-ID: 16503
Routing on networks of optical crossbars
F. Meyer auf der Heide, K. Schröder, F. Schwarze, Theoretical Computer Science 196 (1998) 181–200.
LibreCat
| DOI
F. Meyer auf der Heide, K. Schröder, F. Schwarze, Theoretical Computer Science 196 (1998) 181–200.
1998 | Dissertation | LibreCat-ID: 20744
Untersuchungen zur Wärmeleitfähigkeit von Klebverbindungen unter Berücksichtigung klebspezifischer Randbedingungen
G. Meschut, Untersuchungen Zur Wärmeleitfähigkeit von Klebverbindungen Unter Berücksichtigung Klebspezifischer Randbedingungen, Shaker Verlag, Aachen, 1998.
LibreCat
G. Meschut, Untersuchungen Zur Wärmeleitfähigkeit von Klebverbindungen Unter Berücksichtigung Klebspezifischer Randbedingungen, Shaker Verlag, Aachen, 1998.
1998 | Journal Article | LibreCat-ID: 10195
Classification and characterizations of snarkse
E. Steffen, Discrete Mathematics 188 (1998) 183-203 (.
LibreCat
E. Steffen, Discrete Mathematics 188 (1998) 183-203 (.
1998 | Journal Article | LibreCat-ID: 10607
Reconfigurable Computer Architectures
M. Platzner, E&i Elektrotechnik Und Informationstechnik 115 (1998) 143–148.
LibreCat
M. Platzner, E&i Elektrotechnik Und Informationstechnik 115 (1998) 143–148.
1998 | Report | LibreCat-ID: 13029
Test und Synthese schneller eingebetteter Systeme
S. Hellebrand, H.-J. Wunderlich, Test Und Synthese Schneller Eingebetteter Systeme, Universität Stuttgart, 1998.
LibreCat
S. Hellebrand, H.-J. Wunderlich, Test Und Synthese Schneller Eingebetteter Systeme, Universität Stuttgart, 1998.
1998 | Journal Article | LibreCat-ID: 13771
Reflectance Anisotropy of GaAs(100): Theory and Experiment
A.I. Shkrebtii, N. Esser, W. Richter, W.G. Schmidt, F. Bechstedt, B.O. Fimland, A. Kley, R. Del Sole, Physical Review Letters 81 (1998) 721–724.
LibreCat
| DOI
A.I. Shkrebtii, N. Esser, W. Richter, W.G. Schmidt, F. Bechstedt, B.O. Fimland, A. Kley, R. Del Sole, Physical Review Letters 81 (1998) 721–724.
1998 | Journal Article | LibreCat-ID: 13810
Ultrasonic sensors for process monitoring and chemical analysis state of the art and trends
P. Hauptmann, R. Lucklum, A. Püttmer, B. Henning, Sensors and Actuators A: Physical 67 (1998) 32–48.
LibreCat
| DOI
P. Hauptmann, R. Lucklum, A. Püttmer, B. Henning, Sensors and Actuators A: Physical 67 (1998) 32–48.
1998 | Conference Paper | LibreCat-ID: 13606
Acceleration of satisfiability algorithms by reconfigurable hardware
M. Platzner, G. De Micheli, in: Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL) , Springer , Berlin, Heidelberg, 1998, pp. 69–78.
LibreCat
| DOI
M. Platzner, G. De Micheli, in: Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL) , Springer , Berlin, Heidelberg, 1998, pp. 69–78.
1998 | Conference Paper | LibreCat-ID: 15289
A Bayesian approach to case-based probalistic reasoning
E. Hüllermeier, in: In Proceedings IPMU-98 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, Editions E.D.K., 1998, pp. 1296–1303.
LibreCat
E. Hüllermeier, in: In Proceedings IPMU-98 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, Editions E.D.K., 1998, pp. 1296–1303.
1998 | Journal Article | LibreCat-ID: 15070
The City Game: An Example of a Virtual Environment for Teaching Spatial Orientation.
S. Volbracht, G. Domik, D. Backe-Neuwald, H.-D. Rinkens, Journal of Universal Computer Science 4 (1998) 461–465.
LibreCat
S. Volbracht, G. Domik, D. Backe-Neuwald, H.-D. Rinkens, Journal of Universal Computer Science 4 (1998) 461–465.
1998 | Book Chapter | LibreCat-ID: 15614
Widersprüche, Paradoxien und Klärungen. Überlegungen grundsätzlicher Art zur Frauenforschung aus der Sicht von Philosophinnen
R. Hagengruber, in: R. von Bardeleben, P. Plummer (Eds.), Perspektiven Der Frauenforschung, Stauffenberg-Verlag, Tübingen, 1998, pp. 19–27.
LibreCat
| Files available
R. Hagengruber, in: R. von Bardeleben, P. Plummer (Eds.), Perspektiven Der Frauenforschung, Stauffenberg-Verlag, Tübingen, 1998, pp. 19–27.
1998 | Journal Article | LibreCat-ID: 16504
Truly efficient parallel algorithms: 1-optimal multisearch for an extension of the BSP model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, Theoretical Computer Science (1998) 175–203.
LibreCat
| DOI
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, Theoretical Computer Science (1998) 175–203.
1998 | Journal Article | LibreCat-ID: 2012
Specifying Resources and Services in Metacomputing Environments
M. Brune, J. Gehring, A. Keller, B. Monien, Parallel Computing 24 (1998) 1751–1776.
LibreCat
| DOI
M. Brune, J. Gehring, A. Keller, B. Monien, Parallel Computing 24 (1998) 1751–1776.
1998 | Journal Article | LibreCat-ID: 2581
Konsequenzen der Arbeitszeitflexibilisierung für Produktion und Logistik
S. Betz, Betriebswirtschaftliche Forschung und Praxis 50 (1998) 344–362.
LibreCat
S. Betz, Betriebswirtschaftliche Forschung und Praxis 50 (1998) 344–362.
1998 | Conference Paper | LibreCat-ID: 3255
A Process Algebra Semantics for {MSC} Including Conditions
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig, P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.
LibreCat
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig, P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.
1998 | Book | LibreCat-ID: 3382
Economic Aspects of Digital Information Technology
T. Gries, L. Suhl, Economic Aspects of Digital Information Technology, DUV, 1998.
LibreCat
T. Gries, L. Suhl, Economic Aspects of Digital Information Technology, DUV, 1998.
1998 | Journal Article | LibreCat-ID: 4626
A simple root n bandwidth selector for nonparametric regression
S. Heiler, Y. Feng, Journal of Nonparametric Statistics 9 (1998) 1–21.
LibreCat
S. Heiler, Y. Feng, Journal of Nonparametric Statistics 9 (1998) 1–21.
1998 | Journal Article | LibreCat-ID: 4905
Kundenbindung - die neue Sollstrategie?
F. Bliemel, A. Eggert, Marketing - Zeitschrift Für Forschung Und Praxis (1998).
LibreCat
F. Bliemel, A. Eggert, Marketing - Zeitschrift Für Forschung Und Praxis (1998).
1998 | Conference Paper | LibreCat-ID: 6538
Photovoltaik- und windkraftbetriebene Umkehrosmoseanlage im Inselbetrieb
J. Bendfeld, C. Bröker, P.M.C. de Carvalho, K. Menne, E. Ortjohann, L. Temme, J. Voß, in: DGS/ISES, 11. Intern. Sonnenforum 1998, Köln, 1998.
LibreCat
J. Bendfeld, C. Bröker, P.M.C. de Carvalho, K. Menne, E. Ortjohann, L. Temme, J. Voß, in: DGS/ISES, 11. Intern. Sonnenforum 1998, Köln, 1998.
1998 | Conference Abstract | LibreCat-ID: 6398
Conference Proceedings: Sixth Conference on International Human Resource Management, Paderborn 1998.
W. Weber, M. Festing, R. Kabst, in: 1998.
LibreCat
W. Weber, M. Festing, R. Kabst, in: 1998.
1998 | Journal Article | LibreCat-ID: 7694
Robustness of the Quantum Hall Effect, Sample Size Versus Sample Topology, and Quality Control Management of III–V Molecular Beam Epitaxy
R.D. Tscheuschner, S. Hoch, E. Leschinsky, C. Meier, S. Theis, A.D. Wieck, International Journal of Modern Physics B 12 (1998) 1147–1170.
LibreCat
| DOI
R.D. Tscheuschner, S. Hoch, E. Leschinsky, C. Meier, S. Theis, A.D. Wieck, International Journal of Modern Physics B 12 (1998) 1147–1170.
1998 | Journal Article | LibreCat-ID: 8109
Establishing PV-Education in Rio de Janeiro
S. Krauter, R. Stephan, International Journal of Electrical Engineering Education 35 (1998) 139–146.
LibreCat
S. Krauter, R. Stephan, International Journal of Electrical Engineering Education 35 (1998) 139–146.
1998 | Book | LibreCat-ID: 8111
Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken unter Berücksichtigung der Reduktion des anthropogenen CO2–Ausstoßes
S. Krauter, Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken Unter Berücksichtigung Der Reduktion Des Anthropogenen CO2–Ausstoßes, VDI–Verlag, Düsseldorf, 1998.
LibreCat
S. Krauter, Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken Unter Berücksichtigung Der Reduktion Des Anthropogenen CO2–Ausstoßes, VDI–Verlag, Düsseldorf, 1998.
1998 | Conference Paper | LibreCat-ID: 8116
Aufbau einer universitären Ausbildungsmöglichkeit für photovoltische Energiesysteme in Rio de Janeiro
S. Krauter, R.G. Araujo, R. Stephan, R. Hanitsch, K. Onneken, S. Schroer, V. Quaschning, in: Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872, 1998.
LibreCat
S. Krauter, R.G. Araujo, R. Stephan, R. Hanitsch, K. Onneken, S. Schroer, V. Quaschning, in: Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872, 1998.
1998 | Conference Paper | LibreCat-ID: 8907
Vibrational Behaviour of Tuned and Detuned Bladed Disks with Friction Dampers
W. Sextro, K. Popp, I. Wolter, in: International Congress on Combustion Engines, Proceedings of the 22nd CIMAC, Kopenhagen, D{\"a}nemark, 1998, pp. 257–270.
LibreCat
W. Sextro, K. Popp, I. Wolter, in: International Congress on Combustion Engines, Proceedings of the 22nd CIMAC, Kopenhagen, D{\"a}nemark, 1998, pp. 257–270.
1998 | Conference Paper | LibreCat-ID: 8281
Structured Transition Systems as Lax Coalgebras
A. Corradini, M. Große-Rhode, R. Heckel, in: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Elsevier, 1998.
LibreCat
A. Corradini, M. Große-Rhode, R. Heckel, in: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Elsevier, 1998.
1998 | Conference Paper | LibreCat-ID: 8286
Model Checking Graph-Interpreted Temporal Formulas
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.
LibreCat
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.
1998 | Conference Paper | LibreCat-ID: 16890
Dreidimensionale Welten auf flachen Bildschirmen
G. Domik-Kienegger, S. Vollbracht, in: Zeitschrift Forschungsforum Paderborn , 1998.
LibreCat
G. Domik-Kienegger, S. Vollbracht, in: Zeitschrift Forschungsforum Paderborn , 1998.
1998 | Encyclopedia Article | LibreCat-ID: 17646
Gentzen, Gerhard Karl Erich (1909–45)
V. Peckhaus, in: E. Craig (Ed.), Routledge Encyclopedia of Philosophy, Bd. 4: Genealogy to Iqbal, Routledge, London/ New York, 1998, pp. 23–25.
LibreCat
V. Peckhaus, in: E. Craig (Ed.), Routledge Encyclopedia of Philosophy, Bd. 4: Genealogy to Iqbal, Routledge, London/ New York, 1998, pp. 23–25.