Probabilistic Answer Set Programming with Discrete and Continuous Random Variables

Autor: Azzolini, Damiano, Riguzzi, Fabrizio

Probabilistic Answer Set Programming under the credal semantics (PASP) extends Answer Set Programming with probabilistic facts that represent uncertain information. The probabilistic facts are discrete with Bernoulli distributions. However, several r

Externí odkaz: http://arxiv.org/abs/2409.20274

Benchmarking the design of the cryogenics system for the underground argon in DarkSide-20k

Autor: Collaboration, DarkSide-20k, Acerbi, F., Adhikari, P., Agnes, P., Ahmad, I., Albergo, S., Albuquerque, I. F. M., Alexander, T., Alton, A. K., Amaudruz, P., Angiolilli, M., Aprile, E., Ardito, R., Corona, M. Atzori, Auty, D. J., Ave, M., Avetisov, I. C., Azzolini, O., Back, H. O., Balmforth, Z., Olmedo, A. Barrado, Barrillon, P., Batignani, G., Bhowmick, P., Blua, S., Bocci, V., Bonivento, W., Bottino, B., Boulay, M. G., Buchowicz, A., Bussino, S., Busto, J., Cadeddu, M., Cadoni, M., Calabrese, R., Camillo, V., Caminata, A., Canci, N., Capra, A., Caravati, M., Cárdenas-Montes, M., Cargioli, N., Carlini, M., Castellani, A., Castello, P., Cavalcante, P., Cebrian, S., Ruiz, J. Cela, Chashin, S., Chepurnov, A., Cifarelli, L., Cintas, D., Citterio, M., Cleveland, B., Coadou, Y., Cocco, V., Colaiuda, D., Vilda, E. Conde, Consiglio, L., Costa, B. S., Czubak, M., D'Aniello, M., D'Auria, S., Rolo, M. D. Da Rocha, Darbo, G., Davini, S., De Cecco, S., De Guido, G., Dellacasa, G., Derbin, A. V., Devoto, A., Di Capua, F., Di Ludovico, A., Di Noto, L., Di Stefano, P., Dias, L. K., Mairena, D. Díaz, Ding, X., Dionisi, C., Dolganov, G., Dordei, F., Dronik, V., Elersich, A., Ellingwood, E., Erjavec, T., Diaz, M. Fernandez, Ficorella, A., Fiorillo, G., Franchini, P., Franco, D., Gatti, H. Frandini, Frolov, E., Gabriele, F., Gahan, D., Galbiati, C., Galiński, G., Gallina, G., Gallus, G., Garbini, M., Abia, P. Garcia, Gawdzik, A., Gendotti, A., Ghisi, A., Giovanetti, G. K., Casanueva, V. Goicoechea, Gola, A., Grandi, L., Grauso, G., di Cortona, G. Grilli, Grobov, A., Gromov, M., Guerzoni, M., Gulino, M., Guo, C., Hackett, B. R., Hallin, A., Hamer, A., Haranczyk, M., Harrop, B., Hessel, T., Hill, S., Horikawa, S., Hu, J., Hubaut, F., Hucker, J., Hugues, T., Hungerford, E. V., Ianni, A., Ippolito, V., Jamil, A., Jillings, C., Jois, S., Kachru, P., Keloth, R., Kemmerich, N., Kemp, A., Kendziora, C. L., Kimura, M., Kish, A., Kondo, K., Korga, G., Kotsiopoulou, L., Koulosousas, S., Kubankin, A., Kunzé, P., Kuss, M., Kuźniak, M., Kuzwa, M., La Commara, M., Lai, M., Guirriec, E. Le, Leason, E., Leoni, A., Lidey, L., Lissia, M., Luzzi, L., Lychagina, O., Macfadyen, O., Machulin, I. N., Manecki, S., Manthos, I., Mapelli, L., Marasciulli, A., Mari, S. M., Mariani, C., Maricic, J., Martinez, M., Martoff, C. J., Matteucci, G., Mavrokoridis, K., McDonald, A. B., Mclaughlin, J., Merzi, S., Messina, A., Milincic, R., Minutoli, S., Mitra, A., Moharana, A., Moioli, S., Monroe, J., Moretti, E., Morrocchi, M., Mroz, T., Muratova, V. N., Murphy, M., Murra, M., Muscas, C., Musico, P., Nania, R., Nessi, M., Nieradka, G., Nikolopoulos, K., Nikoloudaki, E., Nowak, J., Olchanski, K., Oleinik, A., Oleynikov, V., Organtini, P., de Solórzano, A. Ortiz, Pallavicini, M., Pandola, L., Pantic, E., Paoloni, E., Papi, D., Pastuszak, G., Paternoster, G., Peck, A., Pegoraro, P. A., Pelczar, K., Pellegrini, L. A., Perez, R., Perotti, F., Pesudo, V., Piacentini, S. I., Pino, N., Plante, G., Pocar, A., Poehlmann, M., Pordes, S., Pralavorio, P., Price, D., Puglia, S., Bazetto, M. Queiroga, Ragusa, F., Ramachers, Y., Ramirez, A., Ravinthiran, S., Razeti, M., Renshaw, A. L., Rescigno, M., Retiere, F., Rignanese, L. P., Rivetti, A., Roberts, A., Roberts, C., Rogers, G., Romero, L., Rossi, M., Rubbia, A., Rudik, D., Sabia, M., Salomone, P., Samoylov, O., Sandford, E., Sanfilippo, S., Santone, D., Santorelli, R., Santos, E. M., Savarese, C., Scapparone, E., Schillaci, G., Schuckman II, F. G., Scioli, G., Semenov, D. A., Shalamova, V., Sheshukov, A., Simeone, M., Skensved, P., Skorokhvatov, M. D., Smirnov, O., Smirnova, T., Smith, B., Sotnikov, A., Spadoni, F., Spangenberg, M., Stefanizzi, R., Steri, A., Stornelli, V., Stracka, S., Sulis, S., Sung, A., Sunny, C., Suvorov, Y., Szelc, A. M., Taborda, O., Tartaglia, R., Taylor, A., Taylor, J., Tedesco, S., Testera, G., Thieme, K., Thompson, A., Thorpe, T. N., Tonazzo, A., Torres-Lara, S., Tricomi, A., Unzhakov, E. V., Vallivilayil, T. J., Van Uffelen, M., Velazquez-Fernandez, L., Viant, T., Viel, S., Vishneva, A., Vogelaar, R. B., Vossebeld, J., Vyas, B., Wada, M., Walczak, M. B., Wang, H., Wang, Y., Westerdale, S., Williams, L., Wojaczyński, R., Wojcik, M., Wojcik, M. M., Wright, T., Xiao, X., Xie, Y., Yang, C., Yin, J., Zabihi, A., Zakhary, P., Zani, A., Zhang, Y., Zhu, T., Zichichi, A., Zuzel, G., Zykova, M. P.

