| Making Model Evolution Understandable to Domain Users |
Oct. 23, 2024 |
|
| Refactoring of Quantum Computing Programs |
Oct. 15, 2024 |
|
| XAI for Software Engineering |
Oct. 9, 2024 |
|
| Distributed application optimization in Julia |
Oct. 3, 2024 |
|
| Resource auctions |
Oct. 3, 2024 |
|
| Stochastic workflow scheduling |
Oct. 3, 2024 |
|
| Software Engineering topics |
Sep. 26, 2024 |
|
| Reasoning about Descriptions |
Sep. 25, 2024 |
|
| SPARQL Query Optimization with SHACL Constraints |
Sep. 25, 2024 |
|
| Modellere jernbane-kontrollsystemer i HybridSynchAADL |
Sep. 24, 2024 |
|
| Bruke Lingua Franca til ? koordinere distribuerte Maude-kj?ringer |
Sep. 24, 2024 |
|
| Formalisere Berkeley's PTIDES Model of Computation i Maude |
Sep. 24, 2024 |
|
| Climate and Health: Transforming Decision-Making with AI |
Sep. 24, 2024 |
|
| Reasoning in Large Language Models |
Sep. 24, 2024 |
|
| OnlineProver feedback: How to aid students in automatic teaching tools |
Sep. 24, 2024 |
|
| Several theses on Technical Debt and other topics: AI, security, visualization, bioinformatics, etc. |
Sep. 23, 2024 |
|
| Programming languages with quantum effects |
Sep. 23, 2024 |
|
| Energy consumption of programs and computation |
Sep. 23, 2024 |
|
| Digital ID i Norge: hvem blir inkludert? |
Sep. 23, 2024 |
|
| Modeling and Clustering Individual Privacy Attributes for Personalized Privacy Recommendations |
Sep. 20, 2024 |
|
| Privacy-aware interactions with Generative AI |
Sep. 20, 2024 |
|
| Digitalization from an infrastructure perspective |
Sep. 20, 2024 |
|
| (AI-based) Video Analysis and Processing for sports |
Sep. 20, 2024 |
|
| AI-based virtual avatars for police interview training |
Sep. 20, 2024 |
|
| Gevinster i Digitalisering |
Sep. 19, 2024 |
|