Automated Verification of Phenotypes using PubMed.
Ryan BridgesJette HendersonJoyce C. HoByron C. WallaceJoydeep GhoshPublished in: BCB (2016)
Keyphrases
- microarray
- automated verification
- gene ontology
- gene expression
- microarray data
- gene clusters
- model checking
- automated reasoning
- high throughput
- formal verification
- biological processes
- semantic network
- temporal logic
- biomedical literature
- graph theory
- theorem proving
- query interface
- transcriptional regulatory
- caenorhabditis elegans
- text mining
- retrieved documents
- probabilistic reasoning
- protein protein interactions
- scientific literature
- theorem prover
- distributed systems
- complex diseases
- information extraction
- knowledge discovery