No estudo da complexidade de problemas computacionais destacam-se duas classes conhecidas como P e NP. A questao P=NP e um dos maiores problemas nao resolvidos em Ciencia da Compu- tacao teorica e Matematica contemporanea. O problema SAT foi o primeiro problema reconhecido como NP-completo e consiste em verificar se uma determinada formula da logica proposicional clas- sica e ou nao satisfazivel. As implementacoes de algoritmos para resolver problemas SAT sao conhe- cidas como resolvedores SAT (SAT Solvers). Existem diversas aplicacoes em Ciencia da Computacao que podem ser realizadas com SAT Solvers e com outros resolvedores de problemas NP-completos que podem ser reduzidos ao SAT como por exemplo problemas de coloracao de grafos, problemas de agendamento e problemas de planejamento. Dentre os mais eficientes algoritmos para resolvedores de SAT estao Sato, Grasp, Chaff, MiniSat e Berkmin. O Algoritmo Chaff e baseado no Algoritmo DPLL o qual existe a mais de 40 anos e e a estrategia mais utilizada para os Sat Solvers. Essa dissertacao apresenta um estudo aprofundado do comportamento do zChaff (uma implementacao muito eficiente do Chaff) para saber o que esperar de suas execucoes em geral . / In the study of computational complexity stand out two classes known as P and NP. The question P = NP is one of the greatest unsolved problems in theoretical computer science and contemporary mathematics. The SAT problem was first problem recognized as NP-complete and consists to check whether a certain formula of classical propositional logic is satisfiable or not. The implementations of algorithms to solve SAT problems are known as SAT solvers. There are several applications in computer science that can be performed with SAT solvers and other solvers NP- complete problems can be reduced to SAT problems such as graph coloring, scheduling problems and planning problems. Among the most efficient algorithms for SAT solvers are Sato, Grasp, Chaf, MiniSat and Berkmin. The Chaff algorithm is based on the DPLL algorithm which there is more than 40 years and is the most used strategy for Sat Solvers. This dissertation presents a detailed study of the behavior of zChaff (a very efficient implementation of the Chaff) to know what to expect from their performance in general.

A presente tese compreende 2 capítulos, dedicados à investigação de complexo de espécie e polimorfismo em Aedes scapularis. No Capítulo 1 foi desenvolvido um resumo técnico dos procedimentos utilizados na análise e montagem dos genes do DNA mitocondrial de 19 indivíduos da espécie Aedes scapularis e de como foi realizada a filtragem do DNA de alguns mosquitos em relação ao DNA amplificado do animal picado. No Capítulo 2 realizamos as análises de complexo de espécies e polimorfismo molecular em Aedes scapularis, com espécimes da Mata Atlântica, Caatinga e Mata Amazônica utilizando os marcadores: Morfometria Geométrica, gene Citocromo Oxidase Subunidade I e análise do DNA mitocondrial completo. Encontramos alto polimorfismo evidenciados por todos os marcadores populacionais nos mosquitos dos diferentes biomas estudados e alta estruturação populacional na análise filogenética dos genes mitocondriais codificadores de proteínas. Obtivemos duas conclusões majoritárias em nosso trabalho: 1) a espécie Aedes scapularis é genética e morfologicamente polimórfica em todos os ambientes estudados 2) Não encontramos evidência de complexo de espécies neste mosquito e então acreditamos que este mosquito trate-se de uma única entidade taxonômica. / The present thesis comprises 2 chapters, dedicated to the investigation of species complex and polymorphism in Aedes scapularis. In Chapter 1 a technical summary of procedures used in the analysis and assembly of mitochondrial DNA genes of 19 individuals of the species Aedes scapularis and how the \"filtering\" of the DNA of some mosquitoes was performed in relation to the amplified DNA of the animal bitten. In Chapter 2 we performed the analyzes of species complex and molecular polymorphism in Aedes scapularis, with Atlantic Forest, Caatinga (Xerophytic sparse tropical scrub) and Amazon Forest specimens using the markers: geometric morphometrics, Cytochrome Oxidase Subunit I gene Whole mitochondrial DNA analysis. We found high polymorphism evidenced for every markers in the mosquitoes of different biomes studied and high population structure in the phylogenetic analysis of the protein-coding mitochondrial genes. We obtained two principal conclusions in our work: 1) the species Aedes scapularis is genetic and morphologically polymorphic in all studied environments 2) We did not find evidence of species complex in this mosquito and therefore we believe that this mosquito is a single taxonomic entity.

