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

Detalhes bibliográficos
Autor(a) principal: Kumar, Nirmal [UNESP]
Data de Publicação: 2014
Outros Autores: Cruz, Nilson Cristino Da [UNESP], Rangel, Elidiane Cipriano [UNESP]
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.1590/S1516-14392014005000098
http://hdl.handle.net/11449/109996
Resumo: Bio-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.
id UNSP_276ab56818b50558835adeb28135642a
oai_identifier_str oai:repositorio.unesp.br:11449/109996
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approachnano technologyHOLDNAunconventional computingchemical computerBio-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.Universidade Estadual Paulista Júlio de Mesquita Filho Laboratório de Plasmas TecnológicosUniversidade Estadual Paulista Júlio de Mesquita Filho Laboratório de Plasmas TecnológicosABM, ABC, ABPolUniversidade Estadual Paulista (Unesp)Kumar, Nirmal [UNESP]Cruz, Nilson Cristino Da [UNESP]Rangel, Elidiane Cipriano [UNESP]2014-10-01T13:08:44Z2014-10-01T13:08:44Z2014info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article0-0application/pdfhttp://dx.doi.org/10.1590/S1516-14392014005000098Materials Research. ABM, ABC, ABPol, n. ahead, p. 0-0, 2014.1516-1439http://hdl.handle.net/11449/10999610.1590/S1516-14392014005000098S1516-14392014005000098S1516-14392014005000098.pdf7157327220048138SciELOreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengMaterials Research1.1030,398info:eu-repo/semantics/openAccess2023-11-21T06:09:30Zoai:repositorio.unesp.br:11449/109996Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T18:17:37.265501Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
title DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
spellingShingle DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
Kumar, Nirmal [UNESP]
nano technology
HOL
DNA
unconventional computing
chemical computer
title_short DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
title_full DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
title_fullStr DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
title_full_unstemmed DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
title_sort DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
author Kumar, Nirmal [UNESP]
author_facet Kumar, Nirmal [UNESP]
Cruz, Nilson Cristino Da [UNESP]
Rangel, Elidiane Cipriano [UNESP]
author_role author
author2 Cruz, Nilson Cristino Da [UNESP]
Rangel, Elidiane Cipriano [UNESP]
author2_role author
author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Kumar, Nirmal [UNESP]
Cruz, Nilson Cristino Da [UNESP]
Rangel, Elidiane Cipriano [UNESP]
dc.subject.por.fl_str_mv nano technology
HOL
DNA
unconventional computing
chemical computer
topic nano technology
HOL
DNA
unconventional computing
chemical computer
description Bio-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.
publishDate 2014
dc.date.none.fl_str_mv 2014-10-01T13:08:44Z
2014-10-01T13:08:44Z
2014
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.1590/S1516-14392014005000098
Materials Research. ABM, ABC, ABPol, n. ahead, p. 0-0, 2014.
1516-1439
http://hdl.handle.net/11449/109996
10.1590/S1516-14392014005000098
S1516-14392014005000098
S1516-14392014005000098.pdf
7157327220048138
url http://dx.doi.org/10.1590/S1516-14392014005000098
http://hdl.handle.net/11449/109996
identifier_str_mv Materials Research. ABM, ABC, ABPol, n. ahead, p. 0-0, 2014.
1516-1439
10.1590/S1516-14392014005000098
S1516-14392014005000098
S1516-14392014005000098.pdf
7157327220048138
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Materials Research
1.103
0,398
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 0-0
application/pdf
dc.publisher.none.fl_str_mv ABM, ABC, ABPol
publisher.none.fl_str_mv ABM, ABC, ABPol
dc.source.none.fl_str_mv SciELO
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1808128918305112064