Institutt for datateknologi, elektroteknologi og realfag
Nye registreringer
-
Design and evaluation of a data space service for the Smart Ocean Platform
(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
(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
(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
(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
(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
(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
(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
(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
(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
(Bachelor thesis, 2024) -
Runtime Verification of Timed Petri Nets
(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
(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
(Bachelor thesis, 2024) -
Overspenninger og lynavledning på offshoreinstallasjoner
(Bachelor thesis, 2024) -
BO24EH-02 Appetittstyring Fisk KI
(Bachelor thesis, 2024) -
Fjerntilkobling til feltutstyr i et OT-nettverk
(Bachelor thesis, 2024) -
Navigation of a Mobile Robot
(Bachelor thesis, 2024) -
Brushless doubly-fed induction machine
(Bachelor thesis, 2024) -
Validering av strøm- og spenningssensorer til bruk i systemer drevet av høyspenningsfrekvensomformer
(Bachelor thesis, 2024) -
Videreutvikling av trefase DC/AC omformer med SV-PWM
(Bachelor thesis, 2024)