von afauss | Nov. 10, 2017 | Pressemitteilung
“The Conference on Automated Deduction (abbreviated CADE) is the most influential international conference in the area of automated theorem proving,” explains Andreas Nonnengart, who works at the German Research Centre for Artificial Intelligence (DFKI). At this...
von afauss | Nov. 10, 2017 | Pressemitteilung
„Die Conference on Automated Deduction, kurz CADE, ist die einflussreichste internationale Konferenz auf dem Gebiet des maschinellen Beweisens“, erklärt Andreas Nonnengart, der am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) arbeitet. Auf der...
von afauss | Okt. 13, 2017 | Pressemitteilung
Die Merck KGaA ist ein deutsches Chemie- und Pharmazieunternehmen mit Sitz in Darmstadt. Cord Stähler, Vizepräsident der Merck KgaA, spricht diesen Freitag, ab 16 Uhr im Hörsaal 001 des Gebäudes E1.3 auf dem Campus der Universität des Saarlandes. Der Titel seines...
von afauss | Okt. 13, 2017 | Pressemitteilung
„Obwohl die 3D-Scan-Technologie in den vergangenen Jahren einen erheblichen Sprung gemacht hat, ist es immer noch eine Herausforderung, die Geometrie und Form eines realen Objektes digital und automatisiert zu erfassen“, erklärt Mario Fritz, der am Max-Planck-Institut...
von afauss | Okt. 13, 2017 | Pressemitteilung
“Although the 3D scanning technology has made significant progress in recent years, it is still a challenge to capture the geometry and shape of a real object digitally and automatically,” explains Mario Fritz, who leads the group “Scalable Learning and Perception” at...
von afauss | Sep. 15, 2017 | Allgemein, Pressemitteilung
Ministerpräsidentin Annegret Kramp-Karrenbauer hat heute die Preisträger des diesjährigen Wettbewerbes „Ausgezeichnete Orte im Land der Ideen“ in der Staatskanzlei empfangen. Gleich drei Projekte stammen aus der Informatik der Saar-Uni: Professor Christian Rossow und...