DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
Autor(a) principal: | |
---|---|
Data de Publicação: | 2014 |
Outros Autores: | , |
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 |