• First proton-proton collisions at the LHC as observed with the ALICE detector: measurement of the charged-particle pseudorapidity density at root s=900 GeV 

      Aamodt, Kenneth; Abel, N; Hetland, Kristin Fanebust; Røed, Ketil; Abeysekara, U; Quintana, AA; Acero, A; Adamova, D; Aggarwal, MM; Rinella, GA; Agocs, AG; Salazar, SA; Ahammed, Z; Ahmad, A; Ahmad, N; Ahn, SU; Akimoto, R; Akindinov, A; Aleksandrov, D; Alessandro, B; Molina, RA; Alici, A; Avina, EA; Alme, Johan; Alt, Torsten; Altini, V; Altinpinar, S; Andrei, C; Andronic, A; Anelli, G; Angelov, V; Anson, C; Anticic, T; Antinori, F; Antinori, S; Antipin, K; Antonczyk, D; Antonioli, P; Anzo, A; Aphecetche, L; Appelshauser, H; Arcelli, S; Arceo, R; Arend, A; Armesto, N; Arnaldi, R; Aronsson, T; Arsene, Ionut Christian; Asryan, A; Augustinus, A; Averbeck, R; Awes, TC; Aysto, J; Azmi, MD; Bablok, S; Bach, M; Badala, A; Baek, YW; Bagnasco, S; Bailhache, R; Bala, R; Baldisseri, A; Baldit, A; Ban, J; Barbera, R; Barnafoldi, GG; Barnby, L; Barret, V; Bartke, J; Barile, F; Basile, M; Basmanov, V; Bastid, N; Bathen, B; Batigne, G; Batyunya, B; Baumann, C; Bearden, I; Becker, B; Belikov, I; Bellwied, R; Belmont-Moreno, E; Belogianni, A; Benhabib, L; Beole, S; Berceanu, I; Bercuci, A; Berdermann, E; Berdnikov, Y; Betev, L; Bhasin, A; Bhati, AK; Bianchi, L; Bianchi, N; Bianchin, C; Bielcik, J; Bielcikova, J; Bilandzic, A; Bimbot, L; Biolcati, E; Blanc, A; Blanco, F; Blau, D; Blume, C; Boccioli, M; Bock, N; Bogdanov, A; Boggild, H; Bogolyubsky, M; Bohm, J; Boldizsar, L; Bombara, M; Bombonati, C; Bondila, M; Borel, H; Borshchov, V; Bortolin, C; Bose, S; Bosisio, L; Bossu, F; Botje, M; Bottger, S; Bourdaud, G; Boyer, B; Braun, M; Braun-Munzinger, P; Bravina, Larissa; Bregant, M; Breitner, T; Bruckner, G; Brun, R; Bruna, E; Bruno, GE; Budnikov, D; Buesching, H; Bugaev, K; Buncic, P; Busch, O; Buthelezi, Z; Caffarri, D; Cai, X; Caines, H; Camacho, E; Camerini, P; Campbell, M; Roman, VC; Capitani, GP; Romeo, GC; Carena, F; Carena, W; Carminati, F; Diaz, AC; Caselle, M; Castellanos, JC; Hernandez, JFC; Catanescu, V; Cattaruzza, E; Cavicchioli, C; Cerello, P; Chambert, V; Chang, B; Chapeland, S; Charpy, A; Charvet, JL; Chattopadhyay, S; Cherney, M; Cheshkov, C; Cheynis, B; Chiavassa, E; Barroso, VC; Chinellato, DD; Chochula, P; Choi, K; Chojnacki, M; Christakoglou, P; Christensen, CH; Christiansen, P; Chujo, T; Chuman, F; Cicalo, C; Cifarelli, L; Cindolo, F; Cleymans, J; Cobanoglu, O; Coffin, JP; Coli, S; Colla, A; Balbastre, GC; del Valle, ZC; Conner, ES; Constantin, P; Contin, G; Contreras, JG; Morales, YC; Cormier, TM; Cortese, P; Maldonado, IC; Cosentino, MR; Costa, F; Cotallo, ME; Crescio, E; Crochet, P; Cuautle, E; Cunqueiro, L; Cussonneau, J; Dainese, A; Dalsgaard, HH; Danu, A; Das, I; Das, S; Dash, A; Dash, S; de Barros, GOV; De Caro, A; de Cataldo, G; de Cuveland, J; De Falco, A; de Gaspari, M; de Groot, J; De Gruttola, D; de Haas, AP; De Marco, N; de Rooij, R; De Pasquale, S; de Vaux, G; Delagrange, H; Dellacasa, G; Deloff, A; Demanov, V; Denes, E; Deppman, A; D'Erasmo, G; Derkach, D; Devaux, A; Di Bari, D; Di Giglio, C; Di Liberto, S; Di Mauro, A; Di Nezza, P; Dialinas, M; Diaz, L; Diaz, R; Dietel, T; Ding, H; Divia, R; Djuvsland, Øystein; Valdiviesso, GD; Dobretsov, V; Dobrin, A; Dobrowolski, T; Donigus, B; Dominguez, I; Don, DMM; Dordic, Olja; Dubey, AK; Dubuisson, J; Ducroux, L; Dupieux, P; Majumdar, AKD; Majumdar, MRD; Elia, D; Emschermann, D; Enokizono, A; Espagnon, B; Estienne, M; Evans, D; Evrard, S; Eyyubova, Gyulnara; Fabjan, CW; Fabris, D; Faivre, J; Falchieri, D; Fantoni, A; Fasel, M; Fearick, R; Fedunov, A; Fehlker, Dominik; Fekete, V; Felea, D; Fenton-Olsen, B; Feofilov, G; Tellez, AF; Ferreiro, EG; Ferretti, A; Ferretti, R; Figueredo, MAS; Filchagin, S; Fini, R; Fionda, FM; Fiore, EM; Floris, M; Fodor, Z; Foertsch, S; Foka, P; Fokin, S; Formenti, F; Fragiacomo, E; Fragkiadakis, M; Frankenfeld, U; Frolov, A; Fuchs, U; Furano, F; Furget, C; Girard, MF; Gaardhoje, JJ; Gadrat, S; Gagliardi, M; Gago, A; Gallio, M; Ganoti, P; Ganti, MS; Garabatos, C; Trapaga, CG; Gebelein, J; Gemme, R; Germain, M; Gheata, A; Gheata, M; Ghidini, B; Ghosh, P; Giraudo, G; Giubellino, P; Gladysz-Dziadus, E; Glasow, R; Glassel, P; Glenn, A; Gomez, R; Santos, HG; Gonzalez-Trueba, LH; Gonzalez-Zamora, P; Gorbunov, S; Gorbunov, Y; Gotovac, S; Gottschlag, H; Grabski, V; Grajcarek, R; Grelli, A; Grigoras, A; Grigoras, C; Grigoriev, V; Grigoryan, A; Grinyov, B; Grion, N; Gros, P; Grosse-Oetringhaus, JF; Grossiord, JY; Grosso, R; Guarnaccia, C; Guber, F; Guernane, R; Guerzoni, B; Gulbrandsen, K; Gulkanyan, H; Gunji, T; Gupta, A; Gupta, R; Gustafsson, HA; Gutbrod, H; Haaland, Øystein Senneset; Hadjidakis, C; Haiduc, M; Hamagaki, H; Hamar, G; Hamblen, J; Han, BH; Harris, JW; Hartig, M; Harutyunyan, A; Hasch, D; Hasegan, D; Hatzifotiadou, D; Hayrapetyan, A; Heide, M; Heinz, M; Helstrup, Håvard; Herghelegiu, A; Hernandez, C; Corral, GG; Herrmann, N; Hicks, B; Hiei, A; Hille, Per Thomas; Hippolyte, B; Horaguchi, T; Hori, Y; Hristov, P; Hrivnacova, I; Hu, S; Huber, S; Humanic, TJ; Hutter, D; Hwang, DS; Ichou, R; Ilkaev, R; Ilkiv, I; Innocenti, PG; Ippolitov, I; Ippolitov, M; Irfan, M; Ivan, C; Ivanov, A; Ivanov, M; Ivanov, V; Iwasaki, T; Jachokowski, A; Jacobs, PM; Jancurova, L; Jangal, S; Janik, R; Jayananda, K; Jena, C; Jena, S; Jirden, L; Jones, G; Jones, PG; Jovanovic, P; Jung, H; Jung, W; Jusko, A; Kaidalov, AB; Kalcher, S; Kalinak, P; Kalliokoski, T; Kalweit, A; Kamal, A; Kamermans, R; Kanaki, Kalliopi; Kang, E; Kang, JH; Kapitan, J; Kaplin, V; Kapusta, S; Karavicheva, T; Karpechev, E; Kazantsev, A; Kebschull, U; Keidel, R; Khan, MM; Khan, SA; Khanzadeev, A; Kharlov, Y; Kikola, D; Kileng, Bjarte; Kim, DJ; Kim, DS; Kim, DW; Kim, HN; Kim, J; Kim, JH; Kim, JS; Kim, M; Kim, SH; Kim, S; Kim, Y; Kirsch, S; Kisel, I; Kiselev, S; Kisiel, A; Klay, JL; Klein, J; Klein-Bosing, C; Kliemant, M; Klovning, Arne; Kluge, A; Kniege, S; Koch, K; Kolevatov, Rodion; Kolojvari, A; Kondratiev, V; Kondratyeva, N; Konevskih, A; Kornas, E; Kour, R; Kowalski, M; Kox, S; Kozlov, K; Kral, J; Kralik, I; Kramer, F; Kraus, I; Kravcakova, A; Krawutschke, T; Krivda, M; Krumbhorn, D; Krus, M; Kryshen, E; Krzewicki, M; Kucheriaev, Y; Kuhn, C; Kuijer, PG; Kumar, L; Kumar, N; Kupczak, R; Kurashvili, P; Kurepin, A; Kurepin, AN; Kuryakin, A; Kushpil, S; Kushpil, V; Kutouski, M; Kværno, Henning; Kweon, MJ; Kwon, Y; La Rocca, P; Lackner, F; de Guevara, PL; Lafage, V; Lal, C; Lara, C; Larsen, Dag Toppe; Laurenti, G; Lazzeroni, C; Le Bornec, Y; Le Bris, N; Lee, H; Lee, KS; Lee, SC; Lefevre, F; Lenhardt, M; Leistam, L; Lehnert, J; Lenti, V; Leon, H; Monzon, IL; Vargas, HL; Levai, P; Li, Y; Lietava, R; Lindal, Svein; Lindenstruth, V; Lippmann, C; Lisa, MA; Listratenko, O; Liu, Lijiao; Loginov, V; Lohn, S; Lopez, X; Noriega, ML; Lopez-Ramirez, R; Torres, EL; Løvhøiden, Gunnar; Soares, ALF; Lu, S; Lunardon, M; Luparello, G; Luquin, L; Lutz, JR; Luvisetto, M; Ma, K; Ma, R; Madagodahettige-Don, DM; Maevskaya, A; Mager, M; Mahajan, A; Mahapatra, DP; Maire, A; Makhlyueva, I; Mal'Kevich, D; Malaev, M; Cervantes, IM; Malek, M; Malkiewicz, T; Malzacher, P; Mamonov, A; Manceau, L; Mangotra, L; Manko, V; Manso, F; Manzari, V; Mao, Y; Mares, J; Margagliotti, GV; Margotti, A; Marin, A; Martashvili, I; Martinengo, P; Martinez, MI; Davalos, AM; Garcia, GM; Maruyama, Y; Chiesa, AM; Masciocchi, S; Masera, M; Masetti, M; Masoni, A; Massacrier, L; Mastromarco, M; Mastroserio, A; Matthews, ZL; Tavares, BM; Matyja, A; Mayani, D; Mazza, G; Mazzoni, MA; Meddi, F; Menchaca-Rocha, A; Lorenzo, PM; Meoni, M; Perez, JM; Mereu, P; Miake, Y; Michalon, A; Miftakhov, N; Milosevic, Jovan; Minafra, F; Mischke, A; Miskowiec, D; Mitu, C; Mizoguchi, K; Mlynarz, J; Mohanty, B; Molnar, L; Mondal, MM; Zetina, LM; Monteno, M; Montes, E; Morando, M; Moretto, S; Morsch, A; Moukhanova, T; Muccifora, V; Mudnic, E; Muhuri, S; Muller, H; Munhoz, MG; Munoz, J; Musa, L; Musso, A; Nandi, BK; Nania, R; Nappi, E; Navach, F; Navin, S; Nayak, TK; Nazarenko, S; Nazarov, G; Nedosekin, A; Nendaz, F; Newby, J; Nianine, A; Nicassio, M; Nielsen, BS; Nikolaev, S; Nikolic, V; Nikulin, S; Nikulin, V; Nilsen, B; Nilsson, Mads Stormo; Noferini, F; Nomokonov, P; Nooren, G; Novitzky, N; Nyatha, A; Nygaard, C; Nyiri, Agnes; Nystrand, Joakim; Ochirov, A; Odyniec, G; Oeschler, H; Oinonen, M; Okada, K; Okada, Y; Oldenburg, M; Oleniacz, J; Oppedisano, C; Orsini, F; Velazquez, A; Ortona, G; Oskamp, C; Oskarsson, A; Osmic, F; Osterman, L; Ostrowski, P; Otterlund, I; Otwinowski, J; Øvrebekk, Gaute; Oyama, K; Ozawa, K; Pachmayer, Y; Pachr, M; Padilla, F; Pagano, P; Paic, G; Painke, F; Pajares, C; Pal, S; Pal, SK; Palaha, A; Palmeri, A; Panse, R; Pappalardo, GS; Park, WJ; Pastircak, B; Pastore, C; Paticchio, V; Pavlinov, A; Pawlak, T; Peitzmann, T; Pepato, A; Pereira, H; Peressounko, D; Perez, C; Perini, D; Perrino, D; Peryt, W; Peschek, J; Pesci, A; Peskov, V; Pestov, Y; Peters, A; Petracek, V; Petridis, A; Petris, M; Petrov, P; Petrovici, M; Petta, C; Peyre, J; Piano, S; Piccotti, A; Pikna, M; Pillot, P; Pinsky, L; Pitz, N; Piuz, F; Platt, R; Ploskon, M; Pluta, J; Pocheptsov, Timur; Pochybova, S; Lerma, PLM; Poggio, F; Poghosyan, MG; Polak, K; Polichtchouk, B; Polozov, P; Polyakov, V; Pommeresche, Bjørn-Erling; Pop, A; Posa, F; Pospisil, V; Potukuchi, B; Pouthas, J; Prasad, SK; Preghenella, R; Prino, F; Pruneau, CA; Pshenichnov, I; Puddu, G; Pujahari, P; Pulvirenti, A; Punin, A; Punin, V; Putis, M; Putschke, J; Quercigh, E; Rachevski, A; Rademakers, A; Radomski, S; Raiha, T; Rak, J; Rakotozafindrabe, A; Ramello, L; Reyes, AR; Rammler, M; Raniwala, R; Raniwala, S; Rasanen, S; Rashevskaya, I; Rath, S; Read, KF; Real, J; Redlich, K; Renfordt, R; Reolon, AR; Reshetin, A; Rettig, F; Revol, JP; Reygers, K; Ricaud, H; Riccati, L; Ricci, RA; Richter, Matthias Rudolph; Riedler, P; Riegler, W; Riggi, F; Rivetti, A; Cahuantzi, MR; Rohrich, D; Roed, K; Røhrich, Dieter; Lopez, SR; Romita, R; Ronchetti, F; Rosinsky, P; Rosnet, P; Rossegger, S; Rossi, A; Roukoutakis, F; Rousseau, S; Roy, C; Roy, P; Rubio-Montero, AJ; Rui, R; Rusanov, I; Russo, G; Ryabinkin, E; Rybicki, A; Sadovsky, S; Safarik, K; Sahoo, R; Saini, J; Saiz, P; Sakata, D; Salgado, CA; da Silva, RSD; Salur, S; Samanta, T; Sambyal, S; Samsonov, V; Sandor, L; Sandoval, A; Sano, M; Sano, S; Santo, R; Santoro, R; Sarkamo, J; Saturnini, P; Scapparone, E; Scarlassara, F; Scharenberg, RP; Schiaua, C; Schicker, R; Schindler, H; Schmidt, C; Schmidt, HR; Schreiner, S; Schuchmann, S; Schukraft, J; Schutz, Y; Schwarz, K; Schweda, K; Scioli, G; Scomparin, E; Segato, G; Semenov, D; Senyukov, S; Seo, J; Serci, S; Serkin, L; Serradilla, E; Sevcenco, A; Sgura, I; Shabratova, G; Shahoyan, R; Sharkov, G; Sharma, N; Sharma, S; Shigaki, K; Shimomura, M; Shtejer, K; Sibiriak, Y; Siciliano, M; Sicking, E; Siddi, E; Siemiarczuk, T; Silenzi, A; Silvermyr, D; Simili, E; Simonetti, G; Singaraju, R; Singh, R; Singhal, V; Sinha, BC; Sinha, T; Sitar, B; Skaali, TB; Sitta, M; Skaali, Toralf Bernhard; Skjerdal, Kyrre; Smakal, R; Smirnov, N; Snellings, R; Snow, H; Sogaard, C; Sokolov, O; Soloviev, A; Soltveit, HK; Soltz, R; Sommer, W; Son, CW; Son, HS; Song, M; Soos, C; Soramel, F; Soyk, D; Spyropoulou-Stassinaki, M; Srivastava, BK; Stachel, J; Staley, F; Stan, I; Stefanek, G; Stefanini, G; Steinbeck, T; Stenlund, E; Steyn, G; Stocco, D; Stock, R; Stolpovsky, P; Strmen, P; Suaide, AAP; Vasquez, MAS; Sugitate, T; Suire, C; Sumbera, M; Susa, T; Swoboda, D; Symons, TJM; de Toledo, AS; Szarka, I; Szostak, A; Szuba, M; Tadel, M; Tagridis, C; Takahara, A; Takahashi, J; Tanabe, R; Takaki, JDT; Taureg, H; Tauro, A; Tavlet, M; Munoz, G; Telesca, A; Terrevoli, C; Thader, J; Tieulent, R; Tlusty, D; Toia, A; Tolyhy, T; de Matos, CT; Torii, H; Torralba, G; Toscano, L; Tosello, F; Tournaire, A; Traczyk, T; Tribedy, P; Troger, G; Truesdale, D; Trzaska, WH; Tsiledakis, G; Tsilis, E; Tsuji, T; Tumkin, A; Turrisi, R; Turvey, A; Tveter, Trine Spedstad; Tydesjo, H; Tywoniuk, Konrad; Ulery, J; Ullaland, Kjetil; Uras, A; Urban, J; Urciuoli, GM; Usai, GL; Vacchi, A; Vala, M; Palomo, LV; Vallero, S; van den Brink, A; van der Kolk, N; Vyvre, PV; van Leeuwen, M; Vannucci, L; Vargas, A; Varma, R; Vasiliev, A; Vassiliev, I; Vassiliou, M; Vechernin, V; Venaruzzo, M; Vercellin, E; Vergara, S; Vernet, R; Verweij, M; Vetlitskiy, I; Vickovic, L; Viesti, G; Vikhlyantsev, O; Vilakazi, Z; Baillie, OV; Vinogradov, A; Vinogradov, L; Vinogradov, Y; Virgili, T; Viyogi, YP; Vodopianov, A; Voloshin, K; Voloshin, S; Volpe, G; Wagner, Boris; Wikne, Jon Christopher; von Haller, B; Zabrodin, Evgeny (Journal article, 2010)
      On 23rd November 2009, during the early commissioning of the CERN Large Hadron Collider (LHC), two counter-rotating proton bunches were circulated for the first time concurrently in the machine, at the LHC injection energy ...
    • First study of the two-body scattering involving charm hadrons 

      Acharya, Shreyasi; Adamová, Dagmar; Adler, Clemens; Adolfsson, Jonatan; Aglieri Rinella, Gianluca; Agnello, Michelangelo; Agrawal, Nikita; Ahammed, Zubayer; Ahmad, Shafiq F.; Ahn, Sang Un; Alme, Johan; Djuvsland, Øystein; Eikeland, Viljar Nilsen; Ersdal, Magnus Rentsch; Lofnes, Ingrid Mckibben; Nystrand, Joakim Ingemar; Rehman, Attiq Ur; Röhrich, Dieter; Sætre, Jon-Are; Tambave, Ganesh Jagannath; Ullaland, Kjetil; Velure, Arild; Wagner, Boris; Yang, Shiming; Yuan, Shiming; Arsene, Ionut Cristian; Malik, Qasim Waheed; Neagu, Alexandra; Richter, Matthias; Røed, Ketil; Skaali, Toralf Bernhard; Storehaug, Ida Torkjellsdatter; Tveter, Trine Spedstad; Wikne, Jon Christopher; Helstrup, Håvard; Hetland, Kristin Fanebust; Kileng, Bjarte; Nesbø, Simon Voigt; Reme-Ness, Haakon André; Storetvedt, Maksim Melnik; Langøy, Rune; Lien, Jørgen André; Ahuja, Ishaan; Akbar, Zaenai; Akindinov, Alexander; Al-Turany, Mohammed; Alam, Sk Noor; Aleksandrov, Dimitry; Alessandro, Bruno; Alfanda, Haidar Mas'ud; ALICE, Collaboration (Peer reviewed; Journal article, 2022)
      This article presents the first measurement of the interaction between charm hadrons and nucleons. The two-particle momentum correlations of pD− and ¯pD+ pairs are measured by the ALICE Collaboration in high-multiplicity ...
    • First-Principle Calculation of High Absorption-TlGaTe2 for Photovoltaic Application 

      Rasukkannu, Murugesan; Velauthapillai, Dhayalan; Vajeeston, Ponniah (Journal article; Peer reviewed, 2019)
      We use first-principle calculations based on hybrid functional and the Bethe-Salpeter equation method to investigate the electronic and optical properties of dichalcogenide TlGaTe2. Based on theoretical studies, TlGaTe2 ...
    • Fisheye on blockchain 

      Dmitriev, Arsenii; Gjølsjø, Karl Kristen; Phillips, Adrian (Bachelor thesis, 2022)
    • 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 ...