Sort by
Refine Your Search
-
for reactive synthesis. This allows us to describe dynamic behaviors in complex environments over time. You will work with formal tools such as: Planning domains and temporal logic — to describe the required
-
and computational modeling to understand complex biological processes. Experience in statistical modeling, machine learning, or analysis of spatial or high-dimensional biological data is considered
-
northern Sweden create enormous opportunities and complex challenges. For Umeå University, conducting research about – and in the middle of – a society in transition is key. We also take pride in delivering
-
northern Sweden create enormous opportunities and complex challenges. For Umeå University, conducting research about – and in the middle of – a society in transition is key. We also take pride in delivering
-
life science (DDLS) uses data, computational methods and artificial intelligence to study biological systems and processes at all levels, from molecular structures and cellular processes to human health
-
, within the Centre for Image Analysis at the Department of IT and conducted alongside researchers developing computational methods with a particular focus on deep learning and image analysis. The project