Výsledky vyhledávání - "Jean Krivine"

Akademický článek

Autor: Adrien Husson, Jean Krivine

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 306, Iss Proc. ICLP 2019, Pp 101-113 (2019)

We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory, formulas describe protein structures and dynamic changes. They can be composed in order to add or remove static and dynamic observations

Externí odkaz: https://doaj.org/article/139e679b871c45a7a0a8c140ed7c1e82

Zobrazit plný text záznamu

Akademický článek

Interactions between Causal Structures in Graph Rewriting Systems

Autor: Ioana Cristescu, Walter Fontana, Jean Krivine

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 286, Iss Proc. CREST 2018, Pp 65-78 (2019)

Graph rewrite formalisms are a powerful approach to modeling complex molecular systems. They capture the intrinsic concurrency of molecular interactions, thereby enabling a formal notion of mechanism (a partially ordered set of events) that explains

Externí odkaz: https://doaj.org/article/8f0a348948264815a6e6a43727928257

Zobrazit plný text záznamu

Akademický článek

Combinatorial complexity and compositional drift in protein interaction networks.

Autor: Eric J Deeds, Jean Krivine, Jérôme Feret, Vincent Danos, Walter Fontana

Publikováno v: PLoS ONE, Vol 7, Iss 3, p e32032 (2012)

The assembly of molecular machines and transient signaling complexes does not typically occur under circumstances in which the appropriate proteins are isolated from all others present in the cell. Rather, assembly must proceed in the context of larg

Externí odkaz: https://doaj.org/article/ab6f385a820f4bdf85928d21c63bdfbf

Zobrazit plný text záznamu

Concurrency Theorems for Non-linear Rewriting Theories

Autor: Jean Krivine, Russ Harmer, Nicolas Behr

Publikováno v: ICGT 2021-14th International Conference on Graph Transformation
ICGT 2021-14th International Conference on Graph Transformation, Jun 2021, Bergen, Norway. pp.3-21, ⟨10.1007/978-3-030-78946-6_1⟩
Graph Transformation ISBN: 9783030789459
ICGT

Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-known to permit the modeling of fusing and cloning of vertices and edges, yet to date, no construction of a suitable concurrency theorem was available. The lack of s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c3a3ed4bf1f859f06bf719bbb4e4929

Zobrazit plný text záznamu

Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics

Autor: Daniel Merkle, Jean Krivine, Nicolas Behr, Jakob L. Andersen

Publikováno v: Proceedings of the International Conference on Graph Transformation. ICGT 2020
International Conference on Graph Transformation 2020
International Conference on Graph Transformation 2020, Jun 2020, Bergen, Norway. pp.185-202, ⟨10.1007/978-3-030-51372-6_11⟩
Graph Transformation
Behr, N, Krivine, J, Andersen, J L & Merkle, D 2021, ' Rewriting theory for the life sciences : A unifying theory of CTMC semantics ', Theoretical Computer Science, vol. 884, pp. 68-115 . https://doi.org/10.1016/j.tcs.2021.07.026
Graph Transformation ISBN: 9783030513719
ICGT

The Kappa biochemistry and the M{\O}D organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date. A typical feature of these types of rewriting theories is the neces

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dcb075c9487822e079d93bea459a08bf

Zobrazit plný text záznamu

Systems biology

Autor: Jean Krivine

Publikováno v: ACM SIGLOG News. 4:43-61

The unequal race between technological and theoretical innovation in Computer Science has a mirror image in Systems Biology where the balance is even more biased toward the experimental side. The aim of Systems Biology is to produce a specification o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::537ce705a1aa0f2e6c8f8ee4f890c129
https://doi.org/10.1145/3129173.3129182

Zobrazit plný text záznamu

Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology

Autor: Georgiana Caltais, Jean Krivine

Publikováno v: Electronic Proceedings in Theoretical Computer Science. 308

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3b7287b2a576799b16fd37e6c9c33b8d
https://doi.org/10.4204/eptcs.308.0

Zobrazit plný text záznamu

A calculus of branching processes

Autor: Thomas Ehrhard, Ying Jiang, Jean Krivine

Publikováno v: Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2019, ⟨10.1016/j.tcs.2019.06.028⟩

International audience; CCS-like calculi can be viewed as an extension of classical automata with communication primitives. We are interested here to follow this principle, applied to tree-automata. It naturally yields a calculus of branching process

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5701c7722d639bc3e4606cd79379b310
https://hal.archives-ouvertes.fr/hal-02399099

Zobrazit plný text záznamu

Compositionality of Rewriting Rules with Conditions

Autor: Jean Krivine, Nicolas Behr

We extend the notion of compositional associative rewriting as recently studied in the rule algebra framework literature to the setting of rewriting rules with conditions. Our methodology is category-theoretical in nature, where the definition of rul

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d44f47ac76af8b59501d7291b63dc06d
http://arxiv.org/abs/1904.09322

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání