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.

9765 Publications


1994 | Conference Paper | LibreCat-ID: 3263
Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20
LibreCat | DOI
 

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 | 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 (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: 7827
Thoben W, Appelrath H-J, Rettig J, Sauer S. Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister. In: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany). München: MMV Medizin Verlag; 1994:88-90.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Ebert J, Engels G. Structural and Behavioural Views on OMT-Classes. In: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy). Vol 858. Berlin/Heidelberg: Springer; 1994:142-157.
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: 7830
Engels G, Ehrig H. Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science. Vol B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Krauter S, Hanitsch R, Campbell P, Wenham SR. Optical Modelling, Simulation and Improvement of PV Module Encapsulation. 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: 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: 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: 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 | Conference Paper | LibreCat-ID: 8096
Krauter S. Actual Optical and Thermal Performance of PV-Modules. In: Proceedings of the 1st World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Waikoloa, Hawaii (USA), 5.–9. Dezember 1994, S. 734–737. ; 1994.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 8263
Andries M, Engels G. Syntax and Semantics of Hybrid Database Languages. In: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany). Vol 776. LNCS. Berlin/Heidelberg: Springer; 1994:19-36. doi:http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat | DOI
 

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 | 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 | 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 | Book Chapter | LibreCat-ID: 7512
Ebert J, Engels G. Design Representation. In: Encyclopedia of Software Engineering. John Wiley & Sons, Inc.; 1994:382-394.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
Engels G, Groenewegen L. SOCCA: Specifications of Coordinated and Cooperative Activities. In: Software Process Modelling and Technology. Taunton: Research Studies Press; 1994:71-102.
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 | 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: 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 | 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 | 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 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: 16819
Domik G, Gutkauf B. User Modeling for Adaptive Visualization Systems. In: Daniel Bergeron R, E. Kaufman A, eds. Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994. IEEE Computer Society; 1994:217-223. doi:10.1109/VISUAL.1994.346316
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 17014
Dellnitz M. Collisions of chaotic attractors. Schlaglichter der Forschung: Zum 75 Jahrestag der Universität Hamburg. 1994:411-428.
LibreCat
 

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

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

1994 | Conference Paper | LibreCat-ID: 15296
Hüllermeier E. Approximate solution of a linear programming problem using a modified perceptron-algorithm. In: Zimmermann HJ, ed. In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1994:195-199.
LibreCat
 

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 | 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 | 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 | 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 | Conference Paper | LibreCat-ID: 30025
Sun J, Grotstollen I. Pulsewidth modulation based on real-time solution of algebraic harmonic elimination equations. In: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics. IEEE; 1994. doi:10.1109/iecon.1994.397753
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 30021
Ruff M, Bunte A, Grotstollen H. A new self-commissioning scheme for an asynchronous motor drive system. In: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting. IEEE; 1994. doi:10.1109/ias.1994.345457
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 30027
Sun J, Beineke S, Grotstollen H. DSP-based real-time harmonic elimination of PWM inverters. In: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94. IEEE; 1994. doi:10.1109/pesc.1994.349664
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 30026
Heinemann L, Schulze R, Wallmeier P, Grotstollen H. Modeling of high frequency inductors. In: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94. IEEE; 1994. doi:10.1109/pesc.1994.373782
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 30023
Fröhleke N, Becker B, Grotstollen H, Magaritis B, Vollmer L. Analysis and design of isolated high power boost topologies and simulations with quasi-static and quasi-stationary transformer models. In: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting. IEEE; 1994. doi:10.1109/ias.1994.377539
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 30024
Fröhleke N, Mende R, Grotstollen H, Margaritis B, Vollmer L. Isolated boost full bridge topology suitable for high power and power factor correction. In: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics. IEEE; 1994. doi:10.1109/iecon.1994.397812
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 30022
Fröhleke N, Becker B, Wallmeier P, Grotstollen H. Computer aided optimization of multi-winding transformers for SMPS considering HF-effects. In: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting. IEEE; 1994. doi:10.1109/ias.1994.377546
LibreCat | DOI
 

