Begriffe

Knowledge Graph

Aktuelle Berichte, Erklärungen und verbundene Technologiethemen.

Neueste Berichte

CN
Start einer einheitlichen Plattform zur Erkundung der Daten des UN-Systems mit künstlicher Intelligenz

Start einer einheitlichen Plattform zur Erkundung der Daten des UN-Systems mit künstlicher Intelligenz

Das System der Vereinten Nationen hat die Plattform UN System Data Commons gestartet, die auf Googles Data Commons basiert, um globale Statistiken in einem Wissensgraphen zusammenzuführen, der mit Werkzeugen der künstlichen Intelligenz genutzt werden kann. Die Plattform ermöglicht die Suche in natürlicher Sprache und plant, Daten weiterer UN-Einheiten hinzuzufügen, mit dem Ziel, bis 2027 80 % ihrer statistischen Datensammlungen zu erreichen.

CN
Studierende der Egypt University of Informatics entwickeln zwei KI-Anwendungen für Fertigung und Lieferketten

Studierende der Egypt University of Informatics entwickeln zwei KI-Anwendungen für Fertigung und Lieferketten

Zwei Teams von Studierenden der Egypt University of Informatics entwickelten zwei Anwendungen zur Lösung von Problemen in der intelligenten Fertigung und bei der Rohstoffversorgung. Dabei setzten sie auf maschinelles Lernen, große Sprachmodelle und semantische Systeme. Die Projekte wurden im Rahmen einer Forschungskooperation zu Technologien der fünften industriellen Revolution von europäischen Experten bewertet.

CN
Von der Spezifikation zu formalen Eigenschaften: Künstliche Intelligenz beschleunigt die Verifizierung von Chipdesigns, ersetzt den Ingenieur aber nicht

Von der Spezifikation zu formalen Eigenschaften: Künstliche Intelligenz beschleunigt die Verifizierung von Chipdesigns, ersetzt den Ingenieur aber nicht

Large Language Models nähern sich der Umwandlung von Chipdesign-Spezifikationen in formale Eigenschaften in der Sprache SystemVerilog Assertions, was die Zeit für die Erstellung von Verifizierungsentwürfen verkürzen könnte. Doch unvollständige Spezifikationen, das Risiko syntaktisch korrekter, logisch schwacher Eigenschaften und der hohe Prüfaufwand machen menschliche Aufsicht zu einer grundlegenden Voraussetzung, während der tatsächliche wirtschaftliche Nutzen weiterhin ungeklärt ist.