Search

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

1. Partially Typed Multiparty Sessions

Author

Barbanera, Franco and Dezani-Ciancaglini, Mariangiola

Subjects
Computer Science - Logic in Computer Science, F.1.2, F.3.2, F.3.3
Abstract

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 representing interesting protocols, which have no type in the standard type systems. Our type system enjoys Subject Reduction, Session Fidelity and "partial" Lock-freedom. The last property ensures the absence of locks for participants with non ignored communications. A sound and complete type inference algorithm is also discussed., Comment: In Proceedings ICE 2023, arXiv:2308.08920

Published
2023
Full Text
View/download PDF

3. YACC: Yet Another Church Calculus : A Birthday Present for Herman Inspired by His Supervisor Activity

Author

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, de’Liguoro, Ugo, Venneri, Betti, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Capretta, Venanzio, editor, Krebbers, Robbert, editor, and Wiedijk, Freek, editor

Published
2024
Full Text
View/download PDF

4. Early management of adult traumatic spinal cord injury in patients with polytrauma: a consensus and clinical recommendations jointly developed by the World Society of Emergency Surgery (WSES) & the European Association of Neurosurgical Societies (EANS)

Author

Picetti, Edoardo, Demetriades, Andreas K., Catena, Fausto, Aarabi, Bizhan, Abu-Zidan, Fikri M., Alves, Oscar L., Ansaloni, Luca, Armonda, Rocco A., Badenes, Rafael, Bala, Miklosh, Balogh, Zsolt J., Barbanera, Andrea, Bertuccio, Alessandro, Biffl, Walter L., Bouzat, Pierre, Buki, Andras, Castano-Leon, Ana Maria, Cerasti, Davide, Citerio, Giuseppe, Coccolini, Federico, Coimbra, Raul, Coniglio, Carlo, Costa, Francesco, De Iure, Federico, Depreitere, Bart, Fainardi, Enrico, Fehlings, Michael J., Gabrovsky, Nikolay, Godoy, Daniel Agustin, Gruen, Peter, Gupta, Deepak, Hawryluk, Gregory W. J., Helbok, Raimund, Hossain, Iftakher, Hutchinson, Peter J., Iaccarino, Corrado, Inaba, Kenji, Ivanov, Marcel, Kaprovoy, Stanislav, Kirkpatrick, Andrew W., Klein, Sam, Kolias, Angelos, Konovalov, Nikolay A., Lagares, Alfonso, Lippa, Laura, Loza-Gomez, Angelica, Luoto, Teemu M., Maas, Andrew I. R., Maciejczak, Andrzej, Maier, Ronald V., Marklund, Niklas, Martin, Matthew J., Melloni, Ilaria, Mendoza-Lattes, Sergio, Meyfroidt, Geert, Munari, Marina, Napolitano, Lena M., Okonkwo, David O., Otomo, Yasuhiro, Papadopoulos, Marios C., Petr, Ondra, Peul, Wilco C., Pudkrong, Aichholz K., Qasim, Zaffer, Rasulo, Frank, Reizinho, Carla, Ringel, Florian, Rizoli, Sandro, Rostami, Elham, Rubiano, Andres M., Russo, Emanuele, Sarwal, Aarti, Schwab, Jan M., Servadei, Franco, Sharma, Deepak, Sharif, Salman, Shiban, Ehab, Shutter, Lori, Stahel, Philip F., Taccone, Fabio S., Terpolilli, Nicole A., Thomé, Claudius, Toth, Peter, Tsitsopoulos, Parmenion P., Udy, Andrew, Vaccaro, Alexander R., Varon, Albert J., Vavilala, Monica S., Younsi, Alexander, Zackova, Monika, Zoerle, Tommaso, and Robba, Chiara

Published
2024
Full Text
View/download PDF

5. A Theory of Formal Choreographic Languages

Author

Barbanera, Franco, Lanese, Ivan, and Tuosto, Emilio

Subjects
Computer Science - Logic in Computer Science
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
2022
Full Text
View/download PDF

6. On Composing Communicating Systems

Author

Barbanera, Franco, Lanese, Ivan, and Tuosto, Emilio

Subjects
Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.2.4, F.3.1, D.3.1, D.1.3
Abstract

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. This problem has been recently addressed for the well-known model of communicating systems, that is sets of components consisting of finite-state machines capable of exchanging messages. The main idea of this approach is to take two systems, select a participant from each of them, and derive from those participants a pair of coupled gateways connecting the two systems. More precisely, a message directed to one of the gateways is forwarded to the gateway in the other system, which sends it to the other system. It has been shown that, under some suitable compatibility conditions between gateways, this composition mechanism preserves deadlock freedom for asynchronous as well as symmetric synchronous communications (where sender and receiver play the same part in determining which message to exchange). This paper considers the case of asymmetric synchronous communications where senders decide independently which message should be exchanged. We show here that preservation of lock freedom requires sequentiality of gateways, while this is not needed for preservation of either deadlock freedom or strong lock freedom., Comment: In Proceedings ICE 2022, arXiv:2208.04086

Published
2022
Full Text
View/download PDF

7. Early management of adult traumatic spinal cord injury in patients with polytrauma: a consensus and clinical recommendations jointly developed by the World Society of Emergency Surgery (WSES) & the European Association of Neurosurgical Societies (EANS)

Author

Edoardo Picetti, Andreas K. Demetriades, Fausto Catena, Bizhan Aarabi, Fikri M. Abu-Zidan, Oscar L. Alves, Luca Ansaloni, Rocco A. Armonda, Rafael Badenes, Miklosh Bala, Zsolt J. Balogh, Andrea Barbanera, Alessandro Bertuccio, Walter L. Biffl, Pierre Bouzat, Andras Buki, Ana Maria Castano-Leon, Davide Cerasti, Giuseppe Citerio, Federico Coccolini, Raul Coimbra, Carlo Coniglio, Francesco Costa, Federico De Iure, Bart Depreitere, Enrico Fainardi, Michael J. Fehlings, Nikolay Gabrovsky, Daniel Agustin Godoy, Peter Gruen, Deepak Gupta, Gregory W. J. Hawryluk, Raimund Helbok, Iftakher Hossain, Peter J. Hutchinson, Corrado Iaccarino, Kenji Inaba, Marcel Ivanov, Stanislav Kaprovoy, Andrew W. Kirkpatrick, Sam Klein, Angelos Kolias, Nikolay A. Konovalov, Alfonso Lagares, Laura Lippa, Angelica Loza-Gomez, Teemu M. Luoto, Andrew I. R. Maas, Andrzej Maciejczak, Ronald V. Maier, Niklas Marklund, Matthew J. Martin, Ilaria Melloni, Sergio Mendoza-Lattes, Geert Meyfroidt, Marina Munari, Lena M. Napolitano, David O. Okonkwo, Yasuhiro Otomo, Marios C. Papadopoulos, Ondra Petr, Wilco C. Peul, Aichholz K. Pudkrong, Zaffer Qasim, Frank Rasulo, Carla Reizinho, Florian Ringel, Sandro Rizoli, Elham Rostami, Andres M. Rubiano, Emanuele Russo, Aarti Sarwal, Jan M. Schwab, Franco Servadei, Deepak Sharma, Salman Sharif, Ehab Shiban, Lori Shutter, Philip F. Stahel, Fabio S. Taccone, Nicole A. Terpolilli, Claudius Thomé, Peter Toth, Parmenion P. Tsitsopoulos, Andrew Udy, Alexander R. Vaccaro, Albert J. Varon, Monica S. Vavilala, Alexander Younsi, Monika Zackova, Tommaso Zoerle, and Chiara Robba

