Molecular motors: Thermodynamics and ATP synthesis.

Published in: ROBIO (2005)

Keyphrases

automated theorem proving
theorem prover
program synthesis
drug discovery
dna computing
artificial intelligence
data sets
real world
data mining
three dimensional
multi agent
texture synthesis
high power
molecular dynamics
molecular structures