Zobrazeno 1 - 10
of 7 992
pro vyhledávání: '"Gorla A"'
Many type systems have been presented in the literature for variants of the pi-calculus, but none of them are able to handle composite subjects such as those found in the language epi, which features polyadic synchronisation. The purpose of this pape
Externí odkaz:
http://arxiv.org/abs/2411.13732
Autor:
Böhlen, Marc, Sughiarta, Gede, Kurnianingsih, Atiek, Gopaladinne, Srikar Reddy, Shrivastava, Sujay, Gorla, Hemanth Kumar Reddy
This paper describes spatially aware Artificial Intelligence, GeoAI, tailored for small organizations such as NGOs in resource constrained contexts where access to large datasets, expensive compute infrastructure and AI expertise may be restricted. W
Externí odkaz:
http://arxiv.org/abs/2408.17361
We continue the development of TinySol, a minimal object-oriented language based on Solidity, the standard smart-contract language used for the Ethereum platform. We first extend TinySol with exceptions and a gas mechanism, and equip it with a small-
Externí odkaz:
http://arxiv.org/abs/2407.15676
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
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., 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., Ponce, I., 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., Surukuchi, P. T., Taffarello, L., Tomei, C., Torres, J. A, Vetter, K. J., Vignati, M., Wagaarachchi, S. L., Welliver, B., Wilson, J., Wilson, K., Winslow, L. A., Zimmermann, S., Zucchelli, S.
We present the model we developed to reconstruct the CUORE radioactive background based on the analysis of an experimental exposure of 1038.4 kg yr. The data reconstruction relies on a simultaneous Bayesian fit applied to energy spectra over a broad
Externí odkaz:
http://arxiv.org/abs/2405.17937
In this paper we focus on TinySol, a minimal calculus for Solidity smart contracts, introduced by Bartoletti et al. We start by rephrasing its syntax (to emphasise its object-oriented flavour) and give a new big-step operational semantics. We then us
Externí odkaz:
http://arxiv.org/abs/2405.12976
Autor:
Aceto, Luca, Achilleos, Antonis, Anastasiadi, Elli, Francalanza, Adrian, Gorla, Daniele, Wagemaker, Jana
This paper focuses on the runtime verification of hyperproperties expressed in HypermuHML, an expressive yet simple logic for describing properties of sets of traces. To this end, we first consider a simple language of monitors that can observe sets
Externí odkaz:
http://arxiv.org/abs/2405.12882
Autor:
Molina, Facundo, Gorla, Alessandra
The effectiveness of a test suite in detecting faults highly depends on the correctness and completeness of its test oracles. Large Language Models (LLMs) have already demonstrated remarkable proficiency in tackling diverse software testing tasks, su
Externí odkaz:
http://arxiv.org/abs/2405.12766
Autor:
CRESST Collaboration, Angloher, G., Banik, S., Benato, G., Bento, A., Bertolini, A., Breier, R., Bucci, C., Burkhart, J., Canonica, L., D'Addabbo, A., Di Lorenzo, S., Einfalt, L., Erb, A., Feilitzsch, F. v., Fichtinger, S., Fuchs, D., Garai, A., Ghete, V. M., Gorla, P., Guillaumon, P. V., Gupta, S., Hauff, D., Ješkovský, M., Jochum, J., Kaznacheeva, M., Kinast, A., Kluck, H., Kraus, H., Kuckuk, S., Langenkämper, A., Mancuso, M., Marini, L., Mauri, B., Meyer, L., Mokina, V., Olmi, M., Ortmann, T., Pagliarone, C., Pattavina, L., Petricca, F., Potzel, W., Povinec, P., Pröbst, F., Pucci, F., Reindl, F., Rothe, J., Schäffner, K., Schieck, J., Schönert, S., Schwertner, C., Stahlberg, M., Stodolsky, L., Strandhagen, C., Strauss, R., Usherov, I., Wagner, F., Wagner, V., Zema, V.
The main goal of the CRESST-III experiment is the direct detection of dark matter particles via their scattering off target nuclei in cryogenic detectors. In this work we present the results of a Silicon-On-Sapphire (SOS) detector with a mass of 0.6$
Externí odkaz:
http://arxiv.org/abs/2405.06527
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., 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., Ponce, I., 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., Surukuchi, P. T., Taffarello, L., Tomei, C., 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 matter-antimatter asymmetry underlines the incompleteness of the current understanding of particle physics. Neutrinoless double-beta ($0\nu \beta\beta$) decay may help explain this asymmetry, while unveiling the Majorana nature of the neutrino. T
Externí odkaz:
http://arxiv.org/abs/2404.04453