Vitenskapelige publikasjoner (TN-IDE): Recent submissions

Now showing items 81-100 of 251

    • A Survey on Infrastructure-as-Code Solutions for Cloud Development 

      Teppan, Håkon; Flå, Lars; Jaatun, Martin Gilje (Chapter, 2022)
      Cloud software is increasingly written according to the DevOps paradigm, where use of virtualization and Infrastructure-as-Code is prevalent. This paper surveys the state of the art of IaC cloud development, and proposes ...

    • Automating Security in a Continuous Integration Pipeline 

      Chalishhafshejani, Sohrab; Pham, Bao Khanh; JAATUN, Martin Gilje (Chapter, 2022)
      Traditional approaches to software security are based on manual methods, which tend to stall development, leading to inefficiency. To speed up a software development lifecycle, security needs to be integrated and automated ...

    • Uncertainty-Aware Prediction Validator in Deep Learning Models for Cyber-Physical System Data 

      Catak, Ferhat Özgur; Yue, Tao; Ali, Shaukat (Peer reviewed; Journal article, 2022)
      The use of Deep learning in Cyber-Physical Systems (CPSs) is gaining popularity due to its ability to bring intelligence to CPS behaviors. However, both CPSs and deep learning have inherent uncertainty. Such uncertainty, ...

    • A Simplified Normalized Subband Adaptive Filter (NSAF) with NLMS-like complexity 

      Husøy, John Håkon (Chapter, 2022)
      The Normalized Subband Adaptive Filter (NSAF) is a popular algorithm exhibiting moderate computational complexity and enhanced convergence speed relative to the ubiquitous Normalized Least Mean Square (NLMS) algorithm. ...

    • Parsing heterogeneity within dementia with Lewy bodies using clustering of biological, clinical, and demographic data 

      Abdelnour, Carla; Ferreira, Daniel; van de Beek, Marleen; Cedres, Nira; Oppedal, Ketil; Cavallin, Lena; Blanc, Frédéric; Bousiges, Olivier; Wahlund, Lars-Olof; Pilotto, Andrea; Padovani, Alessandro; Boada, Mercè; Pagonabarraga, Javier; Kulisevsky, Jaime; Aarsland, Dag; Lemstra, Afina W.; Westman, Eric (Peer reviewed; Journal article, 2022)
      Background Dementia with Lewy bodies (DLB) includes various core clinical features that result in different phenotypes. In addition, Alzheimer’s disease (AD) and cerebrovascular pathologies are common in DLB. All this ...

    • Threat Modeling of a Smart Grid Secondary Substation 

      Holik, Filip; Flå, Lars; Jaatun, Martin Gilje; Yildirim Yayilgan, Sule; Foros, Jørn (Peer reviewed; Journal article, 2022)
      A full smart grid implementation requires the digitization of all parts of the smart grid infrastructure, including secondary electrical substations. Unfortunately, this introduces new security threats, which were not ...

    • NewbornTime - improved newborn care based on video and artificial intelligence - study protocol 

      Engan, Kjersti; Meinich-Bache, Øyvind; Brunner, Sara; Myklebust, Helge; Rong, Chunming; Garcia-Torres Fernandez, Jorge; Ersdal, Hege Langli; Johannessen, Anders; Pike, Hanne; Rettedal, Siren (Journal article, 2023)
      Background Approximately 3-8% of all newborns do not breathe spontaneously at birth, and require time critical resuscitation. Resuscitation guidelines are mostly based on best practice, and more research on newborn ...

    • Towards using Thermal Cameras in Birth Detection 

      Garcia-Torres Fernandez, Jorge; Meinich-Bache, Øyvind; Sara, Brunner; Johannessen, Anders; Rettedal, Siren; Engan, Kjersti (Chapter, 2022)
      In recent years, thermal imaging has been used in numerous applications due to its ability to capture and visualize the thermal radiation emitted by objects. Thermal cameras can be employed as non-invasive systems for ...

    • Virtual Sensors and Actuators 

      Rotondo, Damiano; Puig, Vicenç (Chapter, 2021)
      This chapter introduces the design of virtual sensors and actuators using the classical eigenvalue assignment approach, widely used for the design of controllers and observers in state-space. It presents a linear matrix ...

    • Blockchain-based prosumer incentivization for peak mitigation through temporal aggregation and contextual clustering 

      Karandikar, Nikita Rajendra; Abhishek, Rockey; Saurabh, Nishant; Zhao, Zhiming; Alexander, Lercher; Prodan, Radu; Chunming, Rong; Chakravorty, Antorweep (Peer reviewed; Journal article, 2021)
      Peak mitigation is of interest to power companies as peak periods may require the operator to over provision supply in order to meet the peak demand. Flattening the usage curve can result in cost savings, both for the power ...

    • The ARTICONF Approach to Decentralized Car-Sharing 

      Saurabh, Nishant; Rubia, Carlos; Palanisamy, Anandakumar; Koulouzis, Spiros; Sefidanoski, Mirsat; Chakravorty, Antorweep; Zhao, Zhiming; Karadimce, Aleksandar; Prodan, Radu (Peer reviewed; Journal article, 2021)
      Social media applications are essential for next-generation connectivity. Today, social media are centralized platforms with a single proprietary organization controlling the network and posing critical trust and governance ...

    • Artifacts on Magnetic Resonance Imaging from Electronic Identification Enablement in Silicone Gel Implants Are Not Negligible 

      Kurz, Kathinka Dæhli; Kallevåg, Øystein; Austrått, Kenneth; Styr, Bodil Margrethe; Leiknes, Jon Bjarne; Krøger, Pål (Peer reviewed; Journal article, 2021)
      Breast implants filled with silicone gel are used worldwide for cosmetic reasons, or breast reconstruction following risk-reducing or therapeutic mastectomy. The importance of identifiable implants is undeniable. A recent ...

    • Robust observer-based leader-following consensus for a class of nonlinear multi-agent systems: application to UAV formation control 

      Vazquez-Trejo, Juan; Rotondo, Damiano; Medina, Manuel Adam; Theilliol, Didier (Peer reviewed; Journal article, 2021)
      This paper presents the design of a robust observer-based control for a class of nonlinear multi-agent systems. The leader-following consensus problem is solved in order for all the agents to follow the trajectory of a ...

    • Report on the 1st Simulation for Information Retrieval Workshop (Sim4IR 2021) at SIGIR 2021 

      Balog, Krisztian; Maxwell, David; Thomas, Paul; Zhang, Shuo (Journal article, 2021)
      Simulation is used as a low-cost and repeatable means of experimentation. As Information Retrieval (IR) researchers, we are no strangers to the idea of using simulation within our own field---such as the traditional means ...

    • Formal Verification of HotStuff 

      Jehl, Leander (Chapter, 2021)
      HotStuff is a recent algorithm for repeated distributed consensus used in permissioned blockchains. We present a simplified version of the HotStuff algorithm and verify its safety using both Ivy and the TLA Proof Systems ...

    • Explainable artificial intelligence for human-machine interaction in brain tumor localization 

      Esmaeili, Morteza; Vettukattil, Riyas; Banitalebi, Hasan; Krogh, Nina R.; Geitung, Jonn Terje (Peer reviewed; Journal article, 2021)
      Primary malignancies in adult brains are globally fatal. Computer vision, especially recent developments in artificial intelligence (AI), have created opportunities to automatically characterize and diagnose tumor lesions ...

    • Saving Nine Without Stitching in Time: Integrity Check After-the-fact 

      Gudmestad, Racin; Houmb, Siv Hilde; Jaatun, Martin Gilje (Chapter, 2021)
      Electrical substations transform voltage from high to low, or low to high for distribution and transmission, respectively, and are a critical part of our electricity infrastructure. The state of a substation is continuously ...

    • LMI-based design of state-feedback controllers for pole clustering of LPV systems in a union of DR-regions 

      Yang, Ruicong; Rotondo, Damiano; Puig, Vicenç (Peer reviewed; Journal article, 2021)
      This paper introduces an approach for the design of a state-feedback controller that achieves pole clustering in a union of DR-regions for linear parameter varying systems. The design conditions, obtained using a partial ...

    • Detection of replay attacks in autonomous vehicles using a bank of QPV observers 

      Sanchez, Helem; Rotondo, Damiano; Puig, Vicenc; Escobet, Teresa; Quevedo, Joseba (Peer reviewed; Journal article, 2021)
      This paper addresses the problem of replay attack detection in autonomous vehicles. Due to the strong presence of nonlinearities, traditional approaches based on linear approximations of the dynamics would not work ...

    • An Ensemble Approach for Multi-Step Ahead Energy Forecasting of Household Communities 

      Mehdipourpirbazari, Aida; Sharma, Ekanki; Chakravorty, Antorweep; Elmenreich, Wilfreid; Chunming, Rong (Peer reviewed; Journal article, 2021)
      This paper addresses the estimation of household communities' overall energy usage and solar energy production, considering different prediction horizons. Forecasting the electricity demand and energy generation of communities ...