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.

12549 Publications


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

1994 | Book | LibreCat-ID: 3333
Kleine Büning H, Lettmann T. Aussagenlogik - Deduktion und Algorithmen. Teubner; 1994. doi:10.1007/978-3-322-84809-3
LibreCat | DOI
 

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

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

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

1994 | Misc | LibreCat-ID: 13083
Venkataraman S, Rajski J, Hellebrand S, Tarnick S. 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
Platzner M, Steger C, Weiss R. Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In: Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press; 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
Schmidt WG, Wenzien B, Bechstedt F. Coverage-dependent bonding of Sb on GaAs (110). Surface Science. 1994;307-309(Part A):235-240. doi:10.1016/0039-6028(94)90400-6
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\"{u}}diger, 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. {IFIP} Transactions. ; 1994:247--266.
LibreCat
 

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

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

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

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

1994 | Conference Paper | LibreCat-ID: 8093
Strauss P, Onneken K, Krauter S, Hanitsch R. Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation. 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
Engels G, Groenewegen L. Specification of coordinated behaviour by SOCCA. In: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France). LNCS. Berlin/Heidelberg: Springer; 1994:128-151. doi:http://dx.doi.org/10.1007/3-540-57739-4_19
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 16549
Dellnitz M, Golubitsky M, Nicol M. Symmetry of Attractors and the Karhunen-Loève Decomposition. In: Trends and Perspectives in Applied Mathematics. New York, NY; 1994. doi:10.1007/978-1-4612-0859-4_4
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 16544
Dellnitz M, Scheurle J. Eigenvalue Movement for a Class of Reversible Hamiltonian Systems with Three Degrees of Freedom. In: Dynamics, Bifurcation and Symmetry. Dordrecht; 1994. doi:10.1007/978-94-011-0956-7_9
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 17489
Peckhaus V. Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen. Modern Logic. 1994;4:357-381.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 19416
Eke NO. „Lieber Niembsch“ oder: Der Dichter im Gehäus. Anmerkungen zu Manfred Karges Spiel mit Biographie und Geschichte um den Autor im „Stadium der Verrücktheit“. Lenau-Forum. 1994;20(Folge 1-4):109-129.
LibreCat
 

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

1994 | Misc | LibreCat-ID: 13084
Hellebrand S, Wunderlich H-J. 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
Schmidt WG, Wenzien B, Bechstedt F. Chemisorption of antimony on GaAs(110). Physical Review B. 1994;49(7):4731-4744. doi:10.1103/physrevb.49.4731
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15509
Hagengruber R. Parallelen um den Punkt zwischen Campanella und Leibniz. In: Heinekamp A, Hein I, Stiftung Niedersachsen, eds. Leibniz und Europa. Vol 1. VI. Internationaler Leibniz-Kongress. ; 1994:309-315.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing. 1994:738-761. doi:10.1137/s0097539791194094
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 16817
Domik-Kienegger G. Visualization education. Comput Graph. 1994;18(3):277-280. doi:10.1016/0097-8493(94)90026-4
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 2452
Simon J. Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors. In: Parallele Datenverarbeitung Aktuell: TAT ’94. Transputer and Occam Engineering Series. Amsterdam: IOS Press; 1994:38-45.
LibreCat
 

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

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

1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny J, Ehrig H, Engels G, Rozenberg G, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol 1073. Berlin/Heidelberg: Springer; 1994. doi:http://dx.doi.org/10.1007/3-540-61228-9
LibreCat | DOI
 

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

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

1994 | Book | LibreCat-ID: 17303
Fuchssteiner B, Gottheil K, Kemper A, et al. MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser; 1994.
LibreCat
 

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

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

1994 | Journal Article | LibreCat-ID: 17841
Peckhaus V. Rüstow’s Thesis on Russell’s Paradox (Abdruck von “Alexander Rüstow’s Thesis”, Beitrag für  russell-l@mcmail.cis.mcmaster am 17. Juni 1994). History of Logic Newsletter. 1994;13(September-Oktober 1994):2-3.
LibreCat
 

1994 | Misc | LibreCat-ID: 17896
Peckhaus V. 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
Peckhaus V. Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908). In: Prawitz D, Westerståhl D, eds. Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science. Vol 236. Synthese Library. Dordrecht/Boston/London: Kluwer; 1994:311-323.
LibreCat
 

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

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

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

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

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

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

1994 | Journal Article | LibreCat-ID: 16541
Dellnitz M, Melbourne I. Generic movement of eigenvalues for equivariant self-adjoint matrices. Journal of Computational and Applied Mathematics. 1994:249-259. doi:10.1016/0377-0427(94)90032-9
LibreCat | DOI
 

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

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

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

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

1994 | Report | LibreCat-ID: 13024
Hellebrand S, Juergensen A, Wunderlich H-J. Synthesis for Off-Line Testability. University of Siegen, Germany; 1994.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed