Recent Submissions

  • Computational Modeling of Novel Bulk Materials for the Intermediate-Band Solar Cells 

    Rasukkannu, Murugesan; Velauthapillai, Dhayalan; Vajeeston, Ponniah (Journal article, 2017)
    Research communities have been studying materials with intermediate bands (IBs) in the middle of the band gap to produce efficient solar cells. Cells based on these materials could reach theoretical efficiencies up to ...
  • An MDE Approach for Modelling and Reasoning about Multi-agent Systems 

    Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael (Journal article; Peer reviewed, 2017)
    Epistemic logic plays an important role in artificial intelligence for reasoning about multi-agent systems. Current approaches for modelling multi-agent systems with epistemic logic use Kripke semantics where the knowledge ...
  • Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems 

    Liu, Zhiming; Stolz, Volker (Others, 2019)
    This compendium contains the lecture notes used in the “BeChong” meetings held as part of the SIU-funded bilateral project “Methods and Tool Support for Re nement, Model Transformation and Veri cation of Network Systems” ...
  • The Digital HealthLab: Supporting Interdisciplinary Projects in Engineering and in Health Education 

    Heldal, Ilona; Helgesen, Carsten Gunnar (Journal article, 2018)
    The importance of promoting interdisciplinary educations is recognized, however, initiating collaborative interdisciplinary educational projectsis challenging. In this paper,we will present the Digital HealthLab(DHLab),an ...
  • Some properties of the generic 2HDM in the alignment limit 

    Grzadkowski, Bohdan; Øgreid, Odd Magne; Osland, Per (Journal article; Peer reviewed, 2017)
    We discuss various properties of the generic two-Higgs-doublet extension of the Standard Model focusing on the region of parameter space known as the alignment limit. We emphasize that in the alignment limit in order to ...
  • Å tilrettelegge for at lektorstudentenlærer å lære fra seg i første semester 

    Hashemi, Amir Massoud; Eriksdotter Eggereide, Sigrun (Journal article, 2017)
    ABSTRAKT: Vi ønsker å dele erfaringer fra en workshop som har blitt arrangert for lektorstudentene som går sitt første semester på lektorutdanningen ved UiB, og tar fordypning i realfag og matematikk. Vi vil i denne ...
  • Enhanced performance of nanoporous titanium dioxide solar cells using cadmium sulfide and poly(3-hexylthiophene) co-sensitizers 

    Thanihaichelvan, Murugathas; Sri Kodikara, Minidu Manoranjana Punya; Ravirajan, Punniyamoorthy; Velauthapillai, Dhayalan (Journal article; Peer reviewed, 2017)
    This work reports the effect of co-sensitization of nanoporous titanium dioxide using Cadmium Sulfide (CdS) and poly(3-hexylthiophene) (P3HT) on the performance of hybrid solar cells. CdS nanolayer with different thicknesses ...
  • Refleksjoner rundt et utviklingsprosjekt: Forbedring av undervisningsopplegget i MAT101 ved Universitetet i Bergen 

    Hashemi, Amir Massoud (Journal article; Peer reviewed, 2017)
    Høyere utdanningsinstitusjoner står overfor store utfordringer for å holde førsteårsstudenter aktive, engasjerte og motiverte. Dette arbeidet presenterer endringer i undervisningsopplegget og forbedringer av pedagogiske ...
  • Handling constraints in model versioning 

    Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (Journal article; Peer reviewed, 2018)
    In model-driven software engineering (MDSE), models are firstclass entities of software development and undergo a complex evolution during their life-cycles. As a consequence, there is a growing need for techniques and ...
  • 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 ...
  • Multilevel Modelling of Coloured Petri Nets 

    Tena, Alejandro Rodriguez; Rutle, Adrian; Duran, Francisco; Kristensen, Lars Michael; Macías, Fernando (Journal article; Peer reviewed, 2018)
    Coloured Petri Nets (CPNs) is a modelling language for distributed systems which has been applied in a multitude of industrial cases. The supporting tool of CPNs is currently lacking important features such as having the ...
  • A tool for the convergence of multilevel modelling approaches 

    Macías, Fernando; Rutle, Adrian; Stolz, Volker (Journal article; Peer reviewed, 2018)
    Multilevel Modelling is a powerful paradigm that can improve the way we create and use models. The community and approaches related to Multilevel Modelling have been constantly growing, and the need to agree on some basic ...
  • Protecting Against Reflected Cross-Site Scripting Attacks 

    Ellingsen, Pål; Vikne, Andreas Svardal (Journal article; Peer reviewed, 2018)
    One of the most dominant threats against web applications is the class of script injection attacks, also called cross-site scripting. This class of attacks affects the client-side of a web application, and is a critical ...
  • Production of 4He and 4He in Pb–Pb collisions at √sNN = 2.76 TeV at the LHC 

    Acharya, Shreyasi; Adamová, Dagmar; Adolfsson, Jonatan; Aggarwal, Madan M.; Aglieri Rinella, Gianluca; Agnello, Michelangelo; Agrawal, Nikita; Ahammed, Zubayer; Ahn, Sang Un; Aiola, Salvatore; Alme, Johan; Altenkaemper, Lucas; Djuvsland, Øystein; Fionda, Fiorella Maria Celeste; 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 Cristian; Bätzing, Paul Christoph; Dordic, Olja; Lardeux, Antoine Xavier; Lindal, Svein; Mahmood, Sohail Musa; 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é; Akindinov, Alexander; Al-Turany, Mohammed; Alam, Sk Noor; De Albuquerque, Danilo Silva; Aleksandrov, Dimitry; Alessandro, Bruno; ALICE, Collaboration (Journal article; Peer reviewed, 2018)
    Results on the production of 4He and 4He nuclei in Pb–Pb collisions at √sNN = 2.76 TeV in the rapidity range | y |< 1, using the ALICE detector, are presented in this paper. The rapidity densities corresponding to 0–10% ...
  • Using coloured Petri nets for resource analysis of active objects 

    Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh (Conference object; Peer reviewed, 2018)
    Pay-on-demand resource provisioning is an important driver for cloud computing. Virtualized resources in cloud computing open for resource awareness, such that applications may contain resource management strategies to ...
  • Feasibility of the UR5 Industrial Robot for Robotic Rehabilitation of the Upper Limbs After Stroke 

    Kyrkjebø, Erik; Laastad, Mads Johan; Stavdahl, Øyvind (Journal article; Peer reviewed, 2018)
    Robot-assisted therapy is an emerging form of rehabilitation treatment for motor recovery of the upper limbs after neurological injuries such as stroke or spinal cord injury. Robotic rehabilitation devices have the potential ...
  • Inclusive J/ψ production in Xe–Xe collisions at √sNN = 5.44 TeV 

    Acharya, Shreyasi; Acosta, Fernando T.; Adamová, Dagmar; Adolfsson, Jonatan; Aggarwal, Madan M.; Aglieri Rinella, Gianluca; Agnello, Michelangelo; Agrawal, Nikita; Ahammed, Zubayer; Ahn, Sang Un; 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é; Aiola, Salvatore; Akindinov, Alexander; Al-Turany, Mohammed; Alam, Sk Noor; De Albuquerque, Danilo Silva; Aleksandrov, Dimitry; Alessandro, Bruno; Alfaro Molina, José Rubén; ALICE, Collaboration (Journal article; Peer reviewed, 2018)
    Inclusive J/ψ production is studied in Xe–Xe interactions at a centre-of-mass energy per nucleon pair of √sNN = 5.44 TeV, using the ALICE detector at the CERN LHC. The J/ψ meson is reconstructed via its decay into a muon ...
  • A Review on the Classifications of Organic/Inorganic/Carbonaceous Hole Transporting Materials for Perovskite Solar Cell Application 

    Selvakumar, P; Muthukumarasamy, N.; Agilan, S; Asokan, Vijayashankar; Akila, Y; Venkatraman, M R; Palanisamy, Subramaniam E,; Senthilarasu, S; Velauthapillai, Dhayalan (Journal article; Peer reviewed, 2018)
    The rapid increase in the efficiency of perovskite solar cells (PSCs) in last few decades have made them very attractive to the photovoltaic (PV) community. However, the serious challenge is related to the stability under ...
  • Simulations of Busy Probabilities in the ALPIDE Chip and the Upgraded ALICE ITS Detector 

    Nesbø, Simon Voigt; Alme, Johan; Bonara, Matthias; Giubilato, Piero; Helstrup, Håvard; Hristozkov, Swetlomir; Aglieri Rinella, Gianluca; Røhrich, Dieter; Schambach, Joachim; Shahoyan, Ruben; Ullaland, Kjetil (Journal article; Peer reviewed, 2018)
    For the Long Shutdown 2 (LS2) upgrade of the ITS detector in the ALICE experiment at the LHC, a novel pixel detector chip, the ALPIDE chip, has been developed. In the event of busy ALPIDE chips in the ITS detector, the ...
  • Heavy Higgs boson decays in the alignment limit of the 2HDM 

    Grzadkowski, Bohdan; Haber, Howard E.; Øgreid, Odd Magne; Osland, Per (Journal article; Peer reviewed, 2018)
    The Standard Model (SM)-like couplings of the observed Higgs boson impose strong constraints on the structure of any extended Higgs sector. We consider the theoretical properties and the phenomenological implications of a ...

View more