16 search results - page 1 / 4 » Symbolic Approaches for Finding Control Strategies in Boolea... |
APBC
2008
13 years 6 months ago
2008
APBC
2006
13 years 6 months ago
2006
CAV
2006
Springer
13 years 8 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
13 years 5 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
13 years 4 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...