Blar i Master theses på tittel
Viser treff 196-197 av 197
-
WiRoM: a High-level Mission Planning System for Heterogeneous Multi-Robot Simulations
(Master thesis, 2020-06)Robots are complicated machines. Today we have a lot of different types of robots, each with different types of sensors and actuators which have their own practical (and impractical) applications. Utilizing the benefits ... -
λ' is Confluent
(Master thesis, 2023-11-20)The λ-calculus is a well-known model of computation, characterised by its simplicity and adapted for the implementation of functional programming languages. We present an extension of the λ-calculus proposed by ...