DarkSide-20k (DS-20k) is a dark matter detection experiment under construction at the Laboratori Nazionali del Gran Sasso (LNGS) in Italy. It utilises ~100 t of low radioactivity argon from an underground source (UAr) in its inner detector, with half

Externí odkaz: http://arxiv.org/abs/2408.14071

Symbolic Parameter Learning in Probabilistic Answer Set Programming

Autor: Azzolini, Damiano, Gentili, Elisabetta, Riguzzi, Fabrizio

Parameter learning is a crucial task in the field of Statistical Relational Artificial Intelligence: given a probabilistic logic program and a set of observations in the form of interpretations, the goal is to learn the probabilities of the facts in

Externí odkaz: http://arxiv.org/abs/2408.08732

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum

Autor: Azzolini, Damiano, Forti, Stefano, Ielo, Antonio

Cloud-edge computing requires applications to operate across diverse infrastructures, often triggered by cyber-physical events. Containers offer a lightweight deployment option but pulling images from central repositories can cause delays. This artic

Externí odkaz: http://arxiv.org/abs/2407.12605

Search for fractionally charged particles with CUORE

Autor: CUORE Collaboration, Adams, D. Q., Alduino, C., Alfonso, K., Avignone III, F. T., Azzolini, O., Bari, G., Bellini, F., Benato, G., Beretta, M., Biassoni, M., Branca, A., Brofferio, C., Bucci, C., Camilleri, J., Caminata, A., Campani, A., Cao, J., Capelli, S., Capelli, C., Cappelli, L., Cardani, L., Carniti, P., Casali, N., Celi, E., Chiesa, D., Clemenza, M., Copello, S., Cremonesi, O., Creswick, R. J., D'Addabbo, A., Dafinei, I., Del Corso, F., Dell'Oro, S., Di Domizio, S., Di Lorenzo, S., Dixon, T., Dompè, V., Fang, D. Q., Fantini, G., Faverzani, M., Ferri, E., Ferroni, F., Fiorini, E., Franceschi, M. A., Freedman, S. J., Fu, S. H., Fujikawa, B. K., Ghislandi, S., Giachero, A., Girola, M., Gironi, L., Giuliani, A., Gorla, P., Gotti, C., Guillaumon, P. V., Gutierrez, T. D., Han, K., Hansen, E. V., Heeger, K. M., Helis, D. L., Huang, H. Z., Keppel, G., Kolomensky, Yu. G., Kowalski, R., Liu, R., Ma, L., Ma, Y. G., Marini, L., Maruyama, R. H., Mayer, D., Mei, Y., Moore, M. N., Napolitano, T., Nastasi, M., Nones, C., Norman, E. B., Nucciotti, A., Nutini, I., O'Donnell, T., Olmi, M., Oregui, B. T., Ouellet, J. L., Pagan, S., Pagliarone, C. E., Pagnanini, L., Pallavicini, M., Pattavina, L., Pavan, M., Pessina, G., Pettinacci, V., Pira, C., Pirro, S., Pottebaum, E. G., Pozzi, S., Previtali, E., Puiu, A., Quitadamo, S., Ressa, A., Rosenfeld, C., Schmidt, B., Sharma, V., Singh, V., Sisti, M., Speller, D., Stark, P., Surukuchi, P. T., Taffarello, L., Tomei, C., Torres, A., Torres, J. A., Vetter, K. J., Vignati, M., Wagaarachchi, S. L., Welliver, B., Wilson, J., Wilson, K., Winslow, L. A., Zimmermann, S., Zucchelli, S.

The Cryogenic Underground Observatory for Rare Events (CUORE) is a detector array comprised by 988 5$\;$cm$\times$5$\;$cm$\times$5$\;$cm TeO$_2$ crystals held below 20 mK, primarily searching for neutrinoless double-beta decay in $^{130}$Te. Unpreced

Externí odkaz: http://arxiv.org/abs/2406.12380