Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Francesca Scozzari"'
Publikováno v:
Frontiers in Artificial Intelligence, Vol 6 (2024)
In the last years, several techniques of artificial intelligence have been applied to data from COVID-19. In addition to the symptoms related to COVID-19, many individuals with SARS-CoV-2 infection have described various long-lasting symptoms, now te
Externí odkaz:
https://doaj.org/article/c116ca25b34341beaccd5c08f9cb0494
Autor:
Gianluca Amato, Francesca Scozzari
Publikováno v:
SoftwareX, Vol 23, Iss , Pp 101428- (2023)
The GNU Multiple Precision Arithmetic Library (GMP) is a widely used library for computing with arbitrary precision arithmetic. The library has functionally complete bindings for many programming languages, including .NET, C++, OCaml, Python, Ruby, a
Externí odkaz:
https://doaj.org/article/0d9fd1c54631455eacd69c415eaf2f33
Publikováno v:
BMC Public Health, Vol 20, Iss 1, Pp 1-9 (2020)
Abstract Background Recently, social networks have become a popular source of information on health topics. Particularly, in Italy, there is a lively discussion on the web regarding vaccines also because there is low vaccination coverage, vaccines he
Externí odkaz:
https://doaj.org/article/4ea92ad5d5eb4d038a46bc41e9374e66
Autor:
Francesca Scozzari, Gianluca Amato
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7197a8072136ef7d08b8c0f7158655a0
https://doi.org/10.1007/978-3-031-27481-7_10
https://doi.org/10.1007/978-3-031-27481-7_10
Publikováno v:
Theoretical Computer Science. 823:1-25
Reasoning on a complex system in the abstract interpretation theory starts with a formal description of the system behavior specified by a collecting semantics. We take the common point of view that a collecting semantics is a very precise semantics
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::643f064a11dc65e7b399973fd68954bb
https://doi.org/10.1016/j.tcs.2020.02.021
https://doi.org/10.1016/j.tcs.2020.02.021
Publikováno v:
International Journal of Public Health. 64:935-942
Recently, the Italian Institute of Statistics (ISTAT) and the National Council for Economy and Labor (CNEL) have proposed a measure for the equitable and sustainable well-being called the BES (“Benessere Equo e Sostenibile”). This paper aims to p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::318a5407d0ea34fc2886880bf8b74fbd
https://doi.org/10.1007/s00038-019-01262-9
https://doi.org/10.1007/s00038-019-01262-9
Publikováno v:
BMC Public Health, Vol 20, Iss 1, Pp 1-9 (2020)
BMC Public Health
BMC Public Health
BackgroundRecently, social networks have become a popular source of information on health topics. Particularly, in Italy, there is a lively discussion on the web regarding vaccines also because there is low vaccination coverage, vaccines hesitancy, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a7fca93b9ccbcf515082936129c7de2
https://doi.org/10.1186/s12889-020-8342-4
https://doi.org/10.1186/s12889-020-8342-4
Publikováno v:
Science of Computer Programming. 148:161-188
We propose a new numerical abstract domain for inferring linear invariants based on parallelotopes. The domain may encode any linear constraint, as the polyhedra abstract domain, while maintaining the efficiency of weakly relational abstract domains,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a39ad7b3ba394ec11f90d1656c918979
https://doi.org/10.1016/j.scico.2017.05.011
https://doi.org/10.1016/j.scico.2017.05.011
Publikováno v:
Acta Informatica. 55:521-545
A static analysis by abstract interpretation is typically composed of an ascending phase followed by a descending one. The descending phase is used to improve the precision of the analysis after that a post-fixpoint has been reached. Termination is o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::84ac9cf688142a67efc297ccba16eabe
https://doi.org/10.1007/s00236-016-0291-0
https://doi.org/10.1007/s00236-016-0291-0
Publikováno v:
Science of Computer Programming. 120:1-24
Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equations, Cousot and Cousot have suggested accelerated fixpoint iteration b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0622579659e70c44ba4eda666110f6bf
https://doi.org/10.1016/j.scico.2015.12.005
https://doi.org/10.1016/j.scico.2015.12.005