01015nam2 22002773i 450 BVE000034820231121125410.0287048007520151016d1979 ||||0itac50 balatbez01i xxxe z01n3S. Bonaventure, Collationes de septem donis Spiritus Sancticoncordance, indicesrealises par Jacqueline HamesseLouvainCETEDOC1979X, 296 p.28 cm.001BVE00000932001 Thesaurus Bonaventurianussous la direction de Christian Wenin3.3Hamesse, JacquelineCFIV092522070160740ITIT-0120151016IT-FR0017 Biblioteca umanistica Giorgio ApreaFR0017 NBVE0000348Biblioteca umanistica Giorgio Aprea 52MAG 3/267.3 52MAG0000169725 VMN RS A 2016090820160908 5233603190UNICAS06924nam 22008415 450 991014420760332120251116234453.01-280-30681-597866103068173-540-24628-210.1007/b95518(CKB)1000000000212304(DE-He213)978-3-540-24628-2(SSID)ssj0000140397(PQKBManifestationID)11157368(PQKBTitleCode)TC0000140397(PQKBWorkID)10052762(PQKB)11177775(MiAaPQ)EBC3088865(PPN)155165240(EXLCZ)99100000000021230420121227d2004 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierDNA Computing 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers /edited by Junghuei Chen, John Reif1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (IX, 212 p.)Lecture Notes in Computer Science,0302-9743 ;2943Bibliographic Level Mode of Issuance: Monograph3-540-20930-1 Includes bibliographical references and index.New Experimental Tools -- A Lab-on-a-Chip Module for Bead Separation in DNA-Based Concept Learning -- Parallel Translation of DNA Clusters by VCSEL Array Trapping and Temperature Control with Laser Illumination -- Chemical Switching and Molecular Logic in Fluorescent-Labeled M-DNA -- RCA-Based Detection Methods for Resolution Refutation -- Theory -- Word Design for Molecular Computing: A Survey -- Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved -- Deadlock Decidability in Partial Parallel P Systems -- Computer Simulation and Sequence Design -- Languages of DNA Based Code Words -- Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions -- Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules -- Self-Assembly and Autonomous Molecular Computation -- Self-Assembled Circuit Patterns -- One Dimensional Boundaries for DNA Tile Self-Assembly -- Proofreading Tile Sets: Error Correction for Algorithmic Self-Assembly -- Experimental Solutions -- A DNA-Based Memory with In Vitro Learning and Associative Recall -- Efficiency and Reliability of Semantic Retrieval in DNA-Based Memories -- Nearest-Neighbor Thermodynamics of DNA Sequences with Single Bulge Loop -- New Computing Models -- Mathematical Considerations in the Design of Microreactor-Based DNA Computers -- Towards a Re-programmable DNA Computer -- In Vitro Translation-Based Computations -- Autonomous Biomolecular Computer Modeled after Retroviral Replication -- Biomolecular Computing by Encoding of Regulated Phosphorylation-Dephosphorylation and Logic of Kinase-Phosphatase in Cells -- Conformational Addressing Using the Hairpin Structure of Single-Strand DNA.Biomolecular computing is an interdisciplinary ?eld that draws together mol- ular biology, DNA nanotechnology, chemistry, physics, computer science and mathematics. Theannualinternationalmeeting onDNA-based computationhas been an exciting forum where scientists of di?erent backgrounds who share a common interest in biomolecular computing can meet and discuss their latest results. The central goal of this conference is to bring together experimentalists and theoreticians whose insights can calibrate each others’ approaches. The 9th Annual International Meeting on DNA Based Computers was held during June 1–4, 2003 in the University of Wisconsin, Madison, USA. The meeting had 106 registered participants from 12 countries around the world. On the ?rst day of the meeting, we had three tutorials: the ?rst was on self-assembly of DNA nano structures which focused on the basic techniques of using designed DNA nano molecules to be self-assembled onto larger structures for computational purposes. This tutorial was given by Hao Yan of Duke U- versity. The second tutorial was given by Chengde Mao of Purdue University in which Dr. Mao presented basic DNA biochemistry that was designed for non experimentalists. The third tutorial was given by Max Garzon of the Univ- sity of Memphis. Dr. Garzon gave a lecture on computational complexity which was tailored for non-computer scientists. The next three days were for invited plenary lectures, and regular oral and poster presentations. Invited plenary l- turesweregivenbyHelenBermanofRutgersUniversity(USA),GiancarloMauri of the University of Milan (Italy), Guenter von Kiedrowski of Ruhr University (Germany), and Sorin Istrail of Celera/Applied Biosystems. Theorganizerssoughtto attractthemostsigni?cantrecentresearchwith the highestimpactonthedevelopmentofthediscipline.Lecture Notes in Computer Science,0302-9743 ;2943Logic, Symbolic and mathematicalComputersChemistry, Physical and theoreticalAlgorithmsArtificial intelligenceBioinformaticsMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Theoretical and Computational Chemistryhttps://scigraph.springernature.com/ontologies/product-market-codes/C25007Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Bioinformaticshttps://scigraph.springernature.com/ontologies/product-market-codes/L15001Logic, Symbolic and mathematical.Computers.Chemistry, Physical and theoretical.Algorithms.Artificial intelligence.Bioinformatics.Mathematical Logic and Foundations.Computation by Abstract Devices.Theoretical and Computational Chemistry.Algorithm Analysis and Problem Complexity.Artificial Intelligence.Bioinformatics.621.39/1Chen Junghueiedthttp://id.loc.gov/vocabulary/relators/edtReif Johnedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on DNA-Based Computers.MiAaPQMiAaPQMiAaPQBOOK9910144207603321DNA Computing378179UNINA