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