Euclid. I. Overview of the Euclid mission

Autor: Euclid Collaboration, Mellier, Y., Abdurro'uf, Barroso, J. A. Acevedo, Achúcarro, A., Adamek, J., Adam, R., Addison, G. E., Aghanim, N., Aguena, M., Ajani, V., Akrami, Y., Al-Bahlawan, A., Alavi, A., Albuquerque, I. S., Alestas, G., Alguero, G., Allaoui, A., Allen, S. W., Allevato, V., Alonso-Tetilla, A. V., Altieri, B., Alvarez-Candal, A., Alvi, S., Amara, A., Amendola, L., Amiaux, J., Andika, I. T., Andreon, S., Andrews, A., Angora, G., Angulo, R. E., Annibali, F., Anselmi, A., Anselmi, S., Arcari, S., Archidiacono, M., Aricò, G., Arnaud, M., Arnouts, S., Asgari, M., Asorey, J., Atayde, L., Atek, H., Atrio-Barandela, F., Aubert, M., Aubourg, E., Auphan, T., Auricchio, N., Aussel, B., Aussel, H., Avelino, P. P., Avgoustidis, A., Avila, S., Awan, S., Azzollini, R., Baccigalupi, C., Bachelet, E., Bacon, D., Baes, M., Bagley, M. B., Bahr-Kalus, B., Balaguera-Antolinez, A., Balbinot, E., Balcells, M., Baldi, M., Baldry, I., Balestra, A., Ballardini, M., Ballester, O., Balogh, M., Bañados, E., Barbier, R., Bardelli, S., Baron, M., Barreiro, T., Barrena, R., Barriere, J. -C., Barros, B. J., Barthelemy, A., Bartolo, N., Basset, A., Battaglia, P., Battisti, A. J., Baugh, C. M., Baumont, L., Bazzanini, L., Beaulieu, J. -P., Beckmann, V., Belikov, A. N., Bel, J., Bellagamba, F., Bella, M., Bellini, E., Benabed, K., Bender, R., Benevento, G., Bennett, C. L., Benson, K., Bergamini, P., Bermejo-Climent, J. R., Bernardeau, F., Bertacca, D., Berthe, M., Berthier, J., Bethermin, M., Beutler, F., Bevillon, C., Bhargava, S., Bhatawdekar, R., Bianchi, D., Bisigello, L., Biviano, A., Blake, R. P., Blanchard, A., Blazek, J., Blot, L., Bosco, A., Bodendorf, C., Boenke, T., Böhringer, H., Boldrini, P., Bolzonella, M., Bonchi, A., Bonici, M., Bonino, D., Bonino, L., Bonvin, C., Bon, W., Booth, J. T., Borgani, S., Borlaff, A. S., Borsato, E., Bose, B., Botticella, M. T., Boucaud, A., Bouche, F., Boucher, J. S., Boutigny, D., Bouvard, T., Bouwens, R., Bouy, H., Bowler, R. A. A., Bozza, V., Bozzo, E., Branchini, E., Brando, G., Brau-Nogue, S., Brekke, P., Bremer, M. N., Brescia, M., Breton, M. -A., Brinchmann, J., Brinckmann, T., Brockley-Blatt, C., Brodwin, M., Brouard, L., Brown, M. L., Bruton, S., Bucko, J., Buddelmeijer, H., Buenadicha, G., Buitrago, F., Burger, P., Burigana, C., Busillo, V., Busonero, D., Cabanac, R., Cabayol-Garcia, L., Cagliari, M. S., Caillat, A., Caillat, L., Calabrese, M., Calabro, A., Calderone, G., Calura, F., Quevedo, B. Camacho, Camera, S., Campos, L., Canas-Herrera, G., Candini, G. P., Cantiello, M., Capobianco, V., Cappellaro, E., Cappelluti, N., Cappi, A., Caputi, K. I., Cara, C., Carbone, C., Cardone, V. F., Carella, E., Carlberg, R. G., Carle, M., Carminati, L., Caro, F., Carrasco, J. M., Carretero, J., Carrilho, P., Duque, J. Carron, Carry, B., Carvalho, A., Carvalho, C. S., Casas, R., Casas, S., Casenove, P., Casey, C. M., Cassata, P., Castander, F. J., Castelao, D., Castellano, M., Castiblanco, L., Castignani, G., Castro, T., Cavet, C., Cavuoti, S., Chabaud, P. -Y., Chambers, K. C., Charles, Y., Charlot, S., Chartab, N., Chary, R., Chaumeil, F., Cho, H., Chon, G., Ciancetta, E., Ciliegi, P., Cimatti, A., Cimino, M., Cioni, M. -R. L., Claydon, R., Cleland, C., Clément, B., Clements, D. L., Clerc, N., Clesse, S., Codis, S., Cogato, F., Colbert, J., Cole, R. E., Coles, P., Collett, T. E., Collins, R. S., Colodro-Conde, C., Colombo, C., Combes, F., Conforti, V., Congedo, G., Conseil, S., Conselice, C. J., Contarini, S., Contini, T., Conversi, L., Cooray, A. R., Copin, Y., Corasaniti, P. -S., Corcho-Caballero, P., Corcione, L., Cordes, O., Corpace, O., Correnti, M., Costanzi, M., Costille, A., Courbin, F., Mifsud, L. Courcoult, Courtois, H. M., Cousinou, M. -C., Covone, G., Cowell, T., Cragg, C., Cresci, G., Cristiani, S., Crocce, M., Cropper, M., Crouzet, P. E, Csizi, B., Cuby, J. -G., Cucchetti, E., Cucciati, O., Cuillandre, J. -C., Cunha, P. A. C., Cuozzo, V., Daddi, E., D'Addona, M., Dafonte, C., Dagoneau, N., Dalessandro, E., Dalton, G. B., D'Amico, G., Dannerbauer, H., Danto, P., Das, I., Da Silva, A., da Silva, R., Doumerg, W. d'Assignies, Daste, G., Davies, J. E., Davini, S., Dayal, P., de Boer, T., Decarli, R., De Caro, B., Degaudenzi, H., Degni, G., de Jong, J. T. A., de la Bella, L. F., de la Torre, S., Delhaise, F., Delley, D., Delucchi, G., De Lucia, G., Denniston, J., De Paolis, F., De Petris, M., Derosa, A., Desai, S., Desjacques, V., Despali, G., Desprez, G., De Vicente-Albendea, J., Deville, Y., Dias, J. D. F., Díaz-Sánchez, A., Diaz, J. J., Di Domizio, S., Diego, J. M., Di Ferdinando, D., Di Giorgio, A. M., Dimauro, P., Dinis, J., Dolag, K., Dolding, C., Dole, H., Sánchez, H. Domínguez, Doré, O., Dournac, F., Douspis, M., Dreihahn, H., Droge, B., Dryer, B., Dubath, F., Duc, P. -A., Ducret, F., Duffy, C., Dufresne, F., Duncan, C. A. J., Dupac, X., Duret, V., Durrer, R., Durret, F., Dusini, S., Ealet, A., Eggemeier, A., Eisenhardt, P. R. M., Elbaz, D., Elkhashab, M. Y., Ellien, A., Endicott, J., Enia, A., Erben, T., Vigo, J. A. Escartin, Escoffier, S., Sanz, I. Escudero, Essert, J., Ettori, S., Ezziati, M., Fabbian, G., Fabricius, M., Fang, Y., Farina, A., Farina, M., Farinelli, R., Farrens, S., Faustini, F., Feltre, A., Ferguson, A. M. N., Ferrando, P., Ferrari, A. G., Ferré-Mateu, A., Ferreira, P. G., Ferreras, I., Ferrero, I., Ferriol, S., Ferruit, P., Filleul, D., Finelli, F., Finkelstein, S. L., Finoguenov, A., Fiorini, B., Flentge, F., Focardi, P., Fonseca, J., Fontana, A., Fontanot, F., Fornari, F., Fosalba, P., Fossati, M., Fotopoulou, S., Fouchez, D., Fourmanoit, N., Frailis, M., Fraix-Burnet, D., Franceschi, E., Franco, A., Franzetti, P., Freihoefer, J., Frenk, C. . S., Frittoli, G., Frugier, P. -A., Frusciante, N., Fumagalli, A., Fumagalli, M., Fumana, M., Fu, Y., Gabarra, L., Galeotta, S., Galluccio, L., Ganga, K., Gao, H., García-Bellido, J., Garcia, K., Gardner, J. P., Garilli, B., Gaspar-Venancio, L. -M., Gasparetto, T., Gautard, V., Gavazzi, R., Gaztanaga, E., Genolet, L., Santos, R. Genova, Gentile, F., George, K., Gerbino, M., Ghaffari, Z., Giacomini, F., Gianotti, F., Gibb, G. P. S., Gillard, W., Gillis, B., Ginolfi, M., Giocoli, C., Girardi, M., Giri, S. K., Goh, L. W. K., Gómez-Alvarez, P., Gonzalez-Perez, V., Gonzalez, A. H., Gonzalez, E. J., Gonzalez, J. C., Beauchamps, S. Gouyou, Gozaliasl, G., Gracia-Carpio, J., Grandis, S., Granett, B. R., Granvik, M., Grazian, A., Gregorio, A., Grenet, C., Grillo, C., Grupp, F., Gruppioni, C., Gruppuso, A., Guerbuez, C., Guerrini, S., Guidi, M., Guillard, P., Gutierrez, C. M., Guttridge, P., Guzzo, L., Gwyn, S., Haapala, J., Haase, J., Haddow, C. R., Hailey, M., Hall, A., Hall, D., Hamaus, N., Haridasu, B. S., Harnois-Déraps, J., Harper, C., Hartley, W. G., Hasinger, G., Hassani, F., Hatch, N. A., Haugan, S. V. H., Häußler, B., Heavens, A., Heisenberg, L., Helmi, A., Helou, G., Hemmati, S., Henares, K., Herent, O., Hernández-Monteagudo, C., Heuberger, T., Hewett, P. C., Heydenreich, S., Hildebrandt, H., Hirschmann, M., Hjorth, J., Hoar, J., Hoekstra, H., Holland, A. D., Holliman, M. S., Holmes, W., Hook, I., Horeau, B., Hormuth, F., Hornstrup, A., Hosseini, S., Hu, D., Hudelot, P., Hudson, M. J., Huertas-Company, M., Huff, E. M., Hughes, A. C. N., Humphrey, A., Hunt, L. K., Huynh, D. D., Ibata, R., Ichikawa, K., Iglesias-Groth, S., Ilbert, O., Ilić, S., Ingoglia, L., Iodice, E., Israel, H., Israelsson, U. E., Izzo, L., Jablonka, P., Jackson, N., Jacobson, J., Jafariyazani, M., Jahnke, K., Jain, B., Jansen, H., Jarvis, M. J., Jasche, J., Jauzac, M., Jeffrey, N., Jhabvala, M., Jimenez-Teja, Y., Muñoz, A. Jimenez, Joachimi, B., Johansson, P. H., Joudaki, S., Jullo, E., Kajava, J. J. E., Kang, Y., Kannawadi, A., Kansal, V., Karagiannis, D., Kärcher, M., Kashlinsky, A., Kazandjian, M. V., Keck, F., Keihänen, E., Kerins, E., Kermiche, S., Khalil, A., Kiessling, A., Kiiveri, K., Kilbinger, M., Kim, J., King, R., Kirkpatrick, C. C., Kitching, T., Kluge, M., Knabenhans, M., Knapen, J. H., Knebe, A., Kneib, J. -P., Kohley, R., Koopmans, L. V. E., Koskinen, H., Koulouridis, E., Kou, R., Kovács, A., Kovačić, I., Kowalczyk, A., Koyama, K., Kraljic, K., Krause, O., Kruk, S., Kubik, B., Kuchner, U., Kuijken, K., Kümmel, M., Kunz, M., Kurki-Suonio, H., Lacasa, F., Lacey, C. G., La Franca, F., Lagarde, N., Lahav, O., Laigle, C., La Marca, A., La Marle, O., Lamine, B., Lam, M. C., Lançon, A., Landt, H., Langer, M., Lapi, A., Larcheveque, C., Larsen, S. S., Lattanzi, M., Laudisio, F., Laugier, D., Laureijs, R., Laurent, V., Lavaux, G., Lawrenson, A., Lazanu, A., Lazeyras, T., Boulc'h, Q. Le, Brun, A. M. C. Le, Brun, V. Le, Leclercq, F., Lee, S., Graet, J. Le, Legrand, L., Leirvik, K. N., Jeune, M. Le, Lembo, M., Mignant, D. Le, Lepinzan, M. D., Lepori, F., Reun, A. Le, Leroy, G., Lesci, G. F., Lesgourgues, J., Leuzzi, L., Levi, M. E., Liaudat, T. I., Libet, G., Liebing, P., Ligori, S., Lilje, P. B., Lin, C. -C., Linde, D., Linder, E., Lindholm, V., Linke, L., Li, S. -S., Liu, S. J., Lloro, I., Lobo, F. S. N., Lodieu, N., Lombardi, M., Lombriser, L., Lonare, P., Longo, G., López-Caniego, M., Lopez, X. Lopez, Alvarez, J. Lorenzo, Loureiro, A., Loveday, J., Lusso, E., Macias-Perez, J., Maciaszek, T., Maggio, G., Magliocchetti, M., Magnard, F., Magnier, E. A., Magro, A., Mahler, G., Mainetti, G., Maino, D., Maiorano, E., Malavasi, N., Mamon, G. A., Mancini, C., Mandelbaum, R., Manera, M., Manjón-García, A., Mannucci, F., Mansutti, O., Outeiro, M. Manteiga, Maoli, R., Maraston, C., Marcin, S., Marcos-Arenal, P., Margalef-Bentabol, B., Marggraf, O., Marinucci, D., Marinucci, M., Markovic, K., Marleau, F. R., Marpaud, J., Martignac, J., Martín-Fleitas, J., Martin-Moruno, P., Martin, E. L., Martinelli, M., Martinet, N., Martin, H., Martins, C. J. A. P., Marulli, F., Massari, D., Massey, R., Masters, D. C., Matarrese, S., Matsuoka, Y., Matthew, S., Maughan, B. J., Mauri, N., Maurin, L., Maurogordato, S., McCarthy, K., McConnachie, A. W., McCracken, H. J., McDonald, I., McEwen, J. D., McPartland, C. J. R., Medinaceli, E., Mehta, V., Mei, S., Melchior, M., Melin, J. -B., Ménard, B., Mendes, J., Mendez-Abreu, J., Meneghetti, M., Mercurio, A., Merlin, E., Metcalf, R. B., Meylan, G., Migliaccio, M., Mignoli, M., Miller, L., Miluzio, M., Milvang-Jensen, B., Mimoso, J. P., Miquel, R., Miyatake, H., Mobasher, B., Mohr, J. J., Monaco, P., Monguió, M., Montoro, A., Mora, A., Dizgah, A. Moradinezhad, Moresco, M., Moretti, C., Morgante, G., Morisset, N., Moriya, T. J., Morris, P. W., Mortlock, D. J., Moscardini, L., Mota, D. F., Mottet, S., Moustakas, L. A., Moutard, T., Müller, T., Munari, E., Murphree, G., Murray, C., Murray, N., Musi, P., Nadathur, S., Nagam, B. C., Nagao, T., Naidoo, K., Nakajima, R., Nally, C., Natoli, P., Navarro-Alsina, A., Girones, D. Navarro, Neissner, C., Nersesian, A., Nesseris, S., Nguyen-Kim, H. N., Nicastro, L., Nichol, R. C., Nielbock, M., Niemi, S. -M., Nieto, S., Nilsson, K., Noller, J., Norberg, P., Nouri-Zonoz, A., Ntelis, P., Nucita, A. A., Nugent, P., Nunes, N. J., Nutma, T., Ocampo, I., Odier, J., Oesch, P. A., Oguri, M., Oliveira, D. Magalhaes, Onoue, M., Oosterbroek, T., Oppizzi, F., Ordenovic, C., Osato, K., Pacaud, F., Pace, F., Padilla, C., Paech, K., Pagano, L., Page, M. J., Palazzi, E., Paltani, S., Pamuk, S., Pandolfi, S., Paoletti, D., Paolillo, M., Papaderos, P., Pardede, K., Parimbelli, G., Parmar, A., Partmann, C., Pasian, F., Passalacqua, F., Paterson, K., Patrizii, L., Pattison, C., Paulino-Afonso, A., Paviot, R., Peacock, J. A., Pearce, F. R., Pedersen, K., Peel, A., Peletier, R. F., Ibanez, M. Pellejero, Pello, R., Penny, M. T., Percival, W. J., Perez-Garrido, A., Perotto, L., Pettorino, V., Pezzotta, A., Pezzuto, S., Philippon, A., Pierre, M., Piersanti, O., Pietroni, M., Piga, L., Pilo, L., Pires, S., Pisani, A., Pizzella, A., Pizzuti, L., Plana, C., Polenta, G., Pollack, J. E., Poncet, M., Pöntinen, M., Pool, P., Popa, L. A., Popa, V., Popp, J., Porciani, C., Porth, L., Potter, D., Poulain, M., Pourtsidou, A., Pozzetti, L., Prandoni, I., Pratt, G. W., Prezelus, S., Prieto, E., Pugno, A., Quai, S., Quilley, L., Racca, G. D., Raccanelli, A., Rácz, G., Radinović, S., Radovich, M., Ragagnin, A., Ragnit, U., Raison, F., Ramos-Chernenko, N., Ranc, C., Rasera, Y., Raylet, N., Rebolo, R., Refregier, A., Reimberg, P., Reiprich, T. H., Renk, F., Renzi, A., Retre, J., Revaz, Y., Reylé, C., Reynolds, L., Rhodes, J., Ricci, F., Ricci, M., Riccio, G., Ricken, S. O., Rissanen, S., Risso, I., Rix, H. -W., Robin, A. C., Rocca-Volmerange, B., Rocci, P. -F., Rodenhuis, M., Rodighiero, G., Monroy, M. Rodriguez, Rollins, R. P., Romanello, M., Roman, J., Romelli, E., Romero-Gomez, M., Roncarelli, M., Rosati, P., Rosset, C., Rossetti, E., Roster, W., Rottgering, H. J. A., Rozas-Fernández, A., Ruane, K., Rubino-Martin, J. A., Rudolph, A., Ruppin, F., Rusholme, B., Sacquegna, S., Sáez-Casares, I., Saga, S., Saglia, R., Sahlén, M., Saifollahi, T., Sakr, Z., Salvalaggio, J., Salvaterra, R., Salvati, L., Salvato, M., Salvignol, J. -C., Sánchez, A. G., Sanchez, E., Sanders, D. B., Sapone, D., Saponara, M., Sarpa, E., Sarron, F., Sartori, S., Sartoris, B., Sassolas, B., Sauniere, L., Sauvage, M., Sawicki, M., Scaramella, R., Scarlata, C., Scharré, L., Schaye, J., Schewtschenko, J. A., Schindler, J. -T., Schinnerer, E., Schirmer, M., Schmidt, F., Schmidt, M., Schneider, A., Schneider, M., Schneider, P., Schöneberg, N., Schrabback, T., Schultheis, M., Schulz, S., Schuster, N., Schwartz, J., Sciotti, D., Scodeggio, M., Scognamiglio, D., Scott, D., Scottez, V., Secroun, A., Sefusatti, E., Seidel, G., Seiffert, M., Sellentin, E., Selwood, M., Semboloni, E., Sereno, M., Serjeant, S., Serrano, S., Setnikar, G., Shankar, F., Sharples, R. M., Short, A., Shulevski, A., Shuntov, M., Sias, M., Sikkema, G., Silvestri, A., Simon, P., Sirignano, C., Sirri, G., Skottfelt, J., Slezak, E., Sluse, D., Smith, G. P., Smith, L. C., Smith, R. E., Smit, S. J. A., Soldano, F., Solheim, B. G. B., Sorce, J. G., Sorrenti, F., Soubrie, E., Spinoglio, L., Mancini, A. Spurio, Stadel, J., Stagnaro, L., Stanco, L., Stanford, S. A., Starck, J. -L., Stassi, P., Steinwagner, J., Stern, D., Stone, C., Strada, P., Strafella, F., Stramaccioni, D., Surace, C., Sureau, F., Suyu, S. H., Swindells, I., Szafraniec, M., Szapudi, I., Taamoli, S., Talia, M., Tallada-Crespí, P., Tanidis, K., Tao, C., Tarrío, P., Tavagnacco, D., Taylor, A. N., Taylor, J. E., Taylor, P. L., Teixeira, E. M., Tenti, M., Idiago, P. Teodoro, Teplitz, H. I., Tereno, I., Tessore, N., Testa, V., Testera, G., Tewes, M., Teyssier, R., Theret, N., Thizy, C., Thomas, P. D., Toba, Y., Toft, S., Toledo-Moreo, R., Tolstoy, E., Tommasi, E., Torbaniuk, O., Torradeflot, F., Tortora, C., Tosi, S., Tosti, S., Trifoglio, M., Troja, A., Trombetti, T., Tronconi, A., Tsedrik, M., Tsyganov, A., Tucci, M., Tutusaus, I., Uhlemann, C., Ulivi, L., Urbano, M., Vacher, L., Vaillon, L., Valageas, P., Valdes, I., Valentijn, E. A., Valenziano, L., Valieri, C., Valiviita, J., Broeck, M. Van den, Vassallo, T., Vavrek, R., Vega-Ferrero, J., Venemans, B., Venhola, A., Ventura, S., Kleijn, G. Verdoes, Vergani, D., Verma, A., Vernizzi, F., Veropalumbo, A., Verza, G., Vescovi, C., Vibert, D., Viel, M., Vielzeuf, P., Viglione, C., Viitanen, A., Villaescusa-Navarro, F., Vinciguerra, S., Visticot, F., Voggel, K., von Wietersheim-Kramsta, M., Vriend, W. J., Wachter, S., Walmsley, M., Walth, G., Walton, D. M., Walton, N. A., Wander, M., Wang, L., Wang, Y., Weaver, J. R., Weller, J., Wetzstein, M., Whalen, D. J., Whittam, I. H., Widmer, A., Wiesmann, M., Wilde, J., Williams, O. R., Winther, H. -A., Wittje, A., Wong, J. H. W., Wright, A. H., Yankelevich, V., Yeung, H. W., Yoon, M., Youles, S., Yung, L. Y. A., Zacchei, A., Zalesky, L., Zamorani, G., Vitorelli, A. Zamorano, Marc, M. Zanoni, Zennaro, M., Zerbi, F. M., Zinchenko, I. A., Zoubian, J., Zucca, E., Zumalacarregui, M.

The current standard model of cosmology successfully describes a variety of measurements, but the nature of its main ingredients, dark matter and dark energy, remains unknown. Euclid is a medium-class mission in the Cosmic Vision 2015-2025 programme

Externí odkaz: http://arxiv.org/abs/2405.13491

Performance of the electromagnetic and hadronic prototype segments of the ALICE Forward Calorimeter

Autor: Aehle, M., Alme, J., Arata, C., Arsene, I., Bearden, I., Bodova, T., Borshchov, V., Bourrion, O., Bregant, M., Brink, A. van den, Buchakchiev, V., Buhl, A., Chujo, T., Dufke, L., Eikeland, V., Fasel, M., Gauger, N., Gautam, A., Ghimouz, A., Goto, Y., Guernane, R., Hachiya, T., Hassan, H., He, L., Helstrup, H., Huhta, L., Inaba, M., Inukai, T., Isidori, T., Jonas, F., Kawaguchi, T., Keidel, R., Kim, M., Kozhuharov, V., Kumaoka, T., Kusch, L., Loizides, C., Melikyan, Y., Miake, Y., Minafra, N., Nystrand, J., Novitzky, N., Øekland, T., Oyama, K., Park, H., Park, J., Pascal, I., Peitzmann, T., Protsenko, M., Räsänen, S. S., Rarbi, F., Rauch, M., Rehman, A., Richter, M., Röhrich, D., Røed, K., Rusu, A., Rytkönen, H., Sakai, S., Sato, K., Schilling, A., Shimizu, S., Shimomura, M., Simeonov, R., Solheim, E., Sugitate, T., Tambave, G., Takaki, D. Tapia, Tourres, D., Tymchuk, I., Yi, J., Yin, Z., Ullaland, K., Yang, S., Yokoo, T., Zhou, D., Zillien, S.

