Search

Your search keyword '"Barbanera A"' showing total 2,317 results
Start Over Author "Barbanera A"
2,317 results on '"Barbanera A"'

51. Open Compliance in Multiparty Sessions

Author

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, de’Liguoro, Ugo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Tapia Tarifa, Silvia Lizeth, editor, and Proença, José, editor

Published
2022
Full Text
View/download PDF

52. On Formal Choreographic Modelling: A Case Study in EU Business Processes

Author

Coto, Alex, Barbanera, Franco, Lanese, Ivan, Rossi, Davide, Tuosto, Emilio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2022
Full Text
View/download PDF

53. Formal Choreographic Languages

Author

Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, ter Beek, Maurice H., editor, and Sirjani, Marjan, editor

Published
2022
Full Text
View/download PDF

55. A measurement of the K + → π + μ + μ − decay

Author

The NA62 collaboration, E. Cortina Gil, A. Kleimenova, E. Minucci, S. Padolski, P. Petrov, A. Shaikhiev, R. Volpe, T. Numao, Y. Petrov, B. Velghe, V. W. S. Wong, D. Bryman, J. Fu, T. Husek, J. Jerhot, K. Kampf, M. Zamkovsky, R. Aliberti, G. Khoriauli, J. Kunze, D. Lomidze, L. Peruzzo, M. Vormstein, R. Wanke, P. Dalpiaz, M. Fiorini, I. Neri, A. Norton, F. Petrucci, H. Wahl, A. Cotta Ramusino, A. Gianoli, E. Iacopini, G. Latino, M. Lenti, 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, D. Di Filippo, R. Fiorenza, P. Massarotti, M. Mirra, M. Napolitano, 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, J. Engelfried, N. Estrada-Tristan, A. M. Bragadireanu, S. A. Ghinescu, O. E. Hutanu, A. Baeva, D. Baigarashev, D. Emelyanov, T. Enik, V. Falaleev, V. Kekelidze, A. Korotkova, L. Litov, D. Madigozhin, M. Misheva, N. Molokanova, S. Movchan, I. Polenkevich, Yu. Potrebenikov, S. Shkarovskiy, A. Zinchenko, S. Fedotov, E. Gushchin, A. Khotyantsev, Y. Kudenko, V. Kurochka, M. Medvedeva, A. Mefodev, S. Kholodenko, V. Kurshetsov, V. Obraztsov, A. Ostankov, V. Semenov, V. Sugonyaev, O. Yushchenko, L. Bician, T. Blazek, V. Cerny, Z. Kucerova, J. Bernhard, A. Ceccucci, H. Danielsson, N. De Simone, F. Duval, B. Döbrich, 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, R. Marchevski, K. Massri, M. Noy, V. Palladino, M. Perrin-Terrin, J. Pinzino, V. Ryjov, S. Schuchmann, S. Venditti, T. Bache, M. B. Brunetti, V. Duk, V. Fascianelli, J. R. Fry, F. Gonnella, E. Goudzovski, J. Henshaw, L. Iacobuzio, C. Lazzeroni, N. Lurkin, F. Newson, C. Parkinson, A. Romano, 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, and P. Rubin

Subjects
Branching fraction, Fixed Target Experiments, Flavour Changing Neutral Currents, Rare Decay, Nuclear and particle physics. Atomic energy. Radioactivity, QC770-798
Abstract

Abstract A sample of 2.8 × 104 K + → π + μ + μ − candidates with negligible background was collected by the NA62 experiment at the CERN SPS in 2017–2018. The model-independent branching fraction is measured to be (9.15 ± 0.08) × 10 −8, a factor three more precise than previous measurements. The decay form factor is presented as a function of the squared dimuon mass. A measurement of the form factor parameters and their uncertainties is performed using a description based on Chiral Perturbation Theory at O $$ \mathcal{O} $$ (p 6).

Published
2022
Full Text
View/download PDF

56. Temporal Structures in Positron Spectra and Charge-Sign Effects in Galactic Cosmic Rays

Author

M. Aguilar, G. Ambrosi, H. Anderson, L. Arruda, N. Attig, C. Bagwell, F. Barao, M. Barbanera, L. Barrin, A. Bartoloni, R. Battiston, N. Belyaev, J. Berdugo, B. Bertucci, V. Bindi, K. Bollweg, J. Bolster, M. Borchiellini, B. Borgia, M. J. Boschini, M. Bourquin, J. Burger, W. J. Burger, X. D. Cai, M. Capell, J. Casaus, G. Castellini, F. Cervelli, Y. H. Chang, G. M. Chen, G. R. Chen, H. Chen, H. S. Chen, Y. Chen, L. Cheng, H. Y. Chou, S. Chouridou, V. Choutko, C. H. Chung, C. Clark, G. Coignet, C. Consolandi, A. Contin, C. Corti, Z. Cui, K. Dadzie, F. D’Angelo, A. Dass, C. Delgado, S. Della Torre, M. B. Demirköz, L. Derome, S. Di Falco, V. Di Felice, C. Díaz, F. Dimiccoli, P. von Doetinchem, F. Dong, F. Donnini, M. Duranti, A. Egorov, A. Eline, F. Faldi, J. Feng, E. Fiandrini, P. Fisher, V. Formato, C. Gámez, R. J. García-López, C. Gargiulo, H. Gast, M. Gervasi, F. Giovacchini, D. M. Gómez-Coral, J. Gong, C. Goy, D. Grandi, M. Graziani, A. N. Guracho, S. Haino, K. C. Han, R. K. Hashmani, Z. H. He, B. Heber, T. H. Hsieh, J. Y. Hu, B. W. Huang, M. Ionica, M. Incagli, Yi Jia, H. Jinchi, G. Karagöz, S. Khan, B. Khiali, Th. Kirn, A. P. Klipfel, O. Kounina, A. Kounine, V. Koutsenko, D. Krasnopevtsev, A. Kuhlman, A. Kulemzin, G. La Vacca, E. Laudi, G. Laurenti, G. LaVecchia, I. Lazzizzera, H. T. Lee, S. C. Lee, H. L. Li, J. Q. Li, M. Li, Q. Li, Q. Y. Li, S. Li, S. L. Li, J. H. Li, Z. H. Li, J. Liang, M. J. Liang, C. H. Lin, T. Lippert, J. H. Liu, S. Q. Lu, Y. S. Lu, K. Luebelsmeyer, J. Z. Luo, S. D. Luo, Xi Luo, C. Mañá, J. Marín, J. Marquardt, T. Martin, G. Martínez, N. Masi, D. Maurin, T. Medvedeva, A. Menchaca-Rocha, Q. Meng, M. Molero, P. Mott, L. Mussolin, Y. Najafi Jozani, J. Negrete, R. Nicolaidis, N. Nikonov, F. Nozzoli, J. Ocampo-Peleteiro, A. Oliva, M. Orcinha, M. A. Ottupara, M. Palermo, F. Palmonari, M. Paniccia, A. Pashnin, M. Pauluzzi, S. Pensotti, V. Plyaskin, S. Poluianov, X. Qin, Z. Y. Qu, L. Quadrani, P. G. Rancoita, D. Rapin, A. Reina Conde, E. Robyn, I. Rodríguez-García, L. Romaneehsen, F. Rossi, A. Rozhkov, D. Rozza, R. Sagdeev, E. Savin, S. Schael, A. Schultz von Dratzig, G. Schwering, E. S. Seo, B. S. Shan, T. Siedenburg, G. Silvestre, J. W. Song, X. J. Song, R. Sonnabend, L. Strigari, T. Su, Q. Sun, Z. T. Sun, M. Tacconi, X. W. Tang, Z. C. Tang, J. Tian, Y. Tian, Samuel C. C. Ting, S. M. Ting, N. Tomassetti, J. Torsti, T. Urban, I. Usoskin, V. Vagelli, R. Vainio, M. Valencia-Otero, E. Valente, E. Valtonen, M. Vázquez Acosta, M. Vecchi, M. Velasco, J. P. Vialle, C. X. Wang, L. Wang, L. Q. Wang, N. H. Wang, Q. L. Wang, S. Wang, X. Wang, Yu Wang, Z. M. Wang, J. Wei, Z. L. Weng, H. Wu, Y. Wu, J. N. Xiao, R. Q. Xiong, X. Z. Xiong, W. Xu, Q. Yan, H. T. Yang, Y. Yang, A. Yelland, H. Yi, Y. H. You, Y. M. Yu, Z. Q. Yu, C. Zhang, F. Zhang, F. Z. Zhang, J. Zhang, J. H. Zhang, Z. Zhang, F. Zhao, C. Zheng, Z. M. Zheng, H. L. Zhuang, V. Zhukov, A. Zichichi, and P. Zuccon

