Projects

• A3XDB: XML-Databases
  Adaptivity aspects in the architecture and programming of XML databases.

• ADIB: Adaptive Information Support
  Based on an integrated task management system, ADIB aims to develop and test a tool which adaptively and pro-actively provides information and know-how for knowledge intensive tasks.

• AIM: Adaptive, Interactive, and Multi-Perspective Document Management & Knowledge Navigation
  A Novel Framework to Combine Information Retrieval and Multi Criteria Decision Making.

• AMA / AcoLOD / ASYNS: Acoustics
  Asymptotical and multiscale methods in acoustics (AMA), Acoustic level-of-detail simulation (Acoustic LOD), Acoustic synthesis of directed signals (ASYNS)

• AVES/DyMoSiHR: Acoustic and Visual Environmental Simulation/Dynamic Modeling and Simulation of Humans in Robot Interaction
  The project aims at simulating the spreading of sounds within the close-up range of an autonomous mobile robot that is situated in an office environment. This simulation is used for evaluating the robot's control strategies for identifying sound events and reacting to them. In the project's extension, the developed techniques will be applied to human speech and moving humans as sound sources.

• ComDeCo: Composable Derivative Contracts
  A novel component-oriented approach based on the concept of active documents for the composition and pricing of derivatives contracts

• DASIS: Dependability and Adaptivity of Service-oriented Information Systems
  Development of a systematic approach to achieve dependability and adaptivity of service-oriented information systems.

• DeNDeMA: Dependable Networks, Decomposition and Modular Algorithms
  Modular algorithms in location theory, network design and routing

• EVAS: Verification of Adaptive Systems
  Development methodology for verifiably adaptive embedded systems.

• Fimod: Fiber Dynamics Modeling
  Mathematical modeling and simulation of fiber dynamics in air flows.

• INTEMP: Inverse Methods
  Inverse methods for determining the temperature in hot glasses.

• KryFoVe: Computeralgebra
  Applications of advanced algebraic-symbolic methods of computer algebra to crypto analysis, to coding theory and to formal verification of microelectronic systems.

• MacZ: QoS MAC Layer for Dependable Adaptive Wireless Sensor Networks
  Assessment of MacZ - The QoS MAC Layer for Dependable Adaptive Wireless Sensor Networks

• MeStE: Multi-dimensional Statistical Classification
  Analysis, visualization and application of classification techniques to multi-dimensional data

• MultiFil: Multiscale Problems in Filter Design
  Hierarchical Models and Efficient, Adaptive Solvers for Multiscale Problems With the Example Application of Filter Design.

• NetSim: Simulation and Optimization of Networks
  Simulation and optimization of flows in complex networks.

• NeuronGlial: Mathematical Modeling of the Interplay between Neuron and Glial Cells
  Mathematical Modeling of the Interplay between Neuron and Glial Cells

• OekonoSys: Economical Systems
  Stochastic processes for the modeling of economical systems and their long term behavior.

• Sedach: Seismic Data Challenge
  Enhanced seismic data quality for oil exploration

• SegAnIm: Segmentation and model based analysis of images of microstructures
  Development of new, model based methods for segmentation and analysis of large 3d images of microstructures.

• SupChain: Supply Chain Design
  Adaptive, distributed optimization algorithms for dependable, strategic supply chain design based on mathematical programming.

• UniDen: Noise Removal
  A unified approach for noise removal methods in picture analysis by combining local smoothing and regularization.

• VerSiS: Verification and Simulation of Embedded Hybrid Systems
  The purpose of the VerSiS Project is to add formal verification to the design process of reliable embedded systems.