Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Paola Quaglia"'
Autor:
Anna Paola Quaglia
Publikováno v:
RIVISTA GEOGRAFICA ITALIANA. :117-138
italianoIl presente contributo propone un'analisi della politica affettiva di uno spazio collaborativo milanese che realizza, materialmente, il contemporaneo discorso dell'innovazione. In particolare, si mostrera come la disposizione affettiva di ser
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::039ffcfa07e4369403f9fd6c0570163d
https://doi.org/10.3280/rgi2019-004007
https://doi.org/10.3280/rgi2019-004007
Autor:
Igor Cappello, Paola Quaglia
Publikováno v:
Electronic Notes in Theoretical Computer Science. 229:109-125
A translation of Beta-binders in [email protected] is presented. Beta-binders is a bio-inspired formalism that allows the modelling of processes wrapped into boundaries. No notion of enclosing compartment can instead be found in [email protected], a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b8a5077d0dec8bb01520b00fb1fa820
https://doi.org/10.1016/j.entcs.2009.02.008
https://doi.org/10.1016/j.entcs.2009.02.008
Publikováno v:
The Journal of Logic and Algebraic Programming. 75:167-181
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-lock communication mechanism typically adopted by process calculi is parti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a30f21c0d237faa283e89601556e037
https://doi.org/10.1016/j.jlap.2007.09.001
https://doi.org/10.1016/j.jlap.2007.09.001
Publikováno v:
IEEE/ACM Transactions on Computational Biology and Bioinformatics. 5:80-90
A translation of systems biology markup language (SBML) into a process algebra is proposed in order to allow the formal specification, the simulation, and the formal analysis of biological models. Beta-binders, a language with a quantitative stochast
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6553847d3d39b5483c759eb3864cea1c
https://doi.org/10.1109/tcbb.2007.70219
https://doi.org/10.1109/tcbb.2007.70219
Publikováno v:
Electronic Notes in Theoretical Computer Science. 164(3):101-117
The similarities between biological systems and distributed and mobile systems suggest that the theory of process calculi could be a useful starting point for understanding, if not predicting, the behaviour of complex biological systems. To formally
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba427421e76d913b0728b4bb9e12aef3
Publikováno v:
Scopus-Elsevier
The post-genomic era has opened new insights into the complex biochemical reaction systems present in the cell and has generated huge amount of information. The biological systems are highly complex and can overwhelm the numerically computable models
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff5d034ac43b2b1e759143f9dd6dec9d
https://doi.org/10.1089/omi.2004.8.370
https://doi.org/10.1089/omi.2004.8.370
Autor:
Barbara Rossi, Gabriela Constantin, Corrado Priami, Paola Lecca, Paola Quaglia, Carlo Laudanna
Publikováno v:
SIMULATION. 80:273-288
This article presents a stochastic model of lymphocyte recruitment in inflamed brain microvessels. Recent studies about the inflammatory process of the brain that leads to multiple sclerosis have revealed that lymphocyte extravasation is a sequence o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2037620bd2157e1a5ee7e8736fcdbff8
https://doi.org/10.1177/0037549704045800
https://doi.org/10.1177/0037549704045800
Autor:
Paola Quaglia
Publikováno v:
Theoretical Computer Science. 269(1-2):83-134
This paper focusses on explicit substitutions in the π-calculus. The investigation is carried on in the πξ-calculus, a process calculus with explicit constructors to handle name substitutions. The πξ-calculus has already been shown to capture π
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b69ce7f40f921ff2cbcaa59b261acdc2
Autor:
Igor Cappello, Paola Quaglia
Publikováno v:
SAC
The relative expressive power of global priorities against the local priorities induced by a best-matching communication paradigm is investigated. Two specific languages are taken as referential cases: FAP and COWS. FAP is a finite fragment of asynch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::978cae568f8e5ee2ed75b3216c9e4183
https://doi.org/10.1145/2245276.2232022
https://doi.org/10.1145/2245276.2232022
Publikováno v:
SAC
The main design features of a language for the management of the dynamic reconfiguration of graphs are described. The language is domain-specific to model the behaviour of biological systems.Nodes of graphs are biochemical components, and undirected
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb997091e8bde3c636f0a81d4afab150
https://doi.org/10.1145/2245276.2232089
https://doi.org/10.1145/2245276.2232089