Projekte

Project Call End Date
Alle Infos

Stipendien

Scholarship Call End Date
Alle Infos

Science

Derzeit ist der nächste Call noch nicht fixiert
Alle Infos
Inspirationsbild zum Open-Book Question-Answering

Efficiently Perform Open-Book Question Answering Purely in the User’s Web Browser

Stellt euch vor, wir könnten Bücher befragen, um das in ihnen stehende Wissen zu verstehen. Dafür möchten wir mit meiner Masterarbeit ein rein im Webbrowser laufendes System entwickeln, das von der gesamten Internet-Community verwendet werden kann.

Automated Software Verification with First-Order Theorem Provers

Automating formal methods is an ongoing effort in software verification necessary to conclusively prove that critical software infrastructure is error-free. Applications such as IoT, cloud computing and blockchain show that bugs can have severe...
Datenschutzinformation
Der datenschutzrechtliche Verantwortliche (Internet Privatstiftung Austria - Internet Foundation Austria, Österreich) würde gerne mit folgenden Diensten Ihre personenbezogenen Daten verarbeiten. Zur Personalisierung können Technologien wie Cookies, LocalStorage usw. verwendet werden. Dies ist für die Nutzung der Website nicht notwendig, ermöglicht aber eine noch engere Interaktion mit Ihnen. Falls gewünscht, treffen Sie bitte eine Auswahl: