책 이미지

책 정보
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540005315
· 쪽수 : 344쪽
· 출판일 : 2003-02-05
목차
Self-assembly and Autonomous Molecular Computation.- Self-assembling DNA Graphs.- DNA Nanotubes: Construction and Characterization of Filaments Composed of TX-tile Lattice.- The Design of Autonomous DNA Nanomechanical Devices: Walking and Rolling DNA.- Cascading Whiplash PCR with a Nicking Enzyme.- Molecular Evolution and Application to Biotechnology.- A PNA-mediated Whiplash PCR-based Program for In Vitro Protein Evolution.- Engineering Signal Processing in Cells: Towards Molecular Concentration Band Detection.- Applications to Mathematical Problems.- Temperature Gradient-Based DNA Computing for Graph Problems with Weighted Edges.- Shortening the Computational Time of the Fluorescent DNA Computing.- How Efficiently Can Room at the Bottom Be Traded Away for Speed at the Top?.- Hierarchical DNA Memory Based on Nested PCR.- Binary Arithmetic for DNA Computers.- Implementation of a Random Walk Method for Solving 3-SAT on Circular DNA Molecules.- Version Space Learning with DNA Molecules.- DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic.- Universal Biochip Readout of Directed Hamiltonian Path Problems.- Nucleic Acid Sequence Design.- Algorithms for Testing That Sets of DNA Words Concatenate without Secondary Structure.- A PCR-based Protocol for In Vitro Selection of Non-crosshybridizing Oligonucleotides.- On Template Method for DNA Sequence Design.- From RNA Secondary Structure to Coding Theory: A Combinatorial Approach.- Stochastic Local Search Algorithms for DNA Word Design.- NACST/Seq: A Sequence Design System with Multiobjective Optimization.- A Software Tool for Generating Non-crosshybridizing Libraries of DNA Oligonucleotides.- Theory.- Splicing Systems: Regularity and Below.- On the Computational Power of Insertion-Deletion Systems.- Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport.- Conformons-P Systems.- Parallel Rewriting P Systems with Deadlock.- A DNA-based Computational Model Using a Specific Type of Restriction Enzyme.- Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations.