Sciweavers

1922 search results - page 95 / 385
» Systems biology, models, and concurrency
Sort
View
JAL
2008
74views more  JAL 2008»
15 years 1 months ago
Solving satisfiability in the tile assembly model with a constant-size tileset
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
Yuriy Brun
133
Voted
TCSB
2010
15 years 2 days ago
Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...
Céline Kuttler, Cédric Lhoussaine, M...
CIBB
2009
15 years 2 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet
121
Voted
PPOPP
1990
ACM
15 years 5 months ago
Concurrent Aggregates (CA)
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
Andrew A. Chien, William J. Dally
141
Voted
CL
2010
Springer
15 years 1 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...