BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//AI xpress - ECPv6.15.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:AI xpress
X-ORIGINAL-URL:https://aixpress.io
X-WR-CALDESC:Veranstaltungen für AI xpress
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Berlin:20231214T173000
DTEND;TZID=Europe/Berlin:20231214T190000
DTSTAMP:20260505T183537
CREATED:20231010T120259Z
LAST-MODIFIED:20240726T103806Z
UID:10000332-1702575000-1702580400@aixpress.io
SUMMARY:AI xpress NET: Formale Verifikation des Ausgabenbereichs tiefer Neuronaler Netze im Produktionsumfeld
DESCRIPTION:In diesem Vortrag werden wir uns mit der Herausforderung der Verifikation von neuronalen Netzen am Beispiel der Regelung von Schüttgutförderanlagen auseinandersetzen. Wir werden die Unterschiede und Anwendungen verschiedener Verifikationsansätze diskutieren und wie diese dazu beitragen können\, die Robustheit und Sicherheit von KI-Systemen in sicherheitskritischen Anwendungen zu gewährleisten. \n\n\n\n \n\n\n\nNutzen für die BesucherDie Teilnehmer werden ein allgemeines Verständnis für die Bedeutung und Anwendung von Verifikationsverfahren in der KI-Entwicklung gewinnen. Sie werden lernen\, wie formale Verifikationsmethoden dazu beitragen können\, die Robustheit und Sicherheit von neuronalen Netzen in sicherheitskritischen Anwendungen zu gewährleisten. Sie werden auch die spezifischen Herausforderungen und Lösungen im Zusammenhang mit der Regelung von zum Beispiel Schüttgutförderanlagen und dem Einfluss von Sensoren auf die Leistung des Netzes verstehen. Darüber hinaus bietet der Vortrag die Möglichkeit\, Fragen zu stellen und sich mit Experten und Gleichgesinnten auszutauschen. \n\n\n\n \n\n\n\nZielgruppeDieser Vortrag ist ideal für Ingenieure\, Datenwissenschaftler\, Fachleute aus der Industrie und alle (incl. Startups)\, die sich für die neuesten Entwicklungen und Best Practices im Bereich der KI-Verifikation und ihrer Anwendungen in sicherheitskritischen Systemen interessieren. Es ist eine hervorragende Gelegenheit\, sich über die neuesten Technologien und Methoden in diesem Bereich zu informieren und wertvolle Erkenntnisse für die Implementierung in eigenen Projekten zu gewinnen. \n\n\n\n \n\n\n\n \n\n\n\nEventreiheDiese Veranstaltung ist Teil der AI xpress NET Reihe im AI xpress Böblingen.  \n\n\n\n \n\n\n\nWeitere Termine: 19.10.2023: Potentiale KI-gestützter Anomalieerkennung16.11.2023: Technologievergleich und KI-Integration: Schnittstellen und Protokolle in der Industrie11.01.2024: Neuronale Netze und KI am Beispiel Autonomes Fahren: Von der Modellanpassung bis zum automatischen Pre-Labeling \n\n\n\n\n\n\n\n\n  \n\nSpeaker\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n Philipp Wagner (LinkedIn)\, Wissenschaftlicher Mitarbeiter Fraunhofer IPA \n\n\n\n \n\n\n\n\n\nPhilipp Wagner\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n  \n\nAnmeldung\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n  \n\nVeranstalter\n\n\n\n\n\n\n\n\n\n\n\n\n\n  \n          \n              \n          \n              \n          \n              \n      \n\n\n\n\n\n\n\n\nBei Fragen schreibe uns bitte eine E-Mail an: info@aixpress.io. Vielen Dank!
URL:https://aixpress.io/events/ai-xpress-net-formale-verifikation-des-ausgabenbereichs-tiefer-neuronaler-netze-im-produktionsumfeld/
LOCATION:AI xpress\, Röhrer Weg 8\, Böblingen\, 71032\, Deutschland
CATEGORIES:Events Startups
ATTACH;FMTTYPE=image/png:https://aixpress.io/wp-content/uploads/2023/10/Titel-Subline-mit-Beschreibung-lang-3-2.png
END:VEVENT
END:VCALENDAR