Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles.
René VestergaardEmmanuel PietrigaPublished in: CoRR (2018)
Keyphrases
- molecular biology
- mathematical proofs
- computational biology
- biological data
- biological databases
- protein structure
- microarray
- reasoning processes
- biological sequences
- nucleotide sequences
- biological processes
- systems biology
- cell cycle
- database
- theorem proving
- theorem prover
- dna microarray
- protein sequences
- real time
- low cost
- information extraction
- knowledge representation
- metadata
- knowledge base
- machine learning
- phylogenetic analysis