Sort by
Refine Your Search
-
. The work includes theoretical analysis, algorithm design, and validation on realistic case studies, as well as dissemination of results through publications, open-source code, and collaboration with internal
-
been compromised but is generating bening outputs, e.g. via computational linguistic analysis of output space distributions Linguistically motivated methods for analysing and securing LLM behaviour
-
outputs, e.g. via computational linguistic analysis of output space distributions Linguistically motivated methods for analysing and securing LLM behaviour, including, e.g., LLM misbehaviour and
-
Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security
-
read more about the TECH faculty here . The Distributed, Embedded and Intelligent Systems (DEIS) group at Aalborg University, led by Professor Kim G. Larsen, is worldwide renowned for advancing formal
-
. The goal is to quantify both the extent of material degradation and its precise spatial distribution within the battery structure. By modeling the battery as a dynamic 3D acoustic landscape, we expect to be
-
across Denmark and we want to obtain a basic understanding of their ecophysiology, distribution and importance. The microbes will be selected based on metagenomic investigations (metagenome-assembled
-
, generative design, building performance optimization, digital design methods (e.g., predictive modeling, multi-agent systems and algorithmic techniques for architectural design), digital design epistemologies