16 search results - page 1 / 4 » Symbolic Approaches for Finding Control Strategies in Boolea... |
57
Voted
APBC
2008
14 years 11 months ago
2008
APBC
2006
14 years 11 months ago
2006
73
Voted
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
BIOINFORMATICS
2006
14 years 9 months ago
2006
Motivation: Intervention in a gene regulatory network is used to avoid undesirable states, such as those associated with a disease. Several types of intervention have been studied...
BIOINFORMATICS
2005
14 years 9 months ago
2005
Motivation: Intervention in a gene regulatory network is used to help it avoid undesirable states, such as those associated with a disease. Several types of intervention have been...