Zobrazeno 1 - 10
of 74
pro vyhledávání: '"Brim, Lubos"'
Regulatory networks (RNs) are a well-accepted modelling formalism in computational systems biology. The control of RNs is currently receiving a lot of attention because it provides a computational basis for cell reprogramming -- an attractive technol
Externí odkaz:
http://arxiv.org/abs/2202.13440
This technical report relates Biochemical Space Language (BCSL) to Multiset rewriting systems (MRS). For a BCSL model, the semantics are defined in terms of transition systems, while for an MRS, they are defined in terms of a set of runs. In this rep
Externí odkaz:
http://arxiv.org/abs/2201.08817
Publikováno v:
Biosystems 225, 2023, 104843
Multiset rewriting systems provide a formalism particularly suitable for the description of biological systems. We present an extension of this formalism with additional controls on the derivations as a tool for reducing possible non-deterministic be
Externí odkaz:
http://arxiv.org/abs/2111.13036
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (March 10, 2022) lmcs:8427
Edge-coloured directed graphs provide an essential structure for modelling and analysis of complex systems arising in many scientific disciplines (e.g. feature-oriented systems, gene regulatory networks, etc.). One of the fundamental problems for edg
Externí odkaz:
http://arxiv.org/abs/2108.13113
Boolean network (BN) is a simple model widely used to study complex dynamic behaviour of biological systems. Nonetheless, it might be difficult to gather enough data to precisely capture the behavior of a biological system into a set of Boolean funct
Externí odkaz:
http://arxiv.org/abs/2009.00359
We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of t
Externí odkaz:
http://arxiv.org/abs/2002.00731
Publikováno v:
In BioSystems March 2023 225
Publikováno v:
In BioSystems January 2023 223
In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional requirements can be expressed in temporal logic and we propose new sani
Externí odkaz:
http://arxiv.org/abs/1510.02669