A finite model theory for biological hypotheses

Proceedings - 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004

Volumn , Issue , 2004, Pages 616-620

  Racunas, Stephen ^a   Griffin, Christopher ^a   Shah, Nigam ^a  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL HYPOTHESES; FINITE MODEL THEORY; GENE REGULATION; INFLATIONARY/DEFLATIONARY PROPERTIES;

COMPUTER SIMULATION; COMPUTER SOFTWARE; GENES; GENETIC ALGORITHMS; HIERARCHICAL SYSTEMS; LOGIC DESIGN; PERTURBATION TECHNIQUES; SET THEORY; SOFTWARE PROTOTYPING; THEOREM PROVING;

BIOCHEMISTRY;

EID: 14044254817     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. R. B. Altman and S. Raychaudhuri. Whole-genome expression analysis: challenges beyond clustering. Curr Opin Struct Biol, 11(3):340-7, 2001.
2. J. Bell and M. Machover. A Course in Mathematical Logic. North-Holland, Amsterdam, 1977.
3. D. L. Cook, J. F. Farley, and S. J. Tapscott. A basis for a visual language for describing, archiving and analyzing functional models of complex biological systems. Genome Biol, 2(4), 2001.
4. H. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, New York, 1999.
5. D. Lohr, P. Venkov, and J. Zlatanova. Transcriptional regulation in the yeast gal gene family: a complex genetic network. Faseb J, 9(9):777-87, 1995.
6. M. Peleg, I. Yeh, and R. B. Altman. Modelling biological processes using workflow and petri net models. Bioinformatics, 18(6):825-37, 2002.
7. S. Racunas, N. Shah, I. Albert, and N. Fedoroff. Hybrow: A prototype system for computer-aided hypothesis evaluation. Bioinformatics, 20(suppl.1): i1-i8, 2004.
8. S. Racunas, N. Shah, and N. Fedoroff. A conceptual framework for hypthesis testing and evaluation. Proc. IEEE CSB, 2:634-638, 2003.
9. O. Wolkenhauer. Systems biology: The reincarnation of systems theory applied in biology? Briefings in Bioinformatics, 2(3):258-270, 2001.