Submitted by Edileide Reis (leyde-landy@hotmail.com) on 2015-04-15T01:48:12Z No. of bitstreams: 1 Helder Barreto Valiense.pdf: 6195492 bytes, checksum: 0c44c8301e9be92ae81a9c8a0cb6688b (MD5) / Made available in DSpace on 2015-04-15T01:48:12Z (GMT). No. of bitstreams: 1 Helder Barreto Valiense.pdf: 6195492 bytes, checksum: 0c44c8301e9be92ae81a9c8a0cb6688b (MD5) Previous issue date: 2013 / Para o tratamento e recuperação de defeitos ósseos que podem ter diferentes etiologias como traumas, infecções e malformações, uma série de estudos científicos visando à produção de materiais com características biológicas foi realizada ao longo desses anos. Diversos tipos de biomateriais são comumente utilizados na busca da regeneração óssea tanto no campo da medicina como também na odontologia, independente da sua origem - quer seja homógena, xenógena ou mesmo sintéticos. Por apresentar similiariedade e composição química próximo do tecido ósseo natural, a hidroxiapatita vem sendo largamente estudada, principalmente sua composição sintética, visto que a isenta de questões religiosas bem como risco de transmissão de doenças ou mesmo resposta imunológica. Mudanças na composição da hidroxiapatita, com o intuito de otimizar sua capacidade osteocondutora favorecendo a biodegradaçãosão motivos de estudo. O presente estudo pretende discutir as possíveis alterações catiônicas e aniônicasda hidroxiapatita, variações de temperatura, sua influência na morfologia do substrato formado e seu possível efeito modulador como biomaterial. Aqui deveria entrar a conclusão da sua revisão, como por exemplo a substituição por íons Sr, carbonato torna o material mais bioabsorvível, etc.

Dissertação (mestrado) - Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010. / Submitted by Allan Wanick Motta (allan_wanick@hotmail.com) on 2011-05-09T17:06:46Z No. of bitstreams: 1 2010_WashingtnLuisRibeirodeCarvalhoSegundo.pdf: 529113 bytes, checksum: 3c74f1ea1498ab7ee05b3f8cca2df3e5 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2011-05-11T20:45:58Z (GMT) No. of bitstreams: 1 2010_WashingtnLuisRibeirodeCarvalhoSegundo.pdf: 529113 bytes, checksum: 3c74f1ea1498ab7ee05b3f8cca2df3e5 (MD5) / Made available in DSpace on 2011-05-11T20:45:58Z (GMT). No. of bitstreams: 1 2010_WashingtnLuisRibeirodeCarvalhoSegundo.pdf: 529113 bytes, checksum: 3c74f1ea1498ab7ee05b3f8cca2df3e5 (MD5) / O cálculo גex representa uma solução importante dentro da classe de cálculos de substituições explícitas que lidam com “nomes”, em oposição aqueles que codificam suas variáveis por índices. Delia Kesner obteve, através de um conjunto de provas construtivas, demonstrações das importantes propriedades do גex. Dentre elas, destacamos a PSN, isso é, a Preservação da Normalização Forte, cuja demonstração faz uso de uma estratégia de redução perpétua, que permitiu uma caracterização indutiva do conjunto SN גex. Estendemos a especificação em Coq, já realizada para o cálculo ג, de B. Aydemir et al, e que utiliza lógica nominal para construção de princípios de indução e recursão _-estrutural. Dessa forma nossa especificação inclui a substituição explícita (s[x=t]) na gramática de termos. Avançamos definindo os sistemas de reescrita e as relações de redução do גex, e concluímos por formalizar alguns resultados para o cálculo, a saber: a FC (Composição Completa), a SIM (Simulação de um passo da β-redução) e ainda outros que caminham para a formalização da PSN. _______________________________________________________________________________ ABSTRACT / The גex-calculus represents an important solution among all the class of explicit substitutions calculi that deal with "names", as opposed to those that encode variables by indices. Delia Kesner developed the proofs, through a set of constructive ones, of important properties of the _ex calculus. Among them, we highlight the PSN property, that is, the Preservation of Strong Normalization, whose proof uses a perpetual reduction strategy which allowed an inductive characterization of the set SN גex. We extended the specifi cation already done in Coq for the -calculus by B. Aydemir et al, using nominal logic to build principles of ג -structural induction and recursion. In this way our specification includes the explicit substitution (s[x=t]) in the grammar of the terms. We go foward by de_ning the rewriting systems and the reduction relations for the ג ex and we conclude by formalizing some results for this calculus, as follows: The FC (Full Composition), SIM (Simulation of One Step of β -Reduction) and others that go in the direction of the formalization of the PSN.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-02-28Bitstream added on 2014-06-13T20:47:31Z : No. of bitstreams: 1 dutra_ag_me_sjrp.pdf: 367017 bytes, checksum: 7f6e068667f2c81f80e87e474b0e7f14 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Uma substituicão é uma aplicação de um conjunto nito A (alfabeto) ao conjunto das palavras nitas sobre A. Neste trabalho, estudaremos propriedades topológicas e métricas dos sistemas din amicos associados a substituicões. Em particular, mostraremos que, para uma classe de substituicões, o sistema dinâmico associado é minimal e ergódico. / A substitution is a map from a nite set A (alphabet) to the set of nite words whose letters belong to A. In this work, we study some topological and metrical properties of the dynamical system associated to a substitution. In particular, we prove that for a class of substitutions, the associated dynamical system is minimal and ergodic.