• Vaccination strategies based on graph centrality 

      Benning, Haakon Osmundsen (Master thesis, 2022-11-15)
    • Vectorizing Distributed Homology with Deep Set of Set Networks 

      Solberg, Sigurd Roll (Master thesis, 2023-06-15)
      Distributed homology, a topological invariant, holds potential as an instrument for uncov- ering insights into the structural characteristics of complex data. By considering both the density and connectivity of topological ...
    • Virtual reality exposure therapy for claustrophobia 

      Helle, Jarle (Master thesis, 2022-01-17)
      One in four people in Norway will be affected by an anxiety disorder at some point in their life. One of these prevalent anxiety disorders is claustrophobia. Facing these scenarios on their own may help or worsen the problem ...
    • Virtual Reality for Medical Images 

      Eilertsen, Tobias Sletvold (Master thesis, 2022-06-15)
    • VisAST: Generic AST Visualiser for Software Language Education 

      Aalvik, Ragnhild (Master thesis, 2019-05-28)
      Structural concepts, like abstract syntax trees (ASTs), are often best explained through visual representations. Students seem to have little trouble understanding what is presented to them visually, but they find it harder ...
    • Visual Analytics for Fishing Vessel Operations 

      Storm-Furru, Syver (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 

      Berge, Daniel (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 

      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 ...