Steinbeis-Transferzentrum Logik und angewandte Algorithmik

Profil
Anfahrt

Forschungsschwerpunkt / Know-how

Symbolische Logik
Algorithmen und Datenstrukturen
Air Traffic Control (ATC)
Air Traffic Management (ATM)

Angebote

Anforderungsanalyse und Systementwurf, insbesondere in Bezug auf Algorithmen und Datenstukturen
Einsatz von Logik und Deduktionssystemen
Einsatz von intelligenten Such- und Lernverfahren

Projektbeispiele

Deduction as a Service
Parameter-Optimierung für Suchverfahren
Optimierung des Durchsatzes von ATC Anwendungen

Diese Webseite verwendet Cookies, um Ihnen den bestmöglichen Service zu gewährleisten. Wenn Sie auf der Seite weitersurfen stimmen Sie der Cookienutzung zu.