Informatiker der ETH Zürich haben einen Netzwerkfluss-Algorithmus geschrieben, der fast so schnell rechnet wie das mathematisch überhaupt möglich ist. Dieser Algorithmus berechnet den maximalen ...

Der Forschungsbereich „Formale Methoden und Algorithmik“ (ForMAl) besteht aus den drei Arbeitsgruppen „Softwareentwicklung und Verifikation“, „Sicherheitskritische Systeme“ sowie „Effiziente ...

Die Natur dient uns in vielerlei Hinsicht als Vorbild für Prozesse und Funktionen, die wir in unserem Alltag nutzen. Prof. Dr. Christian Grimme vom Institut für Wirtschaftsinformatik der Universität ...

LLMs sind dafür bekannt, dass sie beim Coding eher auf gut Glück vorgehen. Der Clou von Alphaevolve ist, dass es jeden Vorschlag von Gemini bewertet, die schlechten verwirft und die guten in einem ...

Viele moderne Softwaresysteme aus den Bereichen Finanzen, E-Commerce, Fertigung, Transport und anderen Branchen beinhalten inzwischen KI-Technologie. Anwendungen, die künstliche Intelligenz (KI) – ...