Subjects
Traumatic spinal cord injury, Polytrauma, Management, Surgery, RD1-811, Medical emergencies. Critical care. Intensive care. First aid, RC86-88.9
Abstract

Abstract Background The early management of polytrauma patients with traumatic spinal cord injury (tSCI) is a major challenge. Sparse data is available to provide optimal care in this scenario and worldwide variability in clinical practice has been documented in recent studies. Methods A multidisciplinary consensus panel of physicians selected for their established clinical and scientific expertise in the acute management of tSCI polytrauma patients with different specializations was established. The World Society of Emergency Surgery (WSES) and the European Association of Neurosurgical Societies (EANS) endorsed the consensus, and a modified Delphi approach was adopted. Results A total of 17 statements were proposed and discussed. A consensus was reached generating 17 recommendations (16 strong and 1 weak). Conclusions This consensus provides practical recommendations to support a clinician’s decision making in the management of tSCI polytrauma patients.

Published
2024
Full Text
View/download PDF

8. Calibration of the IXPE focal plane X-ray polarimeters to polarized radiation

Author

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, and Zanetti, Francesco

Subjects
Astrophysics - Instrumentation and Methods for Astrophysics
Abstract

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 mirror modules coupled to three detector units hosting each one a Gas Pixel Detector (GPD), a gas detector that allows measuring the polarization degree by using the photoelectric effect. A wide and accurate ground calibration was carried out on the IXPE Detector Units (DUs) at INAF-IAPS, in Italy, where a dedicated facility was set-up at this aim. In this paper, we present the results obtained from this calibration campaign to study the IXPE focal plane detector response to polarized radiation. In particular, we report on the modulation factor, which is the main parameter to estimate the sensitivity of a polarimeter., Comment: Accepted for publication on The Astronomical Journal

Published
2022
Full Text
View/download PDF

11. Improved calorimetric particle identification in NA62 using machine learning techniques

Author

The NA62 collaboration, E. Cortina Gil, A. Kleimenova, E. Minucci, S. Padolski, P. Petrov, A. Shaikhiev, R. Volpe, W. Fedorko, T. Numao, Y. Petrov, B. Velghe, V. W. S. Wong, M. Yu, D. Bryman, J. Fu, Z. Hives, T. Husek, J. Jerhot, K. Kampf, M. Zamkovsky, B. De Martino, M. Perrin-Terrin, A. T. Akmete, R. Aliberti, G. Khoriauli, J. Kunze, D. Lomidze, L. Peruzzo, M. Vormstein, R. Wanke, P. Dalpiaz, M. Fiorini, A. Mazzolari, 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, 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, P. Boboc, A. M. Bragadireanu, S. A. Ghinescu, O. E. Hutanu, L. Bician, T. Blazek, V. Cerny, Z. Kucerova, J. Bernhard, A. Ceccucci, M. Ceoletta, 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, 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. 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, 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, V. Semenov, S. Shkarovskiy, V. Sugonyaev, O. Yushchenko, and A. Zinchenko

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

Abstract Measurement of the ultra-rare K + → π + ν ν ¯ $$ {K}^{+}\to {\pi}^{+}\nu \overline{\nu} $$ decay at the NA62 experiment at CERN requires high-performance particle identification to distinguish muons from pions. Calorimetric identification currently in use, based on a boosted decision tree algorithm, achieves a muon misidentification probability of 1.2 × 10 −5 for a pion identification efficiency of 75% in the momentum range of 15–40 GeV/c. In this work, calorimetric identification performance is improved by developing an algorithm based on a convolutional neural network classifier augmented by a filter. Muon misidentification probability is reduced by a factor of six with respect to the current value for a fixed pion-identification efficiency of 75%. Alternatively, pion identification efficiency is improved from 72% to 91% for a fixed muon misidentification probability of 10 −5.

Published
2023
Full Text
View/download PDF

12. The Imaging X-Ray Polarimetry Explorer (IXPE): Pre-Launch

Author

