Abstract | ||
---|---|---|
We have developed a mathematical framework for representingand testing hypotheses about gene, protein, andsignaling molecule interactions. It takes a hierarchical,contradiction-based approach, and can make use of multipledata sources to assess hypothesis viability and to generatea viability partial order over the space of hypotheses.We have developed an event-based formal languagefor the expression of such hypotheses. This language seamlesslyintegrates regulatory diagrams (graphical inputs) andstructured English (text input) to maximize flexibility. Wehave developed a pre-topological formalism that allows usto make precise statements about hypothesis similarity andthe convergence of iterative refinements of a base hypothesis.To this, we add mathematical machinery that allows usto make precise statements about control and regulation. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/CSB.2003.1227430 | CSB |
Keywords | Field | DocType |
representingand testing hypothesis,base hypothesis,hypothesis similarity andthe convergence,andsignaling molecule interaction,andstructured english,precise statement,testing gene regulation hypotheses,viability partial order,hypothesis viability,mathematical machinery,mathematical framework,contradiction-based framework,partial order,genetics,formal languages,proteins,molecular biophysics,gene regulation,iterative methods | Convergence (routing),Computer science,Structured English,Theoretical computer science,Artificial intelligence,Contradiction,Multiple data,Formal language,Iterative method,Regulation of gene expression,Bioinformatics,Formalism (philosophy),Machine learning | Conference |
ISBN | Citations | PageRank |
0-7695-2000-6 | 3 | 0.55 |
References | Authors | |
5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Steve Racunas | 1 | 5 | 0.97 |
Nigam Shah | 2 | 212 | 20.11 |
N.V. Fedoroff | 3 | 53 | 4.63 |