Graduiertenkolleg "Mathematische Optimierung"
Laufzeit: 01.04.1995 - 31.03.2001
Förderung durch: DFG
Kurzfassung
Die Bedeutung der Mathematik als ein wesentlicher Faktor einer hochtechnisierten Gesellschaft nimmt ständig zu. Dabei steht immer häufiger das Ziel im Vordergrund, innerhalb quantitativer Modelle der Wirklichkeit den Einsatz von Ressourcen zu optimieren. Diese Entwicklung ging parallel mit Fortschritten in der Informatik, einerseits durch die Verfügbarkeit immer leistungsfähigerer Computer, andererseits durch die Fortschritte im Studium des algorithmischen Standpunktes. Vorrangiges Ziel des...Die Bedeutung der Mathematik als ein wesentlicher Faktor einer hochtechnisierten Gesellschaft nimmt ständig zu. Dabei steht immer häufiger das Ziel im Vordergrund, innerhalb quantitativer Modelle der Wirklichkeit den Einsatz von Ressourcen zu optimieren. Diese Entwicklung ging parallel mit Fortschritten in der Informatik, einerseits durch die Verfügbarkeit immer leistungsfähigerer Computer, andererseits durch die Fortschritte im Studium des algorithmischen Standpunktes. Vorrangiges Ziel des Graduiertenkollegs ist es, durch die Konzentration der Forschung und Ausbildung Beiträge zu wichtigen aktuellen Fragen in den Grundlagen und Anwendungen der mathematischen Optimierung zu erarbeiten, unter Einbeziehung der Ansätze der verschiedenen Teildisziplinen, die sich mit globalen, diskreten, geometrischen, numerischen und komplexitätstheoretischen Aspekten dieses Gebietes beschäftigen. Da viele der Fragestellungen aus der Praxis stammen werden neben den theoretischen auch die anwendungsbezogenen Aspekte des Faches berücksichtigt. Wissenschaftliche Zusammenarbeit mit: Rainer Hettich "L", Reiner Horst "L", Christoph Meinel "L", Rainer Tichatschke "L".» weiterlesen» einklappen
Veröffentlichungen
- Meinel, Ch; Theobald, Th
- On the influence of the state encoding on OBDD-representations of finite state machines
- Meinel, Christoph; Stangier, Christian
- Speeding up symbolic model checking by accelerating dynamic variable reordering
- Meinel, Christoph; Theobald, Thorsten
- Algorithmen und Datenstrukturen im VLSI-Design : OBDD - Grundlagen und Anwendungen
- Kelley, C. T.; Sachs, E. W.
- Local convergence of the symmetric rank-one iteration
- Meinel, Christoph; Sack, Harald
- Case-study : manipulating -OBDDs by means of signatures
- King, B. B.; Sachs, E.; Hager, W. W. et al.
- Optimization techniques for stable reduced order controllers for partial differential equations
- Bern, Jochen; Damm, Carsten; Meinel, Christoph
- The electronic colloquium on computational complexity (ECCC) : a digital library in use
- Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
- Linear sifting of decision diagrams
- Meinel, Christoph; Slobodová, Anna
- Speeding up variable reordering of OBDDs