Browsing Master theses by Title

Now showing items 217-218 of 218

    • WiRoM: a High-level Mission Planning System for Heterogeneous Multi-Robot Simulations 

      Grutle, Joakim Moss (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 

      Passeniouk, Yan (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 ...