Published
2023
Full Text
View/download PDF

57. Performance of the NA62 trigger system

Author

Cortina Gil, E., Kleimenova, A., Minucci, E., Padolski, S., Petrov, P., Shaikhiev, A., Volpe, R., Numao, T., Petrov, Y., Velghe, B., Wong, V. W. S., Bryman, D., Fu, J., Husek, T., Jerhot, J., Kampf, K., Zamkovsky, M., Aliberti, R., Khoriauli, G., Kunze, J., Lomidze, D., Peruzzo, L., Vormstein, M., Wanke, R., Dalpiaz, P., Fiorini, M., Neri, I., Norton, A., Petrucci, F., Wahl, H., Cotta Ramusino, A., Gianoli, A., Iacopini, E., Latino, G., Lenti, M., Parenti, A., Bizzeti, A., Bucci, F., Antonelli, A., Georgiev, G., Kozhuharov, V., Lanfranchi, G., Martellotti, S., Moulson, M., Spadaro, T., Tinti, G., Ambrosino, F., Capussela, T., Corvino, M., Di Filippo, D., Fiorenza, R., Massarotti, P., Mirra, M., Napolitano, M., Saracino, G., Anzivino, G., Brizioli, F., Imbergamo, E., Lollini, R., Piandani, R., Santoni, C., Barbanera, M., Cenci, P., Checcucci, B., Lubrano, P., Lupi, M., Pepe, M., Piccini, M., Costantini, F., Di Lella, L., Doble, N., Giorgi, M., Giudici, S., Lamanna, G., Lari, E., Pedreschi, E., Sozzi, M., Cerri, C., Fantechi, R., Pontisso, L., Spinella, F., Mannelli, I., D’Agostini, G., Raggi, M., Biagioni, A., Cretaro, P., Frezza, O., Leonardi, E., Lonardo, A., Turisini, M., Valente, P., Vicini, P., Ammendola, R., Bonaiuto, V., Fucci, A., Salamon, A., Sargeni, F., Arcidiacono, R., Bloch-Devaux, B., Boretto, M., Menichetti, E., Migliore, E., Soldi, D., Biino, C., Filippi, A., Marchetto, F., Engelfried, J., Estrada-Tristan, N., Bragadireanu, A. M., Ghinescu, S. A., Hutanu, O. E., Baeva, A., Baigarashev, D., Emelyanov, D., Enik, T., Falaleev, V., Kekelidze, V., Korotkova, A., Litov, L., Madigozhin, D., Misheva, M., Molokanova, N., Movchan, S., Polenkevich, I., Potrebenikov, Yu., Shkarovskiy, S., Zinchenko, A., Fedotov, S., Gushchin, E., Khotyantsev, A., Kudenko, Y., Kurochka, V., Medvedeva, M., Mefodev, A., Kholodenko, S., Kurshetsov, V., Obraztsov, V., Ostankov, A., Semenov, V., Sugonyaev, V., Yushchenko, O., Bician, L., Blazek, T., Cerny, V., Kucerova, Z., Bernhard, J., Ceccucci, A., Danielsson, H., De Simone, N., Duval, F., Döbrich, B., Federici, L., Gamberini, E., Gatignon, L., Guida, R., Hahn, F., Holzer, E. B., Jenninger, B., Koval, M., Laycock, P., Lehmann Miotto, G., Lichard, P., Mapelli, A., Marchevski, R., Massri, K., Noy, M., Palladino, V., Perrin-Terrin, M., Pinzino, J., Ryjov, V., Schuchmann, S., Venditti, S., Bache, T., Brunetti, M. B., Duk, V., Fascianelli, V., Fry, J. R., Gonnella, F., Goudzovski, E., Henshaw, J., Iacobuzio, L., Lazzeroni, C., Lurkin, N., Newson, F., Parkinson, C., Romano, A., Sergi, A., Sturgess, A., Swallow, J., Tomczak, A., Heath, H., Page, R., Trilov, S., Angelucci, B., Britton, D., Graham, C., Protopopescu, D., Carmignani, J., Dainton, J. B., Jones, R. W. L., Ruggiero, G., Fulton, L., Hutchcroft, D., Maurice, E., Wrona, B., Conovaloff, A., Cooper, P., Coward, D., and Rubin, P.

Published
2023
Full Text
View/download PDF

58. A Theory of Formal Choreographic Languages

Author

Franco Barbanera, Ivan Lanese, and Emilio Tuosto

Subjects
computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Abstract

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 consider notions such as global view, local view, and projections from the former to the latter. The correctness of local views projected from global views is characterised in terms of a closure property. We consider a number of communication properties -- such as (dead)lock-freedom -- and give conditions on formal choreographic languages to guarantee them. Finally, we show how formal choreographic languages can capture existing formalisms; specifically we consider communicating finite-state machines, choreography automata, and multiparty session types. Notably, formal choreographic languages, differently from most approaches in the literature, can naturally model systems exhibiting non-regular behaviour.

Published
2023
Full Text
View/download PDF

60. Global Types for Open Systems

Author

Barbanera, Franco, de'Liguoro, Ugo, and Hennicker, Rolf

Subjects
Computer Science - Logic in Computer Science
Abstract

Global-type formalisms enable to describe the overall behaviour of distributed systems and at the same time to enforce safety properties for communications between system components. Our goal is that of amending a weakness of such formalisms: the difficulty in describing open systems, i.e. systems which can be connected and interact with other open systems. We parametrically extend, with the notion of interface role and interface connection, the syntax of global-type formalisms. Semantically, global types with interface roles denote open systems of communicating finite state machines connected by means of gateways obtained from compatible interfaces. We show that safety properties are preserved when open systems are connected that way., Comment: In Proceedings ICE 2018, arXiv:1810.02053

Published
2018
Full Text
View/download PDF

61. Precise Mirror Alignment and Basic Performance of the RICH Detector of the NA62 Experiment at CERN

Author

Anzivino, G., Barbanera, M., Bizzeti, A., Brizioli, F., Bucci, F., Cassese, A., Cenci, P., Checcucci, B., Ciaranfi, R., Duk, V., Engelfried, J., Estrada-Tristan, N., Iacopini, E., Imbergamo, E., Latino, G., Lenti, M., Lollini, R., Pepe, M., Piccini, M., and Volpe, R.

Subjects
Physics - Instrumentation and Detectors, High Energy Physics - Experiment
Abstract

The Ring Imaging Cherenkov detector is crucial for the identification of charged particles in the NA62 experiment at the CERN SPS. The detector commissioning was completed in 2016 by the precise alignment of mirrors using reconstructed tracks. The alignment procedure and measurement of the basic performance are described. Ring radius resolution, ring centre resolution, single hit resolution and mean number of hits per ring are evaluated for positron tracks. The contribution of the residual mirror misalignment to the performance is calculated., Comment: 13 pages, 10 figures

Published
2018
Full Text
View/download PDF

62. Search for $K^{+}\rightarrow\pi^{+}\nu\overline{\nu}$ at NA62

Author

NA62 Collaboration, Rinella, G. Aglieri, Aliberti, R., Ambrosino, F., Ammendola, R., Angelucci, B., Antonelli, A., Anzivino, G., Arcidiacono, R., Azhinenko, I., Balev, S., Barbanera, M., Bendotti, J., Biagioni, A., Bician, L., Biino, C., Bizzeti, A., Blazek, T., Blik, A., Bloch-Devaux, B., Bolotov, V., Bonaiuto, V., Boretto, M., Bragadireanu, M., Britton, D., Britvich, G., Brunetti, M. B., Bryman, D., Bucci, F., Butin, F., Calvo, J., Capitolo, E., Capoccia, C., Capussela, T., Cassese, A., Catinaccio, A., Cecchetti, A., Ceccucci, A., Cenci, P., Cerny, V., Cerri, C., Checcucci, B., Chikilev, O., Chiozzi, S., Ciaranfi, R., Collazuol, G., Conovaloff, A., Cooke, P., Cooper, P., Corradi, G., Gil, E. Cortina, Costantini, F., Cotorobai, F., Ramusino, A. Cotta, Coward, D., D'Agostini, G., Dainton, J., Dalpiaz, P., Danielsson, H., Degrange, J., De Simone, N., Di Filippo, D., Di Lella, L., Di Lorenzo, S., Dixon, N., Doble, N., Dobrich, B., Duk, V., Elsha, V., Engelfried, J., Enik, T., Estrada, N., Falaleev, V., Fantechi, R., Fascianelli, V., Federici, L., Fedotov, S., Filippi, A., Fiorini, M., Fry, J., Fu, J., Fucci, A., Fulton, L., Gallorini, S., Galeotti, S., Gamberini, E., Gatignon, L., Georgiev, G., Ghinescu, S., Gianoli, A., Giorgi, M., Giudici, S., Glonti, L., Martins, A. Goncalves, Gonnella, F., Goudzovski, E., Guida, R., Gushchin, E., Hahn, F., Hallgren, B., Heath, H., Herman, F., Husek, T., Hutanu, O., Hutchcroft, D., Iacobuzio, L., Iacopini, E., Imbergamo, E., Jamet, O., Jarron, P., Jones, E., Kampf, T. Jones K., Kaplon, J., Kekelidze, V., Kholodenko, S., Khoriauli, G., Khotyantsev, A., Khudyakov, A., Kiryushin, Yu., Kleimenova, A., Kleinknecht, K., Kluge, A., Koval, M., Kozhuharov, V., Krivda, M., Kucerova, Z., Kudenko, Yu., Kunze, J., Lamanna, G., Latino, G., Lazzeroni, C., Lehmann-Miotto, G., Lenci, R., Lenti, M., Leonardi, E., Lichard, P., Lietava, R., Likhacheva, V., Litov, L., Lollini, R., Lomidze, D., Lonardo, A., Lupi, M., Lurkin, N., McCormick, K., Madigozhin, D., Maire, G., Mandeiro, C., Mannelli, I., Mannocchi, G., Mapelli, A., Marchetto, F., Marchevski, R., Martellotti, S., Massarotti, P., Massri, K., Matak, P., Maurice, E., Medvedeva, M., Mefodev, A., Menichetti, E., Migliore, E., Minucci, E., Mirra, M., Misheva, M., Molokanova, N., Morant, J., Morel, M., Moulson, M., Movchan, S., Munday, D., Napolitano, M., Neri, I., Newson, F., Noël, J., Norton, A., Noy, M., Nuessle, G., Numao, T., Obraztsov, V., Ostankov, A., Padolski, S., Page, R., Palladino, V., Paoluzzi, G., Parkinson, C., Pedreschi, E., Pepe, M., Gomez, F. Perez, Perrin-Terrin, M., Peruzzo, L., Petrov, P., Petrucci, F., Piandani, R., Piccini, M., Pietreanu, D., Pinzino, J., Polenkevich, I., Pontisso, L., Potrebenikov, Yu., Protopopescu, D., Raffaelli, F., Raggi, M., Riedler, P., Romano, A., Rubin, P., Ruggiero, G., Russo, V., Ryjov, V., Salamon, A., Salina, G., Samsonov, V., Santoni, C., Saracino, G., Sargeni, F., Semenov, V., Sergi, A., Serra, M., Shaikhiev, A., Shkarovskiy, S., Skillicorn, I., Soldi, D., Sotnikov, A., Sugonyaev, V., Sozzi, M., Spadaro, T., Spinella, F., Staley, R., Sturgess, A., Sutcliffe, P., Szilasi, N., Tagnani, D., Trilov, S., Valdata-Nappi, M., Valente, P., Vasile, M., Vassilieva, T., Velghe, B., Veltri, M., Venditti, S., Vicini, P., Volpe, R., Vormstein, M., Wahl, H., Wanke, R., Wertelaers, P., Winhart, A., Winston, R., Wrona, B., Yushchenko, O., Zamkovsky, M., and Zinchenko, A.

Subjects
High Energy Physics - Experiment, Physics - Instrumentation and Detectors
Abstract

$K^{+}\rightarrow\pi^{+}\nu\overline{\nu}$ is one of the theoretically cleanest meson decay where to look for indirect effects of new physics complementary to LHC searches. The NA62 experiment at CERN SPS is designed to measure the branching ratio of this decay with 10\% precision. NA62 took data in pilot runs in 2014 and 2015 reaching the final designed beam intensity. The quality of 2015 data acquired, in view of the final measurement, will be presented., Comment: proceeding of the conference New Trends in High-Energy Physics 2016

Published
2018

64. A search for the K+ → μ−νe+e+ decay

Author

E. Cortina Gil, A. Kleimenova, E. Minucci, S. Padolski, P. Petrov, A. Shaikhiev, R. Volpe, T. Numao, Y. Petrov, B. Velghe, V.W.S. Wong, D. Bryman, J. Fu, T. Husek, J. Jerhot, K. Kampf, M. Zamkovsky, R. Aliberti, G. Khoriauli, J. Kunze, D. Lomidze, L. Peruzzo, M. Vormstein, R. Wanke, P. Dalpiaz, M. Fiorini, I. Neri, A. Norton, F. Petrucci, H. Wahl, A. Cotta Ramusino, A. Gianoli, E. Iacopini, G. Latino, M. Lenti, 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, D. Di Filippo, R. Fiorenza, P. Massarotti, M. Mirra, M. Napolitano, 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, J. Engelfried, N. Estrada-Tristan, A.M. Bragadireanu, S.A. Ghinescu, O.E. Hutanu, A. Baeva, D. Baigarashev, D. Emelyanov, T. Enik, V. Falaleev, V. Kekelidze, A. Korotkova, L. Litov, D. Madigozhin, M. Misheva, N. Molokanova, S. Movchan, I. Polenkevich, Yu. Potrebenikov, S. Shkarovskiy, A. Zinchenko, S. Fedotov, E. Gushchin, A. Khotyantsev, Y. Kudenko, V. Kurochka, M. Medvedeva, A. Mefodev, S. Kholodenko, V. Kurshetsov, V. Obraztsov, A. Ostankov, V. Semenov, V. Sugonyaev, O. Yushchenko, L. Bician, T. Blazek, V. Cerny, Z. Kucerova, J. Bernhard, A. Ceccucci, H. Danielsson, N. De Simone, F. Duval, B. Döbrich, 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, R. Marchevski, K. Massri, M. Noy, V. Palladino, M. Perrin-Terrin, J. Pinzino, V. Ryjov, S. Schuchmann, S. Venditti, T. Bache, M.B. Brunetti, V. Duk, V. Fascianelli, J.R. Fry, F. Gonnella, E. Goudzovski, J. Henshaw, L. Iacobuzio, C. Lazzeroni, N. Lurkin, F. Newson, C. Parkinson, A. Romano, 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, and P. Rubin

Subjects
Kaon decays, Lepton number violation, Lepton flavour violation, Physics, QC1-999
Abstract

A search for the K+→μ−νe+e+ decay, forbidden within the Standard Model by either lepton number or lepton flavour conservation depending on the flavour of the emitted neutrino, has been performed using the dataset collected by the NA62 experiment at CERN in 2016–2018. An upper limit of 8.1×10−11 is obtained for the decay branching fraction at 90% CL, improving by a factor of 250 over the previous search.

Published
2023
Full Text
View/download PDF

68. Early management of patients with aneurysmal subarachnoid hemorrhage in a hospital with neurosurgical/neuroendovascular facilities: a consensus and clinical recommendations of the Italian Society of Anesthesia and Intensive Care (SIAARTI)–Part 1

Author

Picetti, Edoardo, Barbanera, Andrea, Bernucci, Claudio, Bertuccio, Alessandro, Bilotta, Federico, Boccardi, Edoardo Pietro, Cafiero, Tullio, Caricato, Anselmo, Castioni, Carlo Alberto, Cenzato, Marco, Chieregato, Arturo, Citerio, Giuseppe, Gritti, Paolo, Lanterna, Luigi, Menozzi, Roberto, Munari, Marina, Panni, Pietro, Rossi, Sandra, Stocchetti, Nino, Sturiale, Carmelo, Zoerle, Tommaso, Zona, Gianluigi, Rasulo, Frank, and Robba, Chiara

Published
2022
Full Text
View/download PDF

