BMBF Bundesministerium für Bildung und Forschung

Research-Campus MODAL

AKTUELLES

30
Sep.

5. ZIB-RIKEN-IMI-ISM MODAL Workshop zu Optimierung, Datenanalyse und HPC in AI und 2. UG Workshop

Vom 27.09.-30.09.21 fand am Forschungscampus MODAL der 5. Workshop der 2016 gegründeten Kooperation zwischen dem ZIB und dem Institute of Statistical Mathematics (ISM) Tokio und dem Institute of Mathematics for Industry der Kyushu University statt, aufgrund der pandemischen Lage erstmals als virtueller Workshop. Weiterer Sponsor war RIKEN, Japans größte übergreifende Forschungseinrichtung. Knapp 50 Vorträge aus den Themenbereichen der MODAL Labs bildeten das wissenschaftliche Programm des Workshops. Vortragende kamen sowohl vom Forschungscampus MODAL, von den Kooperationspartnern, sowie der wissenschaftlichen Community und...
WEITERLESEN
26
Juli

Dr. Timo Berthold und Jakob Witzig erhalten Auszeichnung für ihre Forschungsarbeit

“INFORMS Journal of Computing”, eins der prestigeträchtigsten Journale zur Veröffentlichung von Forschungsartikeln im Bereich der Mathematischen Optimierung, zeichnet regelmäßig herausragende Publikationen mit dem “Meritorious Paper Award” aus. Kürzlich wurde diese Auszeichnung an zwei Forscher des ZIBs verliehen, Herrn Dr. Timo Berthold und Herrn Jakob Witzig. Der prämierte Artikel beschreibt die Übertragung einer Technik namens „Konfliktanalyse“ von der linearen Optimierung auf die nichtlineare Optimierung. Die Ergebnisse sind im am ZIB entwickelten nichtlinearen Optimierungslöser SCIP implementiert, der hier kostenfrei für die nichtkommerzielle...
WEITERLESEN
26
Juli

Leon Eifler erhält Auszeichnung für das beste Poster “Exact Rational Mixed Integer Programming 2.0”

Der “Mixed Integer Programming Workshop” ist eine jährliche Konferenz in der neue Forschungsarbeiten im Feld der gemischt-ganzzahligen Optimierung vorgestellt werden. Dabei zeichnet ein Komitee jedes Jahr einen Beitrag mit dem Preis für das beste Poster aus. Die von Leon Eifler eingereichte Arbeit integriert wichtige Techniken wie Presolving und Heuristiken, sowie das Verifizieren von Ergebnissen in den state-of-the-art MIP Löser SCIP. Die durchgeführte Rechenanalyse zeigt, dass dies zu einer signifikanten Verringerung des Unterschiedes zwischen exakten MIP Lösern und MIP Lösern die...
WEITERLESEN
1 8 9 10 11 12 27