Zobrazeno 1 - 10
of 2 433
pro vyhledávání: '"Brim, Lubo'
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
Autor:
Luboš Brim
Publikováno v:
Časopis pro Právní Vědu a Praxi, Vol 32, Iss 1 (2024)
Jednou z hlavních povinností společníků kapitálových obchodních společností je povinnost poskytnout vklad do základního kapitálu společnosti. Této povinnosti odpovídá právo společnosti na splacení vkladu. Jelikož je právo na spl
Externí odkaz:
https://doaj.org/article/8d076ba583344f47bd1a846498cb4bc4
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