69. Early management of patients with aneurysmal subarachnoid hemorrhage in a hospital with neurosurgical/neuroendovascular facilities: a consensus and clinical recommendations of the Italian Society of Anesthesia and Intensive Care (SIAARTI)—part 2

Author

Picetti, Edoardo, Barbanera, Andrea, Bernucci, Claudio, Bertuccio, Alessandro, Bilotta, Federico, Boccardi, Edoardo Pietro, Cafiero, Tullio, Caricato, Anselmo, Castioni, Carlo Alberto, Cenzato, Marco, Chieregato, Arturo, Citerio, Giuseppe, Gritti, Paolo, Lanterna, Luigi, Menozzi, Roberto, Munari, Marina, Panni, Pietro, Rossi, Sandra, Stocchetti, Nino, Sturiale, Carmelo, Zoerle, Tommaso, Zona, Gianluigi, Rasulo, Frank, and Robba, Chiara

Published
2022
Full Text
View/download PDF

70. Early management of patients with aneurysmal subarachnoid hemorrhage in a hospital with neurosurgical/neuroendovascular facilities: a consensus and clinical recommendations of the Italian Society of Anesthesia and Intensive Care (SIAARTI)—part 2

Author

Edoardo Picetti, Andrea Barbanera, Claudio Bernucci, Alessandro Bertuccio, Federico Bilotta, Edoardo Pietro Boccardi, Tullio Cafiero, Anselmo Caricato, Carlo Alberto Castioni, Marco Cenzato, Arturo Chieregato, Giuseppe Citerio, Paolo Gritti, Luigi Lanterna, Roberto Menozzi, Marina Munari, Pietro Panni, Sandra Rossi, Nino Stocchetti, Carmelo Sturiale, Tommaso Zoerle, Gianluigi Zona, Frank Rasulo, and Chiara Robba

Subjects
Subarachnoid hemorrhage, Vasospasm, Delayed cerebral ischemia, Monitoring, Intracranial hypertension, Anesthesiology, RD78.3-87.3, Medical emergencies. Critical care. Intensive care. First aid, RC86-88.9
Abstract

Abstract Background Questions remain on the optimal management of subarachnoid hemorrhage (SAH) patients once they are admitted to the referring center, before and after the aneurysm treatment. To address these issues, we created a consensus of experts endorsed by the Italian Society of Anesthesia and Intensive Care (SIAARTI) to provide clinical guidance regarding this topic. Specifically, in this manuscript (part 2), we aim to provide a list of experts’ recommendations regarding the management of SAH patients in a center with neurosurgical/neuroendovascular facilities after aneurysm treatment. Methods A multidisciplinary consensus panel composed by 24 physicians selected for their established clinical and scientific expertise in the acute management of SAH patients with different specializations (anesthesia/intensive care, neurosurgery, and interventional neuroradiology) was created. A modified Delphi approach was adopted. Results A total of 33 statements were discussed, voted, and approved. Consensus was reached on 30 recommendations (28 strong and 2 weak). In 3 cases, where consensus could not be agreed upon, no recommendation was provided. Conclusions This consensus provides practical recommendations (and not mandatory standard of practice) to support clinician’s decision-making in the management of SAH patients in centers with neurosurgical/neuroendovascular facilities after aneurysm securing.

Published
2022
Full Text
View/download PDF

71. Overnutrition is a significant component of food waste and has a large environmental impact

Author

Silvio Franco, Marco Barbanera, Roberto Moscetti, Clara Cicatiello, Luca Secondi, and Riccardo Massantini

Subjects
Medicine, Science
Abstract

Abstract Food waste and obesity and overweight conditions are both linked to the unsustainability of current food systems. This article argues that overnutrition should be considered a form of food waste and it provides a first estimation of the quantity of food over-consumed in Italy. This is done by calculating the excess calories consumed by obese and overweight people and converting them into food quantities by comparison with a typical Italian diet. The total quantity of food consumed in excess by Italian citizens due to overnutrition is calculated as 1.553 million tonnes per year, which is comparable to the current national household food waste assessments. The environmental impact arising from production and consumption of this food accounts for 6.15 Mt of CO2-eq per year, as estimated by a Life Cycle Analysis conducted on the 46 food categories which compose the typical Italian diet. Overnutrition in the South-Islands regions of Italy exerts the largest impact (31.6%), followed by the North-West (26.6%), the Centre (22.2%), and the North-East (19.1%).

Published
2022
Full Text
View/download PDF

72. Early management of patients with aneurysmal subarachnoid hemorrhage in a hospital with neurosurgical/neuroendovascular facilities: a consensus and clinical recommendations of the Italian Society of Anesthesia and Intensive Care (SIAARTI)–Part 1

Author

Edoardo Picetti, Andrea Barbanera, Claudio Bernucci, Alessandro Bertuccio, Federico Bilotta, Edoardo Pietro Boccardi, Tullio Cafiero, Anselmo Caricato, Carlo Alberto Castioni, Marco Cenzato, Arturo Chieregato, Giuseppe Citerio, Paolo Gritti, Luigi Lanterna, Roberto Menozzi, Marina Munari, Pietro Panni, Sandra Rossi, Nino Stocchetti, Carmelo Sturiale, Tommaso Zoerle, Gianluigi Zona, Frank Rasulo, and Chiara Robba

Subjects
Subarachnoid hemorrhage, Hemodynamic management, Surgical management, Blood pressure, Aneurysm treatment, Anesthesiology, RD78.3-87.3, Medical emergencies. Critical care. Intensive care. First aid, RC86-88.9
Abstract

Abstract Background Issues remain on the optimal management of subarachnoid hemorrhage (SAH) patients once they are admitted to the referring center, before and after the aneurysm treatment. To address these issues, we created a consensus of experts endorsed by the Italian Society of Anesthesia and Intensive Care (SIAARTI). In this manuscript, we aim to provide a list of experts’ recommendations regarding the early management of SAH patients from hospital admission, in a center with neurosurgical/neuro-endovascular facilities, until securing of the bleeding aneurysm. Methods A multidisciplinary consensus panel composed of 24 physicians selected for their established clinical and scientific expertise in the acute management of SAH patients with different background (anesthesia/intensive care, neurosurgery, and interventional neuroradiology) was created. A modified Delphi approach was adopted. Results Among 19 statements discussed. The consensus was reached on 18 strong recommendations. In one case, consensus could not be agreed upon and no recommendation was provided. Conclusions This consensus provides practical recommendations for the management of SAH patients in hospitals with neurosurgical/neuroendovascular facilities until aneurysm securing. It is intended to support clinician’s decision-making and not to mandate a standard of practice.

Published
2022
Full Text
View/download PDF

74. Session Types for Orchestrated Interactions

Author

Barbanera, Franco and de'Liguoro, Ugo

Subjects
Computer Science - Logic in Computer Science
Abstract

In the setting of the pi-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract theory. This leads to extending session types with a new type operator of "speculative selection" including choices not necessarily offered by a compliant partner. We address the problem of selecting successful communicating branches by means of an operational semantics based on orchestrators, which has been shown to be equivalent to the retractable semantics of contracts, but clearly more feasible. A type system, sound with respect to such a semantics, is hence provided., Comment: In Proceedings ICE 2017, arXiv:1711.10708

Published
2017
Full Text
View/download PDF

75. Intersection Types for the lambda-mu Calculus

Author

van Bakel, Steffen, Barbanera, Franco, and de'Liguoro, Ugo

Subjects
Computer Science - Logic in Computer Science, F.4, F.4.1
Abstract

We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of omega-algebraic lattices via Abramsky's domain-logic approach. This provides at the same time an interpretation of the type system and a proof of the completeness of the system with respect to the continuation models by means of a filter model construction. We then define a restriction of our system, such that a lambda-mu term is typeable if and only if it is strongly normalising. We also show that Parigot's typing of lambda-mu terms with classically valid propositional formulas can be translated into the restricted system, which then provides an alternative proof of strong normalisability for the typed lambda-mu calculus.

Published
2017
Full Text
View/download PDF

76. Retractability, games and orchestrators for session contracts

Author

Barbanera, Franco and de'Liguoro, Ugo

Subjects
Computer Science - Logic in Computer Science
Abstract

Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outputs whose actual sending in an interaction depends on a third party or on a mutual agreement between the partners. Such contracts are hence adaptable, or as we say "affectible". In client/server systems, in general, compliance stands for the satisfaction of all client's requests by the server. We define an abstract notion of "affectible compliance" and show it to have a precise three-party game-theoretic interpretation. This in turn is shown to be equivalent to a compliance based on interactions that can undergo a sequence of failures and rollbacks, as well as to a compliance based on interactions which can be mediated by an orchestrator. Besides, there is a one-to-one effective correspondence between winning strategies and orchestrators. The relation of subcontract for affectible contracts is also investigated.

