7681 search results - page 17 / 1537 » Typed Membrane Systems |
FUIN
2008
13 years 7 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
FAC
2008
13 years 7 months ago
2008
Abstract. Bisimulations are well
ISPDC
2005
IEEE
14 years 29 days ago
2005
IEEE
Distributed or parallel rule-based systems are currently needed for real applications. The proposed architecture of such a system is based on a wrapper allowing the cooperation bet...
BMCBI
2005
13 years 7 months ago
2005
ent> <title><p>BioSysBio: Bioinformatics and Systems Biology Conference</p></title> <note>Meeting abstracts
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
To better understand the central nervous system, neurobiologists need to reconstruct the underlying neural circuitry from electron microscopy images. One of the necessary tasks is...