Diese Webseite nutzt Dienste für den Betrieb, statistische Auswertungen, die Anzeige und das Teilen von Inhalten aus sozialen Netzwerken sowie interessengerechte Werbung. Diese Dienste machen die Website nutzbar, verbessern Ihre Browsererfahrung, ermöglichen Interaktionen mit Netzwerken und zeigen relevante Werbebotschaften. Aktivieren Sie die gewünschten Dienste in den jeweiligen Kategorien, um diese zu akzeptieren. Mehr Informationen
Indem Sie auf "Auswahl bestätigen" oder "Alle auswählen & bestätigen" klicken, willigen Sie ein, dass Ihre Daten von den entsprechenden Diensten verarbeitet werden.
Die aktivierten Dienste beeinflussen Ihre Browserkonfiguration nicht. Cookies dieser Dienste werden je nach Browserkonfiguration beim Schließen des Browsers gelöscht oder müssen manuell gelöscht werden, falls diese nicht über jeweils ausgewiesene Zeit hinaus gültig sein sollen.
Mit Aktivierung der jeweiligen Dienste willigen Sie ein, dass wir Ihnen Informationen und Angebote in Social Media, Suchmaschinen oder Displaynetzwerken, ggf. geräteübergreifend, unterbreiten. Diese Einwilligung können Sie jederzeit kostenlos und formlos widerrufen. Es fallen nur die Übermittlungskosten nach Basistarifen an (z. B. Telefon, Fax, E-Mail, Briefporto).
Steinbeis-Transferzentrum Logik und angewandte Algorithmik
70376 Stuttgart
Deutschland
- Fon: +49 711 31532076
-
Transferunternehmer:
- Prof. Dr. Stephan Schulz
Wir unterstützen Sie von der Anforderungsanalyse bis zur Umsetzung von komplexen Systemen. Wir entwickeln Konzepte für performante, robuste und skalierbare Systeme, insbesondere beim Einsatz von logikbasierten Systemen.
Prof. Dr. Stephan Schulz
Dienstleistungsangebot
- Anforderungsanalyse und Systementwurf, insbesondere in Bezug auf Algorithmen und Datenstrukturen
- Einsatz von Logik und Deduktionssystemen
- Einsatz von intelligenten Such- und Lernverfahren
Schwerpunktthemen
- Symbolische Logik
- Algorithmen und Datenstrukturen
- Air Traffic Control (ATC)
- Air Traffic Management (ATM)
Projektbeispiele
- Deduction as a Service
- Parameteroptimierung für Suchverfahren
- Optimierung des Durchsatzes von ATC-Anwendungen