• A fitted finite volume method for stochastic optimal control problems in finance 

      Dleuna Nyoumbi, Christelle; Tambue, Antoine (Peer reviewed; Journal article, 2021)
      In this article, we provide a numerical method based on fitted finite volume method to approximate the Hamilton-Jacobi-Bellman (HJB) equation coming from stochastic optimal control problems in one and two dimensional domain. ...
    • A fitted L-Multi-point Flux Approximation method for pricing options 

      Koffi, Stephane Rock; Tambue, Antoine (Peer reviewed; Journal article, 2021)
      In this paper, we introduce a special kind of finite volume method called Multi-Point Flux Approximation method (MPFA) to price European and American options in two dimensional domain. We focus on the L-MPFA method for ...
    • Fleksibilitetsutfordringer ved økt effektbehov i distribusjonsnettet 

      Moradiroshankouhi, Sona; De Zwarte, Pieter Johannes (Bachelor thesis, 2023)
    • Flow dominance and factorization of transverse momentum correlations in Pb-Pb collisions at the LHC 

      Adam, Jaroslav; Adamová, Dagmar; Aggarwal, Madan M.; Aglieri Rinella, Gianluca; Agnello, Michelangelo; Agrawal, Nikita; Ahammed, Zubayer; Ahmad, Shafiq F.; Ahn, Sang Un; Aiola, Salvatore; Alme, Johan; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Nesbø, Simon Voigt; Altinpinar, Sedat; Djuvsland, Øystein; Lønne, Per-Ivar; Nystrand, Joakim; Rehman, Attiq ur; Røhrich, Dieter; Tambave, Ganesh Jagannath; Ullaland, Kjetil; Velure, Arild; Wagner, Boris; Zhou, Zhuo; Zhu, Hongsheng; Zhang, Hui; Arsene, Ionut Christian; Bätzing, Paul Christoph; Dordic, Olja; Lardeux, Antoine Xavier; Lindal, Svein; Mahmood, Sohail Musa; Milosevic, Jovan; Qvigstad, Henrik; Richter, Matthias; Røed, Ketil; Skaali, Toralf Bernhard; Tveter, Trine Spedstad; Wikne, Jon Christopher; Zhao, Chengxin; Langøy, Rune; Lien, Jørgen André; Akindinov, Alexander; Alam, Sk Noor; De Albuquerque, Danilo Silva; Aleksandrov, Dimitry; Alessandro, Bruno; Alexandre, Didier; ALICE, Collaboration (Peer reviewed; Journal article, 2017)
    • A formal approach to modeling and model transformations in software engineering 

      Rutle, Adrian; Wolter, Uwe; Lamo, Yngve (Journal article, 2008-05)
      A software model is an abstract representa- tion of a softwaresystem which can be used to describe, at a higher abstraction level, different aspects of of the software system. Since the beginning of computer science, raising ...
    • Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction 

      Strand, Ruben Dobler; Kristensen, Lars Michael; Petrucci, Laure (Peer reviewed; Journal article, 2022)
      Long periods of dry and cold weather conditions significantly increase fire risks for wooden buildings. Recent advances in predictive fire risk models combined with publicly available cloud-based weather data services have ...
    • Formalization and Analysis of BPMN Using Graph Transformation Systems 

      Kräuter, Tim Oliver; Rutle, Adrian; König, Harald; Lamo, Yngve (Peer reviewed; Journal article, 2023)
      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 ...
    • Forward-backward multiplicity correlations in pp collisions at √s = 0.9, 2.76 and 7 TeV 

      Adam, Jaroslav; Adamová, Dagmar; Aggarwal, Madan M.; Aglieri Rinella, Gianluca; Agnello, Michelangelo; Agrawal, Nikita; Ahammed, Zubayer; Ahmed, Ijaz; Ahn, Sang Un; Aimo, Ilaria; Alme, Johan; Erdal, Hege Austrheim; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Altinpinar, Sedat; Djuvsland, Øystein; Haaland, Øystein Senneset; Huang, Meidana; Lønne, Per-Ivar; Nystrand, Joakim; Rehman, Attiq ur; Røhrich, Dieter; Skjerdal, Kyrre; Ullaland, Kjetil; Velure, Arild; Wagner, Boris; Zhou, Zhuo; Arsene, Ionut Christian; Bätzing, Paul Christoph; Dordic, Olja; Lindal, Svein; Mahmood, Sohail Musa; Milosevic, Jovan; Qvigstad, Henrik; Richter, Matthias; Røed, Ketil; Skaali, Toralf Bernhard; Tveter, Trine Spedstad; Wikne, Jon Christopher; Zhao, Chengxin; Langøy, Rune; Lien, Jørgen André; Aiola, Salvatore; Ajaz, Muhammad; Akindinov, Alexander; Alam, Sk Noor; Aleksandrov, Dimitry; Alessandro, Bruno; Alexandre, Didier; ALICE, Collaboration (Peer reviewed; Journal article, 2015)
    • Forward-central two-particle correlations in p-Pb collisions at √sNN = 5.02 TeV 

      Adam, Jaroslav; Adamová, Dagmar; Aggarwal, Madan M.; Aglieri Rinella, Gianluca; Agnello, Michelangelo; Agrawal, Nikita; Ahammed, Zubayer; Ahn, Sang Un; Aimo, Ilaria; Aiola, Salvatore; Alme, Johan; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Altinpinar, Sedat; Djuvsland, Øystein; Haaland, Øystein Senneset; Huang, Meidana; Lønne, Per-Ivar; Nystrand, Joakim; Rehman, Attiq ur; Røhrich, Dieter; Tambave, Ganesh Jagannath; Ullaland, Kjetil; Velure, Arild; Wagner, Boris; Zhang, Hui; Zhou, Zhuo; Zhu, Hongsheng; Arsene, Ionut Christian; Bätzing, Paul Christoph; Dordic, Olja; Lindal, Svein; Mahmood, Sohail Musa; Milosevic, Jovan; Qvigstad, Henrik; Richter, Matthias; Røed, Ketil; Skaali, Toralf Bernhard; Tveter, Trine Spedstad; Wikne, Jon Christopher; Zhao, Chengxin; Langøy, Rune; Lien, Jørgen André; Ajaz, Muhammad; Akindinov, Alexander; Alam, Sk Noor; Aleksandrov, Dimitry; Alessandro, Bruno; Alexandre, Didier; ALICE, Collaboration (Peer reviewed; Journal article, 2016)
    • Fotspor 2.0 Turer for fysisk aktivitet og læring 

      Eikhaug, Thomas; Herrevold, Håkon; Weldeyohannes, Filmon Fisseha (Bachelor thesis, 2022)
    • Fracture formation due to differential compaction under glacial load: a poro-elastoplastic simulation of the Hugin Fracture 

      Landschulze, Karin; Landschulze, Marcus (Journal article; Peer reviewed, 2021)
      The Hugin Fracture, discovered in 2011, is an approximately 3.5 km long seafloor fracture in the North Sea. This fracture was unexpected and, due to the geology in the North Sea no obvious explanation could be found. In ...
    • A framework for multi-model consistency management 

      Stünkel, Patrick (Doctoral thesis, 2022)
      Software systems have become crucial for society and the economy to function. Constantly they are permeating more and more application domains. Also, they are getting increasingly integrated with already existing systems. ...
    • Freeze-out radii extracted from three-pion cumulants in pp, p-Pb and Pb-Pb collisions at the LHC 

      Abelev, Betty; Adam, Jaroslav; Adamová, Dagmar; Aggarwal, Madan M.; Agnello, Michelangelo; Agostinelli, Andrea; Agrawal, Nikita; Ahammed, Zubayer; Ahmad, Nazeer; Alme, Johan; Erdal, Hege Austrheim; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Altinpinar, Sedat; Djuvsland, Øystein; Fehlker, Dominik; Haaland, Øystein Senneset; Huang, Meidana; Lønne, Per-Ivar; Nystrand, Joakim; Rehman, Attiq ur; Røhrich, Dieter; Skjerdal, Kyrre; Ullaland, Kjetil; Velure, Arild; Wagner, Boris; Yang, Shiming; Zhou, Zhuo; Arsene, Ionut Christian; Bätzing, Paul Christoph; Dordic, Olja; Lindal, Svein; Mahmood, Sohail Musa; Milosevic, Jovan; Qvigstad, Henrik; Richter, Matthias; Røed, Ketil; Skaali, Toralf Bernhard; Tveter, Trine Spedstad; Wikne, Jon Christopher; Zhao, Chengxin; Langøy, Rune; Lien, Jørgen André; Ahn, Sang Un; Ahn, Sul-Ah; Ajaz, Muhammad; Akindinov, Alexander; Aleksandrov, Dimitry; Alessandro, Bruno; ALICE, Collaboration (Peer reviewed; Journal article, 2014)
    • Fresing med industrirobot 

      Marås, Christian; Sundsøy, Morten; Thomsen, Svanhild N.; Gjeraker, Lars Martin (Bachelor thesis, 2015)
      Denne bacheloroppgaven er utført av fire automasjonsstudenter ved Høgskulen i Sogn og Fjordane avd. ingeniør- og naturfag våren 2015. Robotbedriften nLink ønsker å anvende sin Motoman IA20-robot som 3D-fres. Oppgaven de ...
    • From SOS to asynchronously communicating actors 

      de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth (Peer reviewed; Journal article, 2020)
      Structural Operational Semantics (SOS) provides a general format to describe a model as a transition system with very powerful synchronization mechanisms. Actor systems are distributed, asynchronously communicating units ...
    • Fully Automatic Whole-Volume Tumor Segmentation in Cervical Cancer 

      Hodneland, Erlend; Kaliyugarasan, Sathiesh Kumar; Wagner-Larsen, Kari Strøno; Lura, Njål Gjærde; Andersen, Erling; Bartsch, Hauke; Smit, Noeska Natasja; Halle, Mari Kyllesø; Krakstad, Camilla; Lundervold, Alexander Selvikvåg; Haldorsen, Ingfrid S. (Peer reviewed; Journal article, 2022)
      Uterine cervical cancer (CC) is the most common gynecologic malignancy worldwide. Whole-volume radiomic profiling from pelvic MRI may yield prognostic markers for tailoring treatment in CC. However, radiomic profiling ...
    • Functional activity level reported by an informant is an early predictor of Alzheimer’s disease 

      Vik, Alexandra; Kocinski, Marek Michal; Rye, Ingrid Karlsen; Lundervold, Astri J.; Lundervold, Alexander Selvikvåg (Peer reviewed; Journal article, 2023)
      Background Loss of autonomy in day-to-day functioning is one of the feared outcomes of Alzheimer’s disease (AD), and relatives may have been worried by subtle behavioral changes in ordinary life situations long before these ...
    • Functional analysis and exterior calculus on mixed-dimensional geometries 

      Boon, Wietse; Nordbotten, Jan Martin; Vatne, Jon Eivind (Peer reviewed; Journal article, 2020)
      We are interested in differential forms on mixed-dimensional geometries, in the sense of a domain containing sets of d-dimensional manifolds, structured hierarchically so that each d-dimensional manifold is contained in ...
    • Fuzzy high-utility pattern mining in parallel and distributed Hadoop framework 

      Wu, Jimmy Ming-Tai; Srivastava, Gautam; Wei, Min; Yun, Unil; Lin, Jerry Chun-Wei (Peer reviewed; Journal article, 2021)
      Over the past decade, high-utility itemset mining (HUIM) has received widespread attention that can emphasize more critical information than was previously possible using frequent itemset mining (FIM). Unfortunately, HUIM ...