Sciweavers

385 search results - page 63 / 77
» Modeling hairy plants
Sort
View
TASE
2008
IEEE
14 years 9 months ago
Modeling and Supervisory Control of Railway Networks Using Petri Nets
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
Alessandro Giua, Carla Seatzu
BMCBI
2008
138views more  BMCBI 2008»
14 years 9 months ago
SynechoNET: integrated protein-protein interaction database of a model cyanobacterium Synechocystis sp. PCC 6803
Background: Cyanobacteria are model organisms for studying photosynthesis, carbon and nitrogen assimilation, evolution of plant plastids, and adaptability to environmental stresse...
Woo-Yeon Kim, Sungsoo Kang, Byoung-Chul Kim, Jeehy...
BMCBI
2006
78views more  BMCBI 2006»
14 years 9 months ago
Modelling study of dimerization in mammalian defensins
Background: Defensins are antimicrobial peptides of innate immunity functioning by non-specific binding to anionic phospholipids in bacterial membranes. Their cationicity, amphipa...
Anita Suresh, Chandra Verma
DEDS
2008
87views more  DEDS 2008»
14 years 9 months ago
On-Line Monitoring of Large Petri Net Models Under Partial Observation
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
George Jiroveanu, René K. Boel, Behzad Bord...
ACSD
2006
IEEE
81views Hardware» more  ACSD 2006»
15 years 3 months ago
Monitoring and fault-diagnosis with digital clocks
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...
Karine Altisen, Franck Cassez, Stavros Tripakis