Weisskopf, Martin C., Soffitta, Paolo, Baldini, Luca, Ramsey, Brian D., O'Dell, Stephen L., Romani, Roger W., Matt, Giorgio, Deininger, William D., Baumgartner, Wayne H., Bellazzini, Ronaldo, Costa, Enrico, Kolodziejczak, Jeffery J., Latronico, Luca, Marshall, Herman L., Muleri, Fabio, Bongiorno, Stephen D., Tennant, Allyn, Bucciantini, Niccolo, Dovciak, Michal, Marin, Frederic, Marscher, Alan, Poutanen, Juri, Slane, Pat, Turolla, Roberto, Kalinowski, William, Di Marco, Alessandro, Fabiani, Sergio, Minuti, Massimo, La Monaca, Fabio, Pinchera, Michele, Rankin, John, Sgro', Carmelo, Trois, Alessio, Xie, Fei, Alexander, Cheryl, Allen, D. Zachery, Amici, Fabrizio, Andersen, Jason, Antonelli, Angelo, Antoniak, Spencer, Attina', Primo, Barbanera, Mattia, Bachetti, Matteo, Baggett, Randy M., Bladt, Jeff, Brez, Alessandro, Bonino, Raffaella, Boree, Christopher, Borotto, Fabio, Breeding, Shawn, Brienza, Daniele, Bygott, H. Kyle, Caporale, Ciro, Cardelli, Claudia, Carpentiero, Rita, Castellano, Simone, Castronuovo, Marco, Cavalli, Luca, Cavazzuti, Elisabetta, Ceccanti, Marco, Centrone, Mauro, Citraro, Saverio, Amico, Fabio D', D'Alba, Elisa, Di Gesu, Laura, Del Monte, Ettore, Dietz, Kurtis L., Di Lalla, Niccolo', Di Persio, Giuseppe, Dolan, David, Donnarumma, Immacolata, Evangelista, Yuri, Ferrant, Kevin, Ferrazzoli, Riccardo, Ferrie, MacKenzie, Footdale, Joseph, Forsyth, Brent, Foster, Michelle, Garelick, Benjamin, Gunji, Shuichi, Gurnee, Eli, Head, Michael, Hibbard, Grant, Johnson, Samantha, Kelly, Erik, Kilaru, Kiranmayee, Lefevre, Carlo, Roy, Shelley Le, Loffredo, Pasqualino, Lorenzi, Paolo, Lucchesi, Leonardo, Maddox, Tyler, Magazzu, Guido, Maldera, Simone, Manfreda, Alberto, Mangraviti, Elio, Marengo, Marco, Marrocchesi, Alessandra, Massaro, Francesco, Mauger, David, McCracken, Jeffrey, McEachen, Michael, Mize, Rondal, Mereu, Paolo, Mitchell, Scott, Mitsuishi, Ikuyuki, Morbidini, Alfredo, Mosti, Federico, Nasimi, Hikmat, Negri, Barbara, Negro, Michela, Nguyen, Toan, Nitschke, Isaac, Nuti, Alessio, Onizuka, Mitch, Oppedisano, Chiara, Orsini, Leonardo, Osborne, Darren, Pacheco, Richard, Paggi, Alessandro, Painter, Will, Pavelitz, Steven D., Pentz, Christina, Piazzolla, Raffaele, Perri, Matteo, Pesce-Rollins, Melissa, Peterson, Colin, Pilia, Maura, Profeti, Alessandro, Puccetti, Simonetta, Ranganathan, Jaganathan, Ratheesh, Ajay, Reedy, Lee, Root, Noah, Rubini, Alda, Ruswick, Stephanie, Sanchez, Javier, Sarra, Paolo, Santoli, Francesco, Scalise, Emanuele, Sciortino, Andrea, Schroeder, Christopher, Seek, Tim, Sosdian, Kalie, Spandre, Gloria, Speegle, Chet O., Tamagawa, Toru, Tardiola, Marcello, Tobia, Antonino, Thomas, Nicholas E., Valerie, Robert, Vimercati, Marco, Walden, Amy L., Weddendorf, Bruce, Wedmore, Jeffrey, Welch, David, Zanetti, Davide, and Zanetti, Francesco

Subjects
Astrophysics - Instrumentation and Methods for Astrophysics
Abstract

Scheduled to launch in late 2021, the Imaging X-ray Polarimetry Explorer (IXPE) is a NASA Small Explorer Mission in collaboration with the Italian Space Agency (ASI). The mission will open a new window of investigation - imaging X-ray polarimetry. The observatory features 3 identical telescopes each consisting of a mirror module assembly with a polarization-sensitive imaging X-ray detector at the focus. A coilable boom, deployed on orbit, provides the necessary 4-m focal length. The observatory utilizes a 3-axis-stabilized spacecraft which provides services such as power, attitude determination and control, commanding, and telemetry to the ground. During its 2-year baseline mission, IXPE will conduct precise polarimetry for samples of multiple categories of X-ray sources, with follow-on observations of selected targets.

Published
2021

14. The Instrument of the Imaging X-ray Polarimetry Explorer

Author

Soffitta, Paolo, Baldini, Luca, Bellazzini, Ronaldo, Costa, Enrico, Latronico, Luca, Muleri, Fabio, Del Monte, Ettore, Fabiani, Sergio, Minuti, Massimo, Pinchera, Michele, Sgrò, Carmelo, Spandre, Gloria, Trois, Alessio, Amici, Fabrizio, Andersson, Hans, Attinà, Primo, Bachetti, Matteo, Barbanera, Mattia, Borotto, Fabio, Brez, Alessandro, Brienza, Daniele, Caporale, Ciro, Cardelli, Claudia, Carpentiero, Rita, Castellano, Simone, Castronuovo, Marco, Cavalli, Luca, Cavazzuti, Elisabetta, Ceccanti, Marco, Centrone, Mauro, Ciprini, Stefano, Citraro, Saverio, Amico, Fabio D', Alba, Elisa D', Di Cosimo, Sergio, Di Lalla, Niccolò, Di Marco, Alessandro, Di Persio, Giuseppe, Donnarumma, Immacolata, Evangelista, Yuri, Ferrazzoli, Riccardo, Hayato, Asami, Kitaguchi, Takao, La Monaca, Fabio, Lefevre, Carlo, Loffredo, Pasqualino, Lorenzi, Paolo, Lucchesi, Leonardo, Magazzu, Carlo, Maldera, Simone, Manfreda, Alberto, Mangraviti, Elio, Marengo, Marco, Matt, Giorgio, Mereu, Paolo, Morbidini, Alfredo, Mosti, Federico, Nakano, Toshio, Nasimi, Hikmat, Negri, Barbara, Nenonen, Seppo, Nuti, Alessio, Orsini, Leonardo, Perri, Matteo, Rollins, Melissa Pesce, Piazzolla, Raffaele, Pilia, Maura, Profeti, Alessandro, Puccetti, Simonetta, Rankin, John, Ratheesh, Ajay, Rubini, Alda, Santoli, Francesco, Sarra, Paolo, Scalise, Emanuele, Sciortino, Andrea, Tamagawa, Toru, Tardiola, Marcello, Tobia, Antonino, Vimercati, Marco, and Xie, Fei

Subjects
Astrophysics - Instrumentation and Methods for Astrophysics
Abstract

While X-ray Spectroscopy, Timing and Imaging have improved verymuch since 1962, when the first astronomical non-solar source was discovered, especially with the launch of Newton/X-ray Multi-Mirror Mission, Rossi/X-ray Timing Explorer and Chandra/Advanced X-ray Astrophysics Facility, the progress of X-ray polarimetry has been meager. This is in part due to the lack of sensitive polarization detectors, in part due to the fate of approved missions and in part because the celestial X-ray sources appeared less polarized than expected. Only one positive measurement has been available until now. Indeed the eight Orbiting Solar Observatory measured the polarization of the Crab nebula in the 70s. The advent of techniques of microelectronics allowed for designing a detector based on the photoelectric effect in gas in an energy range where the optics are efficient in focusing X-rays. Herewe describe the Instrument, which is the major contribution of the Italian collaboration to the SmallExplorer mission called IXPE, the Imaging X-ray Polarimetry Explorer, which will be flown in late 2021. The instrument, is composed of three Detector Units, based on this technique, and a Detector Service Unit. Three Mirror Modules provided by Marshall Space Flight Center focus X-rays onto the detectors. In the following we will show the technological choices, their scientific motivation and the results from the calibration of the Instrument. IXPE will perform imaging, timing and energy resolved polarimetry in the 2-8 keV energy band opening this window of X-ray astronomy to tens of celestial sources of almost all classes., Comment: 25 pages, 12 figures, 5 tables (accepted for publication in Astronomical Journal)

