Sort by
Refine Your Search
-
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