Zobrazeno 1 - 10
of 2 438
pro vyhledávání: '"Avanzini, P"'
Autor:
Abbrescia, M., Avanzini, C., Baldini, L., Ferroli, R. Baldini, Batignani, G., Battaglieri, M., Boi, S., Bossini, E., Carnesecchi, F., Cavazza, F., Cicalò, C., Cifarelli, L., Coccetti, F., Coccia, E., Corvaglia, A., De Gruttola, D., De Pasquale, S., Galante, L., Garbini, M., Gnesi, I., Gramegna, F., Grazzi, S., Hatzifotiadou, D., La Rocca, P., Liu, Z., Mandaglio, G., Margotti, A., Maron, G., Mazziotta, M. N., Mulliri, A., Nania, R., Noferini, F., Nozzoli, F., Palmonari, F., Panareo, M., Panetta, M. P., Paoletti, R., Pellegrino, C., Perasso, L., Pinazza, O., Pinto, C., Pisano, S., Riggi, F., Righini, G., Ripoli, C., Rizzi, M., Sartorelli, G., Scapparone, E., Schioppa, M., Scioli, G., Scribano, A., Selvi, M., Taiuti, M., Terreni, G., Trifirò, A., Trimarchi, M., Vistoli, C., Votano, L., Williams, M. C. S., Zichichi, A., Zuyeuski, R.
The Extreme Energy Events (EEE) Project, a joint project of the Centro Fermi (Museo Storico della Fisica e Centro Studi e Ricerche "E.Fermi") and INFN, has a dual purpose: a scientific research program on cosmic rays at ground level and an intense ou
Externí odkaz:
http://arxiv.org/abs/2408.01802
We introduce eRHL, a program logic for reasoning about relational expectation properties of pairs of probabilistic programs. eRHL is quantitative, i.e., its pre- and post-conditions take values in the extended non-negative reals. Thanks to its quanti
Externí odkaz:
http://arxiv.org/abs/2407.17127
We develop a framework describing the dynamics and thermodynamics of open non-ideal reaction-diffusion systems, which embodies Flory-Huggins theories of mixtures and chemical reaction network theories. Our theory elucidates the mechanisms underpinnin
Externí odkaz:
http://arxiv.org/abs/2407.09128
The efficacy of address space layout randomization has been formally demonstrated in a shared-memory model by Abadi et al., contingent on specific assumptions about victim programs. However, modern operating systems, implementing layout randomization
Externí odkaz:
http://arxiv.org/abs/2406.07278
Autor:
Super-Kamiokande, collaborations, T2K, Abe, S., Abe, K., Akhlaq, N., Akutsu, R., Alarakia-Charles, H., Ali, A., Hakim, Y. I. Alj, Monsalve, S. Alonso, Amanai, S., Andreopoulos, C., Anthony, L. H. V., Antonova, M., Aoki, S., Apte, K. A., Arai, T., Arihara, T., Arimoto, S., Asada, Y., Asaka, R., Ashida, Y., Atkin, E. T., Babu, N., Barbi, M., Barker, G. J., Barr, G., Barrow, D., Bates, P., Batkiewicz-Kwasniak, M., Beauchêne, A., Berardi, V., Berns, L., Bhadra, S., Bhuiyan, N., Bian, J., Blanchet, A., Blondel, A., Bodur, B., Bolognesi, S., Bordoni, S., Boyd, S. B., Bravar, A., Bronner, C., Bubak, A., Avanzini, M. Buizza, Burton, G. T., Caballero, J. A., Calabria, N. F., Cao, S., Carabadjac, D., Carter, A. J., Cartwright, S. L., Casado, M. P., Catanesi, M. G., Cervera, A., Chakrani, J., Chalumeau, A., Chen, S., Cherdack, D., Choi, K., Chong, P. S., Chvirova, A., Cicerchia, M., Coleman, J., Collazuol, G., Cook, L., Cormier, F., Cudd, A., Dalmazzone, C., Daret, T., Dasgupta, P., Davis, C., Davydov, Yu. I., De Roeck, A., De Rosa, G., Dealtry, T., Delogu, C. C., Densham, C., Dergacheva, A., Dharmapal, R., Di Lodovico, F., Lopez, G. Diaz, Dolan, S., Douqa, D., Doyle, T. A., Drapier, O., Duffy, K. E., Dumarchez, J., Dunne, P., Dygnarowicz, K., D'ago, D., Edwards, R., Eguchi, A., Elias, J., Emery-Schrenk, S., Erofeev, G., Ershova, A., Eurin, G., Fannon, J. E. P., Fedorova, D., Fedotov, S., Feltre, M., Feng, J., Feng, L., Ferlewicz, D., Fernandez, P., Finch, A. J., Aguirre, G. A. Fiorentini, Fiorillo, G., Fitton, M. D., Patiño, J. M. Franco, Friend, M., Fujii, Y., Fujisawa, C., Fujita, S., Fukuda, Y., Furui, Y., Gao, J., Gaur, R., Giampaolo, A., Giannessi, L., Giganti, C., Glagolev, V., Goldsack, A., Gonin, M., Rosa, J. González, Goodman, E. A. G., Gorin, A., Gorshanov, K., Gousy-Leblanc, V., Grassi, M., Griskevich, N. J., Guigue, M., Hadley, D., Haigh, J. T., Han, S., Harada, M., Harris, D. A., Hartz, M., Hasegawa, T., Hassani, S., Hastings, N. C., Hayato, Y., Heitkamp, I., Henaff, D., Hill, J., Hino, Y., Hiraide, K., Hogan, M., Holeczek, J., Holin, A., Holvey, T., Van, N. T. Hong, Honjo, T., Horiuchi, S., Hosokawa, K., Hu, Z., Hu, J., Iacob, F., Ichikawa, A. K., Ieki, K., Ikeda, M., Iovine, N., Ishida, T., Ishino, H., Ishitsuka, M., Ishizuka, T., Ito, H., Itow, Y., Izmaylov, A., Izumiyama, S., Jakkapu, M., Jamieson, B., Jang, M. C., Jang, J. S., Jenkins, S. J., Jesús-Valls, C., Ji, J. Y., Jia, M., Jiang, J., Jonsson, P., Joshi, S., Jung, C. K., Jung, S., Kabirnezhad, M., Kaboth, A. C., Kajita, T., Kakuno, H., Kameda, J., Kanemura, Y., Kaneshima, R., Karpova, S., Kasetti, S. P., Kashiwagi, Y., Kasturi, V. S., Kataoka, Y., Katori, T., Kawamura, Y., Kawaue, M., Kearns, E., Khabibullin, M., Khotjantsev, A., Kikawa, T., Kim, S. B., King, S., Kiseeva, V., Kisiel, J., Kneale, L., Kobayashi, H., Kobayashi, T., Kobayashi, M., Koch, L., Kodama, S., Kolupanova, M., Konaka, A., Kormos, L. L., Koshio, Y., Koto, T., Kowalik, K., Kudenko, Y., Kudo, Y., Kuribayashi, S., Kurjata, R., Kurochka, V., Kutter, T., Kuze, M., Kwon, E., La Commara, M., Labarga, L., Lachat, M., Lachner, K., Lagoda, J., Lakshmi, S. M., LamersJames, M., Langella, A., Laporte, J. -F., Last, D., Latham, N., Laveder, M., Lavitola, L., Lawe, M., Learned, J. G., Lee, Y., Lee, S. H., Silverio, D. Leon, Levorato, S., Lewis, S., Li, X., Li, W., Lin, C., Litchfield, R. P., Liu, S. L., Liu, Y. M., Long, K. R., Longhin, A., Moreno, A. Lopez, Lu, X., Ludovici, L., Lux, T., Machado, L. N., Maekawa, Y., Magaletti, L., Mahn, K., Mahtani, K. K., Malek, M., Mandal, M., Manly, S., Marino, A. D., Martens, K., Marti, Ll., Martin, D. G. R., Martin, J. F., Martin, D., Martini, M., Maruyama, T., Matsubara, T., Matsumoto, R., Mattiazzi, M., Matveev, V., Mauger, C., Mavrokoridis, K., Mazzucato, E., McCauley, N., McElwee, J. M., McFarland, K. S., McGrew, C., McKean, J., Mefodiev, A., Megias, G. D., Mehta, P., Mellet, L., Menjo, H., Metelko, C., Mezzetto, M., Migenda, J., Mijakowski, P., Miki, S., Miller, E., Minamino, A., Mine, S., Mineev, O., Mirabito, J., Miura, M., Bueno, L. Molina, Moon, D. H., Mori, M., Moriyama, S., Morrison, P., Muñoz, A., Mueller, Th. A., Munford, D., Munteanu, L., Nagai, Y., Nagai, K., Nakadaira, T., Nakagiri, K., Nakahata, M., Nakajima, Y., Nakamura, A., Nakamura, K., Nakamura, K. D., Nakamura, T., Nakanishi, F., Nakano, Y., Nakaya, T., Nakayama, S., Nakayoshi, K., Naseby, C. E. R., Ngoc, T. V., Nguyen, V. Q., Nguyen, D. T., Nicholson, M., Niewczas, K., Ninomiya, K., Nishijima, K., Nishimori, S., Nishimura, Y., Noguchi, Y., Nosek, T., Nova, F., Novella, P., Nugent, J. C., Odagawa, T., Okazaki, R., Okazawa, H., Okinaga, W., Okumura, K., Okusawa, T., Ommura, Y., Onda, N., Ospina, N., Osu, L., Oyama, Y., O'Flaherty, M., O'Keeffe, H. M., O'Sullivan, L., Périssé, L., Paganini, P., Palladino, V., Paolone, V., Pari, M., Park, R. G., Parlone, J., Pasternak, J., Payne, D., Penn, G. C., de Perio, P., Pershey, D., Pfaff, M., Pickering, L., Pintaudi, G., Pistillo, C., Pointon, B. W., Popov, B., Yrey, A. Portocarrero, Porwit, K., Posiadala-Zezula, M., Prabhu, Y. S., Prasad, H., Pronost, G., Prouse, N. W., Pupilli, F., Quilain, B., Quyen, P. T., Raaf, J. L., Radermacher, T., Radicioni, E., Radics, B., Ramirez, M. A., Ramsden, R. M., Ratoff, P. N., Reh, M., Riccio, C., Richards, B., Rogly, R., Rondio, E., Roth, S., Roy, N., Rubbia, A., Russo, L., Rychter, A., Saenz, W., Sakai, S., Sakashita, K., Samani, S., Santos, A. D., Sato, Y., Sato, K., Schefke, T., Schloesser, C. M., Scholberg, K., Scott, M., Seiya, Y., Sekiguchi, T., Sekiya, H., Seo, J. W., Sgalaberna, D., Shaikhiev, A., Shi, W., Shiba, H., Shibayama, R., Shigeta, N., Shima, S., Shimamura, R., Shimizu, K., Shinoki, M., Shiozawa, M., Shiraishi, Y., Shvartsman, A., Skrobova, N., Skwarczynski, K., Smy, M. B., Smyczek, D., Sobczyk, J. T., Sobel, H. W., Soler, F. J. P., Sonoda, Y., Speers, A. J., Spina, R., Stroke, Y., Suslov, I. A., Suvorov, S., Suzuki, S., Suzuki, A., Suzuki, S. Y., Suzuki, Y., Sánchez, F., Tada, T., Tada, M., Tairafune, S., Takagi, Y., Takeda, A., Takemoto, Y., Takeuchi, Y., Takhistov, V., Takifuji, K., Tanaka, H., Tanaka, H. K., Tanigawa, H., Taniuchi, N., Tano, T., Tarrant, A., Tashiro, T., Teklu, A., Terada, K., Tereshchenko, V. V., Thamm, N., Thiesse, M. D., Thompson, L. F., Toki, W., Tomiya, T., Touramanis, C., Tsui, K. M., Tsukamoto, T., Tzanov, M., Uchida, Y., Vagins, M. R., Vargas, D., Varghese, M., Vasseur, G., Villa, E., Vinning, W. G. S., Virginet, U., Vladisavljevic, T., Wachala, T., Wakabayashi, D., Wallace, H. T., Walsh, J. G., Walter, C. W., Wan, L., Wang, X., Wang, Y., Wark, D., Wascko, M. O., Watanabe, E., Weber, A., Wendell, R. A., Wester, T., Wilking, M. J., Wilkinson, C., Wilson, S. T., Wilson, J. R., Wood, K., Wret, C., Wu, Y., Xia, J., Xie, Z., Xu, B. D., Xu, Y. -H., Yamamoto, K., Yamamoto, T., Yamauchi, K., Yanagisawa, C., Yang, G., Yang, B. S., Yang, J. Y., Yankelevich, A., Yano, T., Yasutome, K., Yershov, N., Yevarouskaya, U., Yokoyama, M., Yoo, J., Yoshida, T., Yoshida, S., Yoshimoto, Y., Yoshimura, N., Yoshioka, Y., Yu, M., Yu, I., Zaki, R., Zaldivar, B., Zalewska, A., Zalipska, J., Zaremba, K., Zarnecki, G., Zhang, J., Zhang, A. Q., Zhang, B., Zhao, X. Y., Zhong, H., Zhu, T., Ziembicki, M., Zimmerman, E. D., Zito, M., Zsoldos, S.
The Super-Kamiokande and T2K collaborations present a joint measurement of neutrino oscillation parameters from their atmospheric and beam neutrino data. It uses a common interaction model for events overlapping in neutrino energy and correlated dete
Externí odkaz:
http://arxiv.org/abs/2405.12488
In this paper, we study quantitative properties of quantum programs. Properties of interest include (positive) almost-sure termination, expected runtime or expected cost, that is, for example, the expected number of applications of a given quantum ga
Externí odkaz:
http://arxiv.org/abs/2312.13657
Autor:
Avanzini, Francesco, Bilancioni, Massimo, Cavina, Vasco, Cengio, Sara Dal, Esposito, Massimiliano, Falasco, Gianmaria, Forastiere, Danilo, Freitas, Nahuel, Garilli, Alberto, Harunari, Pedro E., Lecomte, Vivien, Lazarescu, Alexandre, Srinivas, Shesha G. Marehalli, Moslonka, Charles, Neri, Izaak, Penocchio, Emanuele, Piñeros, William D., Polettini, Matteo, Raghu, Adarsh, Raux, Paul, Sekimoto, Ken, Soret, Ariane
Publikováno v:
SciPost Phys. Lect. Notes 80 (2024)
Lecture notes after the doctoral school (Post)Modern Thermodynamics held at the University of Luxembourg, December 2022, 5-7, covering and advancing continuous-time Markov chains, network theory, stochastic thermodynamics, large deviations, determini
Externí odkaz:
http://arxiv.org/abs/2311.01250
The thermodynamic and dynamical conditions necessary to observe indefinite growth in homogeneous open chemical reaction networks (CRNs) satisfying mass action kinetics were presented in Srinivas et al. (2023): Unimolecular CRNs can only accumulate eq
Externí odkaz:
http://arxiv.org/abs/2310.08345
We identify the thermodynamic conditions necessary to observe indefinite growth in homogeneous open chemical reaction networks (CRNs) satisfying mass action kinetics. We also characterize the thermodynamic efficiency of growth by considering the frac
Externí odkaz:
http://arxiv.org/abs/2310.08336
Autor:
Ripoli, C., Abbrescia, M., Avanzini, C., Baldini, L., Ferroli, R. Baldini, Batignani, G., Battaglieri, M., Boi, S., Bossini, E., Carnesecchi, F., Cavazza, D., Cicalò, C., Cifarelli, L., Coccetti, F., Coccia, E., Corvaglia, A., De Gruttola, D., De Pasquale, S., Galante, L., Garbini, M., Gnesi, I., Gramstad, E., Grazzi, S., Håland, E. S., Hatzifotiadou, D., La Rocca, P., Liu, Z., Lombardo, L., Mandaglio, G., Margotti, A., Maron, G., Mazziotta, M. N., Mulliri, A., Nania, R., Noferini, F., Nozzoli, F., Ould-Saada, F., Palmonari, F., Panareo, M., Panetta, M. P., Paoletti, R., Parvis, M., Pellegrino, C., Perasso, L., Pinazza, O., Pinto, C., Pisano, S., Riggi, F., Righini, G., Rizzi, M., Sartorelli, G., Scapparone, E., Schioppa, M., Scioli, G., Scribano, A., Selvi, M., Taiuti, M., Terreni, G., Trifirò, A., Trimarchi, M., Vistoli, C., Votano, L., Williams, M. C. S., Zichichil, A., Zuyeuskiv, R.
The Extreme Energy Events (EEE) Collaboration is fully involved in an ecological transition. The use of the standard gas mixture, \ce{C_{2}H_{2}F_{4}}+ \ce{SF_{6}}, has stopped in favor of an alternative green mixture based on \ce{C_{3}H_{2}F_{4}} wi
Externí odkaz:
http://arxiv.org/abs/2309.17375