Samlinger i dette delarkivet

Nye registreringer

  • Table Search, Generation and Completion 

    Zhang, Shuo (PhD thesis UiS;, Doctoral thesis, 2019-10)
    Tables are one of those “universal tools” that are practical and useful in many application scenarios. Tables can be used to collect and organize information from multiple sources and then turn that information into knowledge ...
  • Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model 

    Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker (Peer reviewed; Journal article, 2019-04)
    Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ...
  • Robotløsning for håndtering av pølser på røykespyd 

    Øvrebø, Kjetil (Masteroppgave/UIS-TN-IDE/2018;, Master thesis, 2018-06)
    Industrielle roboter har i lang tid blitt plassert i et fysisk avgrenset og inngjerdet område for arbeidernes sikkerhet. Med nyvinninger innen sikkerhetssystemer og oppdaterte regelverk er dette i ferd med å endres. ...
  • Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model 

    Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker (Peer reviewed; Journal article, 2019-04)
    Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ...
  • A Novel Approach to Data Extraction on Hyperlinked Webpages 

    Shaukat, Kamran; Masood, Nayyer; Khushi, Matloob (Journal article; Peer reviewed, 2019-11)
    The World Wide Web has an enormous amount of useful data presented as HTML tables. These tables are often linked to other web pages, providing further detailed information to certain attribute values. Extracting schema of ...
  • A Widespread Review of Smart Grids Towards Smart Cities 

    Farmanbar, Mina; Parham, Kiyan; Arild, Øystein; Chunming, Rong (Journal article; Peer reviewed, 2019-11)
    Nowadays, the importance of energy management and optimization by means of smart devices has arisen as an important issue. On the other hand, the intelligent application of smart devices stands as a key element in establishing ...
  • A Widespread Review of Smart Grids Towards Smart Cities 

    Farmanbar, Mina; Parham, Kiyan; Arild, Øystein; Rong, Chunming (Journal article; Peer reviewed, 2019-11)
    Nowadays, the importance of energy management and optimization by means of smart devices has arisen as an important issue. On the other hand, the intelligent application of smart devices stands as a key element in establishing ...
  • Mixed convolutional and long short-term memory network for the detection of lethal ventricular arrhythmia 

    Picon, Artzai; Irusta, Unai; Alvarez-Gila, Aitor; Aramendi, Elisabete; Alonso-Atienza, Felipe; Figuera, Carlos; Ayala, Unai; Garrote, Estibaliz; Wik, Lars; Kramer-Johansen, Jo; Eftestøl, Trygve Christian (Journal article; Peer reviewed, 2019-05)
    Early defibrillation by an automated external defibrillator (AED) is key for the survival of out-of-hospital cardiac arrest (OHCA) patients. ECG feature extraction and machine learning have been successfully used to detect ...
  • Automatic Detection of Features from Atlantic Salmon by Classical Image Processing 

    Aanestad Lende, Christer; Lundal, Joachim Nising (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06-14)
    The methods created for this project aim to locate the salmon in the image and extract features from it. The aim of the features are to recognize individual salmon from each other. Individual identification, done by RFID ...
  • Strict ordering guarantees for event-source systems 

    Tvedt, Ferdinand (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019)
    The digital world is constantly developing globally, more people are connecting to the internet every day and companies that used to be national businesses are developing into international businesses. The constant stream ...
  • Segmentation of infarcted regions in Perfusion CT images by 3D deep learning 

    Tomasetti, Luca (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06)
    This thesis explores different Convolutional Neural Network (CNN) approaches to classify and segment infarcted regions from images taken through a Computed Tomography Perfusion (CTP) from patients of the Stavanger’s hospital ...
  • Visualization and comparison of geospatial data 

    Tjemsland, Tom Kristian (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019)
    Every second, a mind-numbing amount of data concerning the real world is gathered worldwide. Everything from the speed of cars through a road junction, to the geographical position of African lions, are registered and ...
  • Business Management Execution On Data Streams 

    Stensland, Nicolai Vikanes (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06)
    The world of business management is largely populated with data warehouses as a single source of truth. However, in recent years a shift towards the data origin known as data streams have arisen. Corporater, which is one ...
  • Domain Restricted Types for Improved Code Correctness 

    Fløysvik, Nicolas (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06)
    ReDi is a new static analysis tool for improving code correctness. It targets the C# language and is a .NET Roslyn live analyzer providing live analysis feedback to the developers using it. ReDi uses principles from formal ...
  • Minimum Word Error Rate Training for Speech Separation 

    Seo, Jungwon (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06-15)
    The cocktail party problem, also known as a single-channel multi-talker problem, is a significant challenge to enhance the performance of automatic speech recognition (ASR) systems. Most existing speech separation model ...
  • Real-time graph visualization in a single-page application 

    Boe, Fabian Legland (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06)
    In this project a single-page application for visualizing factory data was created. The application uses Graphviz to draw graphs. It keeps the graph updated by fetching data from a server using WebSockets and RPC. The graph ...
  • A Web Based Solution to Track Trawl Vessel Activities Over Pipelines in Norwegian Continental Shelf 

    Palanisamy, Anandhakumar (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06)
    Vessel Activities such as trawling and anchoring represent a risk to offshore marine structures such as pipelines, subsea structures, cables and platforms. Third party interference is a major contributor to the damage and ...
  • Intelligent supply and demand for marine protein factory (based on MindSphere platform) 

    Heidari, Paria (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06-23)
    The purpose of this project is to collect Internet Of Things data from available sources in the value chain. Our viewpoint to observe IoT data streams from all different processes in the factory as well as get an ...
  • Generating Retro Video Game Music Using Deep Learning Techniques 

    Book, Magnus Særsten (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019)
    Music generation using deep learning is a widely studied field. This thesis focuses on music generation in a constrained and novel environment; retro video game music. The constraints imposed by the environment creates ...
  • Fake News Detection A Deep Neural Network 

    Chennam Lakhsmikumar, Priyanka (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06-15)
    News is an important source of information for people.Identifying the inaccurate news is a difficult problem. Fake news, defined by the New York Times ”as a made-up story with an intention to deceive”, often for a secondary ...

Vis flere