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.

13721 Publications


1996 | Book Chapter | LibreCat-ID: 8419
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 2nd ed., Düsseldorf, 1996, pp. 19–94.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8274
Reuse of Software Process Fragments is Reuse of Software, too
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 9626 LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16895
Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme
B. Gutkauf, G. Domik-Kienegger, in: Proceedigns 4. GI Workshop Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 17418
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 17564
Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
LibreCat | DOI
 

1996 | Encyclopedia Article | LibreCat-ID: 17641
Weierstraß
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 535–536.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17639
Verknüpfung
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 515–516.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17778 LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17843
Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract]
V. Peckhaus, in: C. Binder (Ed.), IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband, Wien, 1996, pp. 142–145.
LibreCat
 

1996 | Misc | LibreCat-ID: 17898
On the Origins of the Word ‘Logicism’ [ursprünglich Beitrag für russell-l], URL erstellt 22.3.1996
V. Peckhaus, On the Origins of the Word ‘Logicism’ [Ursprünglich Beitrag Für Russell-l], URL Erstellt 22.3.1996, 1996.
LibreCat | Download (ext.)
 

1996 | Book Review | LibreCat-ID: 17913
Franchella, Miriam, “L.E.J. Brouwer: Toward Intuitionistic Logic”, Historia Mathematica 22 (1995), 304–322
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 833.01017] (1996).
LibreCat
 
 

1996 | Book Review | LibreCat-ID: 17920 LibreCat
 

1996 | Book Review | LibreCat-ID: 17925
Rheinwald, Rosemarie, „Die Achilles-Paradoxie in der modernen Diskussion“, in: Czermak (Hg.) 1993 [9.4], 383–392
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03005] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17932
Bealer, George, “Toward a New Theory of Content”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.03022] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17937
Murawski, Roman, “Contributions of Polish Logicians to Decidability Theory”, Modern Logic 6 (1996), 37–66
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 844.01010] (1996).
LibreCat
 
 

1996 | Book Review | LibreCat-ID: 17949 LibreCat
 

1996 | Habilitation | LibreCat-ID: 17444
Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995
V. Peckhaus, Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995, 1996.
LibreCat
 
 

1996 | Book Chapter | LibreCat-ID: 18428
Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel
D. Tophinke, in: S. Michaelis, D. Tophinke (Eds.), Texte – Konstitution, Verarbeitung, Typik, Lincom, München, 1996, pp. 101–116.
LibreCat
 

1996 | Book | LibreCat-ID: 19135
Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition)
N.O. Eke, Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition), Igel, Paderborn, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 2182
Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, Theor. Comput. Sci. (1996) 245--281.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 10610
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
M. Platzner, B. Rinner, R. Weiss, J.UCS Journal of Universal Computer Science 12 (1995) 811–820.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11757
Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition
C. Dugast, P. Beyerlein, R. Haeb-Umbach, in: ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

1995 | Journal Article | LibreCat-ID: 11764
User interface design of voice controlled consumer electronics
S. Gamm, R. Haeb-Umbach, Philips Journal of Research (1995).
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13474
High-Performance Qualitative Simulation on a Multi-DSP Architecture
M. Platzner, B. Rinner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13796
Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces
P.V. Santos, N. Esser, J. Groenen, M. Cardona, W.G. Schmidt, F. Bechstedt, Physical Review B 52 (1995) 17379–17385.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15305
Fuzzy polynomial and spline interpolation
E. Hüllermeier, in: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–404.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16707
Improved optimal shared memory simulations, and the power of reconfiguration
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Proceedings Third Israel Symposium on the Theory of Computing and Systems, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2448
An Efficient Mapping Library for Parix
T. Römke, M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. ZEUS Workshop on Par. Programming and Computation, IOS Press, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 2450
SparcStation SCI-Interface
J. Gehring, J. Simon, SparcStation SCI-Interface, Paderborn Center for Parallel Computing, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2563 LibreCat
 

1995 | Book Chapter | LibreCat-ID: 3530
Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor
T. Gries, in: B. Gahlen, H. Hesse (Eds.), Standort Und Region, Neue Ansätze Zur Regionalökonomik, Mohr (Siebeck), Tübingen, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8078
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen Für Die Praxis - Unternehmensführung 1, 1st ed., Düsseldorf, 1995, pp. 19–94.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8097
Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules
S. Krauter, in: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8100
Thermal and Optical Enhanced PV-Modules
S. Krauter, in: Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8270
Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 118–126.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16550
Cycling Chaos
M. Dellnitz, M. Field, M. Golubitsky, J. Ma, A. Hohmann, International Journal of Bifurcation and Chaos (1995) 1243–1247.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17306
MuPAD in der Ausbildung
F. Postel, G. Oevel, F. Schwarz, in: Beiträge zum Mathematikunterricht, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 17490
Hilberts Logik. Von der Axiomatik zur Beweistheorie
V. Peckhaus, NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F. 3 (1995) 65–86.
LibreCat
 

1995 | Book | LibreCat-ID: 19136
„Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition)
N.O. Eke, V.C. Dörr, u. a., „Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition), Insel, Frankfurt a. M., Leipzig, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2208
Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, in: STACS, 1995, pp. 267--278.
LibreCat | Files available
 

1995 | Conference Paper | LibreCat-ID: 11765
Human Factors of a Voice-Controlled Car Stereo
S. Gamm, R. Haeb-Umbach, in: Eurospeech, Madrid, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11905
The Philips Research system for continuous-speech dictation
V. Steinbiss, H.J. Ney, X.L. Aubert, S. Besling, C. Dugast, U. Essen, D. Geller, R. Haeb-Umbach, R. Kneser, H.G. Meier, M. Oerder, B.H. Tran, Philips Journal of Research (1995).
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11948
Continuous speech dictation - From theory to practice
V. Steinbiss, H.J. Ney, U. Essen, B.H. Tran, X.L. Aubert, C. Dugast, R. Kneser, H.G. Meier, M. Oerder, R. Haeb-Umbach, D. Geller, W. Hoellerbauer, H. Bartosik, Speech Communication (1995).
LibreCat
 

1995 | Report | LibreCat-ID: 13026
Synthesis Procedures for Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, Synthesis Procedures for Self-Testable Controllers, University of Siegen, Germany, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13470
High-Performance Simulators Based on Multi-TMS320C40
E. Brenner, R. Ginthör-Kalcsics, R. Hranitzky, M. Platzner, B. Rinner, C. Steger, R. Weiss, in: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author

Export / Embed