• Design and evaluation of a data space service for the Smart Ocean Platform 

  Hammerseth, Jonas Kurtzhals (Master thesis, 2024)

  The Smart Ocean Platform is a system of systems dedicated to the seamless integration of diverse data sources and services, playing a role in advancing Smart Ocean applications. The platform provides essential core ...

• Automated Clone Elimination in Python Tests 

  Kingston, Sebastian; Stolz, Volker; Pun, Violet Ka I (Peer reviewed; Journal article, 2024)

  Code clones are a well-known software quality metric with existing tools for detection and (semi-) automated elimination for common programming languages. While they are usually eliminated by extracting duplicate code into ...

• A smart fire risk notification software system 

  Olsaker, Jonas Schjøtt (Master thesis, 2024)

  Fires have been a common problem throughout history and have posed significant risks for lives and nature and caused monetary damages. Specific infrastructures have been created to prevent and limit fires, such as fire ...

• A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems 

  Kräuter, Tim Oliver; Rutle, Adrian; König, Harald; Lamo, Yngve (Peer reviewed; Journal article, 2024)

  The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different ...

• Strong convergence of some Magnus-type schemes for the finite element discretization of non-autonomous parabolic SPDEs driven by additive fractional Brownian motion and Poisson random measure 

  Noupelah, Aurelien Junior; Mukam, Jean Daniel; Tambue, Antoine (Research report, 2024)

  The aim of this work is to provide the strong convergence results of numerical approximations of a general second order non-autonomous semilinear stochastic partial differential equation (SPDE) driven simultaneously by an ...

• BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models 

  Kräuter, Tim Oliver; Stünkel, Patrick; Rutle, Adrian; Lamo, Yngve; König, Harald (Peer reviewed; Journal article, 2024)

  Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum at BPM 2024 co-located with 22nd International Conference on Business Process Management (BPM 2024): Many business process ...

• The parameterized complexity of finding minimum bounded chains 

  Blaser, Nello; Brun, Morten; Salbu, Lars Moberg; Vågset, Erlend Raa (Peer reviewed; Journal article, 2024)

  Finding the smallest d-chain with a specific (d − 1)-boundary in a simplicial complex is known as the Minimum Bounded Chain problem (MBCd). MBCd is NP-hard for all d ≥ 2. In this paper, we prove that it is also W[1]-hard ...

• The Visual Debugger: Past, Present, and Future 

  Kräuter, Tim Oliver; Stünkel, Patrick; Rutle, Adrian; Lamo, Yngve (Chapter; Peer reviewed, 2024)

  The Visual Debugger is an IntelliJ IDEA plugin that presents debug information as an object diagram to enhance program understanding. Reflecting on our past development, we detail the lessons learned and roadblocks we have ...

• Image Reconstruction for Proton Therapy Range Verification via U-NETs 

  Setterdahl, Lena Marie; Lionheart, William R. B.; Holman, Sean F.; Skjerdal, Kyrre; Ratliff, Hunter Nathaniel; Ytre-Hauge, Kristian Smeland; Lathouwers, Danny; Meric, Ilker (Peer reviewed; Journal article, 2024)

  This study aims to investigate the capability of U-Nets in improving image reconstruction accuracy for proton range verification within the framework of the NOVO (Next generation imaging for real-time dose verification ...

• BO24EB-23 Simulering – trådløs undervanns sensornettverk 

  Balthasar, Steffen Nanthen; Fiske, Mathias Mjelle; Quirk, Jens Hoff (Bachelor thesis, 2024)

• Runtime Verification of Timed Petri Nets 

  Requeno Jarabo, Jose Ignacio; Gómez-Martínez, Elena; Kallwies, Hannes; Haustein, Melanie; Leucker, Martin; Stolz, Volker; Stünkel, Patrick (Others, 2024)

  Timed Petri net (TPN) is a type of Petri net for modeling concurrent systems that incorporates time durations as first-class citizens. This paper provides a means for analyzing TPN by runtime verification, a lightweight ...

• Application of Machine Learning to Predict Blockage in Multiphase Flow 

  Saparbayeva, Nazerke; Balakin, Boris; Struchalin, Pavel; Rahman, Talal; Alyaev, Sergey (Peer reviewed; Journal article, 2024)

  This study presents a machine learning-based approach to predict blockage in multiphase flow with cohesive particles. The aim is to predict blockage based on parameters like Reynolds and capillary numbers using a random ...

• Reinseanlegg RA200 Sande 

  Bøyum, Roar; Skaar, Peter Søreide; Ullebø, Vegard Aven (Bachelor thesis, 2024)

• Overspenninger og lynavledning på offshoreinstallasjoner 

  Nodland, Morten Vanglo; Vågen, Magnus Djuve (Bachelor thesis, 2024)

• BO24EH-02 Appetittstyring Fisk KI 

  Bø, Christoffer; Jørgensen, Victor (Bachelor thesis, 2024)

• Fjerntilkobling til feltutstyr i et OT-nettverk 

  Christensen, Jørgen Dyrhol; Elufimov, Lev; Levinsen, Leander Surén (Bachelor thesis, 2024)

• Navigation of a Mobile Robot 

  Eikefet, Henrik; Sortland, Daniel (Bachelor thesis, 2024)

• Brushless doubly-fed induction machine 

  Hopp, Sevre-Julian Martinsen; Jakobsen, Adrian Kvernenes (Bachelor thesis, 2024)

• Validering av strøm- og spenningssensorer til bruk i systemer drevet av høyspenningsfrekvensomformer 

  Hisdal, Nora Anie; Newman, Victor Anang (Bachelor thesis, 2024)

• Videreutvikling av trefase DC/AC omformer med SV-PWM 

  Simonsen, Erling; Sneeggen, Harald Rasmussen (Bachelor thesis, 2024)

View more