Dein Suchergebnis zum Thema: Künstliche Intelligenz

Nanobauteile nach Maß | Max-Planck-Gesellschaft

https://www.mpg.de/7427066/nanotechnologie_nanostruktur_nanomaschine

Dreidimensionale Nanostrukturen mit großer Formenvielfalt, die als Nanobauteile für Nanomotoren und Nanomaschinen dienen könnten, lassen sich mithilfe von Dampfabscheidung und mizellarer Nanolithographie präzise in großer Zahl parallel herstellen. Die von einem Team um P. Fischer m Max-Planck-Institut für Intelligente Systeme entwickelte Produktion ist ein großer Fortschritt in der Nanotechnologie.
Oktober 2024 Künstliche Intelligenz Medizin Zellbiologie

Verifikation Asynchroner Programme | Max-Planck-Gesellschaft

https://www.mpg.de/18043573/mpi-sws_jb_20213?c=19434836

Asynchrone Programmierung ist ein Paradigma, das häufig in Low-Level-Systemsoftware, der Web-Programmierung und in Benutzeranwendungen auf mobilen Plattformen eingesetzt wird. Allerdings ist es schwierig für Programmierer*innen sicherzustellen, dass solche Programme kein unerwartetes Verhalten aufweisen. Dies macht Software-Werkzeuge zur Verifikation notwendig, die automatisch die Korrektheit eines Programms nachweisen bzw. eine fehlerhafte Ausführung aufzeigen können.
November 2023 Informatik Internationales Künstliche

Überwachung der Einhaltung der nuklearen Abrüstung | Max-Planck-Gesellschaft

https://www.mpg.de/22057118/sp_jb_2023?force_lang=de

Forschende des Max-Planck-Instituts für Sicherheit und Privatsphäre haben in Zusammenarbeit mit Kollegen der Princeton University, der Harvard University, der PHYSEC GmbH, der Ruhr-Universität Bochum, der Technischen Universität Berlin und der University of Connecticut eine zuverlässige Methode zur Fernüberwachung von Nuklearstandorten entwickelt.
November 2023 Informatik Internationales Künstliche

MPI für Software­systeme, Saarbrücken | Max-Planck-Gesellschaft

https://www.mpg.de/155640/softwaresysteme-saarbruecken?filter=leitung

Das Max-Planck-Institut für Softwaresysteme (Standort Saarbrücken) betreibt Grundlagenforschung, die sich unter anderem dem Sprachdesign, der Analyse, der Modellierung, Einführung und Auswertung von Softwaresystemen widmet. Spezielle Interessensgebiete umfassen die System-Programmierung, den Vergleich von dezentralen und Netzwerksystemen, von eingebetteten und autonomen Systemen ebenso wie Aspekte der formalen Modellierung, Analyse, Sicherheit und Stabilität von modernster Softwaretechnik.
Mai 2022 Künstliche Intelligenz Die Kooperation stärkt