Now showing items 501-520 of 769

    • EDMON - A backend server for an infection detection system monitoring individuals with type 1 diabetes 

      Coucheron, Sverre (Master thesis; Mastergradsoppgave, 2019-05-31)
      There are a growing number of adults with diabetes worldwide. Within 2045 it is expected to become over 600 million individuals. Since there are no known cures for diabetes, self-monitoring and self-recording are often used to manage the condition. Having tools such as mobile applications allow individuals to do this. The world and society face a significant health threat from communicable diseases, ...
    • RoadAhead - Removing Uncertainty in Travel. Creating a Data Warehouse for Green Transportation Nudging 

      Wallann, Håkon (Master thesis; Mastergradsoppgave, 2019-06-22)
      This paper describes a data warehouse approach to environmentally friendly transportation nudging. Transportation makes up a significant part of global carbon emissions. These emissions impacts both the climate and the health of individuals. As such, efforts should be done to address transportation patterns and habits. In addition to the reduction of air pollution, making people more active ...
    • Limelight: Real-Time Detection of Pump-and-Dump Events on Cryptocurrency Exchanges Using Deep Learning 

      Nilsen, Andreas Isnes (Master thesis; Mastergradsoppgave, 2019-06-01)
      Following the birth of cryptocurrencies back in 2008, internet investment platforms called exchanges were created to constellate these cryptocurrencies. Allowing investors to sell and buy assets equitable and agile over a single interface. Exchanges now have become popular and carry out over 99% of all daily transactions, totaling hundreds of millions of dollars. Despite that exchanges handling ...
    • DaoCron. Job Scheduler for Autonomous Observation Units in the Arctic Tundra 

      Moe Carstens, Martin Sommerseth (Master thesis; Mastergradsoppgave, 2019-05-31)
      DaoCron is a service which enables users to schedule tasks periodically. The Distributed Arctic Observatory (DAO) aims to improve the data collection from the arctic tundra using Observation Units (OUs). These OUs are given a set of tasks which they are expected to schedule at certain intervals. In order to schedule these tasks at certain time-intervals one can make use of Cron, which is a tool for ...
    • 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 ...
    • DiDiMap. Diet Diary and Consumption Control for Monitoring Bowel Dysfunctions and low-FODMAP Diet App 

      Olsen, Tobias Robin Borgen (Master thesis; Mastergradsoppgave, 2019-05-31)
      The purpose of this project was to design and implement a mobile application for people with bowel dysfunctions, intolerances, and food allergies. The application was expected to provide all needed functionality for the target groups day to day challenges. Irritable bowel syndrome, intolerances, and food allergies affect a significant portion of the population. On a world basis, 15\% of the ...
    • VisualBox. A Generic Data Integration and Visualization Tool 

      Aurdal, Pontus Edvard (Master thesis; Mastergradsoppgave, 2019-05-30)
      The number of cellular Internet of Things (IoT) connections is expected to grow at a rate of 30% each year and is reaching into the billions by 2019. The world of IoT can be fragmented since data sources span a wide variety of protocols, API's, authentication methods and file formats. Data collection and processing can be complex and producing visualizations for value extraction can be a tedious ...
    • 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 ...
    • App Features for Type 1 Diabetes Support and Patient Empowerment: Systematic Literature Review and Benchmark Comparison 

      Martínez-Millana, Antonio; Jarones, Elena; Fernandez-Llatas, Carlos; Hartvigsen, Gunnar; Traver, Vicente (Journal article; Tidsskriftartikkel; Peer reviewed, 2018)
      <p><i>Background</i>: Research in type 1 diabetes management has increased exponentially since the irruption of mobile health apps for its remote and self-management. Despite this fact, the features affect in the disease management and patient empowerment are adopted by app makers and provided to the general population remain unexplored.</p> <p><i>Objective</i>: To study the gap between literature ...
    • META-pipe cloud setup and execution 

      Agafonov, Aleksander; Mattila, Kimmo; Tuan, Cuong Duong; Tiede, Lars; Raknes, Inge Alexander; Bongo, Lars Ailo Aslaksen (Journal article; Tidsskriftartikkel; Peer reviewed, 2018-01-18)
      META-pipe is a complete service for the analysis of marine metagenomic data. It provides assembly of high-throughput sequence data, functional annotation of predicted genes, and taxonomic profiling. The functional annotation is computationally demanding and is therefore currently run on a high-performance computing cluster in Norway. However, additional compute resources are necessary to open the ...
    • Uni- and triaxial accelerometric signals agree during daily routine, but show differences between sports 

      Smith, Maia P; Horsch, Alexander; Standl, Marie; Heinrich, Joachim; Schulz, Holger (Journal article; Tidsskriftartikkel; Peer reviewed, 2018-10-10)
      Accelerometers objectively monitor physical activity, and ongoing research suggests they can also detect patterns of body movement. However, different types of signal (uniaxial, captured by older studies, vs. the newer triaxial) and or/device (validated Actigraph used by older studies, vs. others) may lead to incomparability of results from different time periods. Standardization is desirable. We ...
    • Norwegian e-Infrastructure for Life Sciences (NeLS) 

      Tekle, Kidane M; Gundersen, Sveinung; Klepper, Kjetil; Bongo, Lars Ailo; Raknes, Inge Alexander; Li, Xiaxi; Zhang, Wei; Andreetta, Christian; Mulugeta, Teshome Dagne; Kalaš, Matúš; Rye, Morten Beck; Hjerde, Erik; Antony Samy, Jeevan Karloss; Fornous, Ghislain; Azab, Abdulrahman; Våge, Dag Inge; Hovig, Eivind; Willassen, Nils Peder; Drabløs, Finn; Nygård, Ståle; Petersen, Kjell; Jonassen, Inge (Journal article; Tidsskriftartikkel; Peer reviewed, 2018-06-29)
      The Norwegian e-Infrastructure for Life Sciences (NeLS) has been developed by ELIXIR Norway to provide its users with a system enabling data storage, sharing, and analysis in a project-oriented fashion. The system is available through easy-to-use web interfaces, including the Galaxy workbench for data analysis and workflow execution. Users confident with a command-line interface and programming may ...
    • A systematic review of cluster detection mechanisms in syndromic surveillance: Towards developing a framework of cluster detection mechanisms for EDMON system 

      Yeng, Prosper Kandabongee; Woldaregay, Ashenafi Zebene; Solvoll, Terje; Hartvigsen, Gunnar (Journal article; Tidsskriftartikkel; Peer reviewed, 2018)
      Time lag in detecting disease outbreaks remains a threat to global health security. Currently, our research team is working towards a system called EDMON, which uses blood glucose level and other supporting parameters from people with type 1 diabetes, as indicator variables for outbreak detection. Therefore, this paper aims to pinpoint the state of the art cluster detection mechanism towards developing ...
    • Shrinkage estimation of rate statistics 

      Holsbø, Einar Jakobsen; Perduca, Vittorio (Journal article; Tidsskriftartikkel; Peer reviewed, 2018-10-08)
      This paper presents a simple shrinkage estimator of rates based on Bayesian methods. Our focus is on crime rates as a motivating example. The estimator shrinks each town’s observed crime rate toward the country-wide average crime rate according to town size. By realistic simulations we confirm that the proposed estimator outperforms the maximum likelihood estimator in terms of global risk. We also ...
    • Performance principles for trusted computing with intel SGX 

      Gjerdrum, Anders Tungeland; Pettersen, Robert; Johansen, Håvard D.; Johansen, Dag (Journal article; Tidsskriftartikkel; Peer reviewed, 2018-07-14)
      Cloud providers offering Software-as-a-Service (SaaS) are increasingly being trusted by customers to store sensitive data. Companies often monetize such personal data through curation and analysis, providing customers with personalized application experiences and targeted advertisements. Personal data is often accompanied by strict privacy and security policies, requiring data processing to be ...