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: | Materials research (São Carlos. Online) |
Texto Completo: | http://old.scielo.br/scielo.php?script=sci_arttext&pid=S1516-14392014000600005 |
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 |
ABMABCABPOL-1_0e8558a313bfec6d5cc80b3c961e7981 |
---|---|
oai_identifier_str |
oai:scielo:S1516-14392014000600005 |
network_acronym_str |
ABMABCABPOL-1 |
network_name_str |
Materials research (São Carlos. Online) |
repository_id_str |
|
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.ABM, ABC, ABPol2014-12-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S1516-14392014000600005Materials Research v.17 n.6 2014reponame:Materials research (São Carlos. Online)instname:Universidade Federal de São Carlos (UFSCAR)instacron:ABM ABC ABPOL10.1590/S1516-14392014005000098info:eu-repo/semantics/openAccessKumar,NirmalCruz,Nilson Cristino daRangel,Elidiane Ciprianoeng2015-02-10T00:00:00Zoai:scielo:S1516-14392014000600005Revistahttp://www.scielo.br/mrPUBhttps://old.scielo.br/oai/scielo-oai.phpdedz@power.ufscar.br1980-53731516-1439opendoar:2015-02-10T00:00Materials research (São Carlos. Online) - Universidade Federal de São Carlos (UFSCAR)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 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 |
author_facet |
Kumar,Nirmal Cruz,Nilson Cristino da Rangel,Elidiane Cipriano |
author_role |
author |
author2 |
Cruz,Nilson Cristino da Rangel,Elidiane Cipriano |
author2_role |
author author |
dc.contributor.author.fl_str_mv |
Kumar,Nirmal Cruz,Nilson Cristino da Rangel,Elidiane Cipriano |
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-12-01 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S1516-14392014000600005 |
url |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S1516-14392014000600005 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
10.1590/S1516-14392014005000098 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
text/html |
dc.publisher.none.fl_str_mv |
ABM, ABC, ABPol |
publisher.none.fl_str_mv |
ABM, ABC, ABPol |
dc.source.none.fl_str_mv |
Materials Research v.17 n.6 2014 reponame:Materials research (São Carlos. Online) instname:Universidade Federal de São Carlos (UFSCAR) instacron:ABM ABC ABPOL |
instname_str |
Universidade Federal de São Carlos (UFSCAR) |
instacron_str |
ABM ABC ABPOL |
institution |
ABM ABC ABPOL |
reponame_str |
Materials research (São Carlos. Online) |
collection |
Materials research (São Carlos. Online) |
repository.name.fl_str_mv |
Materials research (São Carlos. Online) - Universidade Federal de São Carlos (UFSCAR) |
repository.mail.fl_str_mv |
dedz@power.ufscar.br |
_version_ |
1754212665033490432 |