2500 search results - page 102 / 500 » Specifying Behavior in C |
JCB
2006
14 years 9 months ago
2006
This paper presents a discrete-event approach to synthesis of transcription control for a class of (computational) gene networks. Given a set of genes and protein-gene and/or prote...
FMSD
2006
14 years 10 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
CPHYSICS
2008
14 years 9 months ago
2008
The motion of two- and three-dimensional self-propelled microscopic bodies immersed in a fluid medium is studied using molecular dynamics simulation. The advantage of the atomisti...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
ABSTRACT. A graphical realization of a linear code C consists of an assignment of the coordinates of C to the vertices of a graph, along with a specification of linear state spaces...
KDD
2002
ACM
15 years 10 months ago
2002
ACM
In recent years, the technological advances in mapping genes have made it increasingly easy to store and use a wide variety of biological data. Such data are usually in the form o...