Browsing Publikasjoner fra CRIStin by Title

Now showing items 308-327 of 4296

    • 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 ...

    • Automatic analysis of X (Twitter) data for supporting depression diagnosis 

      Królak, Aleksandra; Wiktorski, Tomasz; Żmudzińska, Aleksandra (Peer reviewed; Journal article, 2023-12)
      Depression is an increasingly common problem that often goes undiagnosed. The aim of this paper was to determine whether an analysis of tweets can serve as a proxy for assessing depression levels in the society. The work ...

    • Automatic Cardiac Rhythm Classification With Concurrent Manual Chest Compressions 

      Isasi, Iraia; Irusta, Unai; Rad, Ali Bahrami; Aramendi, Elisabete; Zabihi, Morteza; Eftestøl, Trygve Christian; Kramer-Johansen, Jo; Wik, Lars (Journal article; Peer reviewed, 2019-08)
      Electrocardiogram (EKG) based classification of out-of-hospital cardiac arrest (OHCA) rhythms is important to guide treatment and to retrospectively elucidate the effects of therapy on patient response. OHCA rhythms are ...

    • Automatic diagnostic tool for predicting cancer grade in bladder cancer patients using deep learning 

      Wetteland, Rune; Engan, Kjersti; Eftestøl, Trygve Christian; Kvikstad, Vebjørn; Janssen, Emiel; Tøssebro, Erlend; Lillesand, Melinda (Peer reviewed; Journal article, 2021-08)
      The most common type of bladder cancer is urothelial carcinoma, which is among the cancer types with the highest recurrence rate and lifetime treatment cost per patient. Diagnosed patients are stratified into risk groups, ...

    • Automatic Estimation of Coronary Blood Flow Velocity Step 1 for Developing a Tool to Diagnose Patients With Micro-Vascular Angina Pectoris 

      Khanmohammadi, Mahdieh; Sæland, Charlotte; Engan, Kjersti; Eftestøl, Trygve Christian; Larsen, Alf Inge (Journal article; Peer reviewed, 2019-01)
      Aim: Our aim was to automatically estimate the blood velocity in coronary arteries using cine X-ray angiographic sequence. Estimating the coronary blood velocity is a key approach in investigating patients with angina ...

    • Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes 

      Kaid, Husam; Al-Ahmari, Abdulrahman; Li, Zhiwu; Davidrajuh, Reggie (Peer reviewed; Journal article, 2020-07)
      In reconfigurable manufacturing systems (RMSs), the architecture of a system can be modified during its operation. This reconfiguration can be caused by many motivations: processing rework and failures, adding new products, ...

    • 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 ...

    • Availability model of a 5G-MEC system 

      Pathirana, Thilina Dhanushka Kalahe; Nencioni, Gianfranco (Chapter, 2023)
      Multi-access Edge Computing (MEC) is one of the enabling technologies of the fifth generation (5G) of mobile networks. MEC enables services with strict latency requirements by bringing computing capabilities close to the ...

    • Availability of fresh water in cold climate regions 

      Awong, Nu Dah; Gudmestad, Ove Tobias (Peer reviewed; Journal article, 2023)
      Challenges related to the availability of fresh water in cold climate regions are discussed with emphasis on possible degradation of the quality of drinking water. The permafrost in this region has been consistent in making ...

    • AWESOME: an auction and witness enhanced SLA model for decentralized cloud marketplaces 

      Shi, Zeshun; Ivankovic, Veno; Farshidi, Siamak; Surbiryala, Jayachander; Zhou, Huan; Zhao, Zhiming (Peer reviewed; Journal article, 2022)
      In recent decades, the world has witnessed cloud computing as an essential technology that changes the traditional application Development and Operation (DevOps) lifecycle. However, current cloud software DevOps and Service ...

    • Axiomatizing Additive Multi-Effort Contests 

      Hausken, Kjell (Journal article, 2021-10)
      A rent seeking model is axiomatized where players exert multiple additive efforts which are substitutable in the contest success function. The axioms assume the sufficiency of exerting one effort, and that adding an amount ...

    • «Åja,drikker du ikke? Jeg trodde du var litt mer norsk» Alkoholens betydning for opplevelse av tilhørighet blant unge voksne med krysskulturell oppvekst i Norge 

      Bojovic, Tina; Studsrød, Ingunn; Enoksen, Elisabeth (Peer reviewed; Journal article, 2022)
      I denne artikkelen undersøker vi hvilken betydning alkohol og alkoholhåndtering har for unge kvinner og mennmed krysskulturell oppvekst. Vi anvender interseksjonalitet som perspektiv for å belyse hvordan ulike sosiale ...

    • Back on track: Approaches to managing highly disruptive school classes 

      Vaaland, Grete Sørensen (Journal article; Peer reviewed, 2017-10)
      Teaching and learning are at stake when classrooms become highly disruptive and pupils ignore the teacher’s instructions and leadership. Re-establishing teacher authority in a highly disruptive school class is an understudied ...

    • Backstage Researching Resilience Researchers – Dilemmas and Principles for Data collection in the Resilience in Healthcare Research Program 

      Wiig, Siri; Haraldseid-Driftland, Cecilie; Dombestein, Heidi; Lyng, Hilda Bø; Ree, Eline; Fagerdal, Birte; Schibevaag, Lene; Guise, Veslemøy (Peer reviewed; Journal article, 2022)
      Purpose Resilience in healthcare is fundamental for what constitutes quality in healthcare. To understand healthcare resilience, resilience research needs a multilevel perspective, diverse research designs, and taking ...

    • Balanced Scorecards: A Relational Contract Approach 

      Kvaløy, Ola; Olsen, Trond Egil (Peer reviewed; Journal article, 2022)
      Reward systems based on balanced scorecards often connect pay to an index, i.e. a weighted sum of multiple performance measures. We show that such an index contract may indeed be optimal if performance measures are ...

    • The balancing act: How do moral norms and anticipated pride drive food waste/reduction behaviour? 

      Talwar, Shalini; Kaur, Puneet; Kumar, Sushant; Salo, Jari; Dhir, Amandeep (Peer reviewed; Journal article, 2022)
      Food waste is a serious problem that impacts the environment and sustainability by increasing greenhouse gas emissions from landfills. Food waste also represents a social challenge because it raises serious concerns about ...

    • Balancing adaptation and innovation for resilience in healthcare – a metasynthesis of narratives 

      Lyng, Hilda Bø; Macrae, Carl James; Guise, Veslemøy; Haraldseid-Driftland, Cecilie; Fagerdal, Birte; Schibevaag, Lene; Alsvik, Janne Gro; Wiig, Siri (Peer reviewed; Journal article, 2021-07)
      Background Adaptation and innovation are both described as instrumental for resilience in healthcare. However, the relatedness between these dimensions of resilience in healthcare has not yet been studied. This study seeks ...

    • Balancing food waste and sustainability goals in online food delivery: Towards a comprehensive conceptual framework 

      Shankar, Amit; Dhir, Amandeep; Talwar, Shalini; Islam, Nazrul; Sharma, Piyush (Journal article; Peer reviewed, 2022-07-30)
      Increasing food waste is a major threat to sustainability and food security. Recognizing the issue, the United Nations Sustainable Development Goal (SDG) 12 mandates reducing global food waste by 50 percent by 2030. This ...

    • Balancing the Inpatient-Nurse Relationship in Anorexia Care 

      Rørtveit, Kristine; Sikveland, Anna Maria; Hansen, Britt Sætre (Journal article, 2020)
      Background: Nurses play a central role in the treatment of inpatients with anorexia, where bonding is a key factor. The inpatient-nurse relationship is based on a confident alliance characterized by important factors such ...

    • Barents Sea Oil and Gas 2025: Three Scenarios 

      Øverland, Indra; Bambulyak, Alexei; Bourmistrov, Anatoli; Gudmestad, Ove Tobias; Mellemvik, Frode; Zolotukhin, Anatoly (Chapter, 2015)
      What are some of the possible futures for Barents Sea oil and gas? This chapter draws upon the key trends and issues covered by the book’s thematic chapters and presents three scenarios on the prospects for Norwegian–Russian ...