Sort by
Refine Your Search
-
of coalgebraic session types, which model the behaviour of communication channels. Building on this, you will develop a formal notion of causality by connecting behavioural maps of extended coalgebraic sessions
-
regarding the demand that will have to be met soon. This requires building robust models to predict future demand, making decisions under time heterogeneous uncertainty and adapting to the state
-
predictive models and novel measurement methods that improve coating performance for corrosion protection, heat reflection and radiation shielding. You will collaborate closely with our industrial partners
-
are scarce in urban areas. Therefore, research is needed to better understand the impact of drought on ecological and functional quality of urban waters by 1) modelling available water and alternative sources
-
, analysis, and model choice while retaining strong error guarantees. This means that researchers can adapt their research questions and sampling plans to the data as they come in and in a way that is as model
-
economic impact through simulation modeling. Beyond this unique project, this position offers an exciting opportunity to advance simulation techniques in HTA! Information and application Submit your
-
of the procedure and improve clinical outcomes, the goal of this research project is to develop methods for modeling and controlling a range soft/flexible surgical devices and medical microrobots, as they interact