2500 search results - page 102 / 500 » Specifying Behavior in C |
125
click to vote
JCB
2006
15 years 3 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...
108
click to vote
FMSD
2006
15 years 3 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...
115
click to vote
CPHYSICS
2008
15 years 2 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...
103
click to vote
CORR
2008
Springer
15 years 3 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
16 years 3 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...