Mathematik | Max-Planck-Gesellschaft https://www.mpg.de/11900200/mathematik?filter=Artikel
Mathematik
September 2024 Künstliche Intelligenz Mathematik
Dein Suchergebnis zum Thema: Künstliche Intelligenz
Mathematik | Max-Planck-Gesellschaft https://www.mpg.de/11900200/mathematik?filter=Video
Mathematik
September 2024 Künstliche Intelligenz Mathematik
“Der wilde Roboter” im Science-Check | Max-Planck-Gesellschaft https://www.mpg.de/23556368/der-wilde-roboter-im-science-check
Kann ein KI-gesteuerter Roboter in der Natur alleine „überleben“, wie im neuen Kinofilm „Der wilde Roboter“? Für dieses YouTube-Video haben wir eine Gruppe von Wissenschaftler*innen am Max-Planck-Institut für Intelligente Systeme in Tübingen besucht.
Oktober 2024 © Max-Planck-Gesellschaft Künstliche
Uralte Sterne unserer Milchstraße | Max-Planck-Gesellschaft https://www.mpg.de/19680979/alte-sterne-milchstrasse
Ein Team des Max-Planck-Instituts für Astronomie hat Sterne aus dem alten Herzen der Milchstraße identifiziert, die Zeugen der frühesten Geschichte unserer Heimatgalaxie sind.
Oktober 2024 Künstliche Intelligenz Medizin Zellbiologie
Symmetrie-Gruppoide in der klassischen Feldtheorie Mathematik | Max-Planck-Gesellschaft https://www.mpg.de/16001641/mpim_jb_2019?c=13631207&force_lang=de
Die Noether-Ladungen der Allgemeinen Relativitätstheorie spannen keine Lie-Algebra wie in der klassischen Mechanik oder Eichfeldtheorie auf. Ihre Poisson-Klammern gehören stattdessen zu einem Hamilton’schen Lie-Algebroid, das man aus einem natürlich konstruierten Symmetrie-Gruppoid erhält.
September 2024 Künstliche Intelligenz Mathematik
Die Langlands-Korrespondenz und p-adische Geometrie | Max-Planck-Gesellschaft https://www.mpg.de/18105989/langlands-korrespondenz?c=19434836&force_lang=de
Die Langlands-Korrespondenz stellt einen Zusammenhang her zwischen gewissen Teilen der Algebra und gewissen Teilen der Analysis. Dieser Bericht gibt eine impressionistische Einführung in die Langlands-Korrespondenz und in die neuen Methoden aus der p-adischen Geometrie, die jüngst zu aufsehenerregenden Fortschritten geführt haben.
September 2024 Künstliche Intelligenz Mathematik
Intelligente reflektierende Oberflächen gegen die Überwachung im Internet der Dinge | Max-Planck-Gesellschaft https://www.mpg.de/18697506/internet-der-dinge-intelligente-reflekierende-oberflaeche
Intelligente reflektierende Oberflächen, die ein Team um Forschende des Max-Planck-Instituts für Sicherheit und Privatsphäre entwickelt hat, kann Überwachung durch adversarial wireless sensing im Internet der Dinge verhindern.
November 2023 Informatik Internationales Künstliche
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 Softwaresysteme, 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