How liquid is biological signalling?
Theoretical Computer Science
Abstract interpretation of cellular signalling networks
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
A critical point for random graphs with a given degree sequence
Random Structures & Algorithms
Hi-index | 0.01 |
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase transition structure of a class of bipartite cooperative assembly systems. We characterize which of these systems have a (probabilistic) equilibrium and find an explicit form for their local energy (§2). We obtain, under additional limitations on cooperativity, the average dynamics of some partial observables (§4). Combining both steps, we obtain conditions for the phase transition to a large cluster (§5).