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