| Modellere jernbane-kontrollsystemer i HybridSynchAADL |
24. sep. 2024 |
|
| Bruke Lingua Franca til ? koordinere distribuerte Maude-kj?ringer |
24. sep. 2024 |
|
| Formalisere Berkeley's PTIDES Model of Computation i Maude |
24. sep. 2024 |
|
| Climate and Health: Transforming Decision-Making with AI |
24. sep. 2024 |
|
| Several theses on Technical Debt and other topics: AI, security, visualization, bioinformatics, etc. |
23. sep. 2024 |
|
| Programming languages with quantum effects |
23. sep. 2024 |
|
| Energy consumption of programs and computation |
23. sep. 2024 |
|
| Digital ID i Norge: hvem blir inkludert? |
23. sep. 2024 |
|
| Modeling and Clustering Individual Privacy Attributes for Personalized Privacy Recommendations |
20. sep. 2024 |
|
| Privacy-aware interactions with Generative AI |
20. sep. 2024 |
|
| Digitalization from an infrastructure perspective |
20. sep. 2024 |
|
| AI-based virtual avatars for police interview training |
20. sep. 2024 |
|
| Oslofjord Digital Twin: Knowledge Extraction via LLMs |
19. sep. 2024 |
|
| Learning Finite State Machines |
17. sep. 2024 |
|
| Oslofjord Digital Twin: Fish Egg Drift |
17. sep. 2024 |
|
| Oslofjord Digital Twin: Algal Bloom |
17. 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 |
|