1994 | Dissertation | LibreCat-ID: 30850
Josef Wiesing J. Betrieb der feldorientierten geregelten Asynchronmaschine im Bereich oberhalb der Nenndrehzahl.; 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). IEEE; 1994:110-116. doi:10.1109/iccad.1994.629752
LibreCat | DOI
 

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. ; 1994:3-11.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. In: European Design and Test Conference (EDAC/ETC/EUROASIC). ; 1994:580-585. doi:10.1109/edtc.1994.326815
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 39557
Felser W, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung. Published online 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39560
Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: Proceedings of the 17th Annual Computer Science Conference. ; 1994:331-342.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39577
Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39575
Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: Proceedings of EURO-DAC’94/EURO-VHDL’94. ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming Language. Published online 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39572
Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. In: Proceedings of the 1994 ASME Computers in Engineering Conference. ; 1994:145-154.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 38463
REHAGE M, Noé R. WAVELENGTH-SELECTIVE POLARIZATION ANALYZER WITH INTEGRATED TI LINBO3 ACOUSTOOPTICAL TE-TM CONVERTER. ELECTRONICS LETTERS. 1994;30(14):1130-1131. doi:10.1049/el:19940802
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 39908
Hilleringmann U, Adams S, Goser K. Micromechanic Pressure Sensors with Optical Readout and CMOS-Amplifiers on Silicon. In: ESSDERC ’94: 24th European Solid State Device Research Conference. ; 1994:387-390.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 51481
Hilgert J, Neeb K-H. Poisson Lie Groups and Non-LInear Convexity Theorems. In: Doebner HD, et al., eds. Generalized Symmetries in Physics. World Scientifi; 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 51482
Hilgert J. Radon Transform on Halfplanes via Group Theory. In: Tanner EA, Wilson R, eds. Non-Compact Lie Groups and Some of Their Applcations. Vol 249. NATO ASI Series. KLuwer; 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 51480
Hilgert J, Neeb K-H. A General Setting for Wiener-Hopf Operators. In: Gindikin SG, Michor P, eds. 75 Years of Radon Transform. International Press; 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 51438
Hilgert J, Neeb K-H, Orsted B. The Geometry of Nilpotent Coadjoint Orbits of Convex Type in Hermitian Lie Algebras. J Lie Theory. 1994;4:47-97.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 51439
Hilgert J, Faraut J, Ólafsson G. Spherical Functions on Ordered Symmetric Spaces. Ann Inst Fourier. 1994;44:927-965.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 51440
Hilgert J, Neeb K-H, Plank W. Symplectic Convexity Theorems and Coadjoint Orbits. Compositio Math. 1994;94:129-180.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 51441
Hilgert J. A Convexity Theorems for Boundaries of Ordered Symmetric Spaces. Canad J Math. 1994;46:746-757.
LibreCat
 

1994 | Book Review | LibreCat-ID: 51596
Hilgert J. Leptin, H. und J. Ludwig. Unitary Representation Theory of Exponential Lie Groups (De Gruyter, Berlin, 1994). Zentralblatt für Math. Published online 1994.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 19814
Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications. 1993:327-340. doi:10.1051/ita/1993270403271
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 3045
Blömer J. On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik; 1993.
LibreCat
 