Submitted by PPG Biologia Celular e Molecular (bcm@pucrs.br) on 2018-03-05T13:21:28Z No. of bitstreams: 1 BRUNO_LOPES_ABBADI_TES.pdf: 4934736 bytes, checksum: 58e4c3c86d9fb96bb1476ae3c18bfdf0 (MD5) / Approved for entry into archive by Caroline Xavier (caroline.xavier@pucrs.br) on 2018-03-06T16:15:19Z (GMT) No. of bitstreams: 1 BRUNO_LOPES_ABBADI_TES.pdf: 4934736 bytes, checksum: 58e4c3c86d9fb96bb1476ae3c18bfdf0 (MD5) / Made available in DSpace on 2018-03-06T16:21:42Z (GMT). No. of bitstreams: 1 BRUNO_LOPES_ABBADI_TES.pdf: 4934736 bytes, checksum: 58e4c3c86d9fb96bb1476ae3c18bfdf0 (MD5) Previous issue date: 2018-01-19 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Epidemiologic data regarding tuberculosis (TB) show that there is still a high burden of this disease worldwide. In addition, the emergence of drug-resistant strains imposes a new threat in preventing TB spread. Therefore, it is pivotal to continuously find new candidates for drug development. In the Chapter 2 of this thesis, the compound IQG-607 is presented, which is a metal complex that has been reported as a promising anti-TB molecule against isoniazid (INH)-resistant strains of M. tuberculosis. Previous studies suggested that the compound inhibits both the wild-type NADH-dependent trans-2-enoyl-[ACP] reductase (InhA) enzyme and some of its structural mutants in the absence of NAD+ or NADH and without requiring KatG enzyme. IQG-607 has also shown a favorable toxicological profile in vivo, with a considerable lesser toxicity compared to INH. However, there is still a gap regarding the activity of IQG-607 against strains carrying mutations in the katG gene, which are the most common genetic alterations in clinical isolates resistant to INH. Therefore, this study focused in elucidating the mechanism of resistance (MOR) of the Mycobacterium tuberculosis, the main causative agent of TB, to compound IQG-607. First the minimum inhibitory concentration (MIC) of IQG-607 was established against eight multi-drug resistant (MDR) clinical isolates, which were resistant to our compound. Then spontaneous mutants were selected using high concentrations of compound in 7H10 agar medium, and their whole genomes were sequenced; the results revealed alterations in the katG gene. A laboratory strain carrying the mutant katG(S315T) gene was developed to assess the effect of this single mutation in the compound activity both by MIC determination and by a macrophage infection model. Results showed that this mutation was indeed sufficient to confer resistance to IQG-607. Finally, the resistance observed for a strain expressing a mutant InhA(S94A) protein suggested that IQG-607 has this enzyme as its molecular target. In the Chapter 3, two new compounds, called Labio-16 and Labio-17, are presented, which were previously selected to interact and inhibit the InhA enzyme and that had already shown to be active against M. tuberculosis H37Rv strain. A set of experiments were conducted to elucidate their mechanism of action (MOA) and to understand the MOR of the M. tuberculosis against them, similar to those carried for studying IQG-607. So far, results suggested that the InhA is not the molecular target of these compounds. Other experiments are undergoing in our laboratory to evaluate in a murine model of TB infection their potential as anti-TB drug candidates. / Os dados epidemiol?gicos relacionados ? tuberculose (TB) indicam que ainda existe uma carga elevada desta doen?a no mundo todo. Al?m disso, o surgimento de cepas resistentes aos f?rmacos imp?e uma nova amea?a na preven??o da propaga??o da TB. Portanto, ? fundamental buscar continuamente novos candidatos para o desenvolvimento de medicamentos. No Cap?tulo 2 desta tese ? apresentado o composto IQG-607, que ? um complexo met?lico que tem sido reportado como uma mol?cula anti-TB promissora contra cepas de M. tuberculosis resistentes ? isoniazida (INH). Estudos pr?vios sugeriram que o composto inibe a enzima selvagem trans-2-enoil-[ACP] redutase dependente de NADH (InhA) e algumas das suas mutantes estruturais, na aus?ncia de NAD+ ou NADH e sem necessitar da enzima KatG. O IQG-607 tamb?m mostrou um perfil toxicol?gico favor?vel in vivo, com uma menor toxicidade em compara??o ? INH. No entanto, ainda existe uma lacuna em rela??o ? atividade do IQG-607 contra cepas que carregam muta??es no gene katG, as quais s?o as altera??es gen?ticas mais comuns em isolados cl?nicos resistentes ? INH. Sendo assim, este estudo focou em elucidar o mecanismo de resist?ncia (MOR) do Mycobacterium tuberculosis, o principal agente causador da TB, ao composto IQG-607. Primeiramente, a concentra??o inibit?ria m?nima (MIC) do IQG-607 foi estabelecida contra oito isolados cl?nicos multirresistentes a f?rmacos (MDR), os quais foram resistentes ao nosso composto. Ent?o, mutantes espont?neos foram selecionados, usando-se altas concentra??es do composto em meio ?gar 7H10, e seus genomas completos foram sequenciados; os resultados revelaram altera??es no gene katG. Uma cepa laboratorial, carregando o gene katG(S315T) mutante, foi desenvolvida para acessar o efeito desta ?nica muta??o na atividade do composto, atrav?s da determina??o de MIC e por meio de um modelo de infec??o de macr?fagos. Os resultados mostraram que essa muta??o de fato foi suficiente para conferir resist?ncia ao IQG-607. Finalmente, a resist?ncia observada para a cepa que expressa a prote?na InhA(S94A) mutante sugeriu que o IQG-607 tem esta enzima como seu alvo molecular. No Cap?tulo 3, dois novos compostos, denominados Labio-16 e Labio-17, s?o apresentados, os quais foram previamente selecionados para interagir e inibir a enzima InhA, e que j? tinham mostrado ser ativos contra a cepa H37Rv de M. tuberculosis. Um conjunto de experimentos foi conduzido para elucidar os seus mecanismos de a??o (MOA) e para compreender o MOR do M. tuberculosis contra eles, similar ?quele usado para estudar o IQG-607. At? o momento, os resultados sugerem que a InhA n?o ? o alvo molecular desses compostos. Outros experimentos est?o em andamento em nosso laborat?rio, para avaliar em um modelo murino da infec??o da TB os seus potenciais como candidatos a f?rmacos anti-TB.

