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.

13148 Publications


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 | Conference Paper | LibreCat-ID: 16904
Intelligent visualization systems in educational environments
G. Kienegger-domik, in: H. Maurer (Ed.), Proceedings of ED-MEDIA `95, AACE, 1995.
LibreCat
 

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
 

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 | Journal Article | LibreCat-ID: 17491
Rüstow’s Thesis on Russell’s Paradox
V. Peckhaus, Modern Logic 5 (1995) 167–169.
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 | Dissertation | LibreCat-ID: 18691
Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins
E.-M. Seng, Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins, Diss. masch., Tübingen 1992, 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 18696
Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins
E.-M. Seng, Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins, (Wasmuth), Tübingen, 1995.
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 | Book Review | LibreCat-ID: 17776 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: 18630
Density-functional theory and the v-representability problem for model strongly correlated electron systems
A. Schindlmayr, R.W. Godby, Physical Review B 51 (1995) 10427–10435.
LibreCat | Files available | DOI | WoS | PubMed | Europe PMC
 

1995 | Book Chapter | LibreCat-ID: 19316
Zwischen Kontinuität, Notkirche und Neuanfang: Evangelischer Kirchenbau in Württemberg 1925 - 1955
E.-M. Seng, in: R. Lächele, J. Thierfelder (Eds.), Das Evangelische Württemberg zwischen Weltkrieg und Wiederaufbau, Stuttgart, 1995, pp. 234–259.
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
 

1995 | Book Chapter | LibreCat-ID: 16705
Shared memory simulations with triple-logarithmic delay
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16717
Hot-potato routing on multi-dimensional tori
F. Meyer auf der Heide, M. Westermann, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 2561 LibreCat
 

1995 | Journal Article | LibreCat-ID: 2573
Gemeinkostencontrolling auf Basis der Prozesskostenrechnung
S. Betz, Kostenrechnungspraxis 39 (1995) 135–144.
LibreCat
 

1995 | Report | LibreCat-ID: 3038
An XOR-based erasure-resilient coding scheme
J. Blömer, M. Kalfane, R. Karp, M. Karpinski, M. Luby, D. Zuckerman, An XOR-Based Erasure-Resilient Coding Scheme, Berkeley, USA, 1995.
LibreCat | Files available
 

1995 | Book | LibreCat-ID: 3386
Wachstum, Humankapital und die Dynamik der komparativen Vorteile
T. Gries, Wachstum, Humankapital Und Die Dynamik Der Komparativen Vorteile, Mohr (Siebeck), Tübingen, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7833
Embedding of Conditional Graph Transformations
R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8076
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, 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–23.
LibreCat
 

1995 | Report | LibreCat-ID: 8196
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8266
Coordination by Behavioural Views and Communication Patterns
L. Groenewegen, G. Engels, in: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), Springer, Berlin/Heidelberg, 1995, pp. 189–192.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16611
The constrained Liapunov-Schmidt procedure and periodic orbits
M. Golubitsky, J. Marsden, I. Stewart, M. Dellnitz, in: Normal Forms and Homoclinic Chaos, Providence, Rhode Island, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16510
Symmetry Breaking Bifurcations of Chaotic Attractors
P.J. Aston, M. Dellnitz, International Journal of Bifurcation and Chaos (1995) 1643–1676.
LibreCat | DOI
 
 

1995 | Book Chapter | LibreCat-ID: 17842
Kurt Grelling
V. Peckhaus, in: Modern Logic Calendar 1995, 1995, p. März.
LibreCat
 

1995 | Book | LibreCat-ID: 18701
Kirchenbau zwischen Politik, Kunst und Liturgie. Theorie und Wirklichkeiten im Evangelischen Kirchenbau des 19. Jahrhunderts. Jahresgabe des Vereins für christliche Kunst in Württemberg 1995
E.-M. Seng, Kirchenbau zwischen Politik, Kunst und Liturgie. Theorie und Wirklichkeiten im Evangelischen Kirchenbau des 19. Jahrhunderts. Jahresgabe des Vereins für christliche Kunst in Württemberg 1995, Wasmuth, Tübingen, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16243
Rearrangement by intermediate ion/neutral complexes during the McLafferty fragmentation of unsaturated ketones
S. Dohmeier-Fischer, N. Krämer, H.-F. Grützmacher, European Journal of Mass Spectrometry (1995).
LibreCat | DOI
 

1995 | Dissertation | LibreCat-ID: 19627
Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations
A. Czumaj, Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations, Universität Paderborn, 1995.
LibreCat | Files available
 

1995 | Dissertation | LibreCat-ID: 19634
Space-Bounded Learning Algorithms
F. Ameur, Space-Bounded Learning Algorithms, Universität Paderborn, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11768
The Usability Engineering of a Voice-Controlled Answering Machine
S. Gamm, R. Haeb-Umbach, D. Langmann, in: International Symposium on Human Factors in Telecommunications, Melbourne, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11787
Automatic Transcription of Unknown Words in a Speech Recognition System
R. Haeb-Umbach, P. Beyerlein, E. Thelen, in: ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

1995 | Conference Paper | LibreCat-ID: 13012
Pattern Generation for a Deterministic BIST Scheme
S. Hellebrand, B. Reeb, S. Tarnick, H.-J. Wunderlich, in: {ACM/IEEE International Conference on Computer Aided Design (ICCAD’95)}, {IEEE (Comput. Soc. Press)}, San Jose, CA, USA, 1995, pp. 88–94.
LibreCat | DOI
 

1995 | Misc | LibreCat-ID: 13086
Pattern Generation for a Deterministic BIST Scheme
S. Hellebrand, B. Reeb, S. Tarnick, H.-J. Wunderlich, Pattern Generation for a Deterministic BIST Scheme, 2nd IEEE International Test Synthesis Workshop, Santa Barbara, CA, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13473
Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture
M. Platzner, B. Rinner, in: Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, ISCA, 1995, pp. 494–501.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15272
Education for Visualization-Activities of the acm-siggraph Education Committee
G. Domik-Kienegger, G. Owen, in: Proceedings of the Third Eurographics Workshop on Graphics and Visualization, 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 1603
Rechtliche Rahmenbedingungen des deutschen und internationalen Börsentermingeschäftes Ein Leitfaden für Banken, Sparkassen, Kreditinstitute, Anlagevermittler und Kunden mit Checklisten und Hinweisen zur Durchführung einer ordnungsgemäßen Anlageberatung
D. Krimphove, Rechtliche Rahmenbedingungen Des Deutschen Und Internationalen Börsentermingeschäftes Ein Leitfaden Für Banken, Sparkassen, Kreditinstitute, Anlagevermittler Und Kunden Mit Checklisten Und Hinweisen Zur Durchführung Einer Ordnungsgemäßen Anlageberatung  , FHTW Schriftenreihe, Berlin, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16706
Optimal trade-offs between size and slowdown for universal parallel networks
F. Meyer auf der Heide, M. Storch, R. Wanka, in: Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’95, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2447
Implementation of a Parallel and Distributed Mapping Kernel for PARIX
M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. Int. Conf. on High-Performance Computing and Networking, Springer, Berlin / Heidelberg, 1995, pp. 781–786.
LibreCat | DOI
 

1995 | Book | LibreCat-ID: 2675
Erfolgscontrolling unter besonderer Berücksichtigung produktionswirtschaftlicher Aspekte
S. Betz, Erfolgscontrolling Unter Besonderer Berücksichtigung Produktionswirtschaftlicher Aspekte, Paderborn, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8077
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 1st ed., 1995, pp. 13–42.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8267
A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
A. Corradini, R. Heckel, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 46–55.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16542
A note on the shadowing lemma and symmetric periodic points
M. Dellnitz, I. Melbourne, Nonlinearity (1995) 1067–1075.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17482
Simulating shared memory in real time: On the computation power of reconfigurable meshes
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 1995, pp. 46--59.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16566
Transforming comparison model lower bounds to the parallel-random-access-machine
D. Breslauer, A. Czumaj, D.P. Dubhashi, F. Meyer auf der Heide, Information Processing Letters (1995) 103–110.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 19414
Zeit/Räume – Aspekte der Zeiterfahrung bei Heiner Müller
N.O. Eke, in: T. Buck, J.-M. Valentin, N. Kenfgens, D. Vogel (Eds.), Heiner Müller – Rückblicke, Perspektiven. Vorträge des Pariser Kolloquiums 1993, Lang, Frankfurt a. M., 1995, pp. 131–152.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19630
Eine Bibliothek von Basisdiensten für Parallelrechner: Routing, Synchronisation, gemeinsamer Speicher
A. Wachsmann, Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher, Universität Paderborn, 1995.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19623
Contention Resolution in Hashing Based Shared Memory Simulations
V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, Universität Paderborn, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2187
Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks
F. Meyer auf der Heide, C. Scheideler, in: ESA, 1995, pp. 341--354.
LibreCat | Files available | DOI
 

1995 | Conference Paper | LibreCat-ID: 2207
Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract)
F. Meyer auf der Heide, C. Scheideler, in: SPAA, 1995, pp. 137--146.
LibreCat | Files available
 

1994 | Conference Paper | LibreCat-ID: 13013
Synthesis of Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, in: {European Design and Test Conference (EDAC/ETC/EUROASIC)}, {IEEE (Comput. Soc. Press)}, Paris, France, 1994, pp. 580–585.
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time
S. Hellebrand, A. Juergensen, A. Stroele, H.-J. Wunderlich, Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time, University of Siegen, Germany, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13854
First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110)
W.G. Schmidt, G. Srivastava, Solid State Communications 89 (1994) 345–348.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15608
Platons "Timaios", eine Anleitung zur wissenschaftlichen Hypothesenbildung?
R. Hagengruber, in: B. Fritscher, G. Brey (Eds.), Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, Springer, New York, 1994, pp. 75–96.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15610
Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella
R. Hagengruber, in: V. Gómez Pin (Ed.), Actas del primer Congreso Internacional de Ontología : categorías e inteligibilidad global : el proyecto ontológico a través de la reflexión contemporánea, Bellaterra, Barcelona, 1994, pp. 101–107.
LibreCat | Files available
 

1994 | Journal Article | LibreCat-ID: 1659 LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
Europejskie prawo pracy
D. Krimphove, Monitor Prawniczy (1994) 42 ff.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 7513
SOCCA: Specifications of Coordinated and Cooperative Activities
G. Engels, L. Groenewegen, in: Software Process Modelling and Technology, Research Studies Press, Taunton, 1994, pp. 71–102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Structural and Behavioural Views on OMT-Classes
J. Ebert, G. Engels, in: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), Springer, Berlin/Heidelberg, 1994, pp. 142–157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective
G. Engels, H. Ehrig, in: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
Observable or Invocable Behaviour - You Have to Choose
J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Optical Modelling, Simulation and Improvement of PV Module Encapsulation
S. Krauter, R. Hanitsch, P. Campbell, S.R. Wenham, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Syntax and Semantics of Hybrid Database Languages
M. Andries, G. Engels, in: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), Springer, Berlin/Heidelberg, 1994, pp. 19–36.
LibreCat | DOI
 
 

1994 | Book Chapter | LibreCat-ID: 17837
The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]
V. Peckhaus, in: Abstract of Papers Presented to the American Mathematical Society, 1994, p. 447.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17488
Hilbert’s Axiomatic Programme and Philosophy
V. Peckhaus, in: E. Knobloch, D.E. Rowe (Eds.), The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, Academic Press, Boston u. a., 1994, pp. 91–112.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19415
Heiner Müller
N.O. Eke, in: H. Steinecke (Ed.), Deutsche Dichter des 20. Jahrhunderts, Erich Schmidt, Berlin, 1994, pp. 726–741.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
Paralleles Sortieren auf mehrdimensionalen Gittern
R. Wanka, Paralleles Sortieren Auf Mehrdimensionalen Gittern, Universität Paderborn, 1994.
LibreCat | Files available
 

1994 | Book | LibreCat-ID: 3333
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 11796
Improvements in beam search for 10000-word continuous-speech recognition
R. Haeb-Umbach, H. Ney, IEEE Transactions on Speech and Audio Processing (1994).
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
Progress in Large-Vocabulary, Continuous Speech Recognition
H. Ney, V. Steinbeiss, X.L. Aubert, R. Haeb-Umbach, in: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures
S. Hellebrand, H.-J. Wunderlich, in: {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}, {IEEE}, San Jose, CA, USA, 1994, pp. 110–116.
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen
S. Venkataraman, J. Rajski, S. Hellebrand, S. Tarnick, Effiziente Testsatzkodierung Für Prüfpfad-Basierte Selbsttestarchitekturen, 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13468
Experimental Evaluation of Multi-DSP Architectures in High Performance Applications
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
Coverage-dependent bonding of Sb on GaAs (110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Surface Science 307–309 (1994) 235–240.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 1662
Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung
D. Krimphove, Arbeit Und Recht (1994) 215 ff.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3264
Parametric Action Refinement
H. Wehrheim, in: E.-}R{\"{u}}diger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.
LibreCat
 

1994 | Book | LibreCat-ID: 6528
Windatlas für das PESAG-Versorgungsgebiet
J. Bendfeld, A. Ernst, E. Ortjohann, Windatlas für das PESAG-Versorgungsgebiet, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 6530
Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie
J. Bendfeld, A. Ernst, E. Ortjohann, B. Langrock, N. Scholz, in: Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, 1994.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
Fundamentals of Object-Oriented Languages, Systems, and Methods
H.-D. Ehrich, G. Engels, J. Paredaens, J. Wegner, eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7829
Object-Oriented System Development: Will the New Approach Solve Old Problems?
G. Engels, G. Kappel, in: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), Elsevier, 1994, pp. 434–441.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8093
Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation
P. Strauss, K. Onneken, S. Krauter, R. Hanitsch, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8264
Specification of coordinated behaviour by SOCCA
G. Engels, L. Groenewegen, in: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, Berlin/Heidelberg, 1994, pp. 128–151.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 16549
Symmetry of Attractors and the Karhunen-Loève Decomposition
M. Dellnitz, M. Golubitsky, M. Nicol, in: Trends and Perspectives in Applied Mathematics, New York, NY, 1994.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 16544
Eigenvalue Movement for a Class of Reversible Hamiltonian Systems with Three Degrees of Freedom
M. Dellnitz, J. Scheurle, in: Dynamics, Bifurcation and Symmetry, Dordrecht, 1994.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 17489 LibreCat
 
 

1994 | Journal Article | LibreCat-ID: 11879
An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition
H. Ney, V. Steinbeiss, R. Haeb-Umbach, B.H. Tran, International Journal on Pattern Recognition and Artificial Intelligence (1994).
LibreCat
 

1994 | Misc | LibreCat-ID: 13084
Ein Verfahren zur testfreundlichen Steuerwerkssynthese
S. Hellebrand, H.-J. Wunderlich, Ein Verfahren Zur Testfreundlichen Steuerwerkssynthese, 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13856
Chemisorption of antimony on GaAs(110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Physical Review B 49 (1994) 4731–4744.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15509
Parallelen um den Punkt zwischen Campanella und Leibniz
R. Hagengruber, in: A. Heinekamp, I. Hein, Stiftung Niedersachsen (Eds.), Leibniz und Europa, 1994, pp. 309–315.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16728
Dynamic Perfect Hashing: Upper and Lower Bounds
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, SIAM Journal on Computing (1994) 738–761.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 16817
Visualization education
G. Domik-Kienegger, Comput. Graph. 18 (1994) 277–280.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 2452
Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors
J. Simon, in: Parallele Datenverarbeitung Aktuell: TAT ’94, IOS Press, Amsterdam, 1994, pp. 38–45.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 3068
Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments
T. Gries, C. Hentschel, B. Wigger, Jahrbücher Für Nationalökonomie Und Statistik 213/1 (1994) 64–84.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 7407
Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen
P. Löhr-Richter, G. Engels, GI-Datenbank Rundbrief 13 (1994) 33–35.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7798
Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers
J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, Springer, Berlin/Heidelberg, 1994.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8094
Einfluß optischer und thermischer Parameter auf den Tageswirkungsgrad von photovoltaischen Modulen
S. Krauter, R. Hanitsch, in: Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8265
Visual Specification of Complex Database Actions
G. Engels, P. Löhr, in: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), Springer, Berlin/Heidelberg, 1994, pp. 303–314.
LibreCat
 

1994 | Book | LibreCat-ID: 17303
MuPAD: Multi Processing Algebra Data Tool; Tutorial
B. Fuchssteiner, K. Gottheil, A. Kemper, O. Kluge, K. Morisse, H. Naundorf, G. Oevel, T. Schulze, W. Wiwianka, MuPAD: Multi Processing Algebra Data Tool; Tutorial, Birkhäuser, Basel-Boston-Berlin, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17485
Bibliographie der Werke Kurt Grellings
V. Peckhaus, in: L. Danneberg, A. Kamlah, L. Schäfer (Eds.), Hans Reichenbach und die Berliner Gruppe, Friedr. Vieweg & Sohn, Braunschweig, 1994, pp. 74–86.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17834
Ernst Schröder
V. Peckhaus, in: Modern Logic Calendar 1994, 1994, p. November.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17841 LibreCat
 

1994 | Misc | LibreCat-ID: 17896
Alexander Rüstow's Thesis, Beitrag für russell-l@mcmail.cis.mcmaster am 17. Juni 1994 [Abdruck: Rüstow’s Thesis on Russell’s Paradox, History of Logic Newsletter, Nr. 13 (September–Oktober 1994), 2–3] [revidierte Fassung: Rüstow’s Thesis on Russell’s Paradox”, Modern Logic 5 (1995), 167–169]
V. Peckhaus, Alexander Rüstow’s Thesis, Beitrag Für  Russell-L@mcmail.Cis.Mcmaster Am 17. Juni 1994 [Abdruck: Rüstow’s Thesis on Russell’s Paradox, History of Logic Newsletter, Nr. 13 (September–Oktober 1994), 2–3] [Revidierte Fassung: Rüstow’s Thesis on Russell’s Paradox”, Modern Logic 5 (1995), 167–169], 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 17480
Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908)
V. Peckhaus, in: D. Prawitz, D. Westerståhl (Eds.), Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science, Kluwer, Dordrecht/Boston/London, 1994, pp. 311–323.
LibreCat
 

1994 | Book (Editor) | LibreCat-ID: 18433
Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen
D. Tophinke, ed., Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen, DUV (zugleich Dissertation Osnabrück 1991), Wiesbaden, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19417
Vergangene Zeiten. Anmerkungen zur Semantik des Umbruchs und zu den Bedeutungsstrukturen im historischen Erzählen der frühen Restaurationszeit (1815-1830)
N.O. Eke, in: N.O. Eke, H. Steinecke (Eds.), Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, Fink, München, 1994, pp. 17–58.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13059
Synthese schneller selbsttestbarer Steuerwerke
S. Hellebrand, H.-J. Wunderlich, in: {Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme}, Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany, 1994, pp. 3–11.
LibreCat
 

1994 | Misc | LibreCat-ID: 13085
Synthesis for Testability - the ARCHIMEDES Approach
S. Hellebrand, J. Paulo Teixeira, H.-J. Wunderlich, Synthesis for Testability - the ARCHIMEDES Approach, 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 15497
Tommaso Campanella. Eine Philosophie der Ähnlichkeit
R. Hagengruber, Tommaso Campanella. Eine Philosophie der Ähnlichkeit, Academia, Sankt Augustin, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8095
Simulation of Thermal and Optical Performance of PV Modules
S. Krauter, R. Hanitsch, S.R. Wenham, in: Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16541
Generic movement of eigenvalues for equivariant self-adjoint matrices
M. Dellnitz, I. Melbourne, Journal of Computational and Applied Mathematics (1994) 249–259.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 17481
Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin
V. Peckhaus, in: L. Danneberg, A. Kamlah, L. Schäfer (Eds.), Hans Reichenbach und die Berliner Gruppe, Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden, 1994, pp. 53–73.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17486
Benno Kerry. Beiträge zu seiner Biographie
V. Peckhaus, History and Philosophy of Logic 15 (1994) 1–8.
LibreCat
 

1994 | Book (Editor) | LibreCat-ID: 19088
Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit
N.O. Eke, H. Steinecke, eds., Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, Fink, München, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19418
Der historische Roman der frühen Restaurationszeit. Zur Einführung
N.O. Eke, H. Steinecke, in: N.O. Eke, H. Steinecke (Eds.), Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, Fink, München, 1994, pp. 7–16.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed