Zukunft made in Austria
KI Verifizierung und KI Testing für Industrie entwickelt von DatenVorsprung
Vorsprung durch Know-How
Expertise
Maßgeschneiderte KI
Durch eine "falsche" Nutzung von Machine Learning Technologien werden oftmals keine optimalen Ergebnisse erzielt und Aufgabenstellungen unzureichend gelöst. DatenVorsprung passt modernste KI Systeme an Ihre individuellen Probleme und Bedürfnisse an, sodass Sie ein optimales Werkzeug zur Datenverarbeitung erhalten.
Verifizierungs-Algorithmen & Safety
Selbst-lernende Systeme werden in den meisten Fällen als "Blackbox-Modelle" verwendet. Dies bedeutet, dass es keinerlei Sicherheit für einen "richtigen" Output z.B. eines Regelsystem mit KI gibt. In den meisten Anwendungen gibt es jedoch Bereiche, die ein Sytem nicht erreichen soll oder darf. Die Technologie von DatenVorsprung schafft einen verhersagbaren definierten Lösungsraum, in dem der Output eines KI System in gewisser Weise garantiert liegen wird.
Robustheitsanalysen
Die Robustheit bestimmt, wie gut ein KI-System im realen Anwendungsbereich arbeitet und seinen tatsächlichen Zweck einhält. Vorallem bei Störungen und unvorsehbarer Datenlage können so Fehlfunktionen und Risiken vermieden und optimales Verhalten eingehalten werden. KI-gesteuerte Systeme bieten ein erhebliches Potenzial für die Prozessoptimierung mit dem Ziel, Effizienz zu maximieren und unerwünschte Verluste zu minimieren. Die bei DatenVorsprung entwickelte Methode führt eine kontinuierliche Überwachung eines gegebenen Systems ein, die ein robustes Verhalten des Reglers auch bei kleinsten Veränderungen innerhalb des Systems gewährleistet.
Erklärbarkeit & Vertrauenswürdigkeit
Der Aufbau neuronaler Netze weist in der Regel einen hohen Komplexitätsgrad auf. Aufgrund dieser Tatsache kann man in konventionellen Systemen nicht abschätzen bzw. berechnen, wie sich ein Netzwerk verhält. Durch eigens entwickelte KI Architekturen schafft DatenVorsprung die Möglichkeit, künstliche Intelligenz erklärbar zu machen. Durch erklärbare Prozesse innnerhalb einer KI widerum wird Vertrauen auf Systemebene hergestellt - ein einzigartiger Vorteil in der Anwendung von KI.
Etwa 60-80% der KI-Projekte scheitern oder werden verworfen, bevor sie marktreif sind, weil sie in der realen Anwendung nicht leistungsfähig, robust oder sicher sind.
DatenVorspung GmbH ist ein High Tech Start-up im Bereich künstliche Intelligenz. Als österreichweit einzigartiger IT-Dienstleister bietet DatenVorsprung verifizierbare und erklärbare KI Systeme für Industrieprozesse, Marketing, Finanzwesen, Kultur uvm an. Das hochspezialisierte Team bestehend aus DatentechnikerInnen, MathematikerInnen und DatenwissenschaftlerInnen hat es sich zum Ziel gemacht, unerklärbare Vorgänge innerhalb einer lernenden KI (Blackbox) formal zu verifizieren, sodass sowohl ethische als auch sicherheitskritische Bedenken bei der Verwendung von künstlicher Intelligenz beseitigt werden können und ein sicherer, vertrauenswürdiger bzw, nicht- diskriminierender Einsatz möglich wird.
Leistungen
DatenVorsprung ist Ihr spezialisierter Partner für künstlicher Intelligenz. Wir entwickeln Lösungen zur formalen Verifizierung von KI Algorithmen für Forschung und Industrie. Darüber hinaus liegt unsere Kompetenz in der Lösung von Optimierungsaufgaben, in der Erstellung von Controllern, Prognosen oder Empfehlungen sowie in der visuellen Darstellung Ihrer Daten und Ergebnisse.
Research
KI Algorithmen finden stetig Einzug in naturwissenschaftliche Forschung. Hierbei geht es um neue unbekannte Zusammenhänge, Zustände und Mechanismen. Die Reachtubes von DatenVorsprung bilden die Basis, neue und unbekannte Zustände in KI Systemen effizient zu detektieren.
Wir bieten:
- Auftragsforschung
- Grundlagenforschung
- Forschungskooperationen
- Themenneutrale Partnerschaften
- Projektleitungen
- uvm.
Industry
Für Autonomes Fahren, Energiemanagement, Controller, Ethik usw. muss sichergestellt werden, dass ausschließlich bekannte, sichere und gewünschte Zustände (Resultate) von maschinengesteuerten Systemen eingehalten werden.
Wir bieten:
- Reachtube & Robustness Analysen von KI
- KI Produktintegration
- Auftragsarbeiten für individuelle KI Implementierungen
- Analyse und Optimierung von bestehenden KI Systemen
- Beratungsleistungen zum Thema KI Robustness & Safety
- uvm.
Unsere Spezialität
Robustness Analysis
Robustheit von KI bezieht sich auf das Ausmaß, in dem sich der Output eines Modells bei der Verwendung neuer Daten im Vergleich zu den Trainingsdaten ändert. Im Idealfall sollte der Output nicht wesentlich abweichen und die Perfomance des Systems im gewünschten Bereich bleiben. Die Robustheit ist aus mehreren Gründen wichtig. Erstens hängt das Vertrauen in jedes Tool von einem zuverlässigen Output ab. Das Vertrauen kann schwinden, wenn ein ML-System auf unvorhersehbare und schwer verständliche Weise arbeitet. Zweitens kann eine Abweichung vom erwarteten Ouput auf wichtige Probleme hinweisen, die Aufmerksamkeit erfordern.
Neuronale
Netze
Künstliche neuronale Netze gehören zur Kategorie “Machine Learning”. Um möglichst komplexes Lernen zu ermöglichen, verwenden wir verschiedenste Arten an neuronalen Netzen, die in der Forschung momentan eingesetzt werden. Ein künstliches neuronales Netzwerk ist dem neuronalen Netzwerk im Gehirn des Menschen nachempfunden und soll durch seinen Aufbau möglichst komplexe Aufgaben lernen können. Durch den Einsatz unserer eigenen, verifizierbaren Netze kann – nachdem ein neuronales Netz maschinell bereits gelernt hat – garantiert werden, in welchem Entscheidungs- oder Lösungsbereich der Output sein wird. Diese Garantie bewahrt vor unvorhergesehenen Ereignissen und Outputs.
Kunden-Projekte
BECKHOFF Automation GmbH
Automatisierungssysteme: Hardware und Software
Programmierung und Implementierung von Echtzeit-KI-Controllern auf professioneller Automatisierungshardware für den industriellen Einsatz
TrustifAI
KI-Zertifizierer
Bereitstellung von Testergebnissen für den Zertifizierer, damit dieser ein Zertifikat für KI in industriellen Anwendungen ausstellen kann
hostmyplace
Wohnungsvermittlung
Erstellung einer Zielgruppenanalyse auf Basis von Tourismusdaten, Social Media Beiträgen und eigenen Buchungsdaten. Real-Time Preisbewertung anhand sozialer Trends
Absolut Ticket
Ticketsystem
Prognosen und Empfehlungen im Bereich Marketing. Integration einer Visualisierung in bestehende Software des Unternehmens
Gefördert von
Kontaktieren Sie uns für weitere Informationen
+43 1 513 11 11 85
team@datenvorsprung.at