Safety Verification of Neural Networks

Dieses Projekt entwickelte quelloffene Algorithmen zur Sicherheitsüberprüfung von nichtlinearen Systemen mit neuronalen Netzwerkkomponenten. Es bietet Entwicklern von maschinellem Lernen für sicherheitskritische Systeme ein Werkzeug, um Anwender vor unentdeckten Fehlern zu schützen.

Ähnliche Projekte

AIR – AI-basierter Recommender für nachhaltigen Tourismus

DatenanalyseDigitale PlattformenRecomender SystemVirtuelle Assistenz
Das Projekt AIR entwickelt KI-basierte Verfahren für ein nachhaltigeres Tourismusmanagement, indem es Besucherströme ausgleicht. Ziel ist es, die temporäre Überlastung von Reisezielen durch gezielte Besucherinformationen zu vermeiden und…
von PT Zukunft - Umwelt - Gesellschaft (ZUG) gGmbH, NIT in Kiel
Mehr erfahren

Multi-Attribute, Multimodal Bias Mitigation in AI Systems

DatenanalyseKünstliche IntelligenzVirtuelle AssistenzÖffentliche Daten
Das EU-finanzierte MAMMOth-Projekt befasst sich mit KI-Voreingenommenheit durch die Minderung von Diskriminierung bei tabellarischen, Netzwerk- und multimodalen Daten. Es zielt darauf ab, Tools für faire KI zu entwickeln…
von ETHNIKO KENTRO EREVNAS KAI TECHNOLOGIKIS ANAPTYXIS (CERTH)
Mehr erfahren

Quantified Trees - intelligent irrigation forecasting for city trees

DatenanalyseVirtuelle AssistenzWebanwendungenWirkungsmessung
Das Projekt „Quantified Trees“ entwickelt ein KI-gestütztes Vorhersagesystem, um städtische Bäume zu identifizieren, die akut von Trockenheit bedroht sind. Ziel ist es, die Bewässerung in Berlin zu optimieren…
von Technologiestiftung Berlin
Mehr erfahren

Beziehungsgraph