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