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.

14330 Publications


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

1996 | Book Review | LibreCat-ID: 17944
V. Peckhaus, “Grattan-Guinness, Ivor, ‘Structure-similarity as a Cornerstone of the Philosophy of Mathematics’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 91–111,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00005]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17949
V. Peckhaus, “Resnik, Michael D., ‘Applying Mathematics and the Indispensability Argument’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 115–131,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00014]. 1996.
LibreCat
 

1996 | Habilitation | LibreCat-ID: 17444
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 Review | LibreCat-ID: 17956
V. Peckhaus, “Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00032]. 1996.
LibreCat
 

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

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

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

1996 | Book | LibreCat-ID: 14894
L. D. Fosdick, E. R. Jessup, C. J. Schauble, and G. Domik, An introduction to high-performance scientific computing. MIT Press, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16895
B. Gutkauf and G. Domik, “Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme,” in Proceedings 4. GI Workshop Adaptivität  und Benutzermodellierung in interaktiven Softwaresystemen, 1996.
LibreCat
 

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

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

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

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

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

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

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

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

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

1995 | Journal Article | LibreCat-ID: 2563
S. Betz, “Die Bedeutung der Periodenplanbeschäftigung im Rahmen einer investitionstheoretisch fundierten Kostenrechnung,” Zeitschrift für Planung, vol. 6, pp. 167–183, 1995.
LibreCat
 

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

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

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

1995 | Conference Paper | LibreCat-ID: 8100
S. Krauter, “Thermal and Optical Enhanced PV-Modules,” 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
B. Bardohl et al., “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development,” in Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), 1995, vol. 26.
LibreCat
 

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

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

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

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

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

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

1995 | Journal Article | LibreCat-ID: 22317
D. Zimmer, “Generationswechsel. Überarbeitung einer Getriebebaureihe,” Der Konstrukteur - Magazin für Konstruktion und Entwicklung , vol. 1–2, 1995.
LibreCat
 

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

1995 | Journal Article | LibreCat-ID: 11905
V. Steinbiss et al., “The Philips Research system for continuous-speech dictation,” Philips Journal of Research, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11948
V. Steinbiss et al., “Continuous speech dictation - From theory to practice,” Speech Communication, 1995.
LibreCat
 

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

1995 | Conference Paper | LibreCat-ID: 13470
E. Brenner et al., “High-Performance Simulators Based on Multi-TMS320C40,” in Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13797
P. V. Santos, N. Esser, M. Cardona, W. G. Schmidt, and F. Bechstedt, “Optical properties of Sb-terminated GaAs and InP (110) surfaces,” Physical Review B, vol. 52, no. 16, pp. 12158–12167, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13800
C. Kress, M. Fiedler, W. G. Schmidt, and F. Bechstedt, “Quasi-particle band structure of C(111)2 × 1 and C(100)2 × 1 surfaces,” Surface Science, vol. 331–333, pp. 1152–1156, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13850
C. Kress, M. Fiedler, W. G. Schmidt, and F. Bechstedt, “Geometrical and electronic structure of the reconstructed diamond (100) surface,” Physical Review B, vol. 50, no. 23, pp. 17697–17700, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2449
T. Römke, M. Röttger, U.-P. Schroeder, and J. Simon, “On Efficient Embeddings of Grids into Grids in PARIX,” in Proc. European Conf. on Parallel Processing (Euro-Par), 1995, vol. 966, pp. 179–192.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 2451
S. Blazy, U. Dralle, and J. Simon, “Parallel CG Poisson Solver for PowerPC 601,” in PowerXplorer User Report - Applications and Projects on the Parsytec PowerXplorer Parallel Computer, Düsseldorf: Heinrich-Heine-Universität, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2576
S. Betz, “Die Erfahrungskurve als Instrument der Zielkostenspaltung,” Betriebswirtschaftliche Forschung und Praxis, vol. 47, pp. 609–625, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7831
R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations with Controlled Application of Rules,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8098
K. Onneken and S. Krauter, “STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations,” in Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8194
M. Conrad et al., Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem. 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8269
G. Engels and A. Schürr, “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 1995, pp. 101–109.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16532
M. Dellnitz and C. Heinrich, “Admissible symmetry increasing bifurcations,” Nonlinearity, pp. 1039–1066, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16551
M. Dellnitz, M. Golubitsky, A. Hohmann, and I. Stewart, “Spirals in Scalar Reaction–Diffusion Equations,” International Journal of Bifurcation and Chaos, pp. 1487–1501, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 17307
G. Oevel and G. Siek, “Computer algebra in education,” in AACE educational Multimedia and Hypermedia Annual, 1995.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: IEEE

Export / Embed