AliceVision: modern GPU programming for real-time tracking |
2. okt. 2023 |
|
SINLAB: Solving the packet loss in multicasting for live videos streaming |
2. okt. 2023 |
|
SINLAB: Streaming VR video |
2. okt. 2023 |
|
Development and Analysis of Cognitive Robot Controllers |
29. sep. 2023 |
|
Implement OTTR in a semantic technology language |
27. sep. 2023 |
|
Dependly typed programming (for security) |
27. sep. 2023 |
|
Refactoring-related projects |
27. sep. 2023 |
|
Verification Tool for Concurrent Software |
27. sep. 2023 |
|
Runtime Verification with Linux BPF |
27. sep. 2023 |
|
Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude |
27. sep. 2023 |
|
Smidig systemutvikling, utfordringer og suksessfaktorer i stor-skala smidig, teamarbeid i utviklingsteam, koordinering, produktledelse m.m. |
26. sep. 2023 |
|
Machine learning and climate health: Building on predictive potential? |
25. sep. 2023 |
|
Education management information systems in the Gambia |
25. sep. 2023 |
|
master-thesis-topics-by-paulo-ferreira |
25. sep. 2023 |
|
Playing the service game - the digitalization of user-centric processes |
22. sep. 2023 |
|
Modelling and Analysis of a Self-Adaptive Underwater Robot |
22. sep. 2023 |
|
Formal semantics for robot controllers |
22. sep. 2023 |
|
Programming with GDPR compliance |
22. sep. 2023 |
|
Combining deductive verification and testing by symbolic execution |
22. sep. 2023 |
|
Backwards symbolic execution |
22. sep. 2023 |
|
The hidden debt in bioinformatics software: challenges and consequences of (poor) software quality |
22. sep. 2023 |
|
Learning / Handling Moral Preferences |
22. sep. 2023 |
|
Human-AI collaboration in healthcare |
20. sep. 2023 |
|
A chatty digital twin for factories |
15. sep. 2023 |
|
Ontology Summarization via Language Model |
13. sep. 2023 |
|