Autism spectrum disorder (ASD) is a neurodevelopment disorder characterized by impairment in communication skills, behavior and social interactions that affects around 1-2% worldwide. To date the etiology of ASD has not yet been fully understood, but in the last 18 years many advances have been made to understand the genetic component related to the development of the clinical phenotype. With the advent of genomic scan analysis such as chromosome analysis by microarray and whole exome sequencing (WHE) many advances have been made to understand the pathophysiology of the disease. About 10-15% of the cases can be explained by large losses or gains (deletions or duplications greater than 1000 base pairs) of the genetic material, which generally involve the disruption of one or more genes. Next generation sequencing methodologies were fundamental in the description of point mutations and small insertions and deletions associated with ASD. The WES has allowed many discoveries to be made about new candidate genes and mechanisms for the development of the disease. It is now claimed that de novo (non-inherited) and likely gene disruptive mutations, such as loss-of-function and non-synonymous changes with high prediction of damage by computational tools, in genes related to neurodevelopment are a major contributor to the disease mechanism. However, these mutations, in addition to not explaining the majority of cases, are rarely recurrent in the population, which makes it difficult to establish a definitive molecular diagnosis for most patients. WES is already a practice in clinical genetics laboratories and demonstrates high effectiveness for diseases that follow a Mendelian pattern of inheritance, and have an established genetic cause. In clinical practice WES is requested for cases of ASD, despite having different modes of inheritance and having more than 1,000 genes associated with the disease. Due to these characteristics the analysis of WES for ASD is a major challenge for the clinical laboratory. This study proposes the construction of a computerized WES analysis routine that can test different candidate genes for their sensitivity and specificity for the detection of affected individuals. The proposed approach consists in the counting of variants separated by their possible protein damage and population frequency for each individual from affected and control groups, this study analyzed 168 WES, being 49 with ASD and 119 controls. After counting formulation, these values are subjected to a sequence of statistical tests, seeking a significant difference in the amount of mutations of all the variants alone, loss-of-function or damaging missense mutations, and the application of models of multivariate analysis such as: logistic regression, decision tree, neural network, vector support machine and principal component analysis for the elaboration of more complex models for disease development. A total of 21 lists of genes were tested, of which 19 presented at least one significant result, and the analysis of variants alone was the one that obtained the largest number of significant events. From apparently protective variants (higher number in the control group), such as the missense variants in RAS/MAPK pathway as variants of stopgain with population frequency above 0.05 in chromatin genes in greater number in individuals with ASD. None of the multivariate analysis models had significant discrimination results between the two groups. Due to the small sample size, the results of this study should be interpreted with limitations, and it is necessary to replicate these scenarios in other databases. However, these findings suggest that different types and frequencies of variants may have distinct contributions to disease development depending on the genes analyzed, rather than complex relationships between variants of the same gene list / O transtorno do espectro autista (TEA) é um distúrbio do neurodesenvolvimento caracterizado por uma incapacidade de comunicação comportamento e interações sociais que afeta em torno de 1-2% da população mundial. Até o momento a etiologia do TEA ainda não é totalmente compreendida, mas nos últimos 18 anos muitos avanços foram feitos para entender o componente genético relacionado ao desenvolvimento do quadro clínico. Com o advento das análises de varredura genômica como a análise cromossômica por microarray e o sequenciamento completo de exoma (SCE) muitos avanços foram feitos para a compreensão da fisiopatologia da doença. Em torno de 10-15% dos casos podem ser explicados por grandes perdas ou ganhos (deleções ou duplicações superiores a 1000 pares de bases) do material genético, que geralmente envolvem a disrupção de um ou mais genes. As metodologias de sequenciamento de nova geração foram fundamentais para a descrição das mutações de ponto e pequenas inserções e deleções associadas ao TEA. O SCE permitiu que muitas descobertas fossem feitas sobre novos genes candidatos e mecanismos para o desenvolvimento da doença. Atualmente afirma-se que as alterações de novo (não herdadas) e de maior probabilidade de ruptura gênica, como as mutações de perda-de-função e as alterações não-sinônimas com alta predição de dano por ferramentas computacionais, em genes de susceptibilidade a doenças do neurodesenvolvimento sejam um grande contribuidor para o mecanismo da doença. Entretanto essas mutações, além de não explicar a totalidade dos casos raramente são recorrentes na população, o que dificulta o estabelecimento de um diagnóstico molecular definitivo para a maioria dos pacientes. O SCE já é uma prática nos laboratórios clínicos de genética e demonstra uma alta efetividade para as doenças que seguem um padrão de herança mendeliano, e têm uma causa genética estabelecida. Na prática clínica o SCE é solicitado para os casos de TEA, apesar de ter diferentes modos de herança e terem mais de 1,000 genes associados à doença. Devido a estas características o SCE para os casos de TEA são um grande desafio para o laboratório clínico. Este estudo propõem a construção de uma rotina computacional de análise do SCE que possa testar diferentes genes candidatos quanto à sua sensibilidade e especificidade para a detecção dos indivíduos afetados. A abordagem proposta é a contagem de variantes separadas por seu possível dano à proteína e frequência populacional para cada indivíduo de grupos afetado e controle em 168 indivíduos com SCE, sendo 49 com TEA e 119 controles. Após a formulação da contagem esses valores são submetidos a uma sequência de testes estatísticos, buscando diferença significativa em quantidade de mutações de todas as variantes isoladamente, das mutações de perda-de-função, ou não-sinônimas danosas como um conjunto e a aplicação de modelos de análise multivariada como: regressão logística, árvore de decisão, rede neural, máquinas de suporte de vetor e análise de componente principal para a elaboração de modelos mais complexos para o desenvolvimento na doença. Ao todo foram testadas 21 listas de genes, destas, 19 apresentaram ao menos um resultado significativo, sendo a análise de variantes isoladamente a que obteve maior número de eventos significativos. Desde variantes aparentemente protetoras (maior número no grupo controle), como as variantes não-sinônimas em via de RAS/MAPK quanto variantes de perda de códon de parada com frequência populacional acima de 0.05 em genes de cromatina em maior número nos indivíduos com TEA. Nenhum dos modelos de análise multivariada obteve resultados significativos na discriminação entre os dois grupos. Devido ao pequeno número amostral os resultados deste estudo devem ser interpretados com limitações, sendo necessária a replicação deste cenário em outros bancos de dados. Entretanto, estes achados sugerem que diferentes tipos e frequências de variantes podem ter contribuições distintas para o desenvolvimento da doença a depender dos genes analisados, mais de que relações complexas entre as variantes de uma mesma lista de genes