Published
2017
Full Text
View/download PDF

77. Outcome Measures of Open versus Minimally Invasive Surgery for Thoracolumbar Spinal Traumatic Fractures: A Systematic Review and Meta-Analysis.

Author

Esposito, Felice, Bove, Ilaria, Vitulli, Francesca, Bocchino, Andrea, Barbanera, Andrea, Nape, Stefania, Lombardi, Sara, Raffa, Giovanni, Pintore, Luigi, Palmiero, Carmela, Fellico, Fabrizio, Solari, Domenico, Cavallo, Luigi Maria, and Somma, Teresa

Subjects
MINIMALLY invasive procedures, ONLINE databases, VERTEBRAL fractures, QUALITY of life, TREATMENT of fractures
Abstract

Objective: To evaluate the efficacy of open and percutaneous pedicle screw fixation in the treatment of thoracolumbar fractures. Methods: Online databases MEDLINE (PubMed), SCOPUS, and Cochrane were searched for English language articles published between January 2001 and December 2023, limited to articles that included the clinical and radiological outcomes of adult patients. The main outcome measures of the study were the Oswestry Disability Index (ODI), the Numeric Rating Scale (NRS) score, and the Cobb angle. Results: A total of 7 studies involving 909 patients were included; 374 (41.1%) procedures were performed with open surgery (OS), while 535 (58.9%) procedures were conducted with minimally invasive surgery (MIS). The mean value of ODI in the MIS group was 8.29% [CI 95% 4.82–11.76], compared to the other group, which was 14.22% (p-value 0.87). Patients receiving a MIS had an average NRS of 1.54 [CI95% 0.98–2.10] whilst OS had 2.31 [CI95% 1.50–3.12] (p-value 0.12). Conclusions: The percutaneous technique is equally safe and effective in resolving the deformity, but the clear advantages are represented by the reduction in blood loss, shorter operative times, a lower incidence of infection, shorter hospitalization, shorter postoperative rehabilitation, and therefore good results in terms of quality of life. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

78. Introduced and extinct: neglected archival specimens shed new light on the historical biogeography of an iconic avian species in the Mediterranean.

Author

FORCINA, Giovanni, CLAVERO, Miguel, MEISTER, Marie, BARILARO, Christina, GUERRINI, Monica, and BARBANERA, Filippo

Subjects
SILK Road, MITOCHONDRIAL DNA, BIOGEOGRAPHY, BIOLOGISTS, CONSERVATION biology
Abstract

Collection specimens provide valuable and often overlooked biological material that enables addressing relevant, long‐unanswered questions in conservation biology, historical biogeography, and other research fields. Here, we use preserved specimens to analyze the historical distribution of the black francolin (Francolinus francolinus, Phasianidae), a case that has recently aroused the interest of archeozoologists and evolutionary biologists. The black francolin currently ranges from the Eastern Mediterranean and the Middle East to the Indian subcontinent, but, at least since the Middle Ages, it also had a circum‐Mediterranean distribution. The species could have persisted in Greece and the Maghreb until the 19th century, even though this possibility had been questioned due to the absence of museum specimens and scant literary evidence. Nevertheless, we identified four 200‐year‐old stuffed black francolins—presumably the only ones still existing—from these areas and sequenced their mitochondrial DNA control region. Based on the comparison with conspecifics (n = 396) spanning the entirety of the historic and current species range, we found that the new samples pertain to previously identified genetic groups from either the Near East or the Indian subcontinent. While disproving the former occurrence of an allegedly native westernmost subspecies, these results point toward the role of the Crown of Aragon in the circum‐Mediterranean expansion of the black francolin, including the Maghreb and Greece. Genetic evidence hints at the long‐distance transport of these birds along the Silk Road, probably to be traded in the commerce centers of the Eastern Mediterranean. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

79. Wild Avian Gut Microbiome at a Small Spatial Scale: A Study from a Mediterranean Island Population of Alectoris rufa

Author

Monica Guerrini, Dalia Tanini, Claudia Vannini, and Filippo Barbanera

Subjects
host-microbiome associations, microbiome, non-invasive sampling, red-legged partridge, 16S rRNA metabarcoding, Veterinary medicine, SF600-1100, Zoology, QL1-991
Abstract

This research is one of the few comparative descriptions at an intraspecific level of wild non-passerine microbiomes. We investigated for the first time the gut microbiome of red-legged partridges (Alectoris rufa) using fecal pellets in order to provide a more informed management. We focused on a small Italian population consisting of two demes (WEST, EAST) separated by about 20 km on the opposite sides of Elba Island. Given the small spatial scale, we set up a sampling protocol to minimize contamination from environmental bacteria, as well as differences due to variations in—among others—habitat, season, and age of feces, that could possibly affect the investigation of the three Elban sites. We found a significant divergence between the WEST and EAST Elban subpopulations in terms of microbial composition and alpha diversity. Although most represented bacterial phyla were the same in all the sites (Firmicutes, Actinobacteria, Proteobacteria, and Bacteroidetes), microbiomes displayed a much higher diversity in western than in eastern partridges. This result might be related to locally diverging individual physiological needs and/or to different intensities in past releases of captive-bred birds between the two sides of Elba. We suggest that the two subpopulations should be treated as distinct management units.

Published
2023
Full Text
View/download PDF

81. Corinne, a Tool for Choreography Automata

Author

Orlando, Simone, Pasquale, Vairo Di, Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Salaün, Gwen, editor, and Wijs, Anton, editor

Published
2021
Full Text
View/download PDF

84. Diagnosis and treatment of Chiari malformation and syringomyelia in adults: international consensus document

Author

Ciaramitaro, Palma, Massimi, Luca, Bertuccio, Alessandro, Solari, Alessandra, Farinotti, Mariangela, Peretta, Paola, Saletti, Veronica, Chiapparini, Luisa, Barbanera, Andrea, Garbossa, Diego, Bolognese, Paolo, Brodbelt, Andrew, Celada, Carlo, Cocito, Dario, Curone, Marcella, Devigili, Grazia, Erbetta, Alessandra, Ferraris, Marilena, Furlanetto, Marika, Gilanton, Mado, Jallo, George, Karadjova, Marieta, Klekamp, Jorg, Massaro, Fulvio, Morar, Sylvia, Parker, Fabrice, Perrini, Paolo, Poca, Maria Antonia, Sahuquillo, Juan, Stoodley, Marcus, Talamonti, Giuseppe, Triulzi, Fabio, Valentini, Maria Consuelo, Visocchi, Massimiliano, and Valentini, Laura

Published
2022
Full Text
View/download PDF

86. Valorization of winery and distillery by-products by hydrothermal carbonization

Author

Marco Barbanera, Alessandro Cardarelli, Eleonora Carota, Marco Castellini, Tommaso Giannoni, and Stefano Ubertini

Subjects
Medicine, Science
Abstract

Abstract This work aims at finding an alternative strategy to manage the waste generated by the winemaking industry to obtain a solid biofuel and phenolic compounds. The effect of temperature (180–260 °C), residence time (1–7 h), and biomass-to-liquid ratio (0.05–0.25) on the co-hydrothermal carbonization of vine pruning and exhausted grape pomace, by using vinasse as moisture source, is studied. The effect of the variables is investigated and optimized using the Box–Behnken design of response surface methodology to maximize mass yield, fuel ratio, energy densification yield and phenols extraction yield and to minimize energy consumption. The statistical analysis shows that the carbonization temperature is a crucial parameter of the process, decreasing the product yield on one hand and improving the quality of hydrochar on the other. At the optimal conditions (246.3 °C, 1.6 h, 0.066), an hydrochar yield of 52.64% and a calorific value of 24.1 MJ/kg were obtained. Moreover, the analysis of the H/C and O/C ratios of hydrochars demonstrates that carbonisation significantly improves the fuel properties of solid biofuel. Liquid by-products obtained from the HTC process are found to contain high concentrations of organic matter but the BOD/COD ratios suggest their potential valorization by biological methods.

Published
2021
Full Text
View/download PDF

87. A measurement of the K+→ π+μ+μ− decay

Author

