LEADER 01592nam0 2200349 i 450 001 SUN0127377 005 20200313104356.488 010 $d0.00 017 70$2N$a978-981-13-4077-2 100 $a20200309d2019 |0engc50 ba 101 $aeng 102 $aSG 105 $a|||| ||||| 200 1 $a*SOC Functions and Their Applications$fJein-Shan Chen 205 $aSingapore : Springer, 2019 210 $ax$d206 p.$cill. ; 24 cm 215 $aPubblicazione in formato elettronico 410 1$1001SUN0067197$12001 $a*Springer optimization and its applications$v143$1210 $aBerlin$cSpringer$d2006-. 606 $a26B25$xConvexity of real functions of several variables, generalizations [MSC 2020]$2MF$3SUNC022447 606 $a15A42$xInequalities involving eigenvalues and eigenvectors [MSC 2020]$2MF$3SUNC023147 606 $a90C30$xNonlinear programming [MSC 2020]$2MF$3SUNC023183 606 $a65K05$xNumerical mathematical programming methods [MSC 2020]$2MF$3SUNC028868 606 $a26D07$xInequalities involving other types of functions [MSC 2020]$2MF$3SUNC033706 620 $aSG$dSingapore$3SUNL000061 700 1$aChen$b, Jein-Shan$3SUNV098832$0782106 712 $aSpringer$3SUNV000178$4650 801 $aIT$bSOL$c20210503$gRICA 856 4 $uhttp://doi.org/10.1007/978-981-13-4077-2 912 $aSUN0127377 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 1863 $e08eMF1863 20200309 996 $aSOC Functions and Their Applications$91734556 997 $aUNICAMPANIA LEADER 04644nam 22006495 450 001 996466048603316 005 20200706121911.0 010 $a1-280-30666-1 010 $a9786610306664 010 $a3-540-24635-5 024 7 $a10.1007/b94864 035 $a(CKB)1000000000016821 035 $a(SSID)ssj0000106539 035 $a(PQKBManifestationID)11138468 035 $a(PQKBTitleCode)TC0000106539 035 $a(PQKBWorkID)10108944 035 $a(PQKB)10502548 035 $a(DE-He213)978-3-540-24635-0 035 $a(MiAaPQ)EBC3087225 035 $a(PPN)155181424 035 $a(EXLCZ)991000000000016821 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAspects of Molecular Computing$b[electronic resource] $eEssays Dedicated to Tom Head on the Occasion of His 70th Birthday /$fedited by Natasha Jonoska, Gheorghe P?un, Grzegorz Rozenberg 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XII, 396 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2950 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20781-3 320 $aIncludes bibliographical references and index. 327 $aSolving Graph Problems by P Systems with Restricted Elementary Active Membranes -- Writing Information into DNA -- Balance Machines: Computing = Balancing -- Eilenberg P Systems with Symbol-Objects -- Molecular Tiling and DNA Self-assembly -- On Some Classes of Splicing Languages -- The Power of Networks of Watson-Crick D0L Systems -- Fixed Point Approach to Commutation of Languages -- Remarks on Relativisations and DNA Encodings -- Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems -- Digital Information Encoding on DNA -- DNA-based Cryptography -- Splicing to the Limit -- Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs -- n-Insertion on Languages -- Transducers with Programmable Input by DNA Self-assembly -- Methods for Constructing Coded DNA Languages -- On the Universality of P Systems with Minimal Symport/Antiport Rules -- An Algorithm for Testing Structure Freeness of Biomolecular Sequences -- On Languages of Cyclic Words -- A DNA Algorithm for the Hamiltonian Path Problem Using Microfluidic Systems -- Formal Languages Arising from Gene Repeated Duplication -- A Proof of Regularity for Finite Splicing -- The Duality of Patterning in Molecular Genetics -- Membrane Computing: Some Non-standard Ideas -- The P Versus NP Problem Through Cellular Computing with Membranes -- Realizing Switching Functions Using Peptide-Antibody Interactions -- Plasmids to Solve #3SAT -- Communicating Distributed H Systems with Alternating Filters. 330 $aMolecular computing is a rapidly growing subarea of natural computing. On the one hand, molecular computing is concerned with the use of bio-molecules for the purpose of actual computations while, on the other hand, it attempts to understand the computational nature of molecular processes going on in living cells. The book presents a unique and authorative state-of-the-art survey on current research in molecular computing: 30 papers by leading researchers in the area are drawn together on the occasion of the 70th birthday of Tom Head, a pioneer in molecular computing. Among the topics addressed are molecular tiling, DNA self-assembly, splicing systems, DNA-based cryptography, DNA word design, gene assembly, and membrane computing. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2950 606 $aMathematical logic 606 $aComputer science 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 615 0$aMathematical logic. 615 0$aComputer science. 615 14$aMathematical Logic and Foundations. 615 24$aComputer Science, general. 676 $a511.3 702 $aJonoska$b Natasha$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aP?un$b Gheorghe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466048603316 996 $aAspects of molecular computing$9739148 997 $aUNISA