Published
2021
Full Text
View/download PDF

15. Composition of choreography automata

Author

Barbanera, Franco, Lanese, Ivan, and Tuosto, Emilio

Subjects
Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
Abstract

Choreography automata are an automata-based model of choreographies, that we show to be a compositional one. Choreography automata represent global views of choreographies (and rely on the well-known model of communicating finite-state machines to model local behaviours). The projections of well-formed global views are live as well as lock- and deadlock-free. In the class of choreography automata we define an internal operation of {\em composition}, which connects two global views via roles acting as interfaces. We show that under mild conditions the composition of well-formed choreography automata is well-formed. The composition operation enables for a flexible modular mechanism at the design level.

Published
2021

16. Design, Construction, and Test of the Gas Pixel Detectors for the IXPE Mission

Author

Baldini, L., Barbanera, M., Bellazzini, R., Bonino, R., Borotto, F., Brez, A., Caporale, C., Cardelli, C., Castellano, S., Ceccanti, M., Citraro, S., Di Lalla, N., Latronico, L., Lucchesi, L., Magazzù, C., Magazzù, G., Maldera, S., Manfreda, A., Marengo, M., Marrocchesi, A., Mereu, P., Minuti, M., Mosti, F., Nasimi, H., Nuti, A., Oppedisano, C., Orsini, L., Pesce-Rollins, M., Pinchera, M., Profeti, A., Sgrò, C., Spandre, G., Tardiola, M., Zanetti, D., Amici, F., Andersson, H., Attinà, P., Bachetti, M., Baumgartner, W., Brienza, D., Carpentiero, R., Castronuovo, M., Cavalli, L., Cavazzuti, E., Centrone, M., Costa, E., D'Alba, E., D'Amico, F., Del Monte, E., Di Cosimo, S., Di Marco, A., Di Persio, G., Donnarumma, I., Evangelista, Y., Fabiani, S., Ferrazzoli, R., Kitaguchi, T., La Monaca, F., Lefevre, C., Loffredo, P., Lorenzi, P., Mangraviti, E., Matt, G., Meilahti, T., Morbidini, A., Muleri, F., Nakano, T., Negri, B., Nenonen, S., O'Dell, S. L., Perri, M., Piazzolla, R., Pieraccini, S., Pilia, M., Puccetti, S., Ramsey, B. D., Rankin, J., Ratheesh, A., Rubini, A., Santoli, F., Sarra, P., Scalise, E., Sciortino, A., Soffitta, P., Tamagawa, T., Tennant, A. F., Tobia, A., Trois, A., Uchiyama, K., Vimercati, M., Weisskopf, M. C., Xie, F., Zanetti, F., and Zhou, Y.

Subjects
Astrophysics - Instrumentation and Methods for Astrophysics, Astrophysics - High Energy Astrophysical Phenomena, Physics - Instrumentation and Detectors
Abstract

Due to be launched in late 2021, the Imaging X-Ray Polarimetry Explorer (IXPE) is a NASA Small Explorer mission designed to perform polarization measurements in the 2-8 keV band, complemented with imaging, spectroscopy and timing capabilities. At the heart of the focal plane is a set of three polarization-sensitive Gas Pixel Detectors (GPD), each based on a custom ASIC acting as a charge-collecting anode. In this paper we shall review the design, manufacturing, and test of the IXPE focal-plane detectors, with particular emphasis on the connection between the science drivers, the performance metrics and the operational aspects. We shall present a thorough characterization of the GPDs in terms of effective noise, trigger efficiency, dead time, uniformity of response, and spectral and polarimetric performance. In addition, we shall discuss in detail a number of instrumental effects that are relevant for high-level science analysis -- particularly as far as the response to unpolarized radiation and the stability in time are concerned., Comment: To be published in Astroparticle Physics

Published
2021
Full Text
View/download PDF

17. Improved calorimetric particle identification in NA62 using machine learning techniques

Author

Cortina Gil, E., Kleimenova, A., Minucci, E., Padolski, S., Petrov, P., Shaikhiev, A., Volpe, R., Fedorko, W., Numao, T., Petrov, Y., Velghe, B., Wong, V. W. S., Yu, M., Bryman, D., Fu, J., Hives, Z., Husek, T., Jerhot, J., Kampf, K., Zamkovsky, M., De Martino, B., Perrin-Terrin, M., Akmete, A. T., Aliberti, R., Khoriauli, G., Kunze, J., Lomidze, D., Peruzzo, L., Vormstein, M., Wanke, R., Dalpiaz, P., Fiorini, M., Mazzolari, A., Neri, I., Norton, A., Petrucci, F., Soldani, M., Wahl, H., Bandiera, L., Cotta Ramusino, A., Gianoli, A., Romagnoni, M., Sytov, A., Iacopini, E., Latino, G., Lenti, M., Lo Chiatto, P., Panichi, I., 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., D’Errico, M., Di Filippo, D., Fiorenza, R., Giordano, R., Massarotti, P., Mirra, M., Napolitano, M., Rosa, I., 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., Briano Olvera, A., Engelfried, J., Estrada-Tristan, N., Reyes Santos, M. A., Boboc, P., Bragadireanu, A. M., Ghinescu, S. A., Hutanu, O. E., Bician, L., Blazek, T., Cerny, V., Kucerova, Z., Bernhard, J., Ceccucci, A., Ceoletta, M., 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., 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., Kenworthy, C., Lazzeroni, C., Lurkin, N., Newson, F., Parkinson, C., Romano, A., Sanders, J., 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., Rubin, P., Baeva, A., Baigarashev, D., Emelyanov, D., Enik, T., Falaleev, V., Fedotov, S., Gorshanov, K., Gushchin, E., Kekelidze, V., Kereibay, D., Kholodenko, S., Khotyantsev, A., Korotkova, A., Kudenko, Y., Kurochka, V., Kurshetsov, V., Litov, L., Madigozhin, D., Medvedeva, M., Mefodev, A., Misheva, M., Molokanova, N., Movchan, S., Obraztsov, V., Okhotnikov, A., Ostankov, A., Polenkevich, I., Potrebenikov, Yu., Sadovskiy, A., Semenov, V., Shkarovskiy, S., Sugonyaev, V., Yushchenko, O., and Zinchenko, A.

Published
2023
Full Text
View/download PDF

18. Measurement of the K+ → π+γγ 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, Z. Hives, T. Husek, J. Jerhot, K. Kampf, M. Zamkovsky, B. De Martino, M. Perrin-Terrin, B. Döbrich, S. Lezki, A.T. Akmete, R. Aliberti, G. Khoriauli, J. Kunze, D. Lomidze, L. Peruzzo, M. Vormstein, R. Wanke, P. Dalpiaz, M. Fiorini, A. Mazzolari, 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, 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, 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, R. Marchevski, K. Massri, M. Noy, V. Palladino, 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. 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, 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, V. Semenov, S. Shkarovskiy, V. Sugonyaev, O. Yushchenko, and A. Zinchenko

Subjects
Physics, QC1-999
Abstract

A sample of 3984 candidates of the K+→π+γγ decay, with an estimated background of 291±14 events, was collected by the NA62 experiment at CERN during 2017–2018. In order to describe the observed di-photon mass spectrum, the next-to-leading order contribution in chiral perturbation theory was found to be necessary. The decay branching ratio in the full kinematic range is measured to be (9.61±0.17)×10−7. The first search for production and prompt decay of an axion-like particle with gluon coupling in the process K+→π+a, a→γγ is also reported.

Published
2024
Full Text
View/download PDF

19. The 'state of the art' of intraoperative neurophysiological monitoring: An Italian neurosurgical survey

Author

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

Subjects
IOM, Awake surgery, Eloquent areas, PEM, PES, Brain tumors, Neurology. Diseases of the nervous system, RC346-429
Abstract

Introduction: Intraoperative Neurophysiological Monitoring (IOM) is widely used in neurosurgery but specific guidelines are lacking. Therefore, we can assume differences in IOM application between Neurosurgical centers. Research question: The section of Functional Neurosurgery of the Italian Society of Neurosurgery realized a survey aiming to obtain general data on the current practice of IOM in Italy. Materials and methods: A 22-item questionnaire was designed focusing on: volume procedures, indications, awake surgery, experience, organization and equipe. The questionnaire has been sent to Italian Neurosurgery centers. Results: A total of 54 centers completed the survey. The annual volume of surgeries range from 300 to 2000, and IOM is used in 10–20% of the procedures. In 46% of the cases is a neurologist or a neurophysiologist who performs IOM. For supra-tentorial pathology, almost all perform MEPs (94%) SSEPs (89%), direct cortical stimulation (85%). All centers perform IOM in spinal surgery and 95% in posterior fossa surgery. Among the 50% that perform peripheral nerve surgery, all use IOM. Awake surgery is performed by 70% of centers. The neurosurgeon is the only responsible for IOM in 35% of centers. In 83% of cases IOM implementation is adequate to the request. Discussion and conclusions: The Italian Neurosurgical centers perform IOM with high level of specialization, but differences exist in organization, techniques, and expertise. Our survey provides a snapshot of the state of the art in Italy and it could be a starting point to implement a consensus on the practice of IOM.

Published
2024
Full Text
View/download PDF

20. Charge identification of fragments produced in 16O beam interactions at 200 MeV/n and 400 MeV/n on C and C2H4 targets

Author

G. Galati, V. Boccia, A. Alexandrov, B. Alpat, G. Ambrosi, S. Argirò, M. Barbanera, N. Bartosik, G. Battistoni, M. G. Bisogni, G. Bruni, F. Cavanna, P. Cerello, E. Ciarrocchi, S. Colombi, A. De Gregorio, G. De Lellis, A. Di Crescenzo, B. Di Ruzza, M. Donetti, Y. Dong, M. Durante, R. Faccini, V. Ferrero, C. Finck, E. Fiorina, M. Francesconi, M. Franchini, G. Franciosini, L. Galli, M. Ionica, A. Iuliano, K. Kanxheri, A. C. Kraan, C. La Tessa, A. Lauria, E. Lopez Torres, M. Magi, A. Manna, M. Marafini, M. Massa, C. Massimi, I. Mattei, A. Mengarelli, A. Mereghetti, T. Minniti, A. Moggi, M. C. Morone, M. Morrocchi, S. Muraro, N. Pastrone, V. Patera, F. Pennazio, F. Peverini, P. Placidi, M. Pullia, L. Ramello, C. Reidel, R. Ridolfi, L. Salvi, C. Sanelli, A. Sarti, O. Sato, S. Savazzi, L. Scavarda, A. Schiavi, C. Schuy, E. Scifoni, A. Sciubba, L. Servoli, G. Silvestre, M. Sitta, R. Spighi, E. Spiriti, V. Tioukov, S. Tomassini, F. Tommasino, M. Toppi, G. Traini, A. Trigilio, G. Ubaldi, A. Valetti, M. Vanstalle, M. Villa, U. Weber, R. Zarrella, A. Zoccoli, and M. C. Montesi

Subjects
particle therapy, fragmentation, cross sections, nuclear emulsion detector, protons RBE, charge measurement, Physics, QC1-999
Abstract

Introduction: Charged Particle Therapy plays a key role in the treatment of deep-seated tumours, because of the advantageous energy deposition culminating in the Bragg peak. However, knowledge of the dose delivered in the entrance channel is limited by the lack of data on the beam and fragmentation of the target.Methods: The FOOT experiment has been designed to measure the cross sections of the nuclear fragmentation of projectile and target with two different detectors: an electronic setup for the identification of Z ≥ 3 fragments and a nuclear emulsion spectrometer for Z ≤ 3 fragments. In this paper, we analyze the data taken by exposing four nuclear emulsion spectrometers, with C and C2H4 targets, to 200 MeV/n and 400 MeV/n oxygen beams at GSI Helmholtzzentrum für Schwerionenforschung (Darmstadt, Germany), and we report the charge identification of produced fragments based on the controlled fading induced on nuclear emulsion films.Results: The goal of identifying fragments as heavy as lithium has been achieved.Discussion: The results will contribute to a better understanding of the nuclear fragmentation process in charged particle therapy and have implications for refining treatment planning in the presence of deep-seated tumors.

Published
2024
Full Text
View/download PDF

22. A study of the K + → π 0 e + νγ 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, Z. Hives, T. Husek, J. Jerhot, K. Kampf, M. Zamkovsky, B. De Martino, M. Perrin-Terrin, A. T. Akmete, R. Aliberti, G. Khoriauli, J. Kunze, D. Lomidze, L. Peruzzo, M. Vormstein, R. Wanke, P. Dalpiaz, M. Fiorini, A. Mazzolari, 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, 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, P. Boboc, A. M. Bragadireanu, S. A. Ghinescu, O. E. Hutanu, L. Bician, T. Blazek, V. Cerny, Z. Kucerova, J. Bernhard, A. Ceccucci, M. Ceoletta, 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, 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. 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, 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, V. Semenov, S. Shkarovskiy, V. Sugonyaev, O. Yushchenko, and A. Zinchenko

Subjects
Branching fraction, Electroweak Interaction, Fixed Target Experiments, Flavour Physics, Nuclear and particle physics. Atomic energy. Radioactivity, QC770-798
Abstract