Publikováno v: JINST 19 P07006 (2024)

We present the performance of a full-length prototype of the ALICE Forward Calorimeter (FoCal). The detector is composed of a silicon-tungsten electromagnetic sampling calorimeter with longitudinal and transverse segmentation (FoCal-E) of about 20$X_

Externí odkaz: http://arxiv.org/abs/2311.07413

pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation

Autor: Gashi, Triera, Bosio, Sophie Adeline Solheim, Kristensen, Joachim Tilsted, Thomsen, Michael Kirkedal

Property-based testing is a powerful method to validate program correctness. It is, however, not widely use in industry as the barrier of entry can be very high. One of the hindrances is to write the generators that are needed to generate randomised

Externí odkaz: http://arxiv.org/abs/2309.04696

Measurement of beauty-quark production in pp collisions at s $$ \sqrt{s} $$ = 13 TeV via non-prompt D mesons

Autor: The ALICE collaboration, S. Acharya, D. Adamová, A. Agarwal, G. Aglieri Rinella, L. Aglietta, M. Agnello, N. Agrawal, Z. Ahammed, S. Ahmad, S. U. Ahn, I. Ahuja, A. Akindinov, V. Akishina, M. Al-Turany, D. Aleksandrov, B. Alessandro, H. M. Alfanda, R. Alfaro Molina, B. Ali, A. Alici, N. Alizadehvandchali, A. Alkin, J. Alme, G. Alocco, T. Alt, A. R. Altamura, I. Altsybeev, J. R. Alvarado, M. N. Anaam, C. Andrei, N. Andreou, A. Andronic, E. Andronov, V. Anguelov, F. Antinori, P. Antonioli, N. Apadula, L. Aphecetche, H. Appelshäuser, C. Arata, S. Arcelli, M. Aresti, R. Arnaldi, J. G. M. C. A. Arneiro, I. C. Arsene, M. Arslandok, A. Augustinus, R. Averbeck, M. D. Azmi, H. Baba, A. Badalà, J. Bae, Y. W. Baek, X. Bai, R. Bailhache, Y. Bailung, R. Bala, A. Balbino, A. Baldisseri, B. Balis, D. Banerjee, Z. Banoo, F. Barile, L. Barioglio, M. Barlou, B. Barman, G. G. Barnaföldi, L. S. Barnby, E. Barreau, V. Barret, L. Barreto, C. Bartels, K. Barth, E. Bartsch, N. Bastid, S. Basu, G. Batigne, D. Battistini, B. Batyunya, D. Bauri, J. L. Bazo Alba, I. G. Bearden, C. Beattie, P. Becht, D. Behera, I. Belikov, A. D. C. Bell Hechavarria, F. Bellini, R. Bellwied, S. Belokurova, L. G. E. Beltran, Y. A. V. Beltran, G. Bencedi, A. Bensaoula, S. Beole, Y. Berdnikov, A. Berdnikova, L. Bergmann, M. G. Besoiu, L. Betev, P. P. Bhaduri, A. Bhasin, M. A. Bhat, B. Bhattacharjee, L. Bianchi, N. Bianchi, J. Bielčík, J. Bielčíková, A. P. Bigot, A. Bilandzic, G. Biro, S. Biswas, N. Bize, J. T. Blair, D. Blau, M. B. Blidaru, N. Bluhme, C. Blume, G. Boca, F. Bock, T. Bodova, J. Bok, L. Boldizsár, M. Bombara, P. M. Bond, G. Bonomi, H. Borel, A. Borissov, A. G. Borquez Carcamo, H. Bossi, E. Botta, Y. E. M. Bouziani, L. Bratrud, P. Braun-Munzinger, M. Bregant, M. Broz, G. E. Bruno, M. D. Buckland, D. Budnikov, H. Buesching, S. Bufalino, P. Buhler, N. Burmasov, Z. Buthelezi, A. Bylinkin, S. A. Bysiak, J. C. Cabanillas Noris, M. F. T. Cabrera, M. Cai, H. Caines, A. Caliva, E. Calvo Villar, J. M. M. Camacho, P. Camerini, F. D. M. Canedo, S. L. Cantway, M. Carabas, A. A. Carballo, F. Carnesecchi, R. Caron, L. A. D. Carvalho, J. Castillo Castellanos, M. Castoldi, F. Catalano, S. Cattaruzzi, C. Ceballos Sanchez, R. Cerri, I. Chakaberia, P. Chakraborty, S. Chandra, S. Chapeland, M. Chartier, S. Chattopadhay, S. Chattopadhyay, T. Cheng, C. Cheshkov, V. Chibante Barroso, D. D. Chinellato, E. S. Chizzali, J. Cho, S. Cho, P. Chochula, D. Choudhury, P. Christakoglou, C. H. Christensen, P. Christiansen, T. Chujo, M. Ciacco, C. Cicalo, M. R. Ciupek, G. Clai, F. Colamaria, J. S. Colburn, D. Colella, M. Colocci, M. Concas, G. Conesa Balbastre, Z. Conesa del Valle, G. Contin, J. G. Contreras, M. L. Coquet, P. Cortese, M. R. Cosentino, F. Costa, S. Costanza, C. Cot, J. Crkovská, P. Crochet, R. Cruz-Torres, P. Cui, A. Dainese, G. Dange, M. C. Danisch, A. Danu, P. Das, S. Das, A. R. Dash, S. Dash, A. De Caro, G. de Cataldo, J. de Cuveland, A. De Falco, D. De Gruttola, N. De Marco, C. De Martin, S. De Pasquale, R. Deb, R. Del Grande, L. Dello Stritto, W. Deng, K. C. Devereaux, P. Dhankher, D. Di Bari, A. Di Mauro, B. Diab, R. A. Diaz, T. Dietel, Y. Ding, J. Ditzel, R. Divià, D. U. Dixit, Ø. Djuvsland, U. Dmitrieva, A. Dobrin, B. Dönigus, J. M. Dubinski, A. Dubla, S. Dudi, P. Dupieux, N. Dzalaiova, T. M. Eder, R. J. Ehlers, F. Eisenhut, R. Ejima, D. Elia, B. Erazmus, F. Ercolessi, B. Espagnon, G. Eulisse, D. Evans, S. Evdokimov, L. Fabbietti, M. Faggin, J. Faivre, F. Fan, W. Fan, A. Fantoni, M. Fasel, A. Feliciello, G. Feofilov, A. Fernández Téllez, L. Ferrandi, M. B. Ferrer, A. Ferrero, C. Ferrero, A. Ferretti, V. J. G. Feuillard, V. Filova, D. Finogeev, F. M. Fionda, E. Flatland, F. Flor, A. N. Flores, S. Foertsch, I. Fokin, S. Fokin, U. Follo, E. Fragiacomo, E. Frajna, U. Fuchs, N. Funicello, C. Furget, A. Furs, T. Fusayasu, J. J. Gaardhøje, M. Gagliardi, A. M. Gago, T. Gahlaut, C. D. Galvan, D. R. Gangadharan, P. Ganoti, C. Garabatos, T. García Chávez, E. Garcia-Solis, C. Gargiulo, P. Gasik, H. M. Gaur, A. Gautam, M. B. Gay Ducati, M. Germain, A. Ghimouz, C. Ghosh, M. Giacalone, G. Gioachin, P. Giubellino, P. Giubilato, A. M. C. Glaenzer, P. Glässel, E. Glimos, D. J. Q. Goh, V. Gonzalez, P. Gordeev, M. Gorgon, K. Goswami, S. Gotovac, V. Grabski, L. K. Graczykowski, E. Grecka, A. Grelli, C. Grigoras, V. Grigoriev, S. Grigoryan, F. Grosa, J. F. Grosse-Oetringhaus, R. Grosso, D. Grund, N. A. Grunwald, G. G. Guardiano, R. Guernane, M. Guilbaud, K. Gulbrandsen, T. Gündem, T. Gunji, W. Guo, A. Gupta, R. Gupta, K. Gwizdziel, L. Gyulai, C. Hadjidakis, F. U. Haider, S. Haidlova, M. Haldar, H. Hamagaki, A. Hamdi, Y. Han, B. G. Hanley, R. Hannigan, J. Hansen, M. R. Haque, J. W. Harris, A. Harton, M. V. Hartung, H. Hassan, D. Hatzifotiadou, P. Hauer, L. B. Havener, E. Hellbär, H. Helstrup, M. Hemmer, T. Herman, S. G. Hernandez, G. Herrera Corral, F. Herrmann, S. Herrmann, K. F. Hetland, B. Heybeck, H. Hillemanns, B. Hippolyte, F. W. Hoffmann, B. Hofman, G. H. Hong, M. Horst, A. Horzyk, Y. Hou, P. Hristov, P. Huhn, L. M. Huhta, T. J. Humanic, A. Hutson, D. Hutter, M. C. Hwang, R. Ilkaev, H. Ilyas, M. Inaba, G. M. Innocenti, M. Ippolitov, A. Isakov, T. Isidori, M. S. Islam, M. Ivanov, V. Ivanov, K. E. Iversen, M. Jablonski, B. Jacak, N. Jacazio, P. M. Jacobs, S. Jadlovska, J. Jadlovsky, S. Jaelani, C. Jahnke, M. J. Jakubowska, M. A. Janik, T. Janson, S. Ji, S. Jia, T. Jiang, A. A. P. Jimenez, F. Jonas, D. M. Jones, J. M. Jowett, J. Jung, M. Jung, A. Junique, A. Jusko, J. Kaewjai, P. Kalinak, A. Kalweit, A. Karasu Uysal, D. Karatovic, O. Karavichev, T. Karavicheva, E. Karpechev, M. J. Karwowska, U. Kebschull, R. Keidel, D. L. D. Keijdener, M. Keil, B. Ketzer, S. S. Khade, A. M. Khan, S. Khan, A. Khanzadeev, Y. Kharlov, A. Khatun, A. Khuntia, Z. Khuranova, B. Kileng, B. Kim, C. Kim, D. J. Kim, E. J. Kim, J. Kim, M. Kim, S. Kim, T. Kim, K. Kimura, A. Kirkova, S. Kirsch, I. Kisel, S. Kiselev, A. Kisiel, J. P. Kitowski, J. L. Klay, J. Klein, S. Klein, C. Klein-Bösing, M. Kleiner, T. Klemenz, A. Kluge, C. Kobdaj, R. Kohara, T. Kollegger, A. Kondratyev, N. Kondratyeva, J. Konig, S. A. Konigstorfer, P. J. Konopka, G. Kornakov, M. Korwieser, S. D. Koryciak, A. Kotliarov, N. Kovacic, V. Kovalenko, M. Kowalski, V. Kozhuharov, I. Králik, A. Kravčáková, L. Krcal, M. Krivda, F. Krizek, K. Krizkova Gajdosova, C. Krug, M. Krüger, D. M. Krupova, E. Kryshen, V. Kučera, C. Kuhn, P. G. Kuijer, T. Kumaoka, D. Kumar, L. Kumar, N. Kumar, S. Kumar, S. Kundu, P. Kurashvili, A. Kurepin, A. B. Kurepin, A. Kuryakin, S. Kushpil, V. Kuskov, M. Kutyla, M. J. Kweon, Y. Kwon, S. L. La Pointe, P. La Rocca, A. Lakrathok, M. Lamanna, A. R. Landou, R. Langoy, P. Larionov, E. Laudi, L. Lautner, R. A. N. Laveaga, R. Lavicka, R. Lea, H. Lee, I. Legrand, G. Legras, J. Lehrbach, T. M. Lelek, R. C. Lemmon, I. León Monzón, M. M. Lesch, E. D. Lesser, P. Lévai, X. Li, B. E. Liang-gilman, J. Lien, R. Lietava, I. Likmeta, B. Lim, S. H. Lim, V. Lindenstruth, A. Lindner, C. Lippmann, D. H. Liu, J. Liu, G. S. S. Liveraro, I. M. Lofnes, C. Loizides, S. Lokos, J. Lömker, P. Loncar, X. Lopez, E. López Torres, P. Lu, F. V. Lugo, J. R. Luhder, M. Lunardon, G. Luparello, Y. G. Ma, M. Mager, A. Maire, E. M. Majerz, M. V. Makariev, M. Malaev, G. Malfattore, N. M. Malik, Q. W. Malik, S. K. Malik, L. Malinina, D. Mallick, N. Mallick, G. Mandaglio, S. K. Mandal, A. Manea, V. Manko, F. Manso, V. Manzari, Y. Mao, R. W. Marcjan, G. V. Margagliotti, A. Margotti, A. Marín, C. Markert, P. Martinengo, M. I. Martínez, G. Martínez García, M. P. P. Martins, S. Masciocchi, M. Masera, A. Masoni, L. Massacrier, O. Massen, A. Mastroserio, O. Matonoha, S. Mattiazzo, A. Matyja, A. L. Mazuecos, F. Mazzaschi, M. Mazzilli, J. E. Mdhluli, Y. Melikyan, A. Menchaca-Rocha, J. E. M. Mendez, E. Meninno, A. S. Menon, M. W. Menzel, M. Meres, Y. Miake, L. Micheletti, D. L. Mihaylov, K. Mikhaylov, N. Minafra, D. Miśkowiec, A. Modak, B. Mohanty, M. Mohisin Khan, M. A. Molander, S. Monira, C. Mordasini, D. A. Moreira De Godoy, I. Morozov, A. Morsch, T. Mrnjavac, V. Muccifora, S. Muhuri, J. D. Mulligan, A. Mulliri, M. G. Munhoz, R. H. Munzer, H. Murakami, S. Murray, L. Musa, J. Musinsky, J. W. Myrcha, B. Naik, A. I. Nambrath, B. K. Nandi, R. Nania, E. Nappi, A. F. Nassirpour, A. Nath, C. Nattrass, M. N. Naydenov, A. Neagu, A. Negru, E. Nekrasova, L. Nellen, R. Nepeivoda, S. Nese, G. Neskovic, N. Nicassio, B. S. Nielsen, E. G. Nielsen, S. Nikolaev, S. Nikulin, V. Nikulin, F. Noferini, S. Noh, P. Nomokonov, J. Norman, N. Novitzky, P. Nowakowski, A. Nyanin, J. Nystrand, S. Oh, A. Ohlson, V. A. Okorokov, J. Oleniacz, A. Onnerstad, C. Oppedisano, A. Ortiz Velasquez, J. Otwinowski, M. Oya, K. Oyama, Y. Pachmayer, S. Padhan, D. Pagano, G. Paić, S. Paisano-Guzmán, A. Palasciano, S. Panebianco, H. Park, J. E. Parkkila, Y. Patley, B. Paul, M. M. D. M. Paulino, H. Pei, T. Peitzmann, X. Peng, M. Pennisi, S. Perciballi, D. Peresunko, G. M. Perez, Y. Pestov, V. Petrov, M. Petrovici, R. P. Pezzi, S. Piano, M. Pikna, P. Pillot, O. Pinazza, L. Pinsky, C. Pinto, S. Pisano, M. Płoskoń, M. Planinic, F. Pliquett, M. G. Poghosyan, B. Polichtchouk, S. Politano, N. Poljak, A. Pop, S. Porteboeuf-Houssais, V. Pozdniakov, I. Y. Pozos, K. K. Pradhan, S. K. Prasad, S. Prasad, R. Preghenella, F. Prino, C. A. Pruneau, I. Pshenichnov, M. Puccio, S. Pucillo, S. Qiu, L. Quaglia, S. Ragoni, A. Rai, A. Rakotozafindrabe, L. Ramello, F. Rami, M. Rasa, S. S. Räsänen, R. Rath, M. P. Rauch, I. Ravasenga, K. F. Read, C. Reckziegel, A. R. Redelbach, K. Redlich, C. A. Reetz, H. D. Regules-Medel, A. Rehman, F. Reidt, H. A. Reme-Ness, Z. Rescakova, K. Reygers, A. Riabov, V. Riabov, R. Ricci, M. Richter, A. A. Riedel, W. Riegler, A. G. Riffero, C. Ripoli, C. Ristea, M. V. Rodriguez, M. Rodríguez Cahuantzi, S. A. Rodríguez Ramírez, K. Røed, R. Rogalev, E. Rogochaya, T. S. Rogoschinski, D. Rohr, D. Röhrich, S. Rojas Torres, P. S. Rokita, G. Romanenko, F. Ronchetti, E. D. Rosas, K. Roslon, A. Rossi, A. Roy, S. Roy, N. Rubini, D. Ruggiano, R. Rui, P. G. Russek, R. Russo, A. Rustamov, E. Ryabinkin, Y. Ryabov, A. Rybicki, J. Ryu, W. Rzesa, O. A. M. Saarimaki, S. Sadhu, S. Sadovsky, J. Saetre, K. Šafařík, S. K. Saha, S. Saha, B. Sahoo, R. Sahoo, S. Sahoo, D. Sahu, P. K. Sahu, J. Saini, K. Sajdakova, S. Sakai, M. P. Salvan, S. Sambyal, D. Samitz, I. Sanna, T. B. Saramela, D. Sarkar, P. Sarma, V. Sarritzu, V. M. Sarti, M. H. P. Sas, S. Sawan, E. Scapparone, J. Schambach, H. S. Scheid, C. Schiaua, R. Schicker, F. Schlepper, A. Schmah, C. Schmidt, H. R. Schmidt, M. O. Schmidt, M. Schmidt, N. V. Schmidt, A. R. Schmier, R. Schotter, A. Schröter, J. Schukraft, K. Schweda, G. Scioli, E. Scomparin, J. E. Seger, Y. Sekiguchi, D. Sekihata, M. Selina, I. Selyuzhenkov, S. Senyukov, J. J. Seo, D. Serebryakov, L. Serkin, L. Šerkšnytė, A. Sevcenco, T. J. Shaba, A. Shabetai, R. Shahoyan, A. Shangaraev, B. Sharma, D. Sharma, H. Sharma, M. Sharma, S. Sharma, U. Sharma, A. Shatat, O. Sheibani, K. Shigaki, M. Shimomura, J. Shin, S. Shirinkin, Q. Shou, Y. Sibiriak, S. Siddhanta, T. Siemiarczuk, T. F. Silva, D. Silvermyr, T. Simantathammakul, R. Simeonov, B. Singh, K. Singh, R. Singh, S. Singh, V. K. Singh, V. Singhal, T. Sinha, B. Sitar, M. Sitta, T. B. Skaali, G. Skorodumovs, N. Smirnov, R. J. M. Snellings, E. H. Solheim, J. Song, C. Sonnabend, J. M. Sonneveld, F. Soramel, A. B. Soto-hernandez, R. Spijkers, I. Sputowska, J. Staa, J. Stachel, I. Stan, P. J. Steffanic, S. F. Stiefelmaier, D. Stocco, I. Storehaug, N. J. Strangmann, P. Stratmann, S. Strazzi, A. Sturniolo, C. P. Stylianidis, A. A. P. Suaide, C. Suire, M. Sukhanov, M. Suljic, R. Sultanov, V. Sumberia, S. Sumowidagdo, I. Szarka, M. Szymkowski, S. F. Taghavi, G. Taillepied, J. Takahashi, G. J. Tambave, S. Tang, Z. Tang, J. D. Tapia Takaki, N. Tapus, L. A. Tarasovicova, M. G. Tarzila, G. F. Tassielli, A. Tauro, A. Tavira García, G. Tejeda Muñoz, A. Telesca, L. Terlizzi, C. Terrevoli, S. Thakur, D. Thomas, A. Tikhonov, N. Tiltmann, A. R. Timmins, M. Tkacik, T. Tkacik, A. Toia, R. Tokumoto, S. Tomassini, K. Tomohiro, N. Topilskaya, M. Toppi, T. Tork, V. V. Torres, A. G. Torres Ramos, A. Trifiró, A. S. Triolo, S. Tripathy, T. Tripathy, V. Trubnikov, W. H. Trzaska, T. P. Trzcinski, A. Tumkin, R. Turrisi, T. S. Tveter, K. Ullaland, B. Ulukutlu, A. Uras, M. Urioni, G. L. Usai, M. Vala, N. Valle, L. V. R. van Doremalen, M. van Leeuwen, C. A. van Veen, R. J. G. van Weelden, P. Vande Vyvre, D. Varga, Z. Varga, P. Vargas Torres, M. Vasileiou, A. Vasiliev, O. Vázquez Doce, O. Vazquez Rueda, V. Vechernin, E. Vercellin, S. Vergara Limón, R. Verma, L. Vermunt, R. Vértesi, M. Verweij, L. Vickovic, Z. Vilakazi, O. Villalobos Baillie, A. Villani, A. Vinogradov, T. Virgili, M. M. O. Virta, V. Vislavicius, A. Vodopyanov, B. Volkel, M. A. Völkl, S. A. Voloshin, G. Volpe, B. von Haller, I. Vorobyev, N. Vozniuk, J. Vrláková, J. Wan, C. Wang, D. Wang, Y. Wang, A. Wegrzynek, F. T. Weiglhofer, S. C. Wenzel, J. P. Wessels, J. Wiechula, J. Wikne, G. Wilk, J. Wilkinson, G. A. Willems, B. Windelband, M. Winn, J. R. Wright, W. Wu, Y. Wu, Z. Xiong, R. Xu, A. Yadav, A. K. Yadav, S. Yalcin, Y. Yamaguchi, S. Yang, S. Yano, E. R. Yeats, Z. Yin, I.-K. Yoo, J. H. Yoon, H. Yu, S. Yuan, A. Yuncu, V. Zaccolo, C. Zampolli, M. Zang, F. Zanone, N. Zardoshti, A. Zarochentsev, P. Závada, N. Zaviyalov, M. Zhalov, B. Zhang, C. Zhang, L. Zhang, M. Zhang, S. Zhang, X. Zhang, Y. Zhang, Z. Zhang, M. Zhao, V. Zherebchevskii, Y. Zhi, C. Zhong, D. Zhou, Y. Zhou, J. Zhu, Y. Zhu, S. C. Zugravel, N. Zurlo

Publikováno v: Journal of High Energy Physics, Vol 2024, Iss 10, Pp 1-34 (2024)

Abstract The p T-differential production cross sections of non-prompt D0, D+, and D s + $$ {\textrm{D}}_{\textrm{s}}^{+} $$ mesons originating from beauty-hadron decays are measured in proton–proton collisions at a centre-of-mass energy s $$ \sqrt{

Externí odkaz: https://doaj.org/article/c2f179edd62747e89d0f28fb63513aca

The potential use of nature-based solutions as natural hazard mitigation measure for linear infrastructure in the Nordic Countries

Autor: Vittoria Capobianco, Rosa Maria Palau, Anders Solheim, Kjersti Gisnås, Graham Gilbert, Per Danielsson, Peter van der Keur

Publikováno v: Geoenvironmental Disasters, Vol 11, Iss 1, Pp 1-33 (2024)

Abstract Background Reliable infrastructure is vital for Nordic societies, but they face escalating climate risks. Climate change is increasing magnitude and frequency of floods, storms, and landslides, making adaptive solutions crucial. Methods This

Externí odkaz: https://doaj.org/article/ed0f082bcb614ae39b7cd86d16134be2