Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Angelo Troina"'
Autor:
Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 100, Iss Proc. MeCBIC 2012, Pp 101-106 (2012)
BioScape is a concurrent language motivated by the biological landscapes found at the interface of biology and biomaterials. It has been motivated by the need to model antibacterial surfaces, biofilm formation, and the effect of DNAse in treating and
Externí odkaz:
https://doaj.org/article/d6655ab5e0d547d6b8399f1a73609197
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 88, Iss Proc. DCM 2011, Pp 43-58 (2012)
In this paper we present a variant of the Calculus of Looping Sequences (CLS for short) with global and local rewrite rules. While global rules, as in CLS, are applied anywhere in a given term, local rules can only be applied in the compartment on wh
Externí odkaz:
https://doaj.org/article/e3cd5b7665a245b0aca6e6abebe285af
Autor:
Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 67, Iss Proc. CompMod 2011, Pp 3-18 (2011)
Arbuscular mycorrhiza (AM) is the most wide-spread plant-fungus symbiosis on earth. Investigating this kind of symbiosis is considered one of the most promising ways to develop methods to nurture plants in more natural manners, avoiding the complex c
Externí odkaz:
https://doaj.org/article/2e97c50600a643cd88350482c1f1e366
Autor:
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 40, Iss Proc. MeCBIC 2010, Pp 102-120 (2010)
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on formal calculi, often derived from process algebras or term rewriting
Externí odkaz:
https://doaj.org/article/b286d9f375c748d89d5cfb8eeea94339
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 28, Iss Proc. QAPL 2010, Pp 82-98 (2010)
The Calculus of Wrapped Compartments (CWC) is a variant of the Calculus of Looping Sequences (CLS). While keeping the same expressiveness, CWC strongly simplifies the development of automatic tools for the analysis of biological systems. The main sim
Externí odkaz:
https://doaj.org/article/a6c73ed3e7a64cc69ce1d5e84e06be44
Autor:
Sara Capecchi, Angelo Troina
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 19, Iss Proc. FBTC 2010, Pp 103-115 (2010)
The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments. In this paper we enrich this calculus with a static type system classifying each ambient with gro
Externí odkaz:
https://doaj.org/article/08befa971d2541c4b011bfbbcd768b53
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 11, Iss Proc. MeCBIC 2009, Pp 91-105 (2009)
The Stochastic Calculus of Looping Sequences is suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. We propose a type system for this calculus that models how the presence of posit
Externí odkaz:
https://doaj.org/article/cea62a6e65384c168bd4c374ecdf1bf8
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 9, Iss Proc. DCM 2009, Pp 38-48 (2009)
The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. We enrich this calculus with a type discipline to guarantee the soundness of reduction rules with respect to some bi
Externí odkaz:
https://doaj.org/article/11496908c07a41c98f72180c9ca39d5d
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 6, Iss Proc. COMPMOD 2009, Pp 77-92 (2009)
The Stochastic Calculus of Looping Sequences (SCLS) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. It has been designed with the aim of combining the simplicity of notation of rewrite
Externí odkaz:
https://doaj.org/article/02975bc7fca84964bc9ab4ed626f9cc4
Publikováno v:
Theoretical Computer Science. 431:165-180
The stochastic calculus of looping sequences is a quantitative term rewrite formalism suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. In this paper, we propose an operational s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::429eb19f98eafb99ad89e10639615399