Recent additions

  • Verification of the Chord protocol in TLA+ 

    Lund, Jørgen Aarmo (Master thesis; Mastergradsoppgave, 2019-05-15)
    In traditional software engineering methodologies, software correctness is established through testing and progressive fault mitigation. Safety properties are established by demonstrating that a sufficiently large number of test cases fail to violate them. In contrast, formal verification methods permit a systems design process where desired safety properties are stated outright in the system ...
  • Increasing physical activity for individuals with intellectual disability through indoor bike cycling and exergaming 

    Berg, Valter (Master thesis; Mastergradsoppgave, 2019-06-01)
    Studies reveal that individuals with intellectual disabilities have more sedentary lifestyles than the general population. Regular physical activity is of both medical and social importance, reducing risks of cardiovascular diseases and obesity. Health organizations recommend that everyone should at least engage in 150 minutes of physical activity each week because of the beneficial health effects. There ...
  • ColdNotify: A Notification Service For A Distributed Arctic Observatory 

    Kraabøl, Petter (Master thesis; Mastergradsoppgave, 2019-05-15)
    One of the key challenges in the Distributed Arctic Observatory (DAO) project is designing infrastructure to reliably interact with remote, configurable observation units that capture and provide observation data from challenging environments. DAO’s infrastructure is a work in progress and researching alternative strategies for interacting with observation units is necessary to gain experience ...
  • Neo: Virtual Object Modeling using Commodity Hardware 

    Bye Nilsen, Thomas (Master thesis; Mastergradsoppgave, 2019-05-15)
    Recent developments in augmented reality technology have paved way for newapplications in a wide range of areas. These include the commercial markets,medicine applications, military applications and education. The technology pro-vides immersive images to enhance our perception of the world. Augmentedreality addresses challenges related to problem-solving by seamlessly integrat-ing digital images ...
  • Incremental Information Retrieval. Finding new information by registering and ignoring already seen search results 

    Johannessen, Erlend (Master thesis; Mastergradsoppgave, 2017-05-15)
    When searching the internet today we want immediate answers. We often search for a person, or a solution to a problem, or some topic we are interested in. The result quality of this kind of search is pretty good, most of the time we get the answers we need. The results, though, seems to be minor variations on the same results. But what if the search for information is of a different nature, more ...
  • Data Analysis and Nudging for Green Transportation 

    Jemea, Lady Limunga (Master thesis; Mastergradsoppgave, 2019-05-14)
    The topic of a more sustainable environment has been a core factor to governments and the public for many years. Sustainability in land transportation brings about less emission of greenhouse gases, less pollution, less traffic, a healthier and more active society. Ignorance to sustainability has brought about several environmental and human concerns including global warming. Global warming is the ...
  • Data Management for Nudged Green Transportation 

    Crăciun, Cosmin Radu (Master thesis; Mastergradsoppgave, 2019-05-14)
    Climate change is one of the most talked about topics in the world at the moment. In the context of man induced Global Warming, there are many proposed ideas on how to combat its effects and many more are still needed. We propose employing nudge theory to persuade people into using environmentally friendly modes of transport through a software application. This thesis focuses on the data management ...
  • Data management platform for citizen science education projects 

    Angelvik, Nina (Master thesis; Mastergradsoppgave, 2018-05-15)
    The air:bit project is a computer science education project that we developed in 2016 for use in North-Norwegian upper secondary (videregående) schools. Students build and code their own air quality sensor kits (air:bits), before collecting air quality data in their local areas. They create their own air quality related research questions, which they answer by analyzing the collected air:bit data ...
  • Metadata state and history service for datasets. Enable extracting, storing and access to metadata about a dataset over time. 

    Hansen, Roberth (Master thesis; Mastergradsoppgave, 2018-05-14)
    Distributed Arctic Observatory (DAO) aims to automate, streamline and improve the collection, storage and analysis of images, video and weather measurements taken on the arctic tundra. Automating the process means that there are no human users that needs to be involved in the process. This leads to a loss of monitoring capabilities of the process. There are insufficient tools that allow the human ...
  • Deep Learning: From Data Extraction to Large-Scale Analysis 

    Voets, Mike (Master thesis; Mastergradsoppgave, 2018-05-15)
    We aim to give an insight into aspects of developing and deploying a deep learning algorithm to automate biomedical image analyses. We anonymize sensitive data from a medical archive system, attempt to replicate and further improve published methods, and scale out our algorithm to support large-scale analyses. Specifically, our contributions are described as follows. First, to anonymize and extract ...
  • Trading network performance for cash in the bitcoin blockchain 

    Tedeschi, Enrico (Master thesis; Mastergradsoppgave, 2017-11-15)
    This thesis describes a longitudinal study of Bitcoin, the perhaps most popular blockchain based system today. Public blockchains have emerged as a plausible messaging substrate for applications that require highly reliable communication. However, sending messages over existing blockchains can be cumbersome and costly as miners require payment to establish consensus on the sequence of messages, ...
  • Swirlwave. Cloudless wide area friend-to-friend networking middleware for smartphones 

    Arnes, Jo Inge (Master thesis; Mastergradsoppgave, 2017-05-07)
    Swirlwave is a middleware that enables peer-to-peer and distributed computing for Internet-connected devices with the following characteristics: The devices lack publicly reachable IP addresses, they can be expected to disconnect from the network for periods of time, and they frequently change network locations. This is the typical case for smartphones. The middleware fits into the friend-to-friend ...
  • Distributed media versioning 

    Murphy, Michael J. (Master thesis; Mastergradsoppgave, 2017-05-15)
    It is still strangely difficult to backup and synchronize data. Cloud computing solves the problem by centralizing everything and letting someone else handle the backups. But what about situations with low connectivity or sensitive data? For this, software developers have an interesting distributed, decentralized, and partition-tolerant data storage system right at their fingertips: distributed ...
  • Space-Bounded Async Scheduling. A UPCxx extension 

    Verma, Nishant (Master thesis; Mastergradsoppgave, 2017-05-15)
    It is estimated that computers and mobile devices use more than 2% of the total energy consumed. That means a lot of energy is going in powering our cpu,display and gpu. In this paper we are trying to optimize the power consumed by cpu in partitioned global address space environment. Recent research suggests that there is scope in improving cpu power usage by having a better scheduler. Simhadri ...
  • EC3 - Edge Command-Control-Communication System for Arctic Observatories 

    Michalik, Lukasz Sergiusz (Master thesis; Mastergradsoppgave, 2017-05-13)
    This paper presents a prototype of a system for automated observations of flora and fauna in the Arctic. Currently applied methods of observation depend mostly on systems (usually consisting of a camera unit, a motion detection sensor and a memory card) that are left unattended in remote locations during extended periods of data gathering. The main problem with such approach is that no remote control ...
  • AutoMon. Automatic monitoring and problem detection for distributed systems 

    Wikstad, Magnus (Master thesis; Mastergradsoppgave, 2016-05-15)
    When working with distributed systems, detecting faults can be a difficult task, as abnormalities isn't necessarily immediately evident by warnings or system crashes. This is especially true with subtle faults, such as variations in performance of a running program, it is not necessarily its own fault, but could rather be from a different source, somewhere in the cluster, using a lot of resources ...
  • A framework for building scalable web applications for high-resolution cluster-based display walls 

    Tang, Jason (Master thesis; Mastergradsoppgave, 2015-10-06)
    As technology advances, researchers in the natural sciences collect ever-increasing amounts of data. While computer science research often focuses on effective ways to perform computations on large data sets, the visualization of large data sets can be just as important for achieving new insights. Just as cluster computing enables scalable computation on large data sets, so can cluster-based display ...
  • Simplified Device-Transparent Personal Storage 

    Kittilsland, Andreas (Master thesis; Mastergradsoppgave, 2016-05-15)
    The number of personal computers we use every day has increased significantly the last couple of years, where the common model is a setup where each device has its own storage with separate files and applications. This forces the user to think in a certain way about files and applications, where they are to a degree bound to a device unless the user specifically moves the files, or installs/uninstalls ...
  • Extending the Chrome browser. Adapting browser functionality to user needs and behavior 

    Skogvold, Adrian Arne (Master thesis; Mastergradsoppgave, 2015-11-15)
    What today's browsers offer in customization, personalization and functionality can be improved. In this thesis a application, in the form of a chrome extension that extends a web browser's functionality, and that offers customization and personalization has been designed and implemented. The functions implemented in the extension simplifies the access and availability of information to the user ...
  • Freia: Exploring Biological Pathways Using Unity3D 

    Knudsen, Kenneth (Master thesis; Mastergradsoppgave, 2015-11-15)
    To understand the biological processes related to the development of cancer there is a need for interactive data visualization tools that integrates experimental data with biological knowledge. Existing visualization tools have shown their usefulness, but next-generation biological data analysis requires both integrating different data types and larger datasets. This requires data exploration tools ...

View more