Zobrazeno 1 - 10
of 3 695
pro vyhledávání: '"BARTOCCI A."'
Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used concept of security lattices provides a natural semantic interpretation
Externí odkaz:
http://arxiv.org/abs/2406.14374
Autor:
Athavale, Anagha, Bartocci, Ezio, Christakis, Maria, Maffei, Matteo, Nickovic, Dejan, Weissenbacher, Georg
We present the first automated verification technique for confidence-based 2-safety properties, such as global robustness and global fairness, in deep neural networks (DNNs). Our approach combines self-composition to leverage existing reachability an
Externí odkaz:
http://arxiv.org/abs/2405.14400
Autor:
Bartocci, Riccardo
The $U(3)^5$ symmetry within the SMEFT framework restricts the inclusion of only fully flavor-conserving operators at dimension six. This proceeding presents a global analysis of the SMEFT under this assumption. We provide global constraints on all 4
Externí odkaz:
http://arxiv.org/abs/2405.10101
We address the problem of model checking temporal logic specifications for probabilistic programs with recursive procedures, nested queries, and conditioning expressed with observe statements. We introduce probabilistic Operator Precedence Automata (
Externí odkaz:
http://arxiv.org/abs/2404.03515
Autor:
Collaboration, JEM-EUSO, Abdellaoui, G., Abe, S., Adams. Jr., J. H., Allard, D., Alonso, G., Anchordoqui, L., Anzalone, A., Arnone, E., Asano, K., Attallah, R., Attoui, H., Pernas, M. Ave, Bachmann, R., Bacholle, S., Bagheri, M., Bakiri, M., Baláz, J., Barghini, D., Bartocci, S., Battisti, M., Bayer, J., Beldjilali, B., Belenguer, T., Belkhalfa, N., Bellotti, R., Belov, A. A., Benmessai, K., Bertaina, M., Bertone, P. F., Biermann, P. L., Bisconti, F., Blaksley, C., Blanc, N., Blin-Bondil, S., Bobik, P., Bogomilov, M., Bolmgren, K., Bozzo, E., Briz, S., Bruno, A., Caballero, K. S., Cafagna, F., Cambié, G., Campana, D., Capdevielle, J. N., Capel, F., Caramete, A., Caramete, L., Caruso, R., Casolino, M., Cassardo, C., Castellina, A., Catalano, O., Cellino, A., Černý, K., Chikawa, M., Chiritoi, G., Christl, M. J., Colalillo, R., Conti, L., Cotto, G., Crawford, H. J., Cremonini, R., Creusot, A., Cummings, A., Gónzalez, A. de Castro, de la Taille, C., del Peral, L., Desiato, J., Damian, A. Diaz, Diesing, R., Dinaucourt, P., Djakonow, A., Djemil, T., Ebersoldt, A., Ebisuzaki, T., Eser, J., Fenu, F., Fernández-González, S., Ferrarese, S., Filippatos, G., Finch, W., Fornaro, C., Fouka, M., Franceschi, A., Franchini, S., Fuglesang, C., Fujii, T., Fukushima, M., Galeotti, P., García-Ortega, E., Gardiol, D., Garipov, G. K., Gascón, E., Gazda, E., Genci, J., Golzio, A., Gorodetzky, P., Gregg, R., Green, A., Guarino, F., Guépin, C., Guzmán, A., Hachisu, Y., Haungs, A., Heigbes, T., Carretero, J. Hernández, Hulett, L., Ikeda, D., Inoue, N., Inoue, S., Isgrò, F., Itow, Y., Jammer, T., Jeong, S., Jochum, J., Joven, E., Judd, E. G., Jung, A., Kajino, F., Kajino, T., Kalli, S., Kaneko, I., Kasztelan, M., Katahira, K., Kawai, K., Kawasaki, Y., Kedadra, A., Khales, H., Khrenov, B. A., Kim, Jeong-Sook, Kim, Soon-Wook, Kleifges, M., Klimov, P. A., Kreykenbohm, I., Krizmanic, J. F., Królik, K., Kungel, V., Kurihara, Y., Kusenko, A., Kuznetsov, E., Lahmar, H., Lakhdari, F., Licandro, J., Campano, L. López, Martínez, F. López, Mackovjak, S., Mahdi, M., Mandát, D., Manfrin, M., Marcelli, L., Marcos, J. L., Marszał, W., Martín, Y., Martinez, O., Mase, K., Mastafa, M., Matthews, J. N., Mebarki, N., Medina-Tanco, G., Menshikov, A., Merino, A., Mese, M., Meseguer, J., Meyer, S. S., Mimouni, J., Miyamoto, H., Mizumoto, Y., Monaco, A., Ríos, J. A. Morales de los, Nachtman, J. M., Nagataki, S., Naitamor, S., Napolitano, T., Neronov, A., Nomoto, K., Nonaka, T., Ogawa, T., Ogio, S., Ohmori, H., Olinto, A. V., Onel, Y., Osteria, G., Otte, A. N., Pagliaro, A., Painter, W., Panasyuk, M. I., Panico, B., Parizot, E., Park, I. H., Pastircak, B., Paul, T., Pech, M., Pérez-Grande, I., Perfetto, F., Peter, T., Picozza, P., Pindado, S., Piotrowski, L. W., Piraino, S., Plebaniak, Z., Pollini, A., Popescu, E. M., Prevete, R., Prévôt, G., Prieto, H., Przybylak, M., Puehlhofer, G., Putis, M., Reardon, P., Reno, M. H., Reyes, M., Ricci, M., Frías, M. D. Rodríguez, Matamala, O. F. Romero, Ronga, F., Sabau, M. D., Saccá, G., Sagawa, H., Sahnoune, Z., Saito, A., Sakaki, N., Salazar, H., Sánchez, J. L., Balanzar, J. C. Sanchez, Santangelo, A., Sanz-Andrés, A., Saprykin, O. A., Sarazin, F., Sato, M., Scagliola, A., Schanz, T., Schieler, H., Schovánek, P., Scotti, V., Serra, M., Sharakin, S. A., Shimizu, H. M., Shinozaki, K., Soriano, J. F., Sotgiu, A., Stan, I., Strharský, I., Sugiyama, N., Supanitsky, D., Suzuki, M., Szabelski, J., Tajima, N., Tajima, T., Takahashi, Y., Takeda, M., Takizawa, Y., Talai, M. C., Tameda, Y., Tenzer, C., Thomas, S. B., Tibolla, O., Tkachev, L. G., Tomida, T., Tone, N., Toscano, S., Traïche, M., Tsunesada, Y., Tsuno, K., Turriziani, S., Uchihori, Y., Valdés-Galicia, J. F., Vallania, P., Valore, L., Vankova-Kirilova, G., Venters, T. M., Vigorito, C., Villaseñor, L., Vlcek, B., von Ballmoos, P., Vrabel, M., Wada, S., Watanabe, J., Watts. Jr., J., Muñoz, R. Weigand, Weindl, A., Wiencke, L., Wille, M., Wilms, J., Yamamoto, T., Yang, J., Yano, H., Yashin, I. V., Yonetoku, D., Yoshida, S., Young, R., Zgura, I. S., Zotov, M. Yu., Marchi, A. Zuccaro
Publikováno v:
Astropart Phys 154 (2024) 102891
The Extreme Universe Space Observatory on a Super Pressure Balloon 1 (EUSO-SPB1) was launched in 2017 April from Wanaka, New Zealand. The plan of this mission of opportunity on a NASA super pressure balloon test flight was to circle the southern hemi
Externí odkaz:
http://arxiv.org/abs/2401.06525
We present comprehensive global fits of the SMEFT under the $\textit{minimal}$ minimal flavour violation (MFV) hypothesis, i.e. assuming that only the flavour-symmetric and CP-invariant operators are relevant at the high scale. The considered operato
Externí odkaz:
http://arxiv.org/abs/2311.04963
Autor:
Palma, Francesco, Martucci, Matteo, Neubüser, Coralie, Sotgiu, Alessandro, Follega, Francesco Maria, Ubertini, Pietro, Bazzano, Angela, Rodi, James, Ammendola, Roberto, Badoni, Davide, Bartocci, Simona, Battiston, Roberto, Beolè, Stefania, Bertello, Igor, Burger, William Jerome, Campana, Donatella, Cicone, Antonio, Cipollone, Piero, Coli, Silvia, Conti, Livio, Contin, Andrea, Cristoforetti, Marco, D'Angelo, Giulia, De Angelis, Fabrizio, De Donato, Cinzia, De Santis, Cristian, Diego, Piero, Di Luca, Andrea, Fiorenza, Emiliano, Gebbia, Giuseppe, Iuppa, Roberto, Lega, Alessandro, Lolli, Mauro, Martino, Bruno, Masciantonio, Giuseppe, Mergè, Matteo, Mese, Marco, Morbidini, Alfredo, Nozzoli, Francesco, Nuccilli, Fabrizio, Oliva, Alberto, Osteria, Giuseppe, Palmonari, Federico, Panico, Beatrice, Papini, Emanuele, Parmentier, Alexandra, Perciballi, Stefania, Perfetto, Francesco, Perinelli, Alessio, Picozza, Piergiorgio, Piersanti, Mirko, Pozzato, Michele, Rebustini, Gianmaria, Recchiuti, Dario, Ricci, Ester, Ricci, Marco, Ricciarini, Sergio Bruno, Russi, Andrea, Sahnoun, Zouleikha, Savino, Umberto, Scotti, Valentina, Shen, Xuhui, Sparvoli, Roberta, Tofani, Silvia, Vertolli, Nello, Vilona, Veronica, Vitale, Vincenzo, Zannoni, Ugo, Zeren, Zhima, Zoffoli, Simona, Zuccon, Paolo
In this paper we report the detection of five strong Gamma-Ray Bursts (GRBs) by the High-Energy Particle Detector (HEPD-01) mounted on board the China Seismo-Electromagnetic Satellite (CSES-01), operational since 2018 on a Sun-synchronous polar orbit
Externí odkaz:
http://arxiv.org/abs/2310.16670
Autor:
Tundo, Alessandro, Mobilio, Marco, Ilager, Shashikant, Brandić, Ivona, Bartocci, Ezio, Mariani, Leonardo
The advent of edge devices dedicated to machine learning tasks enabled the execution of AI-based applications that efficiently process and classify the data acquired by the resource-constrained devices populating the Internet of Things. The prolifera
Externí odkaz:
http://arxiv.org/abs/2309.00022
Probabilistic hyperproperties express probabilistic relations between different executions of systems with uncertain behavior. HyperPCTL allows to formalize such properties, where quantification over probabilistic schedulers resolves potential non-de
Externí odkaz:
http://arxiv.org/abs/2307.05282
Probabilistic hyperproperties specify quantitative relations between the probabilities of reaching different target sets of states from different initial sets of states. This class of behavioral properties is suitable for capturing important security
Externí odkaz:
http://arxiv.org/abs/2307.04503