Dein Suchergebnis zum Thema: microsoft

Der als Terrorvogel bekannte Gastornis war vermutlich ein Pflanzenfresser | Max-Planck-Gesellschaft

https://www.mpg.de/7513112/terrorvogel-gastornis-pflanzenfresser

Der als Terrorvogel bekannte Gastornis war vermutlich ein Pflanzenfresser, wie eine geochemische Isotopenanalyse zeigt. Ein Team unter Beteiligung des Max-Planck-Instituts für Chemie hat durch eine Analyse der Kalzium-Isotope in seinen fossilen Knochen Position des Urzeitvogels in der Nahrungskette bestimmt und festgestellt, dass er wegen seines mächtigen Schnabels fälschlicherweise für einen Raubvogel und Fleischfresser gehalten wurde.
© Jura-Museum Eichstätt / Microsoft Cliparts / Montage

Von Newton und Turing zu cyber-physischen Systemen: Erforschung grundlegender Probleme der theoretischen Informatik | Max-Planck-Gesellschaft

https://www.mpg.de/11867550/mpi-sws_jb_2017?c=11356432&force_lang=de

Die Gruppe Foundations of Algorithmic Verification konzentriert sich auf eine Reihe von fundamentalen algorithmischen Problemen für dynamische Systeme, mit dem übergreifenden Ziel, eine systematische exakte rechnerische Behandlung verschiedener wichtiger Klassen solcher Systeme und anderer fundamentaler Modelle, die in der Mathematik, Informatik und der quantitativen Wissenschaften verwendet werden, anzubieten.
Softwareverifikation war das TERMINATOR-Tool von Microsoft