Teil 2 von 2: Ein Ansatz zur formalen Verifikation von neuronalen Netzen im Detail
If you want to read this article in English click here. Ein Ansatz zur formalen Verifikation von neuronalen Netzen im Detail In dem ersten Teil dieses Blogs haben wir die folgende Aufgabe ausführlich beschrieben: „Wie lassen sich menschlich verständliche Sicherheitskriterien für...
Teil 1: Einführung in die Constraint-basierte formale Verifikation von neuronalen Netzen
If you want to read this article in English click here. Einführung in die Constraint-basierte formale Verifikation von neuronalen Netzen Künstliche Intelligenz (KI) hat sich bis heute bereits in vielen Bereichen als nützlich erwiesen und ist in einigen Bereichen, wie Computer...
Detecting critical cut-in-scenarios
Die Sicherheit von automatischen Fahrfunktionen zu gewährleisten ist keine einfache Aufgabe. Um diese zu erfüllen, erarbeiten wir einen Ansatz, der auf kausale Modelle zurückgreift.
Multi-Task Learning
Multi-Task-Learning bietet die Möglichkeit mehrere Computervision Aufgaben simultan zu lösen und mehrere Systeme zur intelligenten Umfeldwahrnehmung zu vereinen.
Sicherheit in der SDK
Eine sichere Datenplattform für alle Um einer Datenplattform die Daten der eigenen Firma anzuvertrauen, ist es wichtig, dass diese Plattform auch sicher vor Fremdzugriffen ist. Wie wir das gewährleisten können? Mit unserem Produkt „Saugeile Datenkrake“ – kurz SDK! Einige unserer...
Akzeptanz von künstlicher Intelligenz
Die Präsenz von künstlicher Intelligenz (KI) im Alltag nimmt stetig zu, während die Bevölkerung der Technologie skeptisch gegenüber steht.
Saugeile Datenkrake [EFS-SDK]
Heutzutage sucht jeder einen Ort für Daten an dem, Informationen gewonnen, geteilt und visualisiert werden können. Datenplattformen kümmern sich genau um diese Problemstellung. Als EFS sind wir in dem Themenfeld seit über 10 Jahren unterwegs und haben eines gemerkt bei jeder Datenplattform sind es die gleichen Herausforderungen.