Zobrazeno 1 - 10
of 2 452
pro vyhledávání: '"Avanzini P."'
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/2411.18094
Autor:
Abe, S., Alekseev, I., Arai, T., Arihara, T., Arimoto, S., Babu, N., Baranov, V., Bartoszek, L., Berns, L., Bhattacharjee, S., Blondel, A., Boikov, A. V., Buizza-Avanzini, M., Capó, J., Cayo, J., Chakrani, J., Chong, P. S., Chvirova, A., Danilov, M., Davis, C., Davydov, Yu. I., Dergacheva, A., Dokania, N., Douqa, D., Doyle, T. A., Drapier, O., Eguchi, A., Elias, J., Fedorova, D., Fedotov, S., Ferlewicz, D., Fuji, Y., Furui, Y., Gendotti, A., Germer, A., Giannessi, L., Giganti, C., Glagolev, V., Hu, J., Iwamoto, K., Jakkapu, M., Jesús-Valls, C., Ji, J. Y., Jung, C. K., Kakuno, H., Kasetti, S. P., Kawaue, M., Khabibullin, M., Khotjantsev, A., Kikawa, T., Kikutani, H., Kobayashi, H., Kobayashi, T., Kodama, S., Kolupanova, M., Korzenev, A., Kose, U., Kudenko, Y., Kuribayashi, S., Kutter, T., Lachat, M., Lachner, K., Last, D., Latham, N., Silverio, D. Leon, Li, B., Li, W., Li, Z., Lin, C., Lin, L. S., Lin, S., Lux, T., Mahtani, K., Maret, L., Caicedo, D. A. Martinez, Martynenko, S., Matsubara, T., Mauger, C., McGrew, C., McKean, J., Mefodiev, A., Miller, E., Mineev, O., Moreno, A. L., Muñoz, A., Nakadaira, T., Nakagiri, K., Nguyen, V., Nicola, L., Noah, E., Nosek, T., Okinaga, W., Osu, L., Paolone, V., Parsa, S., Pellegrino, R., Ramirez, M. A., Reh, M., Ricco, C., Rubbia, A., Sakashita, K., Sallin, N., Sanchez, F., Schefke, T., Schloesser, C. M., Sgalaberna, D., Shvartsman, A., Skrobova, N., Speers, A. J., Suslov, I. A., Suvorov, S., Svirida, D., Tairafune, S., Tanigawa, H., Teklu, A., Tereshchenko, V. V., Tzanov, M., Vasilyev, I. I., Wallace, H. T., Whitney, N., Wood, K., Xu, Y. -h., Yang, G., Yershov, N., Yokoyama, M., Yoshimoto, Y., Zhao, X., Zheng, H., Zhu, T., Zilberman, P., Zimmerman, E. D.
The magnetised near detector (ND280) of the T2K long-baseline neutrino oscillation experiment has been recently upgraded aiming to satisfy the requirement of reducing the systematic uncertainty from measuring the neutrinonucleus interaction cross sec
Externí odkaz:
http://arxiv.org/abs/2410.24099
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.
Publikováno v:
JINST 19 P11003 (2024)
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
Publikováno v:
J. Chem. Phys. 161, 174108 (2024)
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
Publikováno v:
Physical Review E 109, 064153 (2024)
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