Media Name: Infeas-teaser.png

Infeasible Linear Inequality Systems

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...

Infeasible Linear Inequality Systems
Media Name: DFN-quad.jpg

X-WiN Optimization of the German Research Network X-WiN

Since 2006, the X-WiN is the national backbone of DFN ~ Germany`s National Research and Education Network. X-WiN connects over 400 German universities and research...

X-WiN Optimization of the German Research Network X-WiN
Media Name: neuk-quad.png

Research Network Energy und Communication

Optimization of distributed power systems by integration of modern communication techniques

Research Network Energy und Communication
Media Name: netline.jpg

Airline Crew Scheduling

For decades techniques of the discrete optimization have found numerous applications in the planning process of an aviatian company. The personnel planning in the...

Airline Crew Scheduling
Media Name: atesio-quad.png

Fixed- and Wireless Network Optimization

The aim of this cooperation is to support various other projects that deal with telecommunication network planning and are conducted in cooperation with atesio GmbH.

Fixed- and Wireless Network Optimization
Media Name: a40f75ed1e.gif

DSVis/SchedVis - Vizualisation of duty-scheduling problems

Some of the most important problems arising in public transport, are the effective allcoation of drivers and vehicles. These, so called "Vehicle and Duty Scheduling...

DSVis/SchedVis - Vizualisation of duty-scheduling problems
Media Name: bca5a8643c.jpg

Optimal Admission Control

The IP based transport of real time services like for example of speech and moving pictures in mobile networks is considered as an utmost promising application of third...

Optimal Admission Control
Media Name: rand.png

Randomized methods in network optimization

Network flows are a fundamental modelling tool in applications of Discrete Mathematics such as the ones in the Application Area B ("Traffic and communication networks")...

Randomized methods in network optimization
Media Name: Valse-XT_logo.png

Automated Validation of System-on-Chip Designs

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...

Automated Validation of System-on-Chip Designs
Media Name: Simulation.png

Stability, Sensitivity, and Robustness in Combinatorial Online Optimization

New discrete Online-Optimization methods for in-house logistic systems using various reoptimization models will be evaluated in theory and simulation. Many logistic...

Stability, Sensitivity, and Robustness in Combinatorial Online Optimization
Media Name: graph.png

Graph Colorings: Topological Lower Bounds

In his remarkable proof from 1978 of the Kneser conjecture, László Lovász, for the first time, used tools from Algebraic Topology to obtain lower bounds on the chromatic...

Graph Colorings: Topological Lower Bounds
Media Name: poly.png

Describing Polyhedra by Polynomial Inequalities

Describing Polyhedra by Polynomial Inequalities Description: A new method of describing polyhedra is implied by results in real-algebraic geometry. The aim of this...

Describing Polyhedra by Polynomial Inequalities
Media Name: HTK_logo.jpg

Online-Dispatching of Service Technicians

Service technicians of a customer service are dispatched in two steps. During the customer call, the dispatcher has to arrange for a target date with the customer...

Online-Dispatching of Service Technicians
Media Name: stablemultisets.jpg

Integer generalizations of basic 0-1 problems

Many fundamental combinatorial problems exhibit characteristic structures. Such properties can be exploited for deriving efficient algorithms and, moreover, are often...

Integer generalizations of basic 0-1 problems
Media Name: water-icon.jpg

Operative Planning in Berlin's Drinking Water Network

Drinking water suppliers have to provide every consumer with the required amount of water at sufficient pressure. To ensure this, Berlin's municipal water supplier...

Operative Planning in Berlin's Drinking Water Network
Media Name: trassenb.jpg

Slot Allocation for Railways

The interdisciplinary project Trassenbörse deals with the problem, wether an auction-based allocation of railway tracks could lead to competitive marketing of a railway...

Slot Allocation for Railways
Media Name: multilevellayer-quad.png

Integrated Planning of Multi-layer Telecommunication Networks

Real-world telecommunication networks consist of a stack of technologically different subnetworks, so-called layers, which are strongly interdependent. These layers have...

Integrated Planning of Multi-layer Telecommunication Networks
Media Name: UMTS.jpg

Planning the UMTS Radio Interface

UMTS networks are currently being deployed and upgraded across the world. UMTS mobile phones are able to send and receive large amounts of data in a short time. The high...

Planning the UMTS Radio Interface
Media Name: Matheon-c3.jpg

Modelling, Analysis, and Simulation of Modular Real-Time Systems

Many optimization problem exhibit a modular structure and decompose into smaller units. Algorithms and analytic tools for the evaluation of individual models have been...

Modelling, Analysis, and Simulation of Modular Real-Time Systems
Media Name: grain_model_teaser.png

Recognition and Analysis of Spatio-Temporal Developmental Patterns

This project is part of the Bioinformatics Center Gatersleben-Halle (BIC-GH). It provides tools for analysis of the development of plant seeds. In particular, it develops...

Recognition and Analysis of Spatio-Temporal Developmental Patterns