rdf:type |
|
lifeskim:mentions |
|
pubmed:issue |
18
|
pubmed:dateCreated |
2010-9-8
|
pubmed:abstractText |
Investigating the relation between the structure and behavior of complex biological networks often involves posing the question if the hypothesized structure of a regulatory network is consistent with the observed behavior, or if a proposed structure can generate a desired behavior.
|
pubmed:language |
eng
|
pubmed:journal |
|
pubmed:citationSubset |
IM
|
pubmed:status |
MEDLINE
|
pubmed:month |
Sep
|
pubmed:issn |
1367-4811
|
pubmed:author |
|
pubmed:issnType |
Electronic
|
pubmed:day |
15
|
pubmed:volume |
26
|
pubmed:owner |
NLM
|
pubmed:authorsComplete |
Y
|
pubmed:pagination |
i603-10
|
pubmed:meshHeading |
pubmed-meshheading:20823328-Automatic Data Processing,
pubmed-meshheading:20823328-Benchmarking,
pubmed-meshheading:20823328-Computer Simulation,
pubmed-meshheading:20823328-Gene Expression Regulation, Fungal,
pubmed-meshheading:20823328-Gene Regulatory Networks,
pubmed-meshheading:20823328-Models, Genetic,
pubmed-meshheading:20823328-Software,
pubmed-meshheading:20823328-Symbolism,
pubmed-meshheading:20823328-Systems Biology,
pubmed-meshheading:20823328-Yeasts
|
pubmed:year |
2010
|
pubmed:articleTitle |
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.
|
pubmed:affiliation |
INRIA Paris-Rocquencourt, Le Chesnay, France. gregory.batt@inria.fr
|
pubmed:publicationType |
Journal Article,
Research Support, Non-U.S. Gov't
|