308 search results - page 29 / 62 » Modular Verification of Interactive Systems with an Applicat... |
BMCBI
2005
13 years 7 months ago
2005
Background: Biological processes are carried out by coordinated modules of interacting molecules. As clustering methods demonstrate that genes with similar expression display incr...
BMCBI
2010
13 years 7 months ago
2010
Background: Biological knowledge is represented in scientific literature that often describes the function of genes/ proteins (bioentities) in terms of their interactions (biointe...
LION
2010
Springer
14 years 5 days ago
2010
Springer
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
ECAL
2005
Springer
14 years 28 days ago
2005
Springer
One of the greatest challenges in the modern biological and social sciences has been to understand the evolution of altruistic and cooperative behaviors. General outlines of the an...
AUTOMATICA
2000
13 years 7 months ago
2000
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...