책 이미지
책 정보
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540420767
· 쪽수 : 278쪽
· 출판일 : 2001-04-25
목차
Engineered communications for microbial robotics.- Successive state transitions with I/O interface by molecules.- Solution of a satisfiability problem on a gel-based DNA computer.- Diophantine equations and splicing: A new demonstration of the generative capability of H systems.- About time-varying distributed H systems.- String tile models for DNA computing by self-assembly.- From molecular computing to molecular programming.- Graph replacement chemistry for DNA processing.- DNA and circular splicing?.- Molecular computing with generalized homogeneous P-systems.- Computationally inspired biotechnologies: Improved DNA synthesis and associative search using Error-Correcting Codes and Vector-Quantization?.- Challenges and applications for self-assembled DNA nanostructures?.- A space-efficient randomized DNA algorithm for k-SAT.- A DNA-based random walk method for solving k-SAT.- Solving computational learning problems of Boolean formulae on DNA computers.- The fidelity of annealing-ligation: A theoretical analysis.- DNA implementation of a Royal Road fitness evaluation.- Steady flow micro-reactor module for pipelined DNA computations.














