OPAC

検索結果一覧に戻る

DNA Computing : 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. / edited by Alessandra Carbone, Niles A. Pierce
(Theoretical Computer Science and General Issues. ISSN:25122029 ; 3892)

データ種別	電子ブック
版	1st ed. 2006.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	2006
大きさ	XII, 444 p : online resource
著者標目	Carbone, Alessandra editor Pierce, Niles A editor SpringerLink (Online service)

所蔵情報を非表示

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0003674	Computer Scinece R0 2005-6,2022-3				9783540341659

書誌詳細を非表示

一般注記	Self-correcting Self-assembly: Growth Models and the Hammersley Process -- Recognizing DNA Splicing -- On Computational Properties of Template-Guided DNA Recombination -- Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks -- DNA Recombination by XPCR -- An Algorithm for SAT Without an Extraction Phase -- Sensitivity and Capacity of Microarray Encodings -- Simple Operations for Gene Assembly -- Counting Time in Computing with Cells -- On Bounded Symport/Antiport P Systems -- Expectation and Variance of Self-assembled Graph Structures -- Hairpin Structures in DNA Words -- Efficient Algorithm for Testing Structure Freeness of Finite Set of Biomolecular Sequences -- Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication -- Intensive In Vitro Experiments of Implementing and Executing Finite Automata in Test Tube -- Development of an In Vivo Computer Based on Escherichia coli -- Control of DNA Molecules on a Microscopic Bead Using Optical Techniques for Photonic DNA Memory -- Linearizer and Doubler : Two Mappings to Unify Molecular Computing Models Based on DNA Complementarity -- Analysis and Simulation of Dynamics in Probabilistic P Systems -- Experimental Validation of DNA Sequences for DNA Computing: Use of a SYBR Green I Assay -- Complexity of Graph Self-assembly in Accretive Systems and Self-destructible Systems -- Designing Nucleotide Sequences for Computation: A Survey of Constraints -- A Self-assembly Model of Time-Dependent Glue Strength -- Complexity of Compact Proofreading for Self-assembled Patterns -- A Microfluidic Device for DNA Tile Self-assembly -- Photo- and Thermoregulation of DNA Nanomachines -- Chain Reaction Systems Based on Loop Dissociation of DNA -- A Local Search Based Barrier Height Estimation Algorithm for DNA Molecular Transitions -- Specificity of Hybridization Between DNA Sequences Based on Free Energy -- A Poor Man’s Microfluidic DNA Computer -- Two Proteins for the Price of One: The Design of Maximally Compressed Coding Sequences -- Design of Autonomous DNA Cellular Automata -- Use of DNA Nanodevices in Modulating the Mechanical Properties of Polyacrylamide Gels -- Molecular Learning of wDNF Formulae HTTP:URL=https://doi.org/10.1007/11753681
件　名	LCSH:Computer science LCSH:Algorithms LCSH:Artificial intelligence LCSH:Bioinformatics FREE:Theory of Computation FREE:Algorithms FREE:Artificial Intelligence FREE:Bioinformatics FREE:Computational and Systems Biology
分　類	LCC:QA75.5-76.95 DC23:004.0151
書誌ID	EB00003062
ISBN	9783540341659