Abstract A sample of 1.3 × 105 K + → π 0 e + νγ candidates with less than 1% background was collected by the NA62 experiment at the CERN SPS in 2017–2018. Branching fraction measurements are obtained at percent relative precision in three restricted kinematic regions, improving on existing results by a factor larger than two. An asymmetry, possibly related to T-violation, is investigated with no evidence observed within the achieved precision.

Published
2023
Full Text
View/download PDF

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

Author

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

Published
2024
Full Text
View/download PDF

24. Investigation of Hydrothermal Carbonization of Exhausted Chestnut from Tannin Extraction: Impact of Process Water Recirculation for Sustainable Fuel Production

Author

Alessandro Cardarelli, Cristian Cordelli, Manuela Romagnoli, Francesco Pizzo, and Marco Barbanera

Subjects
hydrothermal carbonization, chestnut wood waste, process water recirculation, hydrochar, solid fuel, combustion characteristics, Technology
Abstract

This study explores the hydrothermal carbonization (HTC) process applied to the exhausted chestnut produced by the tannin extraction industry, utilizing process water recirculation to enhance the efficiency and sustainability of the conversion process. Tannin extraction from wood typically involves hot water treatment, leaving behind residual wood biomass known as exhausted wood. These by-products maintain their renewable properties because they have only been exposed to hot water under a high pressure, which is unlikely to cause major alterations in their structural components. Hydrothermal treatment was carried out at temperatures of 220 °C and 270 °C for 1 h, with process water being recirculated four times. This investigation focused on analyzing the effects of recirculation on the yield and fuel properties of hydrochar, as well as characterizing the combustion behavior of the obtained hydrochar. The results indicated that recirculation of process water led to improvements in both the mass and energy yields of hydrochar. The mass yield of the hydrochar samples increased by 5–6%, and the ERE of the hydrochar samples increased by 5–8% compared to the HTC reference sample. However, alterations in the combustion characteristics were observed, including decreases in ignition temperature and combustion reactivity. The results indicate that, with PW recirculations, the combustion index decreased by about 14% and 18% for 220 °C and 270 °C, respectively. Overall, this research demonstrates the potential of utilizing HTC on chestnut tannin residue with process water recirculation to produce stable solid fuel and provides insights into the combustion behavior of the resulting hydrochar.

Published
2024
Full Text
View/download PDF

25. Cervical Spondylotic Myelopathy: World Federation of Neurosurgical Societies (WFNS) to the Italian Neurosurgical Society (SINch) Recommendations

Author

Francesco Costa, Carla Daniela Anania, Umberto Agrillo, Assietti Roberto, Bernucci Claudio, Bistazzoni Simona, Bongetta Daniele, Brembilla Carlo, Cappelletto Barbara, Cocciaro Ardico, Costella Giovanni Battista, De Falco Raffaele, De Rosa Andrea, Del Vecchio Carlo, Dobran Mauro, Fiorenza Vito, Garbossa Diego, Guizzardi Giancarlo, Iaccarino Corrado, Irace Claudio, Incerti Michele, Gualtiero Innocenzi, Landi Alessandro, Lastrucci Giancarlo, Maida Giuseppe, Mastrantuoni Ciro, Maugeri Rosario, Meglio Vincenzo, Montemurro Nicola, Nina Pierpaolo, Parlangeli Andrea, Pinna Giovanni, Pretti Pier Federico, Rapanà Armando, Ricci Alessandro, Rispoli Rossella, Romoli Stefano, Per Filippo Sbaffi, Somma Teresa, Tessitore Enrico, Vitali Matteo, Alberto Zerbi, Zona Gianluigi, and Andrea Barbanera

Subjects
cervical spondylotic myelopathy, recommendations, guidelines, evidence-based medicine, Neurology. Diseases of the nervous system, RC346-429
Abstract

Cervical spondylotic myelopathy (CSM) is a progressively growing pathology to afford by a spinal surgeon due to the aging of the population, associated with better treatment management and the best diagnosis and treatment solutions are greatly discussed. Nowadays that scientific literature is progressively increasing to identify the gold standard in diagnosis and treatment can be very challenging. This is particularly evident in spinal surgery with many different indications not only in different countries but also in the same local reality. In this scenario, many neurosurgical societies works to identify some guideline or recommendations to help spinal surgeons in daily practice. Furthermore, in an era in which legal issues are increasingly present in clinical practice to have some indications globally accepted can be very useful. World Federation of Neurosurgical Societies (WFNS) few years ago starts this process creating a list of recommendations originating from a worldwide steering committee to respect all the local reality. The spinal section of Italian Neurosurgical Society decides to adopt the WFNS recommendations with some revision basing on Italian scenario. The steering committee of the Spinal Section of Italian Neurosurgical Society identify 7 groups to review the literature of the last 10 years about different topics on CSM and to analyses the WFNS recommendations to adapt it to the Italian daily practice. The statements were discussed and voted in 2 sessions to obtain the final version. A list of recommendations on natural course and clinical presentation; diagnostic tests; conservative and surgical treatment; anterior, posterior and combined surgical treatment; role of neurophysiological monitoring and follow-up and outcome was created with only few new or revised statements respect the ones of WFNS. The Spine Section of Italian Neurosurgical Society create a list of recommendations that represent the more contemporary treatment concepts for CSM as presented in the highest quality clinical literature and best clinical practices available on this subject.

Published
2023
Full Text
View/download PDF

26. Addendum to: 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
Nuclear and particle physics. Atomic energy. Radioactivity, QC770-798
Published
2023
Full Text
View/download PDF

27. Light Detection System and Time Resolution of the NA62 RICH

Author

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

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

A large RICH detector is used in NA62 to suppress the muon contamination in the charged pion sample by a factor of 100 in the momentum range between 15 and 35 GeV/c. Cherenkov light is collected by 1952 photomultipliers placed at the upstream end. In this paper the characterization of the photomultipliers and the dedicated Frontend and Data Acquisition electronics are described, the time resolution and the light detection efficiency measurement are presented., Comment: 15 pages, 11 figures

Published
2020
Full Text
View/download PDF

