Blar i NTNU Open på forfatter "Hetland, Magnus Lie"
-
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 ...