Sort by
Refine Your Search
-
, hardware, operating systems, distributed systems and cybersecurity. Computing Science , with specializations in data security, formal methods, functional programming, as well as logic and type theory
-
, system identification, and game theory. Rules governing PhD students are set out in the Higher Education Ordinance chapter 5, §§ 1-7 and in Uppsala University's rules and guidelines . Application
-
monotonicity with respect to set inclusion. An example of this type of measure is outer measures. These measures are also called capacities, fuzzy measures, and monotone games, and are used to represent
-
inclusion. An example of this type of measure is outer measures. These measures are also called capacities, fuzzy measures, and monotone games, and are used to represent interactions between elements
-
for distributed multi-agent planning and control under complex tasks that account for these features using tools from multi-agent planning and control, hybrid control systems, formal methods and game theory
-
push MCS as a game-changing solution to electrify long-haul freight, through developing and showcasing multipoint MCS hubs combined with tools facilitating the scale-up. Information about the division