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