Orientador: Joyce Mary Adam de Paula e Silva / Banca: Rubia-Mar Nunes Pinto / Banca: Luis Enrique Aguilar / Banca: Ângela Viana Machado Fernandes / Banca: Flávia Medeiros Sarti / Inclui a Lei orgânica de Educação Espanhola em espanhol / Resumo: O presente estudo tem como objetivo analisar a implantação e implementação das Escolas em Tempo Integral (EMTI) na cidade de Goiânia, tendo como referencial a proposta preliminar para as EMTIs e início de execução previsto para 2007. A proposta, em linhas gerais, previa o aumento do tempo de permanência dos alunos nas Unidades Escolares assim como significativas alterações nas formas de avaliação e nas atividades desenvolvidas no cotidiano escolar além da inclusão de uma refeição entre os dois períodos do dia escolar. Para entender esse processo de mudanças no tempo e no espaço educacional das EMTIs revisitamos as indicações dos organismos internacionais, em especial as do Banco Mundial e da UNESCO, a Lei de Diretrizes e Bases da Educação Nacional nº 9394/96, o PNE e o referido projeto. A coleta dos dados empíricos para a análise final foi realizada em seis EMTIs distribuídas nas cinco regiões administrativas da Rede Pública Municipal de Goiânia e mais uma como representante da zona rural. Também para contribuir nas análises finais foram incluídas informações sobre a realidade educacional espanhola - mais especificamente da Comunidade Autônoma de Madrid - suas leis, decretos e documentos oficiais. Os dados do país ibérico possibilitou o estabelecimento das aproximações e distanciamentos com a realidade brasileira a partir do exemplo da cidade de Goiânia. A análise baseada na revisão da literatura e na confrontação com alguns elementos evidenciados nas observações do cotidiano escolar das duas realidades identificou algumas fragilidades no processo de implementação da proposta na cidade de Goiânia e consubstanciaram uma proposta básica de intervenção na Rede Pública Municipal de Educação de Goiânia / Resumen: La presente investigación tiene en cuanto objetivo el análisis de la implantación e implementación de las Escuelas a Jornada Completa (EJC) en la ciudad de Goiânia, teniendo como referencia la propuesta preliminar de las referidas escuelas con inicio de ejecución prevista para el 2007. La propuesta, en líneas generales, previó el incremento del tiempo de permanencia de los alumnos en las Unidades Escolares así como significativas alteraciones en las formas de evaluación y en las actividades desarrolladas en el cotidiano escolar además de la inclusión de una comida entre los dos períodos del día escolar. Para entender el proceso de cambios en el tiempo y en el espacio educacional de las EJC volvemos a las indicaciones de los organismos internacionales, especialmente las del Banco Mundial y de la UNESCO, la Ley de Directrices y Bases de la Educación Nacional nº 9394/96, el PNE y el dijo proyecto. La recogida de datos empíricos hacia el análisis final fue realizada en seis EJC localizadas. En las cinco regiones administrativas de la Rede Pública Municipal de la ciudad de Goiânia y una más como representante de la zona rural. Además de esto para contribuir con los análisis finales fueron incluidas informaciones sobre la realidad educacional española - más específicamente de la Comunidad Autónoma de Madrid - sus leyes, decretos y documentos oficiales. Los datos del país ibérico posibilitó el establecimiento de los acercamientos y los alejamientos con la realidad brasileña a partir del ejemplo de la ciudad de Goiânia. El análisis basada en la revisión de la literatura y en el cotejamiento con algunos elementos evidenciados en las observaciones del cotidiano escolar de las dos realidades ha identificado algunas fragilidades en el proceso de implementación de la propuesta en la ciudad de Goiânia y corroboraran una propuesta básica de intervención en la Red Pública Municipal de Educación de Goiânia / Doutor

