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.

99 Publications


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 | 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
 

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

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

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

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

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

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

1995 | Conference Paper | LibreCat-ID: 7831
Attributed Graph Transformations with Controlled Application of Rules
R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
 

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

1995 | Report | LibreCat-ID: 8194
Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem
M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber, R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
LibreCat
 

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

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

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

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

1995 | Book | LibreCat-ID: 17446
Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften
V. Peckhaus, Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften, Hallescher Verlag, Halle/Saale, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 17491
Rüstow’s Thesis on Russell’s Paradox
V. Peckhaus, Modern Logic 5 (1995) 167–169.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13469
A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs
M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing , IEEE CS Press, 1995, pp. 311–318.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13471
A Special-Purpose Coprocessor for Qualitative Simulation
G. Friedl, M. Platzner, B. Rinner, in: Proceedings of the EURO-PAR’95 International Conference on Parallel Processing, Springer International Publishing, 1995, pp. 695–698.
LibreCat
 

1995 | Report | LibreCat-ID: 13027
Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis
S. Hellebrand, H.-J. Wunderlich, F. Goncalves, J. Paulo Teixeira, Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis, University Siegen, Germany, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13798
III-V(110) surface dynamics from anab initiofrozen-phonon approach
W.G. Schmidt, F. Bechstedt, G.P. Srivastava, Physical Review B 52 (1995) 2001–2007.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13801
III-V(110)/Sb(1 ML): structural and dynamical properties
W.G. Schmidt, G.P. Srivastava, Surface Science 331–333 (1995) 540–545.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13851
Exchange reactions versus adsorption geometries for Se/GaAs(110)
W.G. Schmidt, F. Bechstedt, Physical Review B 50 (1995) 17651–17654.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15294
Towards modelling of fuzzy functions
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 15612 LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16704
A packet routing protocol for arbitrary networks
F. Meyer auf der Heide, B. Vöcking, in: STACS 95, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16874
Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 2091
Kommentar § 5 c GWB (Einkaufskooperationen)
D. Krimphove, in: H. Müller-Henneberg, G. Schwartz, W. Benisch (Eds.), Gesetz Gegen Wettbewerbsbeschränkungen Und Europäisches Kartellrecht , 4th ed., Carl Heymanns Verlag KG, Köln, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 3037
Approximate matching of polygonal shapes
H. Alt, B. Behrends, J. Blömer, Annals of Mathematics and Artificial Intelligence 13 (1995).
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2577
Kostenorientierte Planung der Entsorgungslogistik
S. Betz, Zeitschrift Für Planung 6 (1995) 321–339.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 7976
Planung und Durchführung der Ausbildung
H.-H. Kremer, in: U. Braukmann, D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung., 1st ed., Düsseldorf, 1995, pp. 1–123.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7832
Record Linkage of Anonymous Data by Control Numbers
W. Thoben, H.-J. Appelrath, S. Sauer, in: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, Berlin/Heidelberg, 1995, pp. 412–419.
LibreCat
 

1995 | Report | LibreCat-ID: 8195
Specialization of Object Life Cycle Definitions
J. Ebert, G. Engels, Specialization of Object Life Cycle Definitions, University of Koblenz-Landau, Koblenz, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8099
Actual Optical and Thermal Performance of PV-Modules
S. Krauter, in: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8354
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: 17492
The Genesis of Grelling’s Paradox
V. Peckhaus, in: I. Max, W. Stelzner (Eds.), Logik Und Mathematik. Frege-Kolloquium Jena 1993, Walter de Gruyter, Berlin/New York, 1995, pp. 269–280.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11786
Speech recognition algorithms for voice control interfaces
R. Haeb-Umbach, P. Beyerlein, D. Geller, Philips Journal of Research (1995).
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13011
Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers
S. Hellebrand, J. Rajski, S. Tarnick, S. Venkataraman, B. Courtois, {IEEE Transactions on Computers} 44 (1995) 223–233.
LibreCat | DOI
 

1995 | Report | LibreCat-ID: 13028
Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing
S. Hellebrand, M. Herzog, H.-J. Wunderlich, Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing, University of Siegen, Germany, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13472
Parallel Qualitative Simulation
M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the EUROSIM Congress, Elsevier, 1995, pp. 231–236.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13484
Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System
R. Hranitzky, M. Platzner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13799
Se/GaAs(110): energetics and structure
W.G. Schmidt, F. Bechstedt, Surface Science 331–333 (1995) 557–563.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13852
Se/GaAs(110): Atomic and electronic structure
W.G. Schmidt, F. Bechstedt, Physical Review B 50 (1995) 17280–17291.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15295
Rule-based modelling in fuzzy simulation
E. Hüllermeier, in: In Proceedings ISFL-95 International Symposium on Logic, Zürich, ICSC Academic Press, 1995, pp. B49–B56.
LibreCat
 

1995 | Book | LibreCat-ID: 1602
Die Gründung einer GmbH
D. Krimphove, C. Brehmer, Die Gründung Einer GmbH, FHTW Schriftenreihe, Berlin, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16236
Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung
E. Hüllermeier, in: J. Flemmig (Ed.), Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, Metropolis, 1995, pp. 413–454.
LibreCat
 

Filters and Search Terms

year=1995

Search

Filter Publications

Display / Sort

Export / Embed