Automated Design and Verification of Localized DNA Computation Circuits.

Michael A. Boemo Andrew J. Turberfield Luca Cardelli

Published in: DNA (2015)

Keyphrases

automated design
evolutionary design
engineering design
artificial immune algorithm
dna sequences
asynchronous circuits
security protocols
model checking
real time
artificial intelligence
cooperative
search space
np hard
low cost
data management
evolutionary computation