• Exploring Z3 for the Fair Allocation Domain 

      Sæbø, Karoline Kanestrøm (Master thesis, 2023)
      Denne masteroppgaven utforsker hvordan Z3, en "satisfiability modulo theories solver" (SMT-løser), kan brukes innenfor feltet rettferdig fordeling. Z3 ble testet for tilfeller der varene som skal fordeles er udelelige, og ...
    • Fair allocation of conflicting items 

      Hummel, Halvard; Hetland, Magnus Lie (Peer reviewed; Journal article, 2021)
      We study fair allocation of indivisible items, where the items are furnished with a set of conflicts, and agents are not permitted to receive conflicting items. This kind of constraint captures, for example, participating ...
    • Fair Allocation of Mixed Divisible and Indivisible Goods: A Comparative Study 

      Utne, Sivert (Master thesis, 2023)
      Denne avhandlingen tar for seg utfordringen med å rettferdig fordele blandete delbare og udelelige varer ved å tilpasse etablerte algoritmer fra deres respektive fagfelt, samt å utvikle enkle polynomiske algoritmer til å ...
    • Fairest Neighbors: Tradeoffs Between Metric Queries 

      Hetland, Magnus Lie; Hummel, Halvard (Chapter, 2021)
      Metric search commonly involves finding objects similar to a given sample object. We explore a generalization, where the desired result is a fair tradeoff between multiple query objects. This builds on previous results on ...
    • Gamification: Anvendelser i systematisk forbedring i utføring av kompliserte oppgaver 

      Jonassen, Christian (Master thesis, 2014)
      I denne masteroppgaven ser vi på hvordan man kan bruke elementer fra spill til å øke motivasjonen for å gjøre ulike oppgaver. Et system som gir detaljert og ærlig tilbakemelding med medaljer og andre elementer fra spill ...
    • Heuristics for Dynamic Delaunay Triangulation 

      Fielding, Victor (Master thesis, 2018)
      An efficient algorithm for heuristic dynamic Delaunay triangulation has been produced. Heuristics have been tested and present a trade off between speed and accuracy. A heuristic has been made that yields a triangulation ...
    • The Improved DCGAN framework - Enhancing the quality of generated images and stabilizing the training of Deep Convolutional Generative Adversarial Networks 

      Sjøberg, Claudia Laila (Master thesis, 2018)
      Using current state-of-the-art algorithms to improve the DCGAN model with regard to image quality and training stability.
    • Improving RRB-Tree Performance through Transience 

      L'orange, Jean Niklas (Master thesis, 2014)
      The RRB-tree is a confluently persistent data structure based on the persistent vector, with efficient concatenation and slicing, and effectively constant time indexing, updates and iteration. Although efficient appends ...
    • Introducing SimiLite: Enabling Similarity Retrieval in SQL 

      Veøy, Kristian (Master thesis, 2011)
      This project has implemented SimiLite, a plug-in to SQLite which en-ables the usage of metric indices in SQL tables. SimiLite can easily beextended with different indices, and the indices LAESA and SSSTreehas been implemented ...
    • Likhetssøk i tidsserier 

      Barkhall, Håvard (Master thesis, 2018)
      I denne masteroppgaven er det fokus på å kunne søke i tidsserier etter spesifikke mønstre. Dette med tanke på feilsøking i historikken til industrielle apparaturer. Til denne oppgaven er det utdelt et sett med data, et ...
    • Løsing av IQ-tester ved hjelp av kunstig intelligens 

      Fredriksen, Anders Lund (Master thesis, 2005)
      IQ-tester har blitt brukt i en årrekke til å teste hvor intelligente mennesker er. Selv om det lenge har vært et mål å gjøre datamaskiner intelligente finnes det ingen lignende test for å sammenligne hvor langt utviklingen ...
    • Making substitution matrices metric 

      Anfinsen, Jarle (Master thesis, 2005)
      With the emergence and growth of large databases of information, efficient methods for storage and processing are becoming increasingly important. The existence of a metric distance measure between data entities enables ...
    • Mapping next generation sequence data - existing methods and a new non-coding RNA pipeline 

      Steiro, Espen (Master thesis, 2011)
      This paper touches on several different aspects in the field of bioinformatics.Some of the challenges facing the bioinformatics community will be discussedalong with why these challenges still need a lot of research. How ...
    • Metric Indexing in Time Series 

      Rekdal, Espen Ekornes (Master thesis, 2008)
      Sammenligner LAESA, List of Cluster og Piecewise Constant Aggregation i henhold til utelse målt via hvor mange objekt sammenligninger som blir utført.
    • Metrics and Ambits and Sprawls, Oh My: Another Tutorial on Metric Indexing 

      Hetland, Magnus Lie (Chapter, 2020)
      A follow-up to my previous tutorial on metric indexing, this paper walks through the classic structures, placing them all in the context of the recently proposed sprawl of ambits framework. The indexes are presented as ...
    • Mitodetect: Estimering av felles stammor i HUNT undersøkelsen 

      Gudem, Alice (Master thesis, 2019)
      Mitokondrie-DNA blir arvet fra mor til barn, i motsetning til vanlig, autosomt DNA som blir arvet fra begge foreldre. Dette betyr at personer som er fjernt i slekt vil ha veldig lite vanlig DNA til felles, men de kan ha ...
    • Multiple Opinionated Knapsacks 

      Steig, Jørgen (Master thesis, 2023)
      Fordeling av ressurser, enten med mål om rettferdighet eller optimalitet, er en grunnleggende problemstilling i flere deler av ethvert samfunn. Vi utforsker fordeling av udelelige gjenstander mellom agenter som alle har ...
    • Neighborhood Mining in Biological Networks 

      Stenersen, Kristoffer; Sundsdal, Sverre (Master thesis, 2006)
      Biologists are constantly looking for new knowledge about biological properties and processes. Bio-molecular interaction networks model dependencies among proteins and the processes they participate. By studying patterns ...
    • Neighborhood Mining in Biological Networks 

      Stenersen, Kristoffer; Sundsdal, Sverre (Master thesis, 2006)
      Biologists are constantly looking for new knowledge about biological properties and processes. Bio-molecular interaction networks model dependencies among proteins and the processes they participate. By studying patterns ...
    • A Nonlinear Bilevel Programming Approach for Multifocal Region Creation in Metric Indexing 

      Skarding, Joakim (Master thesis, 2015)
      This thesis presents a bilevel programming approach for optimizing region creation in metric indexing techniques. By creating regions from Power transformed distances, region quality is increased compared to the linear ...