Zobrazeno 1 - 10
of 14 716
pro vyhledávání: '"Pistone A"'
Autor:
Maestracci, Valentin, Pistone, Paolo
In this paper we introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to metrize non-Hausdorff topologies, like those arising from Scott domains.
Externí odkaz:
http://arxiv.org/abs/2411.11809
Since their appearance in the 1950s, computational models capable of performing probabilistic choices have received wide attention and are nowadays pervasive in almost every areas of computer science. Their development was also inextricably linked wi
Externí odkaz:
http://arxiv.org/abs/2409.11999
In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (LFI) a more appealing formalism for reasoning under uncertainty, it is important to develop the proof
Externí odkaz:
http://arxiv.org/abs/2304.11481
Autor:
K. Pistone, E. M. Wilcox, P. Zuidema, M. Giordano, J. Podolske, S. E. LeBlanc, M. Kacenelenbogen, S. G. Howell, S. Freitag
Publikováno v:
Atmospheric Chemistry and Physics, Vol 24, Pp 7983-8005 (2024)
The springtime atmosphere over the southeast Atlantic Ocean (SEA) is subjected to a consistent layer of biomass burning (BB) smoke from widespread fires on the African continent. An elevated humidity signal is coincident with this layer, consistently
Externí odkaz:
https://doaj.org/article/148b0df5a85643809ff131042b5d04ad
In this paper we are concerned with understanding the nature of program metrics for calculi with higher-order types, seen as natural generalizations of program equivalences. Some of the metrics we are interested in are well-known, such as those based
Externí odkaz:
http://arxiv.org/abs/2302.05022
We introduce a new bounded theory RS^1_2 and show that the functions which are Sigma^b_1-representable in it are precisely random functions which can be computed in polynomial time. Concretely, we pass through a class of oracle functions over string,
Externí odkaz:
http://arxiv.org/abs/2301.12028
Publikováno v:
Atti della Accademia Peloritana dei Pericolanti : Classe di Scienze Fisiche, Matematiche e Naturali, Vol 102, Iss 2, p A6 (2024)
Microspheres labelled with radioactive nuclides are widely used for TransArterial RadioEmbolization (TARE) in the treatment of patients with hepatocellular carcinoma (HCC) and/or hepatic metastases. Nowadays, three commercially available devices can
Externí odkaz:
https://doaj.org/article/ad65844e54e14e3aaa6b37b3b9bfc807
Autor:
Aurelio Seidita, Francesca Mandreucci, Mirco Pistone, Silvia Calderone, Alessandra Giuliano, Marta Chiavetta, Lydia Giannitrapani, Roberto Citarrella, Maurizio Soresi, Anna Licata, Antonio Carroccio, Stella Compagnoni
Publikováno v:
Italian Journal of Medicine, Vol 18, Iss 4 (2024)
The aim of this brief report is to evaluate sodium-glucose cotransporter 2 inhibitors (SGLT2-I) effects on patients with both refractory ascites and type 2 diabetes mellitus (T2D). We consecutively recruited all the diabetic patients with refractory
Externí odkaz:
https://doaj.org/article/28d6782692ea4681be6c294a5329f8ae
Autor:
Pistone, Giovanni
The dually flat structure of statistical manifolds can be derived in a non-parametric way from a particular case of affine space defined on a qualified set of probability measures. The statistically natural displacement mapping of the affine space de
Externí odkaz:
http://arxiv.org/abs/2210.07641
Autor:
Pistone, Daniele, Gnesin, Silvano, Auditore, Lucrezia, Italiano, Antonio, Cascini, Giuseppe Lucio, Amato, Ernesto, Cicone, Francesco
Dosimetry of salivary glands (SGs) is usually implemented using simplified calculation approaches and approximated geometries. Our aims were to compare different dosimetry methods to calculate SGs absorbed doses (ADs) following 18F-PSMA-1007 injectio
Externí odkaz:
http://arxiv.org/abs/2210.01616