Intelligente Wearables für die nächste Fussballergeneration

Die Fußball-Welt blickt auf die WM 2026 – fortiss auf die Technologien, die den Fußball von morgen prägen.

Praxis-Workshop für den erfolgreichen Einstieg in MBSE – Komplexität reduzieren und Entwicklungsprozesse effizient gestalten.

Fokusthemen

Gemeinsam sichere KI gestalten

KMU-Partner gesucht: Künstliche Intelligenz, die mitdenkt und sicher handelt – forschen Sie gemeinsam mit fortiss an der nächsten Generation von KI-Assistenten.

Angebote

Wissenschaftliche Publikationen

Autoren

Mohamed Yousri Mahmoud

Publikationen

Liste als BibTeX-Datei exportieren

2014 Formal Verification of Optical Quantum Flip Gate Mohamed Yousri Mahmoud , Vincent Aravantinos und Sofiene Tahar In Interactive Theorem Proving (ITP), Band 8558 von Lecture Notes in Computer Science, Seiten 358–373, 2014. Springer. Details DOI BIB

Zusätzlich zu den erforderlichen Cookies, die für den Betrieb und die reibungslose Funktion der Website benötigt werden, verwendet fortiss (siehe Impressum) Marketing-Cookies, um die Websiteinhalte zu analysieren und zu verbessern. Mit Hilfe dieser Cookies kann durch pseudonymisierte Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden. Die Arten von Cookies werden in der Datenschutzerklärung beschrieben. Dort können Sie Ihre Einwilligung jederzeit ändern.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Name	Zweck	Ablauf	Typ	Anbieter
CookieConsent	Speichert Ihre Einwilligung zur Verwendung von Cookies.	1 Jahr	HTML	Website

Marketing

Mit Hilfe dieser Cookies sind wir bemüht unser Angebot für Sie noch attraktiver zu gestalten. Mittels pseudonymisierter Daten von Websitenutzern kann der Nutzerfluss analysiert und beurteilt werden. Dies gibt uns die Möglichkeit Werbe- und Websiteinhalte zu optimieren.

Name	Zweck	Ablauf	Typ	Anbieter
_pk_id	Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern.	13 Monate	HTML	Matomo
_pk_ref	Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern.	6 Monate	HTML	Matomo
_pk_ses	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo
_pk_cvar	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo
_pk_hsr	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo