Zur e:fs TechHub Webseite
Folge uns auf
efs.ai
  • Startseite
  • Leistungen
  • Showcases
    Treedex
    Deep Learning zur PflanzenerkennungZum Showcase
    Predictive Maintenance
    Intelligente DämpferdefekterkennungZum Showcase
    Weitere Showcases:
    Simulation
    Radar
    Coko
    Scenarios
  • Unternehmen
    Über uns
    Karriere
  • Blog
Kontaktieren Sie uns
efs.ai
  • Startseite
  • Leistungen
  • Showcases
    Treedex
    Deep Learning zur PflanzenerkennungZum Showcase
    Predictive Maintenance
    Intelligente DämpferdefekterkennungZum Showcase
    Weitere Showcases:
    Simulation
    Radar
    Coko
    Scenarios
  • Unternehmen
    Über uns
    Karriere
  • Blog
Kontaktieren Sie uns
Kategorie: Blogpost
Teil 2 von 2: Ein Ansatz zur formalen Verifikation von neuronalen Netzen im Detail 
https://secure.gravatar.com/avatar/5e5ea781bbfb990879406f88c28d6bcf?s=80&d=mm&r=g
Blogpost

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...
30. Januar 2023
Read more
Teil 1: Einführung in die Constraint-basierte formale Verifikation von neuronalen Netzen
https://secure.gravatar.com/avatar/5e5ea781bbfb990879406f88c28d6bcf?s=80&d=mm&r=g
Blogpost

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...
3. August 2022
Read more
Detecting critical cut-in-scenarios
https://secure.gravatar.com/avatar/d572ad8ef66ea070a695b0099a97f2c5?s=80&d=mm&r=g
Blogpost

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.
21. Dezember 2021
Read more
Multi-Task Learning
https://secure.gravatar.com/avatar/d572ad8ef66ea070a695b0099a97f2c5?s=80&d=mm&r=g
Blogpost

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.
16. November 2021
Read more
Sicherheit in der SDK
https://secure.gravatar.com/avatar/5411994379e0224015d1c2db6ae5ec3c?s=80&d=mm&r=g
Blogpost

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...
3. November 2021
Read more
Akzeptanz von künstlicher Intelligenz
https://secure.gravatar.com/avatar/d572ad8ef66ea070a695b0099a97f2c5?s=80&d=mm&r=g
Blogpost

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.
4. Oktober 2021
Read more
Saugeile Datenkrake [EFS-SDK]
https://secure.gravatar.com/avatar/d572ad8ef66ea070a695b0099a97f2c5?s=80&d=mm&r=g
Blogpost

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.
20. September 2021
Read more
Neueste Beiträge
  • Teil 2 von 2: Ein Ansatz zur formalen Verifikation von neuronalen Netzen im Detail 
  • Teil 1: Einführung in die Constraint-basierte formale Verifikation von neuronalen Netzen
  • Detecting critical cut-in-scenarios
  • Multi-Task Learning
  • Sicherheit in der SDK
Neueste Kommentare
    Search
    Call to action
    Want to learn how to code in 8 weeks?
    Start now

    Want to learn how to code in 8 weeks?

    Purchase Essentials
    Schlagwörter
    AI Constraint-basierte formale Verifikation Design formale Verifikation KI KI-Absicherung neuronale Netze Products WordPress
    Recent Posts
    • Teil 2 von 2: Ein Ansatz zur formalen Verifikation von neuronalen Netzen im Detail 
      Teil 2 von 2: Ein Ansatz zur formalen Verifikation von neuronalen Netzen im Detail 
    • Teil 1: Einführung in die Constraint-basierte formale Verifikation von neuronalen Netzen
      Teil 1: Einführung in die Constraint-basierte formale Verifikation von neuronalen Netzen
    • Detecting critical cut-in-scenarios
      Detecting critical cut-in-scenarios
    Categories
    Blogpost
    Social Links
    AEB
    Impressum
    Datenschutz
    Über Uns
    Jobs
    Search

    Hit enter to search or ESC to close

    Your shopping cart
    WooCommerce should be installed and activated!
    • EN