DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

dc.contributor.authorKumar, Nirmal [UNESP]
dc.contributor.authorCruz, Nilson Cristino Da [UNESP]
dc.contributor.authorRangel, Elidiane Cipriano [UNESP]
dc.contributor.institutionUniversidade Estadual Paulista (Unesp)
dc.date.accessioned2014-10-01T13:08:44Z
dc.date.available2014-10-01T13:08:44Z
dc.date.issued2014
dc.description.abstractBio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.en
dc.description.affiliationUniversidade Estadual Paulista Júlio de Mesquita Filho Laboratório de Plasmas Tecnológicos
dc.description.affiliationUnespUniversidade Estadual Paulista Júlio de Mesquita Filho Laboratório de Plasmas Tecnológicos
dc.format.extent0-0
dc.identifierhttp://dx.doi.org/10.1590/S1516-14392014005000098
dc.identifier.citationMaterials Research. ABM, ABC, ABPol, n. ahead, p. 0-0, 2014.
dc.identifier.doi10.1590/S1516-14392014005000098
dc.identifier.fileS1516-14392014005000098.pdf
dc.identifier.issn1516-1439
dc.identifier.lattes7157327220048138
dc.identifier.scieloS1516-14392014005000098
dc.identifier.urihttp://hdl.handle.net/11449/109996
dc.language.isoeng
dc.publisherABM, ABC, ABPol
dc.relation.ispartofMaterials Research
dc.relation.ispartofjcr1.103
dc.relation.ispartofsjr0,398
dc.rights.accessRightsAcesso aberto
dc.sourceSciELO
dc.subjectnano technologyen
dc.subjectHOLen
dc.subjectDNAen
dc.subjectunconventional computingen
dc.subjectchemical computeren
dc.titleDNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approachen
dc.typeArtigo
unesp.author.lattes7157327220048138
unesp.author.lattes6885205382275380
unesp.campusUniversidade Estadual Paulista (Unesp), Instituto de Ciência e Tecnologia, Sorocabapt

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
S1516-14392014005000098.pdf
Tamanho:
473.67 KB
Formato:
Adobe Portable Document Format