Recent Submissions

  • Executing Multilevel Domain-Specific Models in Maude 

    Rodríguez, Alejandro; Duran, Francisco; Rutle, Adrian; Kristensen, Lars Michael (Peer reviewed; Journal article, 2019)
    Multilevel modelling (MLM) tackles the limitation in the number of abstraction levels present in traditional modelling approaches within the model-driven software engineering (MDSE) field. One way to specify the behaviour ...
  • 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)
    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 ...
  • BILU-NEMH: A BILU neural-encoded mention hypergraph for mention extraction 

    Lin, Chun Wei; Shao, Yinan; Fournier-Viger, Philippe; Hamido, Fujita (Peer reviewed; Journal article, 2019)
    The natural language processing (NLP) denotes a technique used to process data such as text and speech. Some of the fundamental research in NLP includes the named entity recognition, which recognizes the named entities ...
  • Grid services in a box: container management in ALICE 

    Storetvedt, Maksim Melnik; Litmaath, Maarten; Betev, Latchezar; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte (Peer reviewed; Journal article, 2019)
    Virtualization and containers are established tools for providing simplified deployment, elasticity and workflow isolation. These benefits are especially advantageous in containers, which dispense with the resource overhead ...
  • An Effective Approach for the Diverse Group Stock Portfolio Optimization Using Grouping Genetic Algorithm 

    Chen, Chung-Hao; Lu, Cheng-Yu; Hong, Tzung-Pei; Lin, Chun Wei; Gaeta, Matteo (Peer reviewed; Journal article, 2019)
    Finding useful portfolios that could be a portfolio of trading strategy or a stock portfolio from financial datasets is always an attractive research topic due to the nature of financial markets. Because investors always ...
  • Powder pressed cuprous iodide (CuI) as a hole transporting material for perovskite solar cells 

    Uthayaraj, Siva; Karunarathne, DGBC; Kumara, GRA; Murugathas, Thanihaichelvan; Rasalingam, Shivatharsiny; Rajapakse, R.M.G.; Ravirajan, Punniyamoorthy; Velauthapillai, Dhayalan (Peer reviewed; Journal article, 2019)
    This study focuses on employing cuprous iodide (CuI) as a hole-transporting material (HTM) in fabricating highly efficient perovskite solar cells (PSCs). The PSCs were made in air with either CuI or 2,2′,7,7′-Tetrakis[N, ...
  • Partially APN Boolean functions and classes of functions that are not APN infinitely often 

    Budaghyan, Lilya; Kaleyski, Nikolay Stoyanov; Kwon, Soonhak; Riera, Constanza Susana; Stănică, Pantelimon (Peer reviewed; Journal article, 2019)
    In this paper we define a notion of partial APNness and find various characterizations and constructions of classes of functions satisfying this condition. We connect this notion to the known conjecture that APN functions ...
  • A Data-Driven Security Game to Facilitate Information Security Education 

    Løvgren, Dag Erik Homdrum; Li, Jingyue; Oyetoyan, Tosin Daniel (Chapter, 2019)
    Many universities have started to educate students on how to develop secure software and systems. One challenge of teaching information security is that the curriculum can easily be outdated, because new attacks and ...
  • “Digital Twins” for Highly Customized Electronic Devices – Case Study on a Rework Operation 

    Cupek, Rafal; Drewniak, Marek; Ziebinski, Adam; Fojcik, Marcin (Peer reviewed; Journal article, 2019)
    The ongoing changes in manufacturing require that new information models for industrial computer systems be developed and applied. This paper describes a concept for the material model as a “digital twin” for producing ...
  • Using multi-conditional minimum thresholds in temporal fuzzy utility mining 

    Huang, Weiming; Hong, Tzung-Pei; Chiang, Ming-Chao; Lin, Chun Wei (Peer reviewed; Journal article, 2019)
    In the field of fuzzy utility mining, the characteristics of transaction time have been a widely studied topic in data mining. However, using a single-conditional threshold for all items does not suffice to reflect the ...
  • Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach 

    de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi (Peer reviewed; Journal article, 2019)
    Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance ...
  • Charged-particle production as a function of multiplicity and transverse spherocity in pp collisions at √s=5.02 and 13 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 (Peer reviewed; Journal article, 2019)
    We present a study of the inclusive chargedparticle transverse momentum (pT) spectra as a function of charged-particle multiplicity density at mid-pseudorapidity, dNch/dη, in pp collisions at √s = 5.02 and 13 TeV covering ...
  • ALICE results on system-size dependence of charged-particle multiplicity density in p–Pb, Pb–Pb and Xe–Xe collisions 

    Kim, Beomkyu; 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; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Nesbø, Simon Voigt; Storetvedt, Maksim Melnik; 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)
    Particle production at LHC energies involves the interplay of hard (perturbative) and soft (non-perturbative) QCD processes. Global observables, such as the charged-particle multiplicity, are related to the initial geometry ...
  • Balance functions of (un)identified hadrons in Pb–Pb, p–Pb, and pp collisions at the LHC 

    Pan, Jinjin; 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)
    In ultrarelativistic heavy-ion collisions, correlations of particles with opposite quantum numbers provide insight into quark production mechanisms and time scales, collective motion, and re-scattering in the hadronic ...
  • Event-shape- and multiplicity-dependent identified particle production in pp collisions at 13 TeV with ALICE at the LHC 

    Bencédi, Gyula; 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)
    Multiplicity-dependent measurements of identified particle production led to the discovery of collective-like behavior in pp collisions at the LHC. Better understanding of the effects attributed to well-understood physics, ...
  • Investigating correlated fluctuations of conserved charges with net-Λ fluctuations in Pb–Pb collisions at ALICE 

    Ohlson, Alice; 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; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Nesbø, Simon Voigt; Storetvedt, Maksim Melnik; 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)
    Event-by-event fluctuations of conserved charges – such as electric charge, strangeness, and baryon number – in ultrarelativistic heavy-ion collisions provide insight into the properties of the quark-gluon plasma and the ...
  • Elliptic flow of identified hadrons in small collisional systems measured with ALICE 

    Pacík, Vojtech; 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)
    Recent observations of long-range multi-particle azimuthal correlations in p–Pb and high multiplicity pp collisions provided new insights into collision dynamics and opened a possibility to study collective effects in these ...
  • Hadronic resonances, strange and multi-strange particle production in Xe-Xe and Pb-Pb collisions with ALICE at the LHC 

    Albuquerque, D. S. D.; 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; Aleksandrov, Dmitry; Alessandro, Bruno; Alfaro Molina, R; ALICE, Collaboration (Peer reviewed; Journal article, 2019)
    We present measurements of hadronic resonance, strange and multi-strange particle production in collisions of Xe-Xe and Pb-Pb at the center-of-mass energies of √sNN = 5.44 and 5.02 TeV, respectively, by the ALICE collaboration ...
  • Light (anti-)nuclei production and elliptic flow at the LHC with ALICE 

    Puccio, Maximiliano; 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)
    Results on the production of stable light nuclei, including deuterons, 3He, 4He and the corresponding anti-nuclei, in Pb–Pb collisions at √sNN = 2.76 TeV and √sNN = 5.02 TeV are presented and compared with theoretical ...
  • Dielectron measurements in pp and Pb–Pb colllisions with ALICE at the LHC 

    Bailhache, R.; 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)
    The production of low-mass dielectrons is one of the most promising tools for the investigation of chiral symmetry restoration and thermal radiation from the QGP created in heavy-ion collisions. To single out the signal ...

View more