You are here:
research in these areas since its foundation in 1995, working on approximately 120 projects per year. One main goal is to transfer results from basic research to industry as quickly as possible in order to
Section: FB3
main tool that will be applied is stability theory, also known as classification theory, which is one of the most successful areas of contemporary mathematical logic. Recent results successfully combine
sed complexity theory, a finer analysis is applied and running times are measured with respect to one or more additional parameters. In many cases, we can develop algorithms for NP-hard problems that are
diagnosis is being developed that is significantly more accurate than existing models based on only one of the two modalities. more © ZeTeM MALDISTAR - Study on quality assessment, standardization and r
optimization problems do not consider that the input data of real-world applications may be uncertain. One approach to tackle this uncertainty is robust optimization, in which we optimize the worst-case of
take multi-scale structures into account in order to be able to efficiently process data sets with one trillion and more values. more © Tobias Boskamp/ ZeTeM Entwicklung eines Digital-Staining-Verfahrens
with respect to security. The software is analyzed based upon the software architecture which allows one to focus the analyses to the security-critical data and modules. more © Deutscher Akademischer Aus
which tractability can be achieved. We are also interested in logical methods in computer science. One problem of particular interest is the model-checking problem for first-order logic. In this context
within the crust of planets. Mantel convections, however, require again highly complexe simulations. One of the interactive exploration tools offering insight into those multi-variate and time-dependent datasets
tradeoff between the performance of an algorithm and the amount of adaptivity it requires. On the one hand, we aim for best possible algorithms which are potentially highly dynamic, i.e., scheduling decisions