?rea de concentra??o: Cl?nica Odontol?gica. / Linha de pesquisa: Les?es inflamat?rias, c?sticas e neopl?sicas da cavidade bucal. / Na Folha de Rosto e Ficha Catalogr?fica da obra consta o t?tulo: "Avalia??o dos efeitos anti-inflamat?rio e antiedematog?nico do gel Oxyflower? em modelo de edema de pata induzido por adjuvante completo de Freund em ratos". / Submitted by Jos? Henrique Henrique (jose.neves@ufvjm.edu.br) on 2018-05-22T17:57:16Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) timilliy_mayra_martins_cruz.pdf: 1084452 bytes, checksum: e81ee908ce5c1b999b746646f5a03878 (MD5) / Approved for entry into archive by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2018-06-05T14:41:12Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) timilliy_mayra_martins_cruz.pdf: 1084452 bytes, checksum: e81ee908ce5c1b999b746646f5a03878 (MD5) / Made available in DSpace on 2018-06-05T14:41:12Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) timilliy_mayra_martins_cruz.pdf: 1084452 bytes, checksum: e81ee908ce5c1b999b746646f5a03878 (MD5) Previous issue date: 2017 / Introdu??o: A inflama??o ? um mecanismo de defesa prim?ria que protege o organismo de est?mulos nocivos ou prejudiciais. Os medicamentos anti-inflamat?rios tais como os Anti-Inflamat?rios N?o Esteroidais (AINEs) e os corticoster?ides s?o utilizados para tratar os dist?rbios inflamat?rios, por?m, diversos efeitos colaterais t?m sido relatados. Neste contexto, produtos naturais t?m contribu?do bastante para o desenvolvimento de terapias farmacol?gicas modernas e eficazes. Alguns medicamentos naturais apresentam grande potencial terap?utico, como por exemplo, o Oxyflower?. Este rem?dio baseia-se na a??o de ess?ncias florais, por?m seus efeitos biol?gicos ainda n?o foram devidamente investigados. Objetivos: Investigar os poss?veis efeitos anti-inflamat?rio e antiedematog?nico do gel Oxyflower? em modelo animal de inflama??o cr?nica. Metodologia: 25 ratos machos da linhagem Holtzman foram aleatoriamente divididos em 5 grupos experimentais (controle, ve?culo do Oxyflower?, Oxyflower?, triancinolona acetonida e diclofenaco dietilam?nio). A inflama??o foi quimicamente induzida por meio da inje??o de 200 ?L de Adjuvante Completo de Freund (ACF) na pata traseira direita dos ratos. O volume e espessura das patas dos ratos foram mensurados com pletism?metro de pata e paqu?metro digital, respectivamente. Durante 14 dias, os animais foram tratados com os f?rmacos e tiveram acompanhamento de sua massa corporal. Neste per?odo a temperatura das patas traseiras foram avaliadas com um term?grafo digital. Foram realizadas an?lises histol?gicas e leucometria. Os dados foram analisados como m?dia ? erro padr?o ou desvio padr?o da m?dia e apresentados como a varia??o (delta) do volume, espessura e temperatura das patas traseiras. As diferen?as entre os grupos foram analisadas pelos testes de vari?ncia ANOVA (two e one-way), seguidos do post hoc de Tukey e teste Qui-Quadrado. Valores de p< 0,05 foram considerados significativos. Resultados: O gel Oxyflower? promoveu redu??es no volume, espessura e temperatura das patas dos ratos, injetados com ACF, quando comparados aos animais do grupo controle. N?o houve diferen?a em rela??o ao ganho de massa corporal nos diferentes grupos experimentais. Os resultados para leucometria e histologia n?o apresentaram diferen?as significativas entre os grupos. Conclus?o: O gel Oxyflower? apresentou atividade antiedematog?nica semelhante ? Triancinolona e ao Diclofenaco. A termografia infravermelha ? um m?todo aplic?vel na avalia??o da temperatura tecidual associada ao edema, neste modelo experimental. / Disserta??o (Mestrado) ? Programa de P?s-Gradua??o em Odontologia, Universidade Federal dos Vales do Jequitinhonha e Mucuri, 2017. / Introduction: Inflammation is a primary defense mechanism that protects the body from harmful or harmful stimuli. Anti-inflammatory drugs such as non-steroidal antiinflammatory drugs (NSAIDs) and corticosteroids are used to treat inflammatory disorders, but several side effects have been reported. Thus, natural products have contributed greatly to the development of modern and effective pharmacological therapies. Some natural medicines have great therapeutic potential, such as Oxyflower?. This drug is based on the action of flower essences, but its biological effects have not yet been properly investigated. Objectives: To investigate the possible anti-inflammatory and anti-infective effects of Oxyflower? gel in an animal model of chronic inflammation. Methods: 25 male rats of the Holtzman strain were randomly divided into 5 experimental groups (control, Oxyflower? vehicle, Oxyflower?, triamcinolone acetonide and diclofenac diethylammonium). Inflammation was chemically induced by injecting 200 ?L of Complete Freund's Adjuvant (CFA) into the right hind paw of rats. The volume and thickness of the paws of the rats were measured with a paw plethysmometer and digital caliper, respectively. During 14 days, the animals were treated with the drugs and had monitoring of their body mass. In this period the temperature of the hind legs were evaluated with a digital thermograph. Histological analysis and leukometry were performed. Data were analyzed as mean ? standard error or standard deviation of the mean and presented as the variation (delta) of the volume, thickness and temperature. The differences between the groups were analyzed by ANOVA (two and one-way) variance tests, followed by Tukey post hoc and Chi-Square test. Values of p <0.05 were considered significant. Results: The Oxyflower? gel promoted reductions in the volume, thickness and temperature of the legs of the rats injected with ACF when compared to the animals of the control group. There was no difference in relation to body mass gain in the different experimental groups. The results for leucometry and histology did not show significant differences between the groups. Conclusion: Oxyflower? gel presented antiedematogenic activity similar to Triamcinolone and Diclofenac. Infrared thermography is an applicable method for evaluation of tissue temperature associated with edema, in this experimental model. Infrared thermography is an applicable method for assessing tissue temperature associated with edema in this experimental model. The antiinflammatory effect of Oxyflower? gel could not be confirmed. However, biomolecular, immunological and immunohistochemical analyzes may help confirm the possible antiinflammatory effect of Oxyflower? gel.

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-05-27T12:50:34Z No. of bitstreams: 1 arquivototal.pdf: 643760 bytes, checksum: c6fc649a3682bb07bcc815ff2163eef4 (MD5) / Approved for entry into archive by Leonardo Americo (leonardo@sti.ufpb.br) on 2015-05-27T12:52:35Z (GMT) No. of bitstreams: 1 arquivototal.pdf: 643760 bytes, checksum: c6fc649a3682bb07bcc815ff2163eef4 (MD5) / Made available in DSpace on 2015-05-27T12:52:35Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 643760 bytes, checksum: c6fc649a3682bb07bcc815ff2163eef4 (MD5) Previous issue date: 2014-08-29 / This work aims to show the existence and Uniqueness of the field of Real Numbers, using for this, Dedekind' Cuts theorem and the Definition by Recursion.To fulfill his goal, we define the notion of Dedekind Cut and present some of its properties; then introduce the notions of Archimedean Ordered and Field, Complete Field Sorted and finally articulate and demonstrate the Uniqueness Theorem of Field Real Numbers. / Este trabalho tem como objetivo mostrar a Existência e a Unicidade do Corpo dos Números Reais, usando para isso, os Cortes de Dedekind e o teorema da defi- nição por Recursão. Para cumprirmos tal objetivo, definimos a noção de Corte de Dedekind e apresentamos algumas de suas propriedades; em seguida, apresentamos as noções de Corpo, Corpo Ordenado e Arquimediano, Corpo Ordenado Completo e, finalmente, enunciamos e demonstramos o Teorema da Unicidade do Corpo dos Números Reais.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-02-20T22:36:45Z No. of bitstreams: 1 MichellSmithGomesDaSilva_DISSERT.pdf: 497467 bytes, checksum: 682d0d320bb5da2124c9690a67fc0e26 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-02-23T23:07:42Z (GMT) No. of bitstreams: 1 MichellSmithGomesDaSilva_DISSERT.pdf: 497467 bytes, checksum: 682d0d320bb5da2124c9690a67fc0e26 (MD5) / Made available in DSpace on 2017-02-23T23:07:42Z (GMT). No. of bitstreams: 1 MichellSmithGomesDaSilva_DISSERT.pdf: 497467 bytes, checksum: 682d0d320bb5da2124c9690a67fc0e26 (MD5) Previous issue date: 2016-08-02 / ?guas com turbidez e cor aparente baixas a moderadas s?o eventualmente desafiadoras para tratar, principalmente em Esta??es de Tratamentos de ?gua (ETAs) de ciclo completo com clarifica??o por decanta??o (ETAs ?convencionais?). Esse tipo de ?gua pode ser coagulada no mecanismo de varredura, geralmente com dose de coagulante elevada, a fim de produzir flocos sediment?veis que sejam removidos no decantador. Contudo a coagula??o no mecanismo de adsor??o e neutraliza??o de cargas ? vantajosa, com dose usualmente mais baixa, sendo que, nesse caso, haver? apenas a desestabiliza??o das part?culas e a forma??o de flocos muito pequenos (n?o sediment?veis) que ser?o removidos nos filtros. Em alguns casos a ETA possibilita o by-pass da ?gua diretamente para os filtros (com ou sem pr?-flocula??o), pois as unidades de decanta??o praticamente perdem sua fun??o e a ETA, embora fisicamente seja configurada como de ciclo completo, opera como um sistema de filtra??o direta. Apesar das vantagens desta configura??o, ? geralmente mais dif?cil para o operador encontrar a dose e pH adequados para coagula??o no mecanismo de adsor??o e neutraliza??o de cargas. O objetivo deste trabalho foi adequar uma ETA com tais caracter?sticas. Fizemos ensaios em jarteste simulando a tecnologia de ciclo completo e de filtra??o direta descendente, e tratamentos como pr?-oxida??o, coagula??o, pr?-oxida??o com coagula??o e adsor??o com coagula??o, variando as doses dos respectivos produtos em cada tratamento e em pH diferentes. Todos os tratamentos realizados atenderam a Portaria 2.914/11 para cor aparente, por?m somente os tratamentos em que houve a coagula??o atenderam para turbidez e cor aparente simultaneamente, sendo os melhores resultados do tratamento de pr?-oxida??o com coagula??o. / Water with turbidity and color apparent low to moderate are sometimes challenging to treat, especially in Water Treatment Plants (WTP) of full cycle with clarification by decantation (WTPs "conventional") because should be coagulated preferably in adsorption-neutralization mechanism loads. Such water can be coagulated in the sweep mechanism, generally with a high dose of coagulant, to produce settleable flocs which are removed in the decanter. However, it is also possible, in an advantageous overall, making the water coagulation at adsorption and charge neutralization mechanism with usually lower dose, and in this case there will be only a destabilization of the particles and formation of tiny floc (not settleable) to be removed on the filters. In some cases WTP enables the bypass of water directly to the filter (with or without pre-flocculation), since the decantion units practically lost its function and ETA, although it is physically configured as a complete cycle, it operates as a direct filtration system. Despite the advantages of this configuration, it is generally more difficult for the operator to find the dose and pH suitables for the adsorption and charge neutralization mechanism. The objective was to adapt a WTP with such characteristics. We did jartest tests simulating the complete cycle and downstream direct filtration, and treatments as pre-oxidation, coagulation, preoxidation with coagulation and adsorption coagulation, varying dosages of the respective products in each treatment and at different pH. All treatments performed attended Ordinance 2.914/11 for apparent color, but only the treatments in which there was coagulation attended for turbidity and apparent color simultaneously, and the best results of treatment of pre-oxidation with coagulation.

