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
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
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.
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
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.
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
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.
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
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.
1994 | Conference Paper | LibreCat-ID: 7827
Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister
W. Thoben, H.-J. Appelrath, J. Rettig, S. Sauer, in: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), MMV Medizin Verlag, München, 1994, pp. 88–90.
LibreCat
W. Thoben, H.-J. Appelrath, J. Rettig, S. Sauer, in: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), MMV Medizin Verlag, München, 1994, pp. 88–90.
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
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.
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
G. Engels, G. Kappel, in: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), Elsevier, 1994, pp. 434–441.
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
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.
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
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.
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
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.
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
S. Krauter, R. Hanitsch, in: Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502, 1994.
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
S. Krauter, R. Hanitsch, S.R. Wenham, in: Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
1994 | Conference Paper | LibreCat-ID: 8096
Actual Optical and Thermal Performance of PV-Modules
S. Krauter, 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
S. Krauter, 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.
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
J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
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
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.
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
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.
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
G. Engels, P. Löhr, in: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), Springer, Berlin/Heidelberg, 1994, pp. 303–314.
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
P. Löhr-Richter, G. Engels, GI-Datenbank Rundbrief 13 (1994) 33–35.
1994 | Book Chapter | LibreCat-ID: 7512
Design Representation
J. Ebert, G. Engels, in: Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
J. Ebert, G. Engels, in: Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
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
G. Engels, L. Groenewegen, in: Software Process Modelling and Technology, Research Studies Press, Taunton, 1994, pp. 71–102.
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
J. Bendfeld, A. Ernst, E. Ortjohann, Windatlas für das PESAG-Versorgungsgebiet, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994, 1994.
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
J. Bendfeld, A. Ernst, E. Ortjohann, B. Langrock, N. Scholz, in: Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, 1994.
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
M. Dellnitz, I. Melbourne, Journal of Computational and Applied Mathematics (1994) 249–259.
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
M. Dellnitz, J. Scheurle, in: Dynamics, Bifurcation and Symmetry, Dordrecht, 1994.
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
M. Dellnitz, M. Golubitsky, M. Nicol, in: Trends and Perspectives in Applied Mathematics, New York, NY, 1994.
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
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, SIAM Journal on Computing (1994) 738–761.
1994 | Journal Article | LibreCat-ID: 16817
Visualization education
G. Domik, Comput. Graph. 18 (1994) 277–280.
LibreCat
| DOI
G. Domik, Comput. Graph. 18 (1994) 277–280.
1994 | Conference Paper | LibreCat-ID: 16819
User Modeling for Adaptive Visualization Systems
G. Domik, B. Gutkauf, in: R. Daniel Bergeron, A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, IEEE Computer Society, 1994, pp. 217–223.
LibreCat
| DOI
G. Domik, B. Gutkauf, in: R. Daniel Bergeron, A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, IEEE Computer Society, 1994, pp. 217–223.
1994 | Journal Article | LibreCat-ID: 17014
Collisions of chaotic attractors
M. Dellnitz, Schlaglichter Der Forschung: Zum 75. Jahrestag Der Universität Hamburg (1994) 411–428.
LibreCat
M. Dellnitz, Schlaglichter Der Forschung: Zum 75. Jahrestag Der Universität Hamburg (1994) 411–428.
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
R. Haeb-Umbach, H. Ney, IEEE Transactions on Speech and Audio Processing (1994).
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
H. Ney, V. Steinbeiss, X.L. Aubert, R. Haeb-Umbach, in: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.
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
H. Ney, V. Steinbeiss, R. Haeb-Umbach, B.H. Tran, International Journal on Pattern Recognition and Artificial Intelligence (1994).
1994 | Report | LibreCat-ID: 13024
Synthesis for Off-line Testability
S. Hellebrand, A. Juergensen, H.-J. Wunderlich, Synthesis for Off-Line Testability, University of Siegen, Germany, 1994.
LibreCat
S. Hellebrand, A. Juergensen, H.-J. Wunderlich, Synthesis for Off-Line Testability, University of Siegen, Germany, 1994.
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
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.
1994 | Conference Paper | LibreCat-ID: 15296
Approximate solution of a linear programming problem using a modified perceptron-algorithm.
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.
LibreCat
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.
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
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.
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
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.
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
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.
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
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
1994 | Conference Paper | LibreCat-ID: 30025
Pulsewidth modulation based on real-time solution of algebraic harmonic elimination equations
J. Sun, I. Grotstollen, in: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics, IEEE, 1994.
LibreCat
| DOI
J. Sun, I. Grotstollen, in: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30021
A new self-commissioning scheme for an asynchronous motor drive system
M. Ruff, A. Bunte, H. Grotstollen, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
LibreCat
| DOI
M. Ruff, A. Bunte, H. Grotstollen, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30027
DSP-based real-time harmonic elimination of PWM inverters
J. Sun, S. Beineke, H. Grotstollen, in: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94, IEEE, 1994.
LibreCat
| DOI
J. Sun, S. Beineke, H. Grotstollen, in: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30026
Modeling of high frequency inductors
L. Heinemann, R. Schulze, P. Wallmeier, H. Grotstollen, in: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94, IEEE, 1994.
LibreCat
| DOI
L. Heinemann, R. Schulze, P. Wallmeier, H. Grotstollen, in: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30023
Analysis and design of isolated high power boost topologies and simulations with quasi-static and quasi-stationary transformer models
N. Fröhleke, B. Becker, H. Grotstollen, B. Magaritis, L. Vollmer, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
LibreCat
| DOI
N. Fröhleke, B. Becker, H. Grotstollen, B. Magaritis, L. Vollmer, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30024
Isolated boost full bridge topology suitable for high power and power factor correction
N. Fröhleke, R. Mende, H. Grotstollen, B. Margaritis, L. Vollmer, in: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics, IEEE, 1994.
LibreCat
| DOI
N. Fröhleke, R. Mende, H. Grotstollen, B. Margaritis, L. Vollmer, in: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30022
Computer aided optimization of multi-winding transformers for SMPS considering HF-effects
N. Fröhleke, B. Becker, P. Wallmeier, H. Grotstollen, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
LibreCat
| DOI
N. Fröhleke, B. Becker, P. Wallmeier, H. Grotstollen, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
1994 | Dissertation | LibreCat-ID: 30850
Betrieb der feldorientierten geregelten Asynchronmaschine im Bereich oberhalb der Nenndrehzahl
J. Josef Wiesing, Betrieb der feldorientierten geregelten Asynchronmaschine im Bereich oberhalb der Nenndrehzahl, 1994.
LibreCat
J. Josef Wiesing, Betrieb der feldorientierten geregelten Asynchronmaschine im Bereich oberhalb der Nenndrehzahl, 1994.
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
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.
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
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.
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), Paris, France, 1994, pp. 580–585.
LibreCat
| DOI
S. Hellebrand, H.-J. Wunderlich, in: European Design and Test Conference (EDAC/ETC/EUROASIC), Paris, France, 1994, pp. 580–585.
1994 | Conference Paper | LibreCat-ID: 39557
EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung
W. Felser, W. Müller, (1994).
LibreCat
W. Felser, W. Müller, (1994).
1994 | Conference Paper | LibreCat-ID: 39560
FADE: A Layout Facility for Graph-Based Diagrams
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
LibreCat
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
1994 | Conference Paper | LibreCat-ID: 39565
Implementing Simultaneous Design: A Case Study
D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), PoDTe, UK, 1994.
LibreCat
D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), PoDTe, UK, 1994.
1994 | Conference Paper | LibreCat-ID: 39577
Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
LibreCat
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
1994 | Conference Paper | LibreCat-ID: 39575
The Semantics of Behavioral VHDL'93 Descriptions
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.
LibreCat
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.
1994 | Conference Paper | LibreCat-ID: 39554
Ein paralleles Framework fuer die Validierung von STEP-Produktdaten
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
LibreCat
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
1994 | Conference Paper | LibreCat-ID: 39566
Parallel Validation of STEP Files
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), Poole, UK, 1994.
LibreCat
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), Poole, UK, 1994.
1994 | Conference Paper | LibreCat-ID: 39569
Computational Model of a Logical Visual Programming Language
G. Lehrenfeld, W. Müller, (1994).
LibreCat
G. Lehrenfeld, W. Müller, (1994).
1994 | Conference Paper | LibreCat-ID: 39572
EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring
W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.
LibreCat
W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.
1994 | Journal Article | LibreCat-ID: 38463
WAVELENGTH-SELECTIVE POLARIZATION ANALYZER WITH INTEGRATED TI LINBO3 ACOUSTOOPTICAL TE-TM CONVERTER
M. REHAGE, R. Noé, ELECTRONICS LETTERS 30 (1994) 1130–1131.
LibreCat
| DOI
M. REHAGE, R. Noé, ELECTRONICS LETTERS 30 (1994) 1130–1131.
1994 | Conference Paper | LibreCat-ID: 39908
Micromechanic Pressure Sensors with Optical Readout and CMOS-Amplifiers on Silicon
U. Hilleringmann, S. Adams, K. Goser, in: ESSDERC ’94: 24th European Solid State Device Research Conference, 1994, pp. 387–390.
LibreCat
U. Hilleringmann, S. Adams, K. Goser, in: ESSDERC ’94: 24th European Solid State Device Research Conference, 1994, pp. 387–390.
1994 | Book Chapter | LibreCat-ID: 51481
Poisson Lie Groups and Non-LInear Convexity Theorems
J. Hilgert, K.-H. Neeb, in: H.D. Doebner, et al. (Eds.), Generalized Symmetries in Physics, World Scientifi, Singapore, 1994.
LibreCat
J. Hilgert, K.-H. Neeb, in: H.D. Doebner, et al. (Eds.), Generalized Symmetries in Physics, World Scientifi, Singapore, 1994.
1994 | Book Chapter | LibreCat-ID: 51482
Radon Transform on Halfplanes via Group Theory
J. Hilgert, in: E.A. Tanner, R. Wilson (Eds.), Non-Compact Lie Groups and Some of Their Applcations, KLuwer, Dordrecht, 1994.
LibreCat
J. Hilgert, in: E.A. Tanner, R. Wilson (Eds.), Non-Compact Lie Groups and Some of Their Applcations, KLuwer, Dordrecht, 1994.
1994 | Book Chapter | LibreCat-ID: 51480
A General Setting for Wiener-Hopf Operators
J. Hilgert, K.-H. Neeb, in: S.G. Gindikin, P. Michor (Eds.), 75 Years of Radon Transform, International Press, Boston, 1994.
LibreCat
J. Hilgert, K.-H. Neeb, in: S.G. Gindikin, P. Michor (Eds.), 75 Years of Radon Transform, International Press, Boston, 1994.
1994 | Journal Article | LibreCat-ID: 51438
The Geometry of Nilpotent Coadjoint Orbits of Convex Type in Hermitian Lie Algebras
J. Hilgert, K.-H. Neeb, B. Orsted, J. Lie Theory 4 (1994) 47–97.
LibreCat
J. Hilgert, K.-H. Neeb, B. Orsted, J. Lie Theory 4 (1994) 47–97.
1994 | Journal Article | LibreCat-ID: 51439
Spherical Functions on Ordered Symmetric Spaces
J. Hilgert, J. Faraut, G. Ólafsson, Ann. Inst. Fourier 44 (1994) 927–965.
LibreCat
J. Hilgert, J. Faraut, G. Ólafsson, Ann. Inst. Fourier 44 (1994) 927–965.
1994 | Journal Article | LibreCat-ID: 51440
Symplectic Convexity Theorems and Coadjoint Orbits
J. Hilgert, K.-H. Neeb, W. Plank, Compositio Math. 94 (1994) 129–180.
LibreCat
J. Hilgert, K.-H. Neeb, W. Plank, Compositio Math. 94 (1994) 129–180.
1994 | Journal Article | LibreCat-ID: 51441
A Convexity Theorems for Boundaries of Ordered Symmetric Spaces
J. Hilgert, Canad. J. Math. 46 (1994) 746–757.
LibreCat
J. Hilgert, Canad. J. Math. 46 (1994) 746–757.
1994 | Book Review | LibreCat-ID: 51596
Leptin, H. und J. Ludwig. Unitary Representation Theory of Exponential Lie Groups (De Gruyter, Berlin, 1994)
J. Hilgert, Zentralblatt Für Math. (1994).
LibreCat
J. Hilgert, Zentralblatt Für Math. (1994).
1993 | Journal Article | LibreCat-ID: 19814
On the restricted equivalence for subclasses of propositional logic
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
LibreCat
| DOI
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
1993 | Report | LibreCat-ID: 3045
On Kummer theory and the number of roots of unity in radical extensions of Q
J. Blömer, 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
J. Blömer, 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.
1993 | Book (Editor) | LibreCat-ID: 17477
Parallel Architectures and Their Efficient Use
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
LibreCat
| DOI
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
1993 | Conference Paper | LibreCat-ID: 17479
OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report)
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, F. Wichmann, in: Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, F. Wichmann, in: Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
1993 | Conference Paper | LibreCat-ID: 7826
Integrationsaspekte bei verteilter Software-Entwicklung
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.
LibreCat
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.
1993 | Conference Paper | LibreCat-ID: 8089
Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules
S. Krauter, R. Hanitsch, in: Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993, 1993.
LibreCat
S. Krauter, R. Hanitsch, in: Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993, 1993.
1993 | Conference Paper | LibreCat-ID: 8090
Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power
S. Krauter, R. Hanitsch, in: Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254, 1993.
LibreCat
S. Krauter, R. Hanitsch, in: Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254, 1993.
1993 | Report | LibreCat-ID: 8190
A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
M. Andries, G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
1993 | Report | LibreCat-ID: 8191
Towards a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
1993 | Report | LibreCat-ID: 8192
Abstracts COMPUGRAPH II Workshop
G. Engels, G. Rozenberg, Abstracts COMPUGRAPH II Workshop, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
G. Engels, G. Rozenberg, Abstracts COMPUGRAPH II Workshop, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
1993 | Conference Paper | LibreCat-ID: 8262
Modular, Visual Specifications of Software Processes
G. Engels, L. Groenewegen, in: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, Washington, DC, USA, 1993, pp. 66–68.
LibreCat
G. Engels, L. Groenewegen, in: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, Washington, DC, USA, 1993, pp. 66–68.
1993 | Journal Article | LibreCat-ID: 16518
Detecting the symmetry of attractors
E. Barany, M. Dellnitz, M. Golubitsky, Physica D: Nonlinear Phenomena (1993) 66–87.
LibreCat
| DOI
E. Barany, M. Dellnitz, M. Golubitsky, Physica D: Nonlinear Phenomena (1993) 66–87.
1993 | Journal Article | LibreCat-ID: 16633
Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group
I. Melbourne, M. Dellnitz, Mathematical Proceedings of the Cambridge Philosophical Society (1993) 235–268.
LibreCat
| DOI
I. Melbourne, M. Dellnitz, Mathematical Proceedings of the Cambridge Philosophical Society (1993) 235–268.
1993 | Journal Article | LibreCat-ID: 16634
The structure of symmetric attractors
I. Melbourne, M. Dellnitz, M. Golubitsky, Archive for Rational Mechanics and Analysis (1993) 75–98.
LibreCat
| DOI
I. Melbourne, M. Dellnitz, M. Golubitsky, Archive for Rational Mechanics and Analysis (1993) 75–98.
1993 | Journal Article | LibreCat-ID: 16729
An Optimal Parallel Dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, Information and Computation (1993) 196–217.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, Information and Computation (1993) 196–217.
1993 | Book Chapter | LibreCat-ID: 16730
Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, in: Automata, Languages and Programming, Berlin, Heidelberg, 1993.
LibreCat
| DOI
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, in: Automata, Languages and Programming, Berlin, Heidelberg, 1993.
1993 | Conference Paper | LibreCat-ID: 16731
Simple, efficient shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’93, 1993.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’93, 1993.
1993 | Book Chapter | LibreCat-ID: 16732
Capabilities and complexity of computations with integer division
K. Lürwer-Brüggemeier, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
LibreCat
| DOI
K. Lürwer-Brüggemeier, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
1993 | Conference Paper | LibreCat-ID: 16828
Education in Scientific Visualization
G. Domik, in: S. D. Franklin, A. R. Stubberud, L. P. Wiedeman (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, North-Holland, 1993, pp. 25–32.
LibreCat
G. Domik, in: S. D. Franklin, A. R. Stubberud, L. P. Wiedeman (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, North-Holland, 1993, pp. 25–32.
1993 | Conference Paper | LibreCat-ID: 16906
Scientific Visualization
G. Domik, in: H. Maurer (Ed.), Proceedings of ED Media ’93, Florida, USA, 1993.
LibreCat
G. Domik, in: H. Maurer (Ed.), Proceedings of ED Media ’93, Florida, USA, 1993.
1993 | Journal Article | LibreCat-ID: 17013
The equivariant Darboux theorem
M. Dellnitz, Lectures in Applied Mathematics 29 (1993) 163–169.
LibreCat
M. Dellnitz, Lectures in Applied Mathematics 29 (1993) 163–169.
1993 | Conference Paper | LibreCat-ID: 11718 |
Continuous Mixture Densities and Linear Discriminant Analysis for Improved Context-Dependent Acoustic Models
X.L. Aubert, R. Haeb-Umbach, H. Ney, in: ICASSP, Minneapolis, 1993.
LibreCat
| Download (ext.)
X.L. Aubert, R. Haeb-Umbach, H. Ney, in: ICASSP, Minneapolis, 1993.
1993 | Journal Article | LibreCat-ID: 11749
Design and use of speech recognition algorithms for a mobile radio telephone
S. Dobler, D. Geller, R. Haeb-Umbach, P. Meyer, H. Ney, H.W. Ruehl, Speech Communication (1993).
LibreCat
S. Dobler, D. Geller, R. Haeb-Umbach, P. Meyer, H. Ney, H.W. Ruehl, Speech Communication (1993).
1993 | Conference Paper | LibreCat-ID: 11788 |
Improvements in Connected Digit Recognition Using Linear Discriminant Analysis and Mixture Densities
R. Haeb-Umbach, D. Geller, H. Ney, in: ICASSP, Minneapolis, 1993.
LibreCat
| Download (ext.)
R. Haeb-Umbach, D. Geller, H. Ney, in: ICASSP, Minneapolis, 1993.
1993 | Conference Paper | LibreCat-ID: 11904 |
The Philips Research System for Large-Vocabulary Continuous-Speech Recognition
V. Steinbiss, H. Ney, R. Haeb-Umbach, B.-H. Train, U. Essen, R. Kneser, M. Oerder, H.G. Meier, X. Aubert, C. Dugast, D. Geller, W. Hoellerbauer, H. Bartosik, in: EUROSPEECH, Berlin, 1993.
LibreCat
| Download (ext.)
V. Steinbiss, H. Ney, R. Haeb-Umbach, B.-H. Train, U. Essen, R. Kneser, M. Oerder, H.G. Meier, X. Aubert, C. Dugast, D. Geller, W. Hoellerbauer, H. Bartosik, in: EUROSPEECH, Berlin, 1993.
1993 | Journal Article | LibreCat-ID: 15045
An Agenda for Education in Scientific Visualization, Visualization'92 Workshop Report
G. Domik, COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY- 27 (1993) 6–6.
LibreCat
G. Domik, COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY- 27 (1993) 6–6.
1993 | Journal Article | LibreCat-ID: 15273
Guidelines for a curriculum in scientific visualization
G. Domik, Computers & Graphics 17 (1993) 185–191.
LibreCat
| DOI
G. Domik, Computers & Graphics 17 (1993) 185–191.
1993 | Conference Paper | LibreCat-ID: 15275
Macroscopic and Microscopic Aspects of Glyphs
G. Domik, C. Joslyn, T. Segura, in: Proceedings of the Vienna Conference on Human Computer Interaction, 1993.
LibreCat
G. Domik, C. Joslyn, T. Segura, in: Proceedings of the Vienna Conference on Human Computer Interaction, 1993.
1993 | Misc | LibreCat-ID: 13081
Effiziente Erzeugung deterministischer Muster im Selbsttest
S. Hellebrand, S. Tarnick, J. Rajski, B. Courtois, Effiziente Erzeugung Deterministischer Muster Im Selbsttest, 5th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Holzhau, Germany, 1993.
LibreCat
S. Hellebrand, S. Tarnick, J. Rajski, B. Courtois, Effiziente Erzeugung Deterministischer Muster Im Selbsttest, 5th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Holzhau, Germany, 1993.
1993 | Misc | LibreCat-ID: 13082
Synthesis of Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, Synthesis of Self-Testable Controllers, ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France, 1993.
LibreCat
S. Hellebrand, H.-J. Wunderlich, Synthesis of Self-Testable Controllers, ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France, 1993.
1993 | Journal Article | LibreCat-ID: 13466
Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40)
M. Platzner, C. Steger, Mikroelektronik (1993).
LibreCat
M. Platzner, C. Steger, Mikroelektronik (1993).