| Trust language for decentralised maritime systems |
9. okt. 2023 |
|
| Energy consumption of programs and computation |
9. okt. 2023 |
|
| Programming languages with quantum effects |
9. okt. 2023 |
|
| Analytics to support software development |
6. okt. 2023 |
|
| Digitalization-friendly regulation. Transforming and reasoning about legislative text |
5. okt. 2023 |
|
| Rubbish or quality science? Quality control tool of research papers in your hands |
4. okt. 2023 |
|
| Testing and Evaluating the new Java Vector API in the Context of Graph Stream Processing |
4. okt. 2023 |
|
| Development of Integration of Language-Agnostic Streaming Operators to Enable GNNs-ready Stream processing |
4. okt. 2023 |
|
| Benchmarking the Magma Framework in the Context of Abstract Data Pipelines and Graph Processing |
4. okt. 2023 |
|
| SINLAB: Immersive Musical Human-AI Interactions |
4. okt. 2023 |
|
| Machine learning for the greater good: understanding how climate change will affect future health |
3. okt. 2023 |
|
| Implement OTTR in a semantic technology language |
27. sep. 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 |
|
| Machine learning and climate health: Building on predictive potential? |
25. sep. 2023 |
|
| The hidden debt in bioinformatics software: challenges and consequences of (poor) software quality |
22. sep. 2023 |
|
| Learning / Handling Moral Preferences |
22. sep. 2023 |
|
| Human-AI collaboration in healthcare |
20. sep. 2023 |
|
| A chatty digital twin for factories |
15. 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 |
|