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...
In this project we developed a novel theory of path connectivity that generalizes the Steiner tree problem to a hypergraph setting. Main results include a Menger...
Chip Design Verification with Constraint Integer Programming
In the design process of integrated circuits and other electronic hardware, a huge amount of time and resources is spent on the verification of the design and the final...
Today's logistics shows two faces. On the one hand, there are areas which are almost completely dominated by manual planning (e.g., hospital logistics), while some of the...
XtreemFS is a distributed and replicated file system for cloud and grid infrastructures; clients and servers can be distributed worldwide. XtreemFS builds a reliable...
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...
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...
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...
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 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...
Discrete Morse theory was developed by Forman as a combinatorial analog to the classical smooth Morse theory. There are numerous applications to questions in...
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)...
