Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
configurations. This project will investigate novel techniques for the application of formal methods to the design, verification, and validation of embedded systems, with particular emphasis on safety-critical
-
theory, contributing to the understanding and design of novel materials for extreme environments and to improved modelling of nuclear processes. Expected outcomes include validated computational tools, new
-
they struggle to process speech affected by medical conditions such as dysarthria, aphasia, or dysphonia. This research will develop multimodal models that can recognize unusual acoustic patterns and
-
research will focus on developing Bayesian Optimization of Experimental Design (BOED) algorithms. These algorithms aim to cost-effectively accelerate reliability tests for TM-GSES components, maximizing
-
with university status and legal recognition granted by the Ministry of Government of Colombia in 1895. With nearly four centuries of academic tradition, UR is one of the most prestigious and
-
issued, and with the international treaties or agreements concerning the recognition of qualifications for further studies for the sole purpose of the admission to the PhD programme. The admission is also
-
signal patterns that can be exploited for decision-making. In this project, such patterns are referred to as contextual radio cues. Rather than being physical elements of the map (e.g., walls or obstacles
-
. Possible activities will include: Design of integrated communication, sensing, and control strategies for next-generation 6G systems; Development of high-accuracy localization and radio mapping techniques
-
microbiomes and prediction of phage-host interaction; v) design a manufacturing process for selected phage candidates for future applications, and vi) develop a biobank collecting phages, antimicrobial peptides