Blar i Master theses på tittel
Viser treff 194-197 av 197
-
Visual Analytics for Fishing Vessel Operations
(Master thesis, 2019-11-29)This thesis presents VA-TRaC, a geovisual analytics application developed in collaboration with the Norwegian Directorate of Fisheries. VA-TRaC is used for identification and verification of illegal catch operations performed ... -
Visual specification of multi-way data-flow constraint systems
(Master thesis, 2022-06-01)User interfaces are costly to develop and difficult to get correct. Estimates place the effort of programming UIs between 30% and 60% of the total programming effort of applications. One reason for why graphical user ... -
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 ...