28. A study of the K+→ π0e+νγ 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., Hives, Z., Husek, T., Jerhot, J., Kampf, K., Zamkovsky, M., De Martino, B., Perrin-Terrin, M., Akmete, A. T., Aliberti, R., Khoriauli, G., Kunze, J., Lomidze, D., Peruzzo, L., Vormstein, M., Wanke, R., Dalpiaz, P., Fiorini, M., Mazzolari, A., Neri, I., Norton, A., Petrucci, F., Soldani, M., Wahl, H., Bandiera, L., Cotta Ramusino, A., Gianoli, A., Romagnoni, M., Sytov, A., Iacopini, E., Latino, G., Lenti, M., Lo Chiatto, P., Panichi, I., 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., D’Errico, M., Di Filippo, D., Fiorenza, R., Giordano, R., Massarotti, P., Mirra, M., Napolitano, M., Rosa, I., 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., Briano Olvera, A., Engelfried, J., Estrada-Tristan, N., Reyes Santos, M. A., Boboc, P., Bragadireanu, A. M., Ghinescu, S. A., Hutanu, O. E., Bician, L., Blazek, T., Cerny, V., Kucerova, Z., Bernhard, J., Ceccucci, A., Ceoletta, M., 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., 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., Kenworthy, C., Lazzeroni, C., Lurkin, N., Newson, F., Parkinson, C., Romano, A., Sanders, J., 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., Rubin, P., Baeva, A., Baigarashev, D., Emelyanov, D., Enik, T., Falaleev, V., Fedotov, S., Gorshanov, K., Gushchin, E., Kekelidze, V., Kereibay, D., Kholodenko, S., Khotyantsev, A., Korotkova, A., Kudenko, Y., Kurochka, V., Kurshetsov, V., Litov, L., Madigozhin, D., Medvedeva, M., Mefodev, A., Misheva, M., Molokanova, N., Movchan, S., Obraztsov, V., Okhotnikov, A., Ostankov, A., Polenkevich, I., Potrebenikov, Yu., Sadovskiy, A., Semenov, V., Shkarovskiy, S., Sugonyaev, V., Yushchenko, O., and Zinchenko, A.

Published
2023
Full Text
View/download PDF

29. Search for K+ decays into the π+e+e−e+e− final state

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, Z. Hives, T. Husek, J. Jerhot, K. Kampf, M. Zamkovsky, B. De Martino, M. Perrin-Terrin, A.T. Akmete, R. Aliberti, G. Khoriauli, J. Kunze, D. Lomidze, L. Peruzzo, M. Vormstein, R. Wanke, P. Dalpiaz, M. Fiorini, A. Mazzolari, 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, 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, P. Boboc, A.M. Bragadireanu, S.A. Ghinescu, O.E. Hutanu, L. Bician, T. Blazek, V. Cerny, Z. Kucerova, J. Bernhard, A. Ceccucci, M. Ceoletta, 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, 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. 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, 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, V. Semenov, S. Shkarovskiy, V. Sugonyaev, O. Yushchenko, and A. Zinchenko

Subjects
Physics, QC1-999
Abstract

The first search for ultra-rare K+ decays into the π+e+e−e+e− final state is reported, using a dataset collected by the NA62 experiment at CERN in 2017–2018. An upper limit of 1.4×10−8 at 90% CL is obtained for the branching ratio of the K+→π+e+e−e+e− decay, predicted in the Standard Model to be (7.2±0.7)×10−11. Upper limits at 90% CL are obtained at the level of 10−9 for the branching ratios of two prompt decay chains involving pair-production of hidden-sector mediators: K+→π+aa, a→e+e− and K+→π+S, S→A′A′, A′→e+e−.

Published
2023
Full Text
View/download PDF

30. The impact of COVID-19 pandemic on surgical neuro-oncology: A survey from the Italian society of neurosurgery (SINch)

Author

Luca Zanin, Tamara Ius, Pier Paolo Panciani, Felice Esposito, Andrea Gori, Marco Maria Fontanella, Maria Pia Tropeano, Antonino Raco, Filippo Flavio Angileri, Giovanni Sabatino, Alessandro Olivi, Vincenzo Esposito, Federico Pessina, Edoardo Agosti, Salvatore Aiello, Denis Aiudi, Danilo Aleo, Roberto Altieri, Rosina Amoroso, Anna Maria Auricchio, Giuseppe Barbagallo, Andrea Barbanera, Giacomo Beggio, Andrea Bianco, Riccardo Boccaletti, Stefano Borsa, Giuseppe Canova, Paolo Cappabianca, Manuela Caroli, Michele Alessandro Cavallo, Francesco Certo, Marcella Chimenti, Franco Chioffi, Valentina Cioffi, Fabio Cofano, Christian Cossandi, Giancarlo D’Andrea, Raffaele De Falco, Alessandro D'Elia, Giuseppe Maria Della Pepa, Alessandro Della Puppa, Attilio Della Torre, Paolo Ferroli, Diego Garbossa, Antonino Germanò, Alessandra Giaquinta, Franco Guida, Maurizio Iacoangeli, Domenico Gerardo Iacopino, Angelo Lavano, Giuseppe Maimone, Vincenza Maiola, Rosario Mauferi, Alessandro Melatini, Mario Moro, Domenico Murrone, Giovanni Muscas, Piero Andrea Oppido, Fabrizio Pignotti, Domenico Policicchio, Piermassimo Proto, Paolo Quaglietta, Giulia Renisi, Luca Ricciardi, Francesco Romeo, Marta Rossetto, Alba Scerrati, Andreas Schwarz, Miran Skrap, Carlo Somma, Teresa Somma, Giannantonio Spena, Stefano Telera, Luigino Tosatto, Francesco Volpin, Lorenzo Volpin, and Cesare Zoia

Subjects
COVID-19, Neuroncology, SINch, Survey, Surgery, RD1-811, Neurology. Diseases of the nervous system, RC346-429
Abstract

Background: The COVID-19 pandemic and its impact on hospitals' activity and organization has imposed a vast change in standard neurosurgical oncology practice to accommodate for shifting resources. Aims: This investigation aims to analyse the nationwide capability in reorganizing the surgical neuro-oncological activity during the COVID-19 pandemic to evaluate whether COVID-19-pandemic influenced the surgical management in these patients. Method: A web-based dataset model organized by the Italian Neurosurgical Society (SINCh) was sent to all the Italian neurosurgical departments in May 2021, requesting to report the types and numbers of surgical procedures performed in the pre-pandemic period (from March 9th 2019 to March 9th 2020) compared to the pandemic period (from March 10th 2020 to March 10th 2021). Results: This multicentre investigation included the surgical activity of 35 Italian Neurosurgical Departments in a pre-pandemic year versus a pandemic year. During the COVID period, 699 fewer neuro-oncological patients were operated on than in the pre-COVID period. We noted a slight increase in urgency and a more severe decrease in elective and benign pathology. None of these differences was statistically significant. Surgically treated patients who tested positive for SARS-CoV-2 were 36, of which 11 died. Death was found to be COVID-related only in 2 cases. Conclusion: The reorganization of the Italian Neurosurgical Departments was able to guarantee a redistribution of the CNS tumors during the inter-pandemic periods, demonstrating that patients even in the pandemic era could be treated without compromising the efficacy and safety of the surgical procedure.

Published
2023
Full Text
View/download PDF

32. The impact of COVID-19 pandemic on surgical neuro-oncology: A survey from the Italian society of neurosurgery (SINch)

Author