Cortina Gil, E., Kleimenova, A., Minucci, E., Padolski, S., Petrov, P., Shaikhiev, A., Volpe, R., Numao, T., Petrov, Y., Velghe, B., Wong, V. W. S., Bryman, D., Fu, J., Husek, T., Jerhot, J., Kampf, K., Zamkovsky, M., Aliberti, R., Khoriauli, G., Kunze, J., Lomidze, D., Peruzzo, L., Vormstein, M., Wanke, R., Dalpiaz, P., Fiorini, M., Neri, I., Norton, A., Petrucci, F., Wahl, H., Cotta Ramusino, A., Gianoli, A., Iacopini, E., Latino, G., Lenti, M., Parenti, A., Bizzeti, A., Bucci, F., Antonelli, A., Georgiev, G., Kozhuharov, V., Lanfranchi, G., Martellotti, S., Moulson, M., Spadaro, T., Tinti, G., Ambrosino, F., Capussela, T., Corvino, M., Di Filippo, D., Fiorenza, R., Massarotti, P., Mirra, M., Napolitano, M., Saracino, G., Anzivino, G., Brizioli, F., Imbergamo, E., Lollini, R., Piandani, R., Santoni, C., Barbanera, M., Cenci, P., Checcucci, B., Lubrano, P., Lupi, M., Pepe, M., Piccini, M., Costantini, F., Di Lella, L., Doble, N., Giorgi, M., Giudici, S., Lamanna, G., Lari, E., Pedreschi, E., Sozzi, M., Cerri, C., Fantechi, R., Pontisso, L., Spinella, F., Mannelli, I., D’Agostini, G., Raggi, M., Biagioni, A., Cretaro, P., Frezza, O., Leonardi, E., Lonardo, A., Turisini, M., Valente, P., Vicini, P., Ammendola, R., Bonaiuto, V., Fucci, A., Salamon, A., Sargeni, F., Arcidiacono, R., Bloch-Devaux, B., Boretto, M., Menichetti, E., Migliore, E., Soldi, D., Biino, C., Filippi, A., Marchetto, F., Engelfried, J., Estrada-Tristan, N., Bragadireanu, A. M., Ghinescu, S. A., Hutanu, O. E., Baeva, A., Baigarashev, D., Emelyanov, D., Enik, T., Falaleev, V., Kekelidze, V., Korotkova, A., Litov, L., Madigozhin, D., Misheva, M., Molokanova, N., Movchan, S., Polenkevich, I., Potrebenikov, Yu., Shkarovskiy, S., Zinchenko, A., Fedotov, S., Gushchin, E., Khotyantsev, A., Kudenko, Y., Kurochka, V., Medvedeva, M., Mefodev, A., Kholodenko, S., Kurshetsov, V., Obraztsov, V., Ostankov, A., Semenov, V., Sugonyaev, V., Yushchenko, O., Bician, L., Blazek, T., Cerny, V., Kucerova, Z., Bernhard, J., Ceccucci, A., Danielsson, H., De Simone, N., Duval, F., Döbrich, B., Federici, L., Gamberini, E., Gatignon, L., Guida, R., Hahn, F., Holzer, E. B., Jenninger, B., Koval, M., Laycock, P., Lehmann Miotto, G., Lichard, P., Mapelli, A., Marchevski, R., Massri, K., Noy, M., Palladino, V., Perrin-Terrin, M., Pinzino, J., Ryjov, V., Schuchmann, S., Venditti, S., Bache, T., Brunetti, M. B., Duk, V., Fascianelli, V., Fry, J. R., Gonnella, F., Goudzovski, E., Henshaw, J., Iacobuzio, L., Lazzeroni, C., Lurkin, N., Newson, F., Parkinson, C., Romano, A., Sergi, A., Sturgess, A., Swallow, J., Tomczak, A., Heath, H., Page, R., Trilov, S., Angelucci, B., Britton, D., Graham, C., Protopopescu, D., Carmignani, J., Dainton, J. B., Jones, R. W. L., Ruggiero, G., Fulton, L., Hutchcroft, D., Maurice, E., Wrona, B., Conovaloff, A., Cooper, P., Coward, D., and Rubin, P.

Published
2022
Full Text
View/download PDF

89. The “state of the art” of intraoperative neurophysiological monitoring: An Italian survey

Author

Ricciuti, Riccardo Antonio, primary, Mancini, Fabrizio, additional, Guzzi, Giusy, additional, Marruzzo, Daniele, additional, Dario, Alessandro, additional, Puppa, Alessandro della, additional, Ricci, Alessandro, additional, Barbanera, Andrea, additional, Talacchi, Andrea, additional, Schwarz, Andreas, additional, Germanò, Antonino, additional, Raco, Antonino, additional, Colamaria, Antonio, additional, Santoro, Antonio, additional, Boccaletti, Riccardo, additional, Conti, Carlo, additional, Cenci, Nunzia, additional, Cossandi, Christian, additional, Bernucci, Claudio, additional, Lucantoni, Corrado, additional, Costella, Giovanni Battista, additional, Garbossa, Diego, additional, Zotta, Donato Carlo, additional, De Gonda, Federico, additional, Esposito, Felice, additional, Giordano, Flavio, additional, D'Andrea, Giancarlo, additional, Piatelli, Gianluca, additional, Zona, Gianluigi, additional, Spena, Giannantonio, additional, Tringali, Giovanni, additional, Barbagallo, Giuseppe, additional, Giussani, Carlo, additional, Gladi, Maurizio, additional, Landi, Andrea, additional, Lavano, Angelo, additional, Morabito, Letterio, additional, Mastronardi, Luciano, additional, Locatelli, Marco, additional, D'Agruma, Michele, additional, Lanotte, Michele Maria, additional, Montano, Nicola, additional, Santonocito, Orazio Santo, additional, Pompucci, Angelo, additional, de Falco, Raffaele, additional, Randi, Franco, additional, Bruscella, Sara, additional, Sartori, Ivana, additional, Signorelli, Francesco, additional, Tosatto, Luigino, additional, Trignani, Roberto, additional, Esposito, Vincenzo, additional, Innocenzi, Gualtiero, additional, Paolini, Sergio, additional, Vitiello, Vincenzo, additional, Cavallo, Michele Alessandro, additional, and Sala, Francesco, additional

Published
2024
Full Text
View/download PDF

90. Status of searches for rare kaon decays at NA62 & HIKE

Author

