Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Roberta Gori"'
Autor:
Gianmarco Ferrara, Giuseppina Brocherel, Beatrice Falorni, Roberta Gori, Ugo Pagnini, Serena Montagnaro
Publikováno v:
Acta Veterinaria Scandinavica, Vol 65, Iss 1, Pp 1-4 (2023)
Abstract The expansion of urbanization in natural environments increases interactions between wildlife, domestic animals, and humans. In Italy, the red fox (Vulpes vulpes) is one of the most common wild carnivores. This species can serve as a reservo
Externí odkaz:
https://doaj.org/article/def483ea9e7146d79b6d872274b24227
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 19, Iss Proc. FBTC 2010, Pp 116-133 (2010)
We formally characterize a set of causality-based properties of metabolic networks. This set of properties aims at making precise several notions on the production of metabolites, which are familiar in the biologists' terminology. From a theoretical
Externí odkaz:
https://doaj.org/article/d514add823be47cbb2b723de5bae7076
Autor:
Roberta Gori, Francesca Levi
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 11, Iss Proc. MeCBIC 2009, Pp 137-153 (2009)
In a previous paper the authors applied the Abstract Interpretation approach for approximating the probabilistic semantics of biological systems, modeled specifically using the Chemical Ground Form calculus. The methodology is based on the idea of re
Externí odkaz:
https://doaj.org/article/f2e31cd010cf46b6b8dd5940f8f0905e
Publikováno v:
Journal of the ACM. 70:1-45
Abstract interpretation is a well-known and extensively used method to extract over-approximate program invariants by a sound program analysis algorithm. Soundness means that no program errors are lost and it is, in principle, guaranteed by construct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd22a557fd1894e0caa1ee7020535d87
https://doi.org/10.1145/3582267
https://doi.org/10.1145/3582267
Publikováno v:
Neural Computing and Applications. 35:6335-6359
Reaction systems (RSs) are a successful natural computing framework inspired by chemical reaction networks. A RS consists of a set of entities and a set of reactions. Entities can enable or inhibit each reaction and are produced by reactions or provi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2b34b7a81b3e3e8c54901e430dbab17c
https://doi.org/10.1007/s00521-022-07935-6
https://doi.org/10.1007/s00521-022-07935-6
Publikováno v:
Programming Languages and Systems ISBN: 9783031300431
Abstract interpretation is a framework to design sound static analyses by over-approximating the set of program behaviours. While over-approximations can prove correctness, they cannot witness incorrectness because false alarms may arise. An ideal, b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::486e695eacb20b76d216b3a09eaedfc2
https://doi.org/10.1007/978-3-031-30044-8_1
https://doi.org/10.1007/978-3-031-30044-8_1
Publikováno v:
Theoretical Computer Science. 881:3-24
Gene regulatory networks represent the interactions among genes regulating the activation of specific cell functionalities. They have been successfully modelled using Boolean networks, where a set of Boolean variables model the activation state of ea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74882fa29608b1f9c033f7e7d3a92a26
https://doi.org/10.1016/j.tcs.2020.07.031
https://doi.org/10.1016/j.tcs.2020.07.031
Publikováno v:
Soft Computing. 25:1683-1698
In reaction systems, preimages and nth ancestors are sets of reactants leading to the production of a target set of products in either 1 or n steps, respectively. Many computational problems on preimages and ancestors, such as finding all minimum-car
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::482e752fa633d915757c1597afbbeb1a
https://doi.org/10.1007/s00500-020-05300-0
https://doi.org/10.1007/s00500-020-05300-0
Publikováno v:
Static Analysis ISBN: 9783031223075
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8e47d64196c3a9abe0ec0f2d6c050cf
https://doi.org/10.1007/978-3-031-22308-2_9
https://doi.org/10.1007/978-3-031-22308-2_9