Zobrazeno 1 - 10
of 1 536
pro vyhledávání: '"Mogavero A"'
Characterisations theorems serve as important tools in model theory and can be used to assess and compare the expressive power of temporal languages used for the specification and verification of properties in formal methods. While complete connectio
Externí odkaz:
http://arxiv.org/abs/2404.17421
Publikováno v:
Phys. Rev. X 13, 021018 (2023)
Numerical integrations of the Solar System reveal a remarkable stability of the orbits of the inner planets over billions of years, in spite of their chaotic variations characterized by a Lyapunov time of only 5 million years and the lack of integral
Externí odkaz:
http://arxiv.org/abs/2305.01683
Hintikka and Sandu originally proposed Independence Friendly Logic (IF) as a first-order logic of imperfect information to describe game-theoretic phenomena underlying the semantics of natural language. The logic allows for expressing independence co
Externí odkaz:
http://arxiv.org/abs/2304.11652
Monadic Second-Order Logic (MSO) extends First-Order Logic (FO) with variables ranging over sets and quantifications over those variables. We introduce and study Monadic Tree Logic (MTL), a fragment of MSO interpreted on infinite-tree models, where t
Externí odkaz:
http://arxiv.org/abs/2304.11613
Autor:
Lanza, Giuseppe1,2 (AUTHOR) glanza@oasi.en.it, Mogavero, Maria P.3,4 (AUTHOR) paola_mogavero@libero.it, Salemi, Michele1 (AUTHOR) msalemi@oasi.en.it, Ferri, Raffaele1 (AUTHOR) rferri@oasi.en.it
Publikováno v:
Cells (2073-4409). Aug2024, Vol. 13 Issue 15, p1246. 15p.
Apart from being chaotic, the inner planets in the Solar System constitute an open system, as they are forced by the regular long-term motion of the outer ones. No integrals of motion can bound a priori the stochastic wanderings in their high-dimensi
Externí odkaz:
http://arxiv.org/abs/2205.04170
Autor:
Mogavero, Federico, Laskar, Jacques
Publikováno v:
A&A 662, L3 (2022)
The discovery of the chaotic motion of the planets in the Solar System dates back more than 30 years. Still, no analytical theory has satisfactorily addressed the origin of chaos so far. Implementing canonical perturbation theory in the computer alge
Externí odkaz:
http://arxiv.org/abs/2205.03298
Autor:
Antelmi, Elena, Mogavero, Maria P., Lanza, Giuseppe, Cartella, Sandy M., Ferini-Strambi, Luigi, Plazzi, Giuseppe, Ferri, Raffaele, Tinazzi, Michele
Publikováno v:
In Sleep Medicine Reviews August 2024 76
Autor:
Bruni, Oliviero, Angriman, Marco, Miano, Silvia, DelRosso, Lourdes M., Spruyt, Karen, Mogavero, Maria P., Ferri, Raffaele
Publikováno v:
In Sleep Medicine Reviews August 2024 76
Autor:
Francesca Picca, Claudia Giannotta, Jiahao Tao, Lucia Giordanengo, H. M. Waqas Munir, Virginia Botta, Alessandra Merlini, Andrea Mogavero, Edoardo Garbo, Stefano Poletto, Paolo Bironzo, Gabriella Doronzo, Silvia Novello, Riccardo Taulli, Francesca Bersani
Publikováno v:
International Journal of Molecular Sciences, Vol 25, Iss 19, p 10823 (2024)
Genomic-oriented oncology has improved tumor classification, treatment options, and patient outcomes. However, genetic heterogeneity, tumor cell plasticity, and the ability of cancer cells to hijack the tumor microenvironment (TME) represent a major
Externí odkaz:
https://doaj.org/article/6a96f674ab1146058b962af9410f95ba