Martellotti, Silvia, primary, Akmete, A., additional, Aliberti, R., additional, Ambrosino, F., additional, Ammendola, R., additional, Angelucci, B., additional, Antonelli, A., additional, Anzivino, G., additional, Arcidiacono, R., additional, Bache, T., additional, Baeva, A., additional, Baigarashev, D., additional, Bandiera, L., additional, Barbanera, M., additional, Bernhard, J., additional, Biagioni, A., additional, Bician, L., additional, Biino, C., additional, Bizzeti, A., additional, Blazek, T., additional, Bloch Devaux, B., additional, Boboc, P., additional, Bonaiuto, V., additional, Boretto, M., additional, Bragadireanu, M., additional, Briano Olvera, A., additional, Britton, D., additional, Brizioli, F., additional, Brunetti, M.B., additional, Bryman, D., additional, Bucci, F., additional, Capussela, T., additional, Carmignani, J., additional, Ceccucci, A., additional, Cenci, P., additional, Cerny, V., additional, Cerri, C., additional, Checcucci, B., additional, Conovaloff, A., additional, Cooper, P., additional, Cortina Gil, E., additional, Corvino, M., additional, Costantini, F., additional, Cotta Ramusino, A., additional, Coward, D., additional, Cretaro, P., additional, D’Agostini, G., additional, Dainton, J., additional, Dalpiaz, P., additional, Danielsson, H., additional, D’Errico, M., additional, De Simone, N., additional, Di Filippo, D., additional, Di Lella, L., additional, Doble, N., additional, Dobrich, B., additional, Duval, F., additional, Duk, V., additional, Emelyanov, D., additional, Engelfried, J., additional, Enik, T., additional, Estrada-Tristan, N., additional, Falaleev, V., additional, Fantechi, R., additional, Fascianelli, V., additional, Federici, L., additional, Fedotov, S., additional, Filippi, A., additional, Fiorenza, R., additional, Fiorini, M., additional, Frezza, O., additional, Fry, J., additional, Fu, J., additional, Fucci, A., additional, Fulton, L., additional, Gamberini, E., additional, Gatignon, L., additional, Georgiev, G., additional, Ghinescu, S., additional, Gianoli, A., additional, Giorgi, M., additional, Giudici, S., additional, Gonnella, F., additional, Gorshanov, K., additional, Goudzovski, E., additional, Graham, C., additional, Guida, R., additional, Gushchin, E., additional, Hahn, F., additional, Heath, H., additional, Henshaw, J., additional, Hives, Z., additional, Holzer, E. B., additional, Husek, T., additional, Hutanu, O., additional, Hutchcroft, D., additional, Iacobuzio, L., additional, Iacopini, E., additional, Imbergamo, E., additional, Jenninger, B., additional, R.W. Jones, J. Jerhot, additional, Kampf, K., additional, Kekelidze, V., additional, Kereibay, D., additional, Kholodenko, S., additional, Khoriauli, G., additional, Khotyantsev, A., additional, Kleimenova, A., additional, Korotkova, A., additional, Koval, M., additional, Kozhuharov, V., additional, Kucerova, Z., additional, Kudenko, Y., additional, Kunze, J., additional, Kurochka, V., additional, Kurshetsov, V., additional, Lanfranchi, G., additional, Lamanna, G., additional, Lari, E., additional, Latino, G., additional, Laycock, P., additional, Lazzeroni, C., additional, Lenti, M., additional, Lehmann Miotto, G., additional, Leonardi, E., additional, Lichard, P., additional, Litov, L., additional, Lo Chiatto, P., additional, Lollini, R., additional, Lomidze, D., additional, Lonardo, A., additional, Lubrano, P., additional, Lupi, M., additional, Lurkin, N., additional, Madigozhin, D., additional, Mannelli, I., additional, Mapelli, A., additional, Marchetto, F., additional, Marchevski, R., additional, Martellotti, S., additional, Massarotti, P., additional, Massri, K., additional, Maurice, E., additional, Mazzolari, A., additional, Medvedeva, M., additional, Mefodev, A., additional, Menichetti, E., additional, Migliore, E., additional, Minucci, E., additional, Mirra, M., additional, Misheva, M., additional, Molokanova, N., additional, Moulson, M., additional, Movchan, S., additional, Napolitano, M., additional, Neri, I., additional, Newson, F., additional, Norton, A., additional, Noy, M., additional, Numao, T., additional, Obraztsov, V., additional, Okhotnikov, A., additional, Ostankov, A., additional, Padolski, S., additional, Page, R., additional, Palladino, V., additional, Panichi, I., additional, Parenti, A., additional, Parkinson, C., additional, Pedreschi, E., additional, Pepe, M., additional, Perrin-Terrin, M., additional, Peruzzo, L., additional, Petrov, P., additional, Petrov, Y., additional, Petrucci, F., additional, Piandani, R., additional, Piccini, M., additional, Pinzino, J., additional, Polenkevich, I., additional, Pontisso, L., additional, Potrebenikov, Y., additional, Protopopescu, D., additional, Raggi, M., additional, Reyes Santos, M., additional, Romagnoni, M., additional, Romano, A., additional, Rubin, P., additional, Ruggiero, G., additional, Ryjov, V., additional, Sadovsky, A., additional, Salamon, A., additional, Santoni, C., additional, Saracino, G., additional, Sargeni, F., additional, Schuchmann, S., additional, Semenov, V., additional, Sergi, A., additional, Shaikhiev, A., additional, Shkarovskiy, S., additional, Soldani, M., additional, Soldi, D., additional, Sozzi, M., additional, Spadaro, T., additional, Spinella, F., additional, Sturgess, A., additional, Sugonyaev, V., additional, Swallow, J., additional, Sytov, A., additional, Tinti, G., additional, Tomczak, A., additional, Trilov, S., additional, Turisini, M., additional, Valente, P., additional, Velghe, B., additional, Venditti, S., additional, Vicini, P., additional, Volpe, R., additional, Vormstein, M., additional, Wahl, H., additional, Wanke, R., additional, Wong, V., additional, Wrona, B., additional, Yushchenko, O., additional, Zamkovsky, M., additional, and Zinchenko, A., additional

Published
2024
Full Text
View/download PDF

91. Measurement of the K+ → π+γγ decay

Author

Cortina Gil, E., primary, Kleimenova, A., additional, Minucci, E., additional, Padolski, S., additional, Petrov, P., additional, Shaikhiev, A., additional, Volpe, R., additional, Numao, T., additional, Petrov, Y., additional, Velghe, B., additional, Wong, V.W.S., additional, Bryman, D., additional, Fu, J., additional, Hives, Z., additional, Husek, T., additional, Jerhot, J., additional, Kampf, K., additional, Zamkovsky, M., additional, De Martino, B., additional, Perrin-Terrin, M., additional, Döbrich, B., additional, Lezki, S., additional, Akmete, A.T., additional, Aliberti, R., additional, Khoriauli, G., additional, Kunze, J., additional, Lomidze, D., additional, Peruzzo, L., additional, Vormstein, M., additional, Wanke, R., additional, Dalpiaz, P., additional, Fiorini, M., additional, Mazzolari, A., additional, Neri, I., additional, Norton, A., additional, Petrucci, F., additional, Soldani, M., additional, Wahl, H., additional, Bandiera, L., additional, Cotta Ramusino, A., additional, Gianoli, A., additional, Romagnoni, M., additional, Sytov, A., additional, Iacopini, E., additional, Latino, G., additional, Lenti, M., additional, Lo Chiatto, P., additional, Panichi, I., additional, Parenti, A., additional, Bizzeti, A., additional, Bucci, F., additional, Antonelli, A., additional, Georgiev, G., additional, Kozhuharov, V., additional, Lanfranchi, G., additional, Martellotti, S., additional, Moulson, M., additional, Spadaro, T., additional, Tinti, G., additional, Ambrosino, F., additional, Capussela, T., additional, Corvino, M., additional, D'Errico, M., additional, Di Filippo, D., additional, Fiorenza, R., additional, Giordano, R., additional, Massarotti, P., additional, Mirra, M., additional, Napolitano, M., additional, Rosa, I., additional, Saracino, G., additional, Anzivino, G., additional, Brizioli, F., additional, Imbergamo, E., additional, Lollini, R., additional, Piandani, R., additional, Santoni, C., additional, Barbanera, M., additional, Cenci, P., additional, Checcucci, B., additional, Lubrano, P., additional, Lupi, M., additional, Pepe, M., additional, Piccini, M., additional, Costantini, F., additional, Di Lella, L., additional, Doble, N., additional, Giorgi, M., additional, Giudici, S., additional, Lamanna, G., additional, Lari, E., additional, Pedreschi, E., additional, Sozzi, M., additional, Cerri, C., additional, Fantechi, R., additional, Pontisso, L., additional, Spinella, F., additional, Mannelli, I., additional, D'Agostini, G., additional, Raggi, M., additional, Biagioni, A., additional, Cretaro, P., additional, Frezza, O., additional, Leonardi, E., additional, Lonardo, A., additional, Turisini, M., additional, Valente, P., additional, Vicini, P., additional, Ammendola, R., additional, Bonaiuto, V., additional, Fucci, A., additional, Salamon, A., additional, Sargeni, F., additional, Arcidiacono, R., additional, Bloch-Devaux, B., additional, Boretto, M., additional, Menichetti, E., additional, Migliore, E., additional, Soldi, D., additional, Biino, C., additional, Filippi, A., additional, Marchetto, F., additional, Briano Olvera, A., additional, Engelfried, J., additional, Estrada-Tristan, N., additional, Reyes Santos, M.A., additional, Rodriguez Rivera, K.A., additional, Boboc, P., additional, Bragadireanu, A.M., additional, Ghinescu, S.A., additional, Hutanu, O.E., additional, Bician, L., additional, Blazek, T., additional, Cerny, V., additional, Kucerova, Z., additional, Bernhard, J., additional, Ceccucci, A., additional, Ceoletta, M., additional, Danielsson, H., additional, De Simone, N., additional, Duval, F., additional, Federici, L., additional, Gamberini, E., additional, Gatignon, L., additional, Guida, R., additional, Hahn, F., additional, Holzer, E.B., additional, Jenninger, B., additional, Koval, M., additional, Laycock, P., additional, Lehmann Miotto, G., additional, Lichard, P., additional, Mapelli, A., additional, Marchevski, R., additional, Massri, K., additional, Noy, M., additional, Palladino, V., additional, Pinzino, J., additional, Ryjov, V., additional, Schuchmann, S., additional, Venditti, S., additional, Bache, T., additional, Brunetti, M.B., additional, Duk, V., additional, Fascianelli, V., additional, Fry, J.R., additional, Gonnella, F., additional, Goudzovski, E., additional, Henshaw, J., additional, Iacobuzio, L., additional, Kenworthy, C., additional, Lazzeroni, C., additional, Lurkin, N., additional, Newson, F., additional, Parkinson, C., additional, Romano, A., additional, Sanders, J., additional, Sergi, A., additional, Sturgess, A., additional, Swallow, J., additional, Tomczak, A., additional, Heath, H., additional, Page, R., additional, Trilov, S., additional, Angelucci, B., additional, Britton, D., additional, Graham, C., additional, Protopopescu, D., additional, Carmignani, J., additional, Dainton, J.B., additional, Jones, R.W.L., additional, Ruggiero, G., additional, Fulton, L., additional, Hutchcroft, D., additional, Maurice, E., additional, Wrona, B., additional, Conovaloff, A., additional, Cooper, P., additional, Coward, D., additional, Rubin, P., additional, Baeva, A., additional, Baigarashev, D., additional, Emelyanov, D., additional, Enik, T., additional, Falaleev, V., additional, Fedotov, S., additional, Gorshanov, K., additional, Gushchin, E., additional, Kekelidze, V., additional, Kereibay, D., additional, Kholodenko, S., additional, Khotyantsev, A., additional, Korotkova, A., additional, Kudenko, Y., additional, Kurochka, V., additional, Kurshetsov, V., additional, Litov, L., additional, Madigozhin, D., additional, Medvedeva, M., additional, Mefodev, A., additional, Misheva, M., additional, Molokanova, N., additional, Movchan, S., additional, Obraztsov, V., additional, Okhotnikov, A., additional, Ostankov, A., additional, Polenkevich, I., additional, Potrebenikov, Yu., additional, Sadovskiy, A., additional, Semenov, V., additional, Shkarovskiy, S., additional, Sugonyaev, V., additional, Yushchenko, O., additional, and Zinchenko, A., additional

