BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Luboš Brim

Luboš Brim contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Logic in Computer ScienceMolecular NetworksComputation and Languageeess.SYSystems and Control

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2022arXiv

Biochemical Space Language in Relation to Multiset Rewriting Systems

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 report, we relate BCSL to MRS by first showing how the transition system is related to a set of runs and consequently showing how for every BCSL model, an MRS can be constructed such that both represent the same set of runs. The motivation of this step is to establish BCSL in the context of a more general rewriting system and benefit from properties shown for them. Finally, we show that regulations defined for MRS can be consequently used in the BCSL model.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Robust Control of Partially Specified Boolean Networks

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 technology developed in regenerative medicine. By solving the control problem, we learn which parts of a biological system should be perturbed to stabilise the system in the desired phenotype. We allow the specification of the Boolean model representing a given RN to be incomplete. To that end, we utilise the formalism of partially specified Boolean networks which covers every possible behaviour of unspecified parts of the system. Such an approach causes a significant state explosion. This problem is addressed by using symbolic methods to represent both the unspecified model parts and all possible perturbations of the system. Additionally, to make the control design efficient and practically applicable, the optimal control should be minimal in terms of size. Moreover, in a partially specified model, a control may achieve the desired stabilisation only for a subset of the possible fully specified model instantiations. To address these aspects, we utilise several quantitative measures. Apart from the size of perturbation, we also examine its robustness -- a portion of instantiations for which the control is applicable. We show that proposed symbolic methods solving the control problem for partially specified BNs are efficient and scale well. We also evaluate the robustness metrics in cases of all three studied control types. The robustness metric tells us how big a proportion of fully defined systems the given perturbation works. Our experiments support the hypothesis that one-step perturbations may be less robust than temporary or permanent perturbations. This is a full version of a paper that is submitted to a journal.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Executable Biochemical Space for Specification and Analysis of Biochemical Systems

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 the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.

0 citations0 reviewsNo code linkedOpen access