IBM is a company that provides software and services for business planning and operation. In particular, it develops the IBM ILOG CPLEX Optimizer, a mathematical...
As part of the Collaborative Research Centre 760 - "Biomechanics and Biology of Musculoskeletal Regeneration" - the goal of this project is to reconstruct patient...
Sparse Representation of Solutions of Differential Equations
Recently, very remarkable results on the stable recovery of signals and data from incomplete measurements have been proven that are of enormous practical importance and...
A quantitative understanding of the heart function is crucial for several cardiac therapies, ranging from ablation or resynchronization therapy to valve replacement. The...
Kaskade 7 is a finite element toolbox for the solution of stationary or transient systems of partial differential equations. The library is written in C++ and is based on...
Available solvers for mixed integer programs (MIPs) focus on rapidly finding close to optimal solutions for feasible instances. The answers, however, are computed with...
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...
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...