Published
2024
Full Text
View/download PDF

94. Composing Communicating Systems, Synchronously

Author

Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2020
Full Text
View/download PDF

95. Choreography Automata

Author

Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bliudze, Simon, editor, and Bocchi, Laura, editor

Published
2020
Full Text
View/download PDF

98. Retractable Contracts

Author

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, and de'Liguoro, Ugo

Subjects
Computer Science - Logic in Computer Science, Computer Science - Programming Languages
Abstract

In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with synchronous rollbacks to agreement points in case of deadlock. The new calculus is equipped with a compliance relation which is shown to be decidable., Comment: In Proceedings PLACES 2015, arXiv:1602.03254

Published
2016
Full Text
View/download PDF

99. Elemental fragmentation cross sections for a 16O beam of 400 MeV/u kinetic energy interacting with a graphite target using the FOOT ΔE-TOF detectors

Author

M. Toppi, A. Sarti, A. Alexandrov, B. Alpat, G. Ambrosi, S. Argirò, R. A Diaz, M. Barbanera, N. Bartosik, G. Battistoni, N. Belcari, S. Biondi, M. G. Bisogni, M. Bon, G. Bruni, P. Carra, F. Cavanna, P. Cerello, E. Ciarrocchi, A. Clozza, S. Colombi, G. De Lellis, A. De Gregorio, A. Del Guerra, M. De Simoni, A. Di Crescenzo, B. Di Ruzza, M. Donetti, Y. Dong, M. Durante, V. Ferrero, E. Fiandrini, C. Finck, E. Fiorina, M. Fischetti, M. Francesconi, M. Franchini, G. Franciosini, G. Galati, L. Galli, G. Giraudo, R. Hetzel, E. Iarocci, M. Ionica, A. Iuliano, K. Kanxheri, A.C. Kraan, C. La Tessa, M. Laurenza, A. Lauria, E. L Torres, M. Marafini, M. Massa, C. Massimi, I. Mattei, A. Meneghetti, A. Mengarelli, R. Mirabelli, A. Moggi, M.C. Montesi, M.C. Morone, M. Morrocchi, S. Muraro, F. Murtas, A. Muscato, A. Pastore, N. Pastrone, V. Patera, F. Pennazio, F. Peverini, P. Placidi, M. Pullia, L. Ramello, C. Reidel, R. Ridolfi, V. Rosso, C. Sanelli, G. Sartorelli, O. Sato, S. Savazzi, L. Scavarda, A. Schiavi, C. Schuy, E. Scifoni, A. Sciubba, A. Sécher, M. Selvi, L. Servoli, G. Silvestre, M. Sitta, R. Spighi, E. Spiriti, G. Sportelli, A. Stahl, S. Tomassini, F. Tommasino, V. Tioukov, G. Traini, A. Trigilio, S.M. Valle, M. Vanstalle, U. Weber, R. Zarrella, A. Zoccoli, and M. Villa

Subjects
fragmentation, cross section, timing detectors, particle therapy, space radioprotection, Physics, QC1-999
Abstract

The study of nuclear fragmentation plays a central role in many important applications: from the study of Particle Therapy (PT) up to radiation protection for space (RPS) missions and the design of shielding for nuclear reactors. The FragmentatiOn Of Target (FOOT) collaboration aims to study the nuclear reactions that describe the interactions with matter of different light ions (like H1, He4, C12, O16) of interest for such applications, performing double differential fragmentation cross section measurements in the energy range of interest for PT and RPS. In this manuscript, we present the analysis of the data collected in the interactions of an oxygen ion beam of 400 MeV/u with a graphite target using a partial FOOT setup, at the GSI Helmholtz Center for Heavy Ion Research facility in Darmstadt. During the data taking the magnets, the silicon trackers and the calorimeter foreseen in the final FOOT setup were not yet available, and hence precise measurements of the fragments kinetic energy, momentum and mass were not possible. However, using the FOOT scintillator detectors for the time of flight (TOF) and energy loss (ΔE) measurements together with a drift chamber, used as beam monitor, it was possible to measure the elemental fragmentation cross sections. The reduced detector set-up and the limited available statistics allowed anyway to obtain relevant results, providing statistically significant measurements of cross sections eagerly needed for PT and RPS applications. Whenever possible the obtained results have been compared with existing measurements helping in discriminating between conflicting results in the literature and demonstrating at the same time the proper functioning of the FOOT ΔE-TOF system. Finally, the obtained fragmentation cross sections are compared to the Monte Carlo predictions obtained with the FLUKA software.

Published
2022
Full Text
View/download PDF

100. Substitution of Fossil Coal with Hydrochar from Agricultural Waste in the Electric Arc Furnace Steel Industry: A Comprehensive Life Cycle Analysis

Author

Alessandro Cardarelli and Marco Barbanera

Subjects
biomass pretreatment, EAF, hydrochar, LCA, steelmaking, Technology
Abstract

The iron and steel industry remains one of the most energy-intensive activities with high CO2 emissions. Generally, the use of fossil coal as chemical energy in an electric arc furnace (EAF) makes up 40–70% of the total direct emissions in this steelmaking process. Therefore, substituting conventional fossil fuels with alternatives is an attractive option for reducing CO2 emissions. In this study, the environmental impacts of EAF-produced steel were comprehensively assessed using pulverized hydrochar as the charged and injected material as a replacement for fossil coal. An environmental analysis was performed based on the LCA methodology according to the framework of ISO 14044. This study evaluated two different outlines: the use of fossil coal and its replacement with hydrochar from the winemaking industry as a carbon source in the EAF steelmaking process. The environmental impacts from the manufacturing of the hydrochar were calculated using different scenarios, including novel industrial ways to use vinasse as a moisture source for the co-hydrothermal carbonization of vine pruning and exhausted grape marc (EGM). The environmental impacts per unit of steel were reported as a function of the ratio between the fixed carbon of the injected material and the material amount itself. The results highlight the sustainability of the hydrothermal carbonization process and the use of the hydrochar in EAF steelmaking. Moreover, the electricity mix used for the EAF process has significant relevance. The main outline of the results might assist decision-makers to determine which technological route is most likely to be effective in reducing future CO2 emissions from the iron and steel industry.

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results