Results 121 to 130 of about 37,366 (242)

Modular Verification of Interactive Systems with an Application to Biology [PDF]

open access: yesScientific Annals of Computer Science, 2011
We propose sync-programs, an automata-based formalism for the description of biological systems, and a modular verification technique for such a formalism that allows properties expressed in the universal fragment of CTL to be verified on suitably chosen
P. Drabik   +2 more
doaj  

Tuning transcriptional regulation through signaling: A predictive theory of allosteric induction

open access: yes, 2017
Allosteric regulation is found across all domains of life, yet we still lack simple, predictive theories that directly link the experimentally tunable parameters of a system to its input-output response.
Barnes, Stephanie L.   +6 more
core  

Home - About - Disclaimer - Privacy