Agosti, Edoardo, Aiello, Salvatore, Aiudi, Denis, Aleo, Danilo, Altieri, Roberto, Amoroso, Rosina, Auricchio, Anna Maria, Barbagallo, Giuseppe, Barbanera, Andrea, Beggio, Giacomo, Bianco, Andrea, Boccaletti, Riccardo, Borsa, Stefano, Canova, Giuseppe, Cappabianca, Paolo, Caroli, Manuela, Cavallo, Michele Alessandro, Certo, Francesco, Chimenti, Marcella, Chioffi, Franco, Cioffi, Valentina, Cofano, Fabio, Cossandi, Christian, D’Andrea, Giancarlo, De Falco, Raffaele, D'Elia, Alessandro, Della Pepa, Giuseppe Maria, Della Puppa, Alessandro, Della Torre, Attilio, Ferroli, Paolo, Garbossa, Diego, Germanò, Antonino, Giaquinta, Alessandra, Guida, Franco, Iacoangeli, Maurizio, Iacopino, Domenico Gerardo, Lavano, Angelo, Maimone, Giuseppe, Maiola, Vincenza, Mauferi, Rosario, Melatini, Alessandro, Moro, Mario, Murrone, Domenico, Muscas, Giovanni, Oppido, Piero Andrea, Pignotti, Fabrizio, Policicchio, Domenico, Proto, Piermassimo, Quaglietta, Paolo, Raco, Antonino, Renisi, Giulia, Ricciardi, Luca, Romeo, Francesco, Rossetto, Marta, Scerrati, Alba, Schwarz, Andreas, Skrap, Miran, Somma, Carlo, Somma, Teresa, Spena, Giannantonio, Telera, Stefano, Tosatto, Luigino, Tropeano, Maria Pia, Volpin, Francesco, Volpin, Lorenzo, Zoia, Cesare, Zanin, Luca, Ius, Tamara, Panciani, Pier Paolo, Esposito, Felice, Gori, Andrea, Fontanella, Marco Maria, Angileri, Filippo Flavio, Sabatino, Giovanni, Olivi, Alessandro, Esposito, Vincenzo, and Pessina, Federico

Published
2023
Full Text
View/download PDF

34. Performance of the NA62 trigger system

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
Fixed Target Experiments, Flavour Physics, Flavour Changing Neutral Currents, Rare Decay, Trigger, Nuclear and particle physics. Atomic energy. Radioactivity, QC770-798
Abstract

Abstract The NA62 experiment at CERN targets the measurement of the ultra-rare K + → π + ν ν ¯ $$ {K}^{+}\to {\pi}^{+}\nu \overline{\nu} $$ decay, and carries out a broad physics programme that includes probes for symmetry violations and searches for exotic particles. Data were collected in 2016–2018 using a multi-level trigger system, which is described highlighting performance studies based on 2018 data.

Published
2023
Full Text
View/download PDF

35. External Ventricular Drainage: A Practical Guide for Neuro-Anesthesiologists

Author

Alessandro Bertuccio, Stefano Marasco, Yaroslava Longhitano, Tatsiana Romenskaya, Angela Elia, Gianluca Mezzini, Matteo Vitali, Christian Zanza, and Andrea Barbanera

Subjects
intracranial pressure, subarachnoid hemorrhage, traumatic brain injury, intraventricular hemorrhage, external ventricular drainage, cerebrospinal shunt, Medicine (General), R5-920
Abstract

External ventricular drainage is often considered a life-saving treatment in acute hydrocephalus. Given the large number of discussion points, the ideal management of EVD has not been completely clarified. The objective of this study was to review the most relevant scientific evidence about the management of EVD in its main clinical scenarios. We reviewed the most recent and relevant articles about indications, timing, management, and complications of EVD in neurocritical care, with particular interest in patients with subarachnoid hemorrhage (SAH), severe traumatic brain injury (TBI), and intraventricular hemorrhage (IVH) using the following keywords alone or matching with one another: intracranial pressure, subarachnoid hemorrhage, traumatic brain injury, intraventricular hemorrhage, external ventricular drainage, cerebrospinal shunt, intracranial pressure monitoring, and ventriculoperitoneal shunt. In the management of EVD in SAH, the intermittent drainage strategy is burdened with an elevated risk of complications (e.g., clogged catheter, hemorrhage, and need for replacement). There seems to be more ventriculoperitoneal shunt dependency in rapid weaning approach-managed patients than in those treated with the gradual weaning approach. Although there is no evidence in favor of either strategy, it is conventionally accepted to adopt a continuous drainage approach in TBI patients. Less scientific evidence is available in the literature regarding the management of EVD in patients with severe TBI and intraparenchymal/intraventricular hemorrhage. EVD placement is a necessary treatment in several clinical scenarios. However, further randomized clinical trials are needed to clarify precisely how EVD should be managed in different clinical scenarios.

Published
2023
Full Text
View/download PDF

36. 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

37. 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

38. Open Multiparty Sessions

Author

Barbanera, Franco and Dezani-Ciancaglini, Mariangiola

Subjects
Computer Science - Logic in Computer Science, F.3.1
Abstract

Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described by means of global types. Typable multiparty session enjoy lock-freedom. We look at multiparty sessions as open systems by a suitable definition of connection transforming compatible processes into gateways (forwarders). A relation resembling the standard subtyping relation for session types is used to formalise compatibility. We show that the session obtained by connection can be typed by manipulating the global types of the starting sessions. This allows us to prove that lock-freedom is preserved by connection., Comment: In Proceedings ICE 2019, arXiv:1909.05242

Published
2019
Full Text
View/download PDF

39. The integrated low-level trigger and readout system of the CERN NA62 experiment

Author

Ammendola, R., Angelucci, B., Barbanera, M., Biagioni, A., Cerny, V., Checcucci, B., Fantechi, R., Gonnella, F., Koval, M., Krivda, M., Lamanna, G., Lupi, M., Lonardo, A., Papi, A., Parkinson, C., Pedreschi, E., Petrov, P., Piandani, R., Pinzino, J., Pontisso, L., Raggi, M., Soldi, D., Sozzi, M. S., Spinella, F., Venditti, S., and Vicini, P.

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

The integrated low-level trigger and data acquisition (TDAQ) system of the NA62 experiment at CERN is described. The requirements of a large and fast data reduction in a high-rate environment for a medium-scale, distributed ensemble of many different sub-detectors led to the concept of a fully digital integrated system with good scaling capabilities. The NA62 TDAQ system is rather unique in allowing full flexibility on this scale, allowing in principle any information available from the detector to be used for triggering. The design concept, implementation and performances from the first years of running are illustrated., Comment: 32 pages, 23 figures

Published
2019
Full Text
View/download PDF

40. Addendum to: 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
2023
Full Text
View/download PDF

41. 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

45. 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

46. 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

47. 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

48. 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

Catalog

Books, media, physical & digital resources
See catalog results