1993 | Book (Editor) | LibreCat-ID: 17477
Meyer auf der Heide F, Monien B, Rosenberg AL, eds. Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer; 1993. doi:10.1007/3-540-56731-3
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 17479
Kastens U, Meyer auf der Heide F, Wachsmann A, Wichmann F. OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report). In: Proc. 3rd PASA Workshop, PARS Mitteilungen. ; 1993:50-55.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
Engels G, Verrijn-Stuart AA. Integrationsaspekte bei verteilter Software-Entwicklung. In: Fortschritt-Berichte VDI. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag; 1993:45-53.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8089
Krauter S, Hanitsch R. Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules. In: Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993. ; 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8090
Krauter S, Hanitsch R. Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power. In: Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254. ; 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8190
Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8191
Ehrig H, Engels G. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8192
Engels G, Rozenberg G. Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8262
Engels G, Groenewegen L. Modular, Visual Specifications of Software Processes. In: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany). Washington, DC, USA: IEEE Computer Society; 1993:66-68.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 16518
Barany E, Dellnitz M, Golubitsky M. Detecting the symmetry of attractors. Physica D: Nonlinear Phenomena. 1993:66-87. doi:10.1016/0167-2789(93)90198-a
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16633
Melbourne I, Dellnitz M. Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group. Mathematical Proceedings of the Cambridge Philosophical Society. 1993:235-268. doi:10.1017/s0305004100071577
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16634
Melbourne I, Dellnitz M, Golubitsky M. The structure of symmetric attractors. Archive for Rational Mechanics and Analysis. 1993:75-98. doi:10.1007/bf00386369
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger M, Meyer auf der Heide F. An Optimal Parallel Dictionary. Information and Computation. 1993:196-217. doi:10.1006/inco.1993.1007
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide F, Oesterdiekhoff B, Wanka R. Strongly adaptive token distribution. In: Automata, Languages and Programming. Berlin, Heidelberg; 1993. doi:10.1007/3-540-56939-1_89
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 16731
Dietzfelbinger M, Meyer auf der Heide F. Simple, efficient shared memory simulations. In: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’93. ; 1993. doi:10.1145/165231.165246
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 16732
Lürwer-Brüggemeier K, Meyer auf der Heide F. Capabilities and complexity of computations with integer division. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1993. doi:10.1007/3-540-56503-5_46
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 16828
Domik G. Education in Scientific Visualization. In: D. Franklin S, R. Stubberud A, P. Wiedeman L, eds. University Education Uses of Visualization in Scientific Computing, Proceedings of the {IFIP} {WG3.2} Working Conference on Visualization in Scientific Computing: Uses in University Education, Irvine, CA, USA, 28-30 July, 1993. Vol {A-48}. {IFIP} Transactions. North-Holland; 1993:25-32.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16906
Domik G. Scientific Visualization. In: Maurer H, ed. Proceedings of ED Media ’93. World Conference on Educational Multimedia and Hypermedia. Florida, USA; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 17013
Dellnitz M. The equivariant Darboux theorem. Lectures in Applied Mathematics. 1993;29:163-169.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11718 | OA
Aubert XL, Haeb-Umbach R, Ney H. Continuous Mixture Densities and Linear Discriminant Analysis for Improved Context-Dependent Acoustic Models. In: ICASSP, Minneapolis. ; 1993.
LibreCat | Download (ext.)
 

1993 | Journal Article | LibreCat-ID: 11749
Dobler S, Geller D, Haeb-Umbach R, Meyer P, Ney H, Ruehl HW. Design and use of speech recognition algorithms for a mobile radio telephone. Speech Communication. 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11788 | OA
Haeb-Umbach R, Geller D, Ney H. Improvements in Connected Digit Recognition Using Linear Discriminant Analysis and Mixture Densities. In: ICASSP, Minneapolis. ; 1993.
LibreCat | Download (ext.)
 

1993 | Conference Paper | LibreCat-ID: 11904 | OA
Steinbiss V, Ney H, Haeb-Umbach R, et al. The Philips Research System for Large-Vocabulary Continuous-Speech Recognition. In: EUROSPEECH, Berlin. ; 1993.
LibreCat | Download (ext.)
 

1993 | Journal Article | LibreCat-ID: 15045
Domik G. An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report. COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-. 1993;27:6-6.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15273
Domik G. Guidelines for a curriculum in scientific visualization. Computers & Graphics. 1993;17(2):185-191. doi:10.1016/0097-8493(93)90103-G
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 15275
Domik G, Joslyn C, Segura T. Macroscopic and Microscopic Aspects of Glyphs. In: Proceedings of the Vienna Conference on Human Computer Interaction. ; 1993.
LibreCat
 

1993 | Misc | LibreCat-ID: 13081
Hellebrand S, Tarnick S, Rajski J, Courtois B. Effiziente Erzeugung Deterministischer Muster Im Selbsttest. 5th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Holzhau, Germany; 1993.
LibreCat
 

1993 | Misc | LibreCat-ID: 13082
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13466
Platzner M, Steger C. Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40). Mikroelektronik. 1993.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed