04947nam 22007095 450 99646578000331620230406055759.010.1007/b136914(CKB)1000000000213017(SSID)ssj0000317282(PQKBManifestationID)11247723(PQKBTitleCode)TC0000317282(PQKBWorkID)10293399(PQKB)11663545(DE-He213)978-3-540-31844-6(MiAaPQ)EBC3067983(PPN)123095182(EXLCZ)99100000000021301720100409d2005 u| 0engurnn|008mamaatxtccrDNA Computing[electronic resource] 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers /edited by Claudio Ferretti, Giancarlo Mauri, Claudio Zandron1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (X, 472 p.) Theoretical Computer Science and General Issues,2512-2029 ;3384Bibliographic Level Mode of Issuance: Monograph3-540-31844-5 3-540-26174-5 Includes bibliographical references and index.Computing by Observing Bio-systems: The Case of Sticker Systems -- DNA-Based Computation Times -- Computing Beyond the Turing Limit Using the H Systems -- Biomolecular Implementation of Computing Devices with Unbounded Memory -- Characterization of Non-crosshybridizing DNA Oligonucleotides Manufactured In Vitro -- Error Free Self-assembly Using Error Prone Tiles -- On the Computational Complexity of P Automata -- A Weighted Insertion-Deletion Stacked Pair Thermodynamic Metric for DNA Codes -- DNA Extraction by XPCR -- A Method of Error Suppression for Self-assembling DNA Tiles -- Using Automated Reasoning Systems on Molecular Computing -- Parallelism in Gene Assembly -- Splicing Systems for Universal Turing Machines -- Application of Mismatch Detection Methods in DNA Computing -- Bond-Free Languages: Formalizations, Maximality and Construction Methods -- Preventing Undesirable Bonds Between DNA Codewords -- Testing Structure Freeness of Regular Sets of Biomolecular Sequences -- Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes -- Efficient Initial Pool Generation for Weighted Graph Problems Using Parallel Overlap Assembly -- Partial Words for DNA Coding -- Accepting Hybrid Networks of Evolutionary Processors -- Building the Components for a Biomolecular Computer -- Methods for Manipulating DNA Molecules in a Micrometer Scale Using Optical Techniques -- From Cells to Computers: Membrane Computing – A Quick Overview -- The Capacity of DNA for Information Encoding -- Compact Error-Resilient Computational DNA Tiling Assemblies -- Toward “Wet” Implementation of Genetic Algorithm for Protein Engineering -- Programmable Control of Nucleation for Algorithmic Self-assembly -- DNA Hybridization Catalysts and Catalyst Circuits -- Complexity of Self-assembled Shapes -- Aqueous Computing with DNA Hairpin-Based RAM -- A Programmable Molecular Computer in Microreactors -- Combinatorial Aspects of Minimal DNA Expressions -- A Design for Cellular Evolutionary Computation by Using Bacteria -- An Inexpensive LED-Based Fluorometer Used to Study a Hairpin-Based DNA Nanomachine -- Designs of Autonomous Unidirectional Walking DNA Devices -- Design of an Autonomous DNA Nanomechanical Device Capable of Universal Computation and Universal Translational Motion -- A Clocked DNA-Based Replicator -- A Bayesian Algorithm for In Vitro Molecular Evolution of Pattern Classifiers.Theoretical Computer Science and General Issues,2512-2029 ;3384Computer scienceAlgorithmsArtificial intelligenceBioinformaticsTheory of ComputationAlgorithmsArtificial IntelligenceBioinformaticsComputational and Systems BiologyComputer science.Algorithms.Artificial intelligence.Bioinformatics.Theory of Computation.Algorithms.Artificial Intelligence.Bioinformatics.Computational and Systems Biology.621.391Ferretti Claudioedthttp://id.loc.gov/vocabulary/relators/edtMauri Giancarloedthttp://id.loc.gov/vocabulary/relators/edtZandron Claudioedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on DNA-Based ComputersBOOK996465780003316DNA Computing378179UNISA02630nam 2200601 a 450 991078758290332120230803194856.00-429-20665-81-62870-782-80-415-77952-9(CKB)2670000000394919(EBL)1344837(OCoLC)856869077(SSID)ssj0000911429(PQKBManifestationID)11490355(PQKBTitleCode)TC0000911429(PQKBWorkID)11002241(PQKB)10556550(MiAaPQ)EBC2010006(MiAaPQ)EBC1344837(Au-PeEL)EBL1344837(EXLCZ)99267000000039491920130628d2014 uy 0engur|n|---|||||txtccrCuring concrete[electronic resource] /Peter C. Taylor1st ed.Boca Raton [Fla.] Taylor & Francis20141 online resource (214 p.)"A CRC title."1-322-66665-2 0-203-86613-4 Includes bibliographical references.Front Cover; Contents; List of figures; List of tables; Preface; Acknowledgments; About the author; Chapter 1 - Introduction; Chapter 2 - Cementitious materials: Chemistry and hydration; Chapter 3 - Benefits of curing on concrete performance; Chapter 4 - Curing in practice; Chapter 5 - Measurement and specifications; Chapter 6 - Real-world experience; Back CoverCuring is one of those activities that every civil engineer and construction worker has heard of, but in reality does not worry about much. In practice, curing is often low on the list of priorities on the construction site, particularly when budgets and timelines are under pressure. Yet the increasing demands being placed on concrete mixtures also mean that they are less forgiving than in the past. Therefore, any activity that will help improve hydration and so performance, while reducing the risk of cracking, is becoming more important. Curing Concrete explains exactly why curing is so imporConcreteCuringHandbooks, manuals, etcConcrete constructionHandbooks, manuals, etcConcreteCuringConcrete construction620.1/36620.136624.1834Taylor Peter C(Peter Clement)1238838MiAaPQMiAaPQMiAaPQBOOK9910787582903321Curing concrete3833663UNINA