Zobrazeno 1 - 10
of 2 086
pro vyhledávání: '"Barbanera, A."'
Autor:
Adriani, O., Ambrosi, G., Antonelli, M., Bai, Y., Bai, X., Bao, T., Barbanera, M., Berti, E., Betti, P., Bigongiari, G., Bongi, M., Bonvicini, V., Bottai, S., Cagnoli, I., Cao, W., Casaus, J., Cerasole, D., Chen, Z., Cui, X., D'Alessandro, R., Di Venere, L., Diaz, C., Dong, Y., Detti, S., Duranti, M., Gargano, F., Gao, J., Guo, S., Giovacchini, F., Finetti, N., Formato, V., Jiang, Y., Liang, X., Li, R., Liao, C., Liu, X., Lyu, L., Marin, J., Martinez, G., Mori, N., Oliva, A., Pacini, L., Papini, P., Pillera, R., Pizzolotto, C., Quan, Z., Qin, J. J., Silveri, L., Silvestre, G., Shi, D., Serini, D., Starodubtsev, O., Tang, X., Tiberio, A., Vannuccini, E., Velasco, M., Wang, B., Wang, J., Wang, R., Wang, Z., Xu, M., Yang, X., Zampa, G., Zampa, N., Zhang, S., Zheng, J.
The measurement of cosmic rays at energies exceeding 100 TeV per nucleon is crucial for enhancing the understanding of high-energy particle propagation and acceleration models in the Galaxy. HERD is a space-borne calorimetric experiment that aims to
Externí odkaz:
http://arxiv.org/abs/2410.03274
Publikováno v:
EPTCS 408, 2024, pp. 1-20
Formal verification methods for concurrent systems cannot always be scaled-down or tailored in order to be applied on specific subsystems. We address such an issue in a MultiParty Session Types setting by devising a partial type assignment system for
Externí odkaz:
http://arxiv.org/abs/2410.00537
Publikováno v:
EPTCS 383, 2023, pp. 15-34
A multiparty session formalises a set of concurrent communicating participants. We propose a type system for multiparty sessions where some communications between participants can be ignored. This allows us to type some sessions with global types rep
Externí odkaz:
http://arxiv.org/abs/2308.10653
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 3 (August 2, 2023) lmcs:10165
We introduce a meta-model based on formal languages, dubbed formal choreographic languages, to study message-passing systems. Our framework allows us to generalise standard constructions from the literature and to compare them. In particular, we cons
Externí odkaz:
http://arxiv.org/abs/2210.08223
Publikováno v:
EPTCS 365, 2022, pp. 53-68
Communication is an essential element of modern software, yet programming and analysing communicating systems are difficult tasks. A reason for this difficulty is the lack of compositional mechanisms that preserve relevant communication properties. T
Externí odkaz:
http://arxiv.org/abs/2208.04634
Autor:
Di Marco, Alessandro, Fabiani, Sergio, La Monaca, Fabio, Muleri, Fabio, Rankin, John, Soffitta, Paolo, Xie, Fei, Amici, Fabrizio, attinà, Primo, Bachetti, Matteo, Baldini, Luca, Barbanera, Mattia, Baumgartner, Wayne, Bellazzini, Ronaldo, Borotto, Fabio, Brez, Alessandro, Brienza, Daniele, Caporale, Ciro, Cardelli, Claudia, Carpentiero, Rita, Castellano, Simone, Castronuovo, Marco, Cavalli, Luca, Cavazzuti, Elisabetta, Ceccanti, Marco, Centrone, Mauro, Citraro, Saverio, Costa, Enrico, D'Alba, Elisa, D'Amico, Fabio, Del Monte, Ettore, Di Cosimo, Sergio, Di Lalla, Niccolò, Di Persio, Giuseppe, Donnarumma, Immacolata, Evangelista, Yuri, Ferrazzoli, Riccardo, Latronico, Luca, Lefevre, Carlo, Loffredo, Pasqualino, Lorenzi, Paolo, Lucchesi, Leonardo, Magazzù, Carlo, Magazzù, Guido, Maldera, Simone, Manfreda, Alberto, Mangraviti, Elio, Marengo, Marco, Matt, Giorgio, Mereu, Paolo, Minuti, Massimo, Morbidini, Alfredo, Mosti, Federico, Nasimi, Hikmat, Negri, Barbara, Nuti, Alessio, O'Dell, Stephen L., Orsini, Leonardo, Perri, Matteo, Pesce-Rollins, Melissa, Piazzolla, Raffaele, Pieraccini, Stefano, Pilia, Maura, Pinchera, Michele, Profeti, Alessandro, Puccetti, Simonetta, Ramsey, Brian D., Ratheesh, Ajay, Rubini, Alda, Santoli, Francesco, Sarra, Paolo, Scalise, Emanuele, Sciortino, Andrea, Sgrò, Carmelo, Spandre, Gloria, Tardiola, Marcello, Tennant, Allyn F., Tobia, Antonino, Trois, Alessio, Vimercati, Marco, Weisskopf, Martin C., Zanetti, Davide, Zanetti, Francesco
Publikováno v:
The Astronomical Journal 164 (2022) 103
IXPE (Imaging X-ray Polarimetry Explorer) is a NASA Small Explorer mission -- in partnership with the Italian Space Agency (ASI) -- dedicated to X-ray polarimetry in the 2--8 keV energy band. The IXPE telescope comprises three grazing incidence mirro
Externí odkaz:
http://arxiv.org/abs/2206.07582
Autor:
M.U. Ashraf, E. Cortina Gil, E. Minucci, S. Padolski, P. Petrov, A. Shaikhiev, R. Volpe, T. Numao, Y. Petrov, B. Velghe, V.W.S. Wong, D. Bryman, J. Fu, Z. Hives, T. Husek, J. Jerhot, K. Kampf, M. Kolesar, M. Zamkovsky, B. De Martino, M. Perrin-Terrin, B. Döbrich, S. Lezki, J. Schubert, A.T. Akmete, R. Aliberti, G. Khoriauli, J. Kunze, D. Lomidze, L. Peruzzo, M. Vormstein, R. Wanke, P. Dalpiaz, M. Fiorini, I. Neri, A. Norton, F. Petrucci, M. Soldani, H. Wahl, L. Bandiera, A. Cotta Ramusino, A. Gianoli, M. Romagnoni, A. Sytov, E. Iacopini, G. Latino, M. Lenti, P. Lo Chiatto, I. Panichi, A. Parenti, A. Bizzeti, F. Bucci, A. Antonelli, G. Georgiev, V. Kozhuharov, G. Lanfranchi, S. Martellotti, M. Moulson, T. Spadaro, G. Tinti, F. Ambrosino, T. Capussela, M. Corvino, M. D'Errico, D. Di Filippo, R. Fiorenza, M. Francesconi, R. Giordano, P. Massarotti, M. Mirra, M. Napolitano, I. Rosa, G. Saracino, G. Anzivino, F. Brizioli, E. Imbergamo, R. Lollini, R. Piandani, C. Santoni, M. Barbanera, P. Cenci, B. Checcucci, P. Lubrano, M. Lupi, M. Pepe, M. Piccini, F. Costantini, L. Di Lella, N. Doble, M. Giorgi, S. Giudici, G. Lamanna, E. Lari, E. Pedreschi, M. Sozzi, C. Cerri, R. Fantechi, L. Pontisso, F. Spinella, I. Mannelli, G. D'Agostini, M. Raggi, A. Biagioni, P. Cretaro, O. Frezza, E. Leonardi, A. Lonardo, M. Turisini, P. Valente, P. Vicini, R. Ammendola, V. Bonaiuto, A. Fucci, A. Salamon, F. Sargeni, R. Arcidiacono, B. Bloch-Devaux, M. Boretto, E. Menichetti, E. Migliore, D. Soldi, C. Biino, A. Filippi, F. Marchetto, A. Briano Olvera, J. Engelfried, N. Estrada-Tristan, M.A. Reyes Santos, K.A. Rodriguez Rivera, P. Boboc, A.M. Bragadireanu, S.A. Ghinescu, O.E. Hutanu, L. Bician, T. Blazek, V. Cerny, Z. Kucerova, T. Velas, J. Bernhard, A. Ceccucci, M. Ceoletta, H. Danielsson, N. De Simone, F. Duval, L. Federici, E. Gamberini, L. Gatignon, R. Guida, F. Hahn, E.B. Holzer, B. Jenninger, M. Koval, P. Laycock, G. Lehmann Miotto, P. Lichard, A. Mapelli, K. Massri, M. Noy, V. Palladino, J. Pinzino, V. Ryjov, S. Schuchmann, S. Venditti, X. Chang, A. Kleimenova, R. Marchevski, T. Bache, M.B. Brunetti, V. Duk, V. Fascianelli, J.R. Fry, F. Gonnella, E. Goudzovski, J. Henshaw, L. Iacobuzio, C. Kenworthy, C. Lazzeroni, N. Lurkin, F. Newson, C. Parkinson, A. Romano, J. Sanders, A. Sergi, A. Sturgess, J. Swallow, A. Tomczak, H. Heath, R. Page, S. Trilov, B. Angelucci, D. Britton, C. Graham, D. Protopopescu, J. Carmignani, J.B. Dainton, R.W.L. Jones, G. Ruggiero, L. Fulton, D. Hutchcroft, E. Maurice, B. Wrona, A. Conovaloff, P. Cooper, D. Coward, P. Rubin, A. Baeva, D. Baigarashev, V. Bautin, D. Emelyanov, T. Enik, V. Falaleev, S. Fedotov, K. Gorshanov, E. Gushchin, V. Kekelidze, D. Kereibay, S. Kholodenko, A. Khotyantsev, A. Korotkova, Y. Kudenko, V. Kurochka, V. Kurshetsov, L. Litov, D. Madigozhin, M. Medvedeva, A. Mefodev, M. Misheva, N. Molokanova, S. Movchan, V. Obraztsov, A. Okhotnikov, A. Ostankov, I. Polenkevich, Yu. Potrebenikov, A. Sadovskiy, K. Salamatin, V. Semenov, S. Shkarovskiy, V. Sugonyaev, O. Yushchenko, A. Zinchenko
Publikováno v:
Physics Letters B, Vol 859, Iss , Pp 139122- (2024)
The first search for the lepton number violating decay K+→π0π−μ+e+ and lepton flavour violating decays K+→π0π+μ−e+, K+→π0π+μ+e− has been performed using a dataset collected by the NA62 experiment at CERN in 2016–2018. Upper lim
Externí odkaz:
https://doaj.org/article/a2ca98d43ea34c97b58dd43c1ee20eb5
Publikováno v:
In Fuel 15 September 2024 372
Autor:
Sánchez-Ávila, N., Cardarelli, Alessandro, Carmona-Cabello, Miguel, Dorado, M.P., Pinzi, Sara, Barbanera, Marco
Publikováno v:
In Renewable Energy September 2024 230
Autor:
Dong, Y., Valle, S.M., Battistoni, G., Mattei, I., Finck, C., Patera, V., Alexandrov, A., Alpat, B., Ambrosi, G., Argirò, S., Barbanera, M., Bartosik, N., Bisogni, M.G., Boccia, V., Cavanna, F., Cerello, P., Ciarrocchi, E., De Gregorio, A., De Lellis, G., Di Crescenzo, A., Di Ruzza, B., Donetti, M., Durante, M., Faccini, R., Ferrero, V., Fiorina, E., Francesconi, M., Franchini, M., Franciosini, G., Galati, G., Galli, L., Ionica, M., Iuliano, A., Kanxheri, K., Kraan, A.C., La Tessa, C., Lauria, A., Lopez Torres, E., Magi, M., Manna, A., Marafini, M., Massa, M., Massimi, C., Mengarelli, A., Mereghetti, A., Minniti, T., Moggi, A., Montesi, M.C., Morone, M.C., Morrocchi, M., Pastrone, N., Peverini, F., Pennazio, F., Pisanti, C., Placidi, P., Pullia, M., Ramello, L., Reidel, C., Ridolfi, R., Sabatini, L., Salvi, L., Sanelli, C., Sarti, A., Sato, O., Savazzi, S., Scavarda, L., Schiavi, A., Schuy, C., Scifoni, E., Servoli, L., Silvestre, G., Sitta, M., Spighi, R., Spiriti, E., Tioukov, V., Tomassini, S., Tommasino, F., Toppi, M., Trigilio, A., Traini, G., Ubaldi, G., Valetti, A., Vanstalle, M., Villa, M., Weber, U., Zarrella, R., Zoccoli, A., Muraro, S.
Publikováno v:
In Computer Physics Communications February 2025 307