Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Giovanna D'Agostino"'
Autor:
Giovanna D'Agostino, Giacomo Lenzi
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 25, Iss Proc. GANDALF 2010, Pp 55-71 (2010)
For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2, but not to
Externí odkaz:
https://doaj.org/article/953dda13c3cc43bfbe0ce776a16fd20e
Publikováno v:
Theoretical Computer Science. 949:113709
Given an order of the underlying alphabet we can lift it to the states of a finite deterministic automaton: to compare states we use the order of the strings reaching them. When the order on strings is the co-lexicographic one \emph{and} this order t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c75dd2b976fcc5edecb6970e16f9226c
https://doi.org/10.1016/j.tcs.2023.113709
https://doi.org/10.1016/j.tcs.2023.113709
Indexing strings via prefix (or suffix) sorting is, arguably, one of the most successful algorithmic techniques developed in the last decades. Can indexing be extended to languages? The main contribution of this paper is to initiate the study of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a4cce546be39da83f0a50d0cfd4bd0f
http://hdl.handle.net/11390/1182128
http://hdl.handle.net/11390/1182128
Autor:
Giacomo Lenzi, Giovanna D'Agostino
Publikováno v:
Theoretical Computer Science. 737:40-61
We prove that the Alternation Hierarchy of the Modal μ-Calculus is infinite over finite planar graphs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e2fe1538002ad2de0edd5d9e42066ca
https://doi.org/10.1016/j.tcs.2018.04.009
https://doi.org/10.1016/j.tcs.2018.04.009
Autor:
Vittorio Colantuoni, Pamela Ziccardi, Gianluigi Mazzoccoli, Valeria Rosato, Giovanna D'Agostino, Giovanna Polcaro, Tommaso Colangelo, Angelo Lupo, Livio Muccillo, Lina Sabatino
Publikováno v:
Biochimica et Biophysica Acta (BBA) - Reviews on Cancer. 1867:1-18
The network of bidirectional homotypic and heterotypic interactions established among parenchymal tumour cells and surrounding mesenchymal stromal cells generates the tumour microenvironment (TME). These intricate crosstalks elicit both beneficial an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7397a0aa8ea9e99375395144afafa6e
https://doi.org/10.1016/j.bbcan.2016.11.001
https://doi.org/10.1016/j.bbcan.2016.11.001
Autor:
Alberto Marcone, Giovanna D'Agostino
Publikováno v:
Mathematical Structures in Computer Science. 28:412-428
Building on previous work by Mummert, Saadaoui and Sovine, we study the logic underlying the web of implications and nonimplications which constitute the so called reverse mathematics zoo. We introduce a tableaux system for this logic and natural ded
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09f91372447e7e7caa77ba98071a077b
https://doi.org/10.1017/s0960129516000323
https://doi.org/10.1017/s0960129516000323
Autor:
Giovanna D’Agostino
Publikováno v:
Larisa Maksimova on Implication, Interpolation, and Definability ISBN: 9783319699165
In this paper we discuss the problem of interpolation in the alternation levels of the \(\mu \)-Calculus. In particular, we consider interpolation and uniform interpolation for the alternation free fragment, and, more generally, for the level \(\varD
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f26104408ece97576edf8a9b694f2c7
http://hdl.handle.net/11390/1126203
http://hdl.handle.net/11390/1126203
Publikováno v:
Sustainability, Vol 10, Iss 12, p 4655 (2018)
Sustainability
Volume 10
Issue 12
Sustainability
Volume 10
Issue 12
Increasing commercial pressure on land may lead to land concentration in developing countries, especially in the context of complex systems of property rights. In this article we review through meta-analysis (MA) the econometric findings of the liter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e1c9a02a6f551390e27dc39829c298d
https://hdl.handle.net/11580/70585
https://hdl.handle.net/11580/70585
Recent years have witnessed an increasing interest in land-based investments for food, feed, fuel, and fibre, driven by the volatility in commodity prices, economic growth of emerging economies, policy drivers of biofuel demand, and investor strategi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::298de8bf661a8862bacf8590da667b02
http://hdl.handle.net/11580/66981
http://hdl.handle.net/11580/66981
Autor:
Giovanna D'Agostino
In this paper we consider modal team logic, a generalization of classical modal logic in which it is possible to describe dependence phenomena between data. We prove that most known fragments of full modal team logic allow the elimination of the so c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79663b42225b99e54307c8fdd83c997c