In the last years the formal verification technique "property checking" was used to prove the correctness of microchip designs. This technique checks all possible input...
Many problems in technical and commercial application areas cannot be formulated adequately as purely linear mixed-integer programs. Several processes and relations...
BabuDB is an embedded non-relational database system suitable for storing large numbers of arbitrary key-value pairs. It is capable of accomodating databases that exceed...
Short waiting and journey times are the most important features of an elevator group control with high quality of service. Classical systems use landing calls and car...
Within urban development areas domestic and trade wastewater as well as extensive quantities of rainwater dependent on the percentage of impermeability accrue. Since the...
The overall objective of the XtreemOS project is the design, implementation, evaluation and distribution of an open source Grid operating system (named XtreemOS) with...
Symmetries arise naturally in integer programs. Often, there is no reason to distinguish certain objects among others. For instance, the actual number that a certain bus...
The aim of GridChem is to bring computational chemistry onto the Grid, and to contribute to the establishment of (de facto) standards in chemistry-related Grid computing...
Digital Neuroanatomy, Data Visualization, and Modelling
This project continues the research started in Virtual NeuroLab.
In this project we will establish a standardized pipeline for the creation of surface-based brain atlases...
Recent progress in basic research has lead to visions how to use new self-organizing networks for advanced information systems. These networks function without central...
The cost sharing problem is a kind of game, in which the costs of an common infrastructure among different members of an organization or a cooperation is partitioned. The...
The structure of fixed telecommunication networks currently undergoes significant changes. More and more applications/services (e-mail, video, fixed and mobile phone...
ENT-Surgery under Consideration of Optimal Nasal Air Flow
Our objective is to analyze and understand the physiology and patho-physiology of normal nasal breathing. To this end, airflow simulations based on computational fluid...
In telecommunication systems different processes consisting of requests have to be served. Various scheduling disciplines are applied for overload control, prioritizing...
Community grid computing aims to provide researchers in a scientific field (i.e. climate research) with an integrated environment for efficient, and secure collaborative...
The BMBF-project Eibone focused on the investigation and development of fundamentals for an efficient, robust and reliable communication network, which should satisfy the...
Cycle and Path Polytopes with and without Length Restrictions
Cycle or path polytopes are the convex hulls of the incidence vectors of (directed) cycles or paths in graphs (digraphs), respectively. By admitting not all cardinalities...
Infeasible linear inequality systems arise in many different contexts. For instance, linear programs might turn out to be infeasible because of modeling errors or data...
Laser welding has grown up to a key technology in modern car body manufacturing during the last 10 years. In one welding phase, a number of welding robots (usually 2-6)...
For pre-operative planning of interventions in dental implantology as well as maxillofacial surgery an accurate geometric reconstruction of the relevant anatomical...
