| AI-based virtual avatars for police interview training |
20. sep. 2024 |
|
| SINLAB: Perceptually Grounded Validation Metrics for Machine Learning Sound and Music Processing |
17. sep. 2024 |
|
| SINLAB: What do music faces tell? |
17. sep. 2024 |
|
| Geometric User Journeys |
15. sep. 2024 |
|
| master-thesis-topics-paulo-ferreira-2024 |
12. sep. 2024 |
|
| Fuzz Testing for Information Modelling in Industry 4.0 |
10. sep. 2024 |
|
| Programming with GDPR compliance |
3. sep. 2024 |
|
| Decision Support for the Fediverse |
3. sep. 2024 |
|
| Estimating the Human Effort for Software Specification |
3. sep. 2024 |
|
| Model-based engineering / Digital twins |
2. sep. 2024 |
|
| Formal semantics for robot controllers |
2. sep. 2024 |
|
| Playing games with services |
2. sep. 2024 |
|
| Correctness of symbolic execution in Coq |
29. aug. 2024 |
|
| Editor and IDE support for a Java-like language |
9. aug. 2024 |
|
| SINLAB: Continuous body emotion recognition during creative tasks |
2. nov. 2023 |
|
| SINLAB: Immersive Musical Human-AI Interactions |
4. okt. 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 |
|
| Smidig systemutvikling, utfordringer og suksessfaktorer i stor-skala smidig, teamarbeid i utviklingsteam, koordinering, produktledelse m.m. |
26. sep. 2023 |
|
| Human-AI collaboration in healthcare |
20. sep. 2023 |
|
| Reliability, Privacy, and Security of Trading Systems for shares of startup companies |
7. okt. 2022 |
|
| FMUs for runtime monitoring in RTLola |
6. okt. 2022 |
|
| Eksekveringsstrategier for sanntidssystemer |
5. okt. 2022 |
|