Now showing items 810-829 of 1163

    • OAS DB: A Repository of Specifications to Support OpenAPI Research 

      Stoll, Alex Braha; Chaim, Marcos Lordello; Oyetoyan, Tosin Daniel; Cruzes, Daniela Soares (Peer reviewed; Journal article, 2020)
      There are many specifications used to describe a Web API. One of the most popular ones is OpenAPI. This specification allows one to describe all the resources that can be accessed and manipulated through a REST Web API. ...
    • Off-grid Solar Power Systems in Rural Areas 

      Breiteig, Mette Kristine; Hjartåker, Trond (Bachelor thesis, 2017)
      Sykehuset «Hatfield Archer Memorial Hospital» lokalisert i Rotifunk, Sierra Leone ble etterlatt i ruiner etter en ødeleggende borgerkrig. I 2005 ble den veldedige organisasjonen Haugesund Rotifunk grunnlagt og satt til å ...
    • On Distributed Runtime Verification by Aggregate Computing 

      Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko (Journal article; Peer reviewed, 2019)
      Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is ...
    • On modelling and validation of the MQTT IoT protocol for M2M communication 

      Tena, Alejandro Rodriguez; Kristensen, Lars Michael; Rutle, Adrian (Journal article; Peer reviewed, 2018)
      Machine to Machine (M2M) communication and Internet of Things (IoT) are becoming still more pervasive with the increase of communicating devices used in cyber-physical environments. A prominent approach to communication ...
    • On Neural Associative Memory Structures: Storage and Retrieval of Sequences in a Chain of Tournaments 

      Abolpour Mofrad, Asieh; Abolpour Mofrad, Samaneh; Yazidi, Anis; Parker, Matthew Geoffrey (Peer reviewed; Journal article, 2021)
      Associative memories enjoy many interesting properties in terms of error correction capabilities, robustness to noise, storage capacity, and retrieval performance, and their usage spans over a large set of applications. ...
    • On reducing model transformation testing overhead 

      Rodriguez-Echeverria, Roberto; Macias Gomez de Villar, Fernando; Rutle, Adrian (Peer reviewed; Journal article, 2016)
      Model-Driven Engineering is essentially based in metamodel definition, model edition and the specification of model transformations (MT). In many cases the development and maintenance of these transformations are still ...
    • On the behavior of some APN permutations under swapping points 

      Budaghyan, Lilya; Kaleyski, Nikolay Stoyanov; Riera, Constanza Susana; Stanica, Pantelimon (Peer reviewed; Journal article, 2021)
      We define the pAPN-spectrum (which is a measure of how close a function is to being APN) of an (n, n)-function F and investigate how its size changes when two of the outputs of a given function F are swapped. We completely ...
    • On the evaluation of android malware detectors against code-obfuscation techniques 

      Nawaz, Umair; Aleem, Muhammad; Lin, Jerry Chun-Wei (Peer reviewed; Journal article, 2022)
      The Android mobile platform is the most popular and dominates the cell phone market. With the increasing use of Android, malware developers have become active in circumventing security measures by using various obfuscation ...
    • One-dimensional charged kaon femtoscopy in p-Pb collisions at √sNN = 5.02 TeV 

      Acharya, Shreyasi; Adamová, Dagmar; Adhya, Souvik Priyam; Adler, Alexander; Adolfsson, Jonatan; Aggarwal, Madan M.; Aglieri Rinella, Gianluca; Agnello, Michelangelo; Agrawal, Neelima; Ahammed, Zubayer; Alme, Johan; Altenkaemper, Lucas; Djuvsland, Øystein; Ersdal, Magnus Rentsch; Fionda, Fiorella Maria Celeste; Grøttvik, Ola Slettevoll; Lofnes, Ingrid Mckibben; Nystrand, Joakim; Rehman, Attiq ur; Røhrich, Dieter; Tambave, Ganesh Jagannath; Ullaland, Kjetil; Wagner, Boris; Yang, Shiming; Yuan, Shiming; Zhou, Zhuo; Arsene, Ionut Cristian; Bätzing, Paul Christoph; Dordic, Olja; Lardeux, Antoine Xavier; Lindal, Svein; Mahmood, Sohail Musa; Malik, Qasim Waheed; Richter, Matthias; Røed, Ketil; Skaali, Toralf Bernhard; Tveter, Trine Spedstad; Wikne, Jon Christopher; Zhao, Chengxin; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Nesbø, Simon Voigt; Storetvedt, Maksim Melnik; Langøy, Rune; Lien, Jørgen André; Ahmad, Shafiq F.; Ahn, Sang Un; Aiola, Salvatore; Akindinov, Alexander; ALICE, Collaboration (Journal article; Peer reviewed, 2019)
      The correlations of identical charged kaons were measured in p-Pb collisions at √sNN = 5.02 TeV by the ALICE experiment at the LHC. The femtoscopic invariant radii and correlation strengths were extracted from one-dimensional ...
    • One-dimensional pion, kaon, and proton femtoscopy in Pb-Pb collisions at √sNN=2.76 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; Ullaland, Kjetil; Velure, Arild; Wagner, Boris; Zhang, Hui; 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é; Ajaz, Muhammad; Akindinov, Alexander; Alam, Sk Noor; Aleksandrov, Dimitry; Alessandro, Bruno; Alexandre, Didier; Alfaro, Molina; ALICE, Collaboration; Zhu, Hongsheng (Peer reviewed; Journal article, 2015)
    • A One-Phase Tree-Structure Method to Mine High Temporal Fuzzy Utility Itemsets 

      Hong, Tzung-Pei; Lin, Cheng-Yu; Huang, Wei-Ming; Li, Shu-Min; Wang, Shyue-Liang; Lin, Jerry Chun-Wei (Peer reviewed; Journal article, 2022)
      Compared to fuzzy utility itemset mining (FUIM), temporal fuzzy utility itemset mining (TFUIM) has been proposed and paid attention to in recent years. It considers the characteristics of transaction time, sold quantities ...
    • Online data compression in the ALICE O2 facility 

      Richter, Matthias Rudolph; Aamodt, Kenneth; Arsene, Ionut Christian; Bravina, Larissa; Dordic, Olja; Eyyubova, Gyulnara; Hille, Per Thomas; Kolevatov, Rodion; Kværnø, Henning; Lindal, Svein; Løvhøiden, Gunnar; Milosevic, Jovan; Nilsson, Mads Stormo; Nyiri, Agnes; Skaali, Toralf Bernhard; Tveter, Trine Spedstad; Tywoniuk, Konrad; Wikne, Jon Christopher; Zabrodin, Evgeny; Alme, Johan; Bablok, Sebastian Robert; Djuvsland, Øystein; Fehlker, Dominik; Haaland, Øystein Senneset; Huang, Meidana; Kanaki, Kalliopi; Klovning, Arne; Larsen, Dag Toppe; Liu, Lijiao; Nystrand, Joakim; Øvrebekk, Gaute; Pommeresche, Bjørn-Erling; Skjerdal, Kyrre; Ullaland, Kjetil; Wagner, Boris; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Røed, Ketil; Pocheptsov, Timur Anatolievich; Altinpinar, Sedat; Røhrich, Dieter; Adamová, Dagmar; Aggarwal, Madan M.; Aglieri Rinella, Gianluca; Ahammed, Zubayer; Ahn, Sang Un; Akindinov, Alexander; Aleksandrov, Dimitry; Alessandro, Bruno; ALICE, Collaboration (Peer reviewed; Journal article, 2017)
    • An ontology matching approach for semantic modeling: A case study in smart cities 

      Djenouri, Youcef; Belhadi, Hiba; Akli-Astouati, Karima; Cano, Alberto; Lin, Jerry Chun-Wei (Peer reviewed; Journal article, 2021)
      This paper investigates the semantic modeling of smart cities and proposes two ontology matching frameworks, called Clustering for Ontology Matching-based Instances (COMI) and Pattern mining for Ontology Matching-based ...
    • Open heavy flavour reconstruction in the ALICE Central Barrel 

      Prino, Francesco; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Røed, Ketil; ALICE Collaboration (Lecture, 2008)
      The ALICE experiment will be able to detect open charm and beauty hadrons in proton-proton and heavy ion collisions in the new energy regime of the CERN Large Hadron Collider (LHC). Heavy flavours are a powerful tool to ...
    • Open heavy-flavour production and elliptic flow in p-Pb collisions at the LHC with ALICE 

      Zanoli, Henrique J. C.; Acharya, Shreyasi; Acosta, Fernando T.; Adamová, Dagmar; Adolfsson, Jonatan; Aggarwal, Madan M.; Aglieri Rinella, Gianluca; Agnello, Michelangelo; Agrawal, Neelima; Ahammed, Zubayer; Alme, Johan; Altenkaemper, Lucas; Djuvsland, Øystein; Ersdal, Magnus Rentsch; Fionda, Fiorella Maria Celeste; Nystrand, Joakim; Rehman, Attiq Ur; Røhrich, Dieter; Tambave, Ganesh Jagannath; Ullaland, Kjetil; Wagner, Boris; Zhou, Zhuo; Arsene, Ionut Cristian; Bätzing, Paul Christoph; Dordic, Olja; Lardeux, Antoine Xavier; Lindal, Svein; Mahmood, Sohail Musa; Malik, Qasim Waheed; Richter, Matthias; Røed, Ketil; Skaali, Toralf Bernhard; Tveter, Trine Spedstad; Wikne, Jon Christopher; Zhao, Chengxin; Hetland, Kristin Fanebust; Kileng, Bjarte; Nesbø, Simon Voigt; Storetvedt, Maksim Melnik; Helstrup, Håvard; Langøy, Rune; Lien, Jørgen André; Ahn, Sang Un; Aiola, Salvatore; Akindinov, Alexander; Al-Turany, Mohammad; Alam, Sk Noor; Albuquerque, D. S. D.; Aleksandrov, Dmitry; Alessandro, Bruno; ALICE, Collaboration (Peer reviewed; Journal article, 2019)
      Measurements of open heavy flavour production in p–A collisions allow the investigation of Cold Nuclear Matter effects. In addition, they are an important tool for a complementary investigation of the long-range correlations ...
    • Opptrening av slagpasienter med nedsatt funksjonsevne gjennom bruk av VR 

      Hestness, Aksel Stokka; Simonsen, Anders (Bachelor thesis, 2021)
    • Optimal error estimate of the finite element approximation of second order semilinear non-autonomous parabolic PDEs 

      Tambue, Antoine; Mukam, Jean Daniel (Journal article; Peer reviewed, 2020)
      In this work, numerical approximation of the second order non-autonomous semilinear parabolic partial differential equations (PDEs) is investigated using the classical finite element method. To the best of our knowledge, ...
    • Optimal strong convergence rates of some Euler-type timestepping schemes for the finite element discretization SPDEs driven by additive fractional Brownian motion and Poisson random measure 

      Noupelah, Jean Daniel; Tambue, Antoine (Peer reviewed; Journal article, 2020)
      In this paper, we study the numerical approximation of a general second order semilinear stochastic partial differential equation (SPDE) driven by a additive fractional Brownian motion (fBm) with Hurst parameter H>12 and ...
    • Ormen Lange "tie-in" på Sleipner R 

      Johanson, Audun H.; Isdal, Geir Helge; Hamre, Tor (Bachelor thesis, 2004)
      Gassen som produseres ved det nye Ormen lange feltet skal hovedsakelig eksporteres til England og en ny rørledning fra prosesseringsanlegget på Nyhamna i Aukra kommune til Easington i England skal bygges. Den nye rørledningen ...
    • An Overview of Current Solutions for Privacy in the Internet of Things 

      Yang, Guang (Peer reviewed; Journal article, 2022)
      As the Internet of Things (IoT) applications have been introduced into daily life, privacy issues have become significant concerns to users, network service providers, device producers, and related roles. This study provides ...