| Creating and instantiating ontologies from examples |
3. 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 |
|
| Oslofjord Digital Twin: Apps for Citizen Science |
29. aug. 2024 |
|
| Generating Symbolic Executors Automatically |
26. aug. 2024 |
|
| AI-based Data Enrichment and Analysis for Hard-to-Treat Diseases |
17. mai 2024 |
|
| Evaluering av nye modeller for bedre styring i av IT-kompetanse i teknologitunge virksomheter: Et casestudie av Quadim |
22. mars 2024 |
|
| SINLAB: Continuous body emotion recognition during creative tasks |
2. nov. 2023 |
|
| Digitalization-friendly regulation. Transforming and reasoning about legislative text |
5. okt. 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 |
|
| 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 |
|
| Human-AI collaboration in healthcare |
20. sep. 2023 |
|
| Ontology Summarization via Language Model |
13. sep. 2023 |
|
| What do we commit to? Using ML to understand Privacy Policies of Health Related IoT Devices |
7. sep. 2023 |
|
| Data Utility Needs for Apps on Health and Sport |
7. sep. 2023 |
|