Avaliação de diferentes tratamentos de superfície na resistência de união de cerâmica de di-silicato de lítio

Pós-graduação em Odontologia Restauradora - ICT

Influência do tratamento de superfície e do tipo de cimento na retenção de coroas YTZP

Pós-graduação em Odontologia Restauradora - ICT

Francisco Brennand: aspectos da construção de uma obra em escultura cerâmica

Pós-graduação em Artes - IA

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

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.