En la teoría de espacios normados no arquimedeanos sobre cuerpos valuados, la propiedad de ser esféricamente completo es de vital importancia en varios contextos y juega un rol importante en algunos temas clásicos del Análisis Funcional. En el presente trabajo estudiamos las compleciones esféricas en el contexto ultramétrico. Primero introducimos losc omplejos p-ádicos, el análogo de los numeros complejos, el cual desafortunadamente no es esféricamente completo.Después, y debido a lo anterior, construimos su compleción esférica, cuerpo que resulta ser también algebraicamente cerrado.

No estudo da complexidade de problemas computacionais destacam-se duas classes conhecidas como P e NP. A questao P=NP e um dos maiores problemas nao resolvidos em Ciencia da Compu- tacao teorica e Matematica contemporanea. O problema SAT foi o primeiro problema reconhecido como NP-completo e consiste em verificar se uma determinada formula da logica proposicional clas- sica e ou nao satisfazivel. As implementacoes de algoritmos para resolver problemas SAT sao conhe- cidas como resolvedores SAT (SAT Solvers). Existem diversas aplicacoes em Ciencia da Computacao que podem ser realizadas com SAT Solvers e com outros resolvedores de problemas NP-completos que podem ser reduzidos ao SAT como por exemplo problemas de coloracao de grafos, problemas de agendamento e problemas de planejamento. Dentre os mais eficientes algoritmos para resolvedores de SAT estao Sato, Grasp, Chaff, MiniSat e Berkmin. O Algoritmo Chaff e baseado no Algoritmo DPLL o qual existe a mais de 40 anos e e a estrategia mais utilizada para os Sat Solvers. Essa dissertacao apresenta um estudo aprofundado do comportamento do zChaff (uma implementacao muito eficiente do Chaff) para saber o que esperar de suas execucoes em geral . / In the study of computational complexity stand out two classes known as P and NP. The question P = NP is one of the greatest unsolved problems in theoretical computer science and contemporary mathematics. The SAT problem was first problem recognized as NP-complete and consists to check whether a certain formula of classical propositional logic is satisfiable or not. The implementations of algorithms to solve SAT problems are known as SAT solvers. There are several applications in computer science that can be performed with SAT solvers and other solvers NP- complete problems can be reduced to SAT problems such as graph coloring, scheduling problems and planning problems. Among the most efficient algorithms for SAT solvers are Sato, Grasp, Chaf, MiniSat and Berkmin. The Chaff algorithm is based on the DPLL algorithm which there is more than 40 years and is the most used strategy for Sat Solvers. This dissertation presents a detailed study of the behavior of zChaff (a very efficient implementation of the Chaff) to know what to expect from their performance in general.