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 ...

Algorithmen bestimmen, wie moderne Software funktioniert, wie effizient Daten verarbeitet werden und wie zuverlässig digitale Systeme reagieren. In einer Zeit, in der technologische Entwicklungen ...

Systeme mit komplexer Dynamik sind in der Natur und im Alltag allgegenwärtig: biologische Systeme wie das menschliche Herz zum Beispiel, oder auch Verkehrsmodelle, Wettersysteme und das globale Klima.

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 ...

Graphen sind überall. In der diskreten Mathematik sind sie Strukturen, die die Verbindungen zwischen Punkten darstellen, ähnlich wie ein öffentliches Verkehrsnetz. Mathematiker:innen versuchen seit ...

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

Künstliche Intelligenz (KI) in der Medizin kann helfen, Krankheiten früher zu erkennen, Menschen besser zu versorgen und die Gesundheitsausgaben zu senken. Die breite Verwendung hängt aber stark davon ...

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 ...

„P“ steht dabei für Probleme, die ein Computer leicht lösen kann Die Angabe einer absoluten Zeit für Berechnungen ist wenig sinnvoll. Denn natürlich hängt die Geschwindigkeit einer Berechnung von der ...

AI-gestützte Materialforschung entwickelt erstmals Betone, die Jahrhunderte halten und dabei CO₂ binden. Dieser Artikel analysiert, wie intelligente Algorithmen und Datensätze die Bauindustrie ...