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.

1691 Publications


2004 | Journal Article | LibreCat-ID: 27926
„Was gibt’s heute?“ Aktuelle Ansätze der Ernährungsbildung
K. Schlegel-Matthies, Campus Culinaire 1 (2004) 103–108.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 18785
Reducing State Changes with a Pipeline Buffer
C. Sohler, J. Krokowski, H. Räcke, M. Westermann, in: Proceedings of the Vision, Modeling, and Visualization Conference (VMV 2004), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 18364
Guidance of Users in Interactive 3D-Visualisations of Material Flow Simulations
B. Mueck, W. Dangelmaier, C. Laroque, M. Fischer, M. Kortenjan, in: Simulation and Visualisation 2004, SCS European Publishing House, Magdeburg, 2004, pp. 73–83.
LibreCat | Files available
 

2004 | Conference Paper | LibreCat-ID: 7931
Efficient Execution of UML State Machines on a Virtual Machine
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 853
Research Challenges in Mobility and Moving Networks: An Ambient Networks View
V. Typpö, J. Eisl, J. Höller, R. Agüero, H. Karl, in: Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France, 2004, pp. 145--155.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 16803
openVisaar: Enriching Cooperative Visualization by Combining Open Technologies
F. Goetz, G. Domik, in: Y. Luo (Ed.), Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, Springer, 2004, pp. 38–46.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 16804
An XML-based visual shading language for vertex and fragment shaders
F. Goetz, R. Borau, G. Domik, in: D. P. Brutzman, L. Chittaro, R. Puk (Eds.), Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, {ACM}, 2004, pp. 87–97.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 11932 | OA
Adaptive Beamforming Combined with Particle Filtering for Acoustic Source Localization
E. Warsitz, R. Haeb-Umbach, S. Peschke, in: International Conference on Spoken Language Processing (ICSLP 2004), 2004.
LibreCat | Download (ext.)
 

2004 | Journal Article | LibreCat-ID: 13722
Ground- and excited-state properties of DNA base molecules from plane-wave calculations using ultrasoft pseudopotentials
M. Preuss, W.G. Schmidt, K. Seino, J. Furthmüller, F. Bechstedt, Journal of Computational Chemistry 25 (2004) 112–122.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 29921 | OA
Advanced Hysteresis Control of Brushless DC Motors
J. Böcker, in: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.
LibreCat | Download (ext.)
 

2004 | Book Chapter | LibreCat-ID: 33825
Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat | DOI
 

2004 | Book Chapter | LibreCat-ID: 33830
Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 36082
„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit
K. Schlegel-Matthies, in: H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, Steiner-Verlag, Stuttgart, 2004, pp. 148–161.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 22615
The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth
M.T. de los Arcos de Pedro, M.G. Garnier, J.W. Seo, P. Oelhafen, V. Thommen, D. Mathys, The Journal of Physical Chemistry B (2004) 7728–7734.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39055
The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39352
An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
LibreCat | DOI
 
 

Filters and Search Terms

keyword%3D%22Steady-state%22

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed