| Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude |
16. sep. 2025 |
|
| Formalisere Berkeley's PTIDES Model of Computation i Maude |
16. sep. 2025 |
|
| Modellere jernbane-kontrollsystemer i HybridSynchAADL |
16. sep. 2025 |
|
| Bruke Lingua Franca til å koordinere distribuerte Maude-kjøringer |
16. sep. 2025 |
|
| Learning Finite State Machines |
16. sep. 2025 |
|
| Oslofjord Digital Twin: Fish Egg Drift |
16. sep. 2025 |
|
| Software Engineering topics |
16. sep. 2025 |
|
| Energy Consumption of Regex |
16. sep. 2025 |
|
| master-thesis-topics-paulo-ferreira-2025 |
12. sep. 2025 |
|
| Learning proxy objective functions for optimal unit commitment planning for energy systems |
12. sep. 2025 |
|
| AI-based Knowledge Graph for Maritime Data Integration |
11. sep. 2025 |
|
| Improving Explainability in LLM/RAG Pipelines for Information Extraction |
11. sep. 2025 |
|
| Exploring LLMs for Synthetic Time-Series Data Generation and Quality Improvement |
11. sep. 2025 |
|
| A Retrieval-Augmented Generation (RAG)-based Multimodal Research Assistant for Rare Diseases |
11. sep. 2025 |
|
| Enhancing a Knowledge Graph and LLM-based Disease Theory System for Disease Understanding |
11. sep. 2025 |
|
| LLM Research Assistant for Urban Air Quality |
11. sep. 2025 |
|
| Predicting Resource Usage at Scale in Data Pipeline Systems |
11. sep. 2025 |
|
| Integration of Hardware Emulation into Data Pipeline Systems for Energy and Performance Analysis |
11. sep. 2025 |
|
| System Emulation and Attack Simulation for Cybersecurity |
11. sep. 2025 |
|
| Automated Compliance Checking of Data Pipelines Using Multi-Agent LLMs |
11. sep. 2025 |
|
| Data Pipelines Creation Using Multi-Agent LLMs |
11. sep. 2025 |
|
| Developing Systematic Techniques for Multi-Agent LLM System Development |
11. sep. 2025 |
|
| Adoption and scaling of AI in Healthcare |
11. sep. 2025 |
|
| AI scribes in healthcare |
10. sep. 2025 |
|
| Context-Aware Adaptive PQC for Vehicular Networks |
9. sep. 2025 |
|