Mucopolissacaridose tipo VI é uma doença lisossômica causada pela deficiência de arilsulfatase B. A incidência de MPS VI é muito baixa, geralmente menos de 1 caso para cada 1.000.000 recém-nascidos. Até o presente momento, 133 mutações e 13 polimorfismos foram identificados no gene da arilsulfatase B. Entretanto, a maioria dos alelos mutantes ou está presente somente em um indivíduo ou em poucos pacientes, o que demonstra a grande heterogeneidade alélica da MPS VI. No município de Monte Santo, Nordeste do Brasil, foram identificados treze pacientes com MPS VI. O objetivo deste trabalho foi identificar a(s) mutação(ões) presente(s) nos pacientes com MPS VI de Monte Santo/BA e os heterozigotos nas famílias; definir haplótipos utilizando SNPs para identificação de uma possível origem comum do alelo mutado nesta população e permitir aconselhamento genético eficiente, bem como orientações sobre a doença aos familiares com indivíduos afetados. Os 13 pacientes com MPS VI apresentavam a mutação p.H178L em homozigose e o mesmo haplótipo para os SNPs intragênicos. Nas viagens realizadas até o município durante este trabalho foram coletadas 236 amostras de sangue dos familiares, a mutação p.H178L foi detectada em 98 (20,8%) alelos, sendo 41,5% da amostra composta por indivíduos heterozigotos. Com base em dados atuais, a prevalência de MPS VI nesta região é estimada em 1:5.000 recémnascidos. As análises dos heredogramas indicam a presença de vários indivíduos com chance de 25% ou até 50% de serem heterozigotos. Monte Santo é uma região pequena e isolada e, os altos índices de endogamia fazem com que o alelo p.H178L permaneça frequente nesta região. Estes resultados, juntamente com a análise dos heredogramas, sugerem um efeito fundador, o que reforça a necessidade de um programa abrangente de genética comunitária para esta área, incluindo uma triagem neonatal e estudos com os membros das famílias para promover um aconselhamento genético. / Mucopolysaccharidosis type VI is a lysosomal disease caused by deficiency of arylsulfatase B. The incidence of MPS VI is very low, usually less than 1 case for every 1,000,000 newborns. To date, 133 mutations and 13 polymorphisms were identified in the arylsulfatase B gene. However, the majority of mutant alleles are present only in one individual or in a few patients, demonstrating the allelic heterogeneity of MPS VI. In the county of Monte Santo, northeast Brazil, thirteen patients with MPS VI were identified. The objective of this study was to characterize the mutation(s) present(s) in MPS VI patients from Monte Santo/BA and to detect heterozygous within the families. We also aimed to define haplotypes using SNPs to identify a possible common origin of the mutant allele in this population and allow efficient genetic counseling and assistance regarding the disease to families with affected individuals. The 13 MPS VI patients showed the p.H178L mutation in homozygosis and the same haplotype for intragenic SNPs. During field trips to Monte Santo along this study we collected 236 blood samples from family members, p.H178L mutation was detected in 98 (20.8%) alleles, and 41.5% of the samples were heterozygous individuals. Based on current data, the prevalence of MPS VI in this region is estimated at 1:5,000 newborns. Pedigree analysis indicates the presence of many individuals with a 50% and 25% chance of being heterozygous. Monte Santo is a small, isolated region and the high levels of inbreeding allows for p.H178L allele to remain common in this region. These results, together with the analysis of pedigrees suggest a founder effect, which reinforces the need for a comprehensive program of community genetics in this area, including a neonatal screening and studies of family members to promote a genetic counseling.

As part of a worldwide effort to develop efficient catalysts for use in organic chemistry and in the synthesis of highly valuable molecules, work performed during the course of my stay in St Andrews has focused on the design and synthesis of new group 11 metal complexes for their applications in catalysis. The aim of this work was to develop new, active and stable, easy to synthesise group 11 complexes and investigate their catalytic activity as well as to try to understand their mode of action. Two different types of complexes were explored in order to develop more active catalysts: the neutral N-Heterocyclic carbene metal complexes and the cationic derivatives. More than 20 new catalysts were developed and their reactivity studied in different catalytic reactions. New hydroxide and tert-butoxide copper(I) or silver(I) complexes were developed and compared to the common NHC metal systems. Overall, the neutral NHC-metal catalysts showed to be highly active in a broad range of applications: in the methylation of amines using CO₂ as a C1 source, in a multicomponent reaction (A³ coupling) and in dual catalysis (hydrophenoxylation). Additionally, mechanistic studies were undertaken to obtain a greater understanding of these transformations and to possibly lead to the design of new generations of catalyst. Regarding the cationic NHC metal complexes, a straightforward methodology was developed leading to a library of highly stable catalysts. Bis-NHC, mixed NHC/ phosphine as well as NHC/pyridine species were efficiently synthesised using thermal or microwave heating, in high purity and yields. In addition, the effect of the presence of two different or identical ligands on catalytic reactivity was investigated in the 3+2 cycloaddition and in the alkynylation of ketones. Insight into the catalytic cycle was obtained via mechanistic studies. These showcased the release of one ligand during the catalytic cycle and the crucial role of this ligand displacement in generating the catalytically relevant active species. The results highlight the importance of understanding the reactivity of catalyst in order to develop new and improved ones.

Mucopolissacaridose tipo VI é uma doença lisossômica causada pela deficiência de arilsulfatase B. A incidência de MPS VI é muito baixa, geralmente menos de 1 caso para cada 1.000.000 recém-nascidos. Até o presente momento, 133 mutações e 13 polimorfismos foram identificados no gene da arilsulfatase B. Entretanto, a maioria dos alelos mutantes ou está presente somente em um indivíduo ou em poucos pacientes, o que demonstra a grande heterogeneidade alélica da MPS VI. No município de Monte Santo, Nordeste do Brasil, foram identificados treze pacientes com MPS VI. O objetivo deste trabalho foi identificar a(s) mutação(ões) presente(s) nos pacientes com MPS VI de Monte Santo/BA e os heterozigotos nas famílias; definir haplótipos utilizando SNPs para identificação de uma possível origem comum do alelo mutado nesta população e permitir aconselhamento genético eficiente, bem como orientações sobre a doença aos familiares com indivíduos afetados. Os 13 pacientes com MPS VI apresentavam a mutação p.H178L em homozigose e o mesmo haplótipo para os SNPs intragênicos. Nas viagens realizadas até o município durante este trabalho foram coletadas 236 amostras de sangue dos familiares, a mutação p.H178L foi detectada em 98 (20,8%) alelos, sendo 41,5% da amostra composta por indivíduos heterozigotos. Com base em dados atuais, a prevalência de MPS VI nesta região é estimada em 1:5.000 recémnascidos. As análises dos heredogramas indicam a presença de vários indivíduos com chance de 25% ou até 50% de serem heterozigotos. Monte Santo é uma região pequena e isolada e, os altos índices de endogamia fazem com que o alelo p.H178L permaneça frequente nesta região. Estes resultados, juntamente com a análise dos heredogramas, sugerem um efeito fundador, o que reforça a necessidade de um programa abrangente de genética comunitária para esta área, incluindo uma triagem neonatal e estudos com os membros das famílias para promover um aconselhamento genético. / Mucopolysaccharidosis type VI is a lysosomal disease caused by deficiency of arylsulfatase B. The incidence of MPS VI is very low, usually less than 1 case for every 1,000,000 newborns. To date, 133 mutations and 13 polymorphisms were identified in the arylsulfatase B gene. However, the majority of mutant alleles are present only in one individual or in a few patients, demonstrating the allelic heterogeneity of MPS VI. In the county of Monte Santo, northeast Brazil, thirteen patients with MPS VI were identified. The objective of this study was to characterize the mutation(s) present(s) in MPS VI patients from Monte Santo/BA and to detect heterozygous within the families. We also aimed to define haplotypes using SNPs to identify a possible common origin of the mutant allele in this population and allow efficient genetic counseling and assistance regarding the disease to families with affected individuals. The 13 MPS VI patients showed the p.H178L mutation in homozygosis and the same haplotype for intragenic SNPs. During field trips to Monte Santo along this study we collected 236 blood samples from family members, p.H178L mutation was detected in 98 (20.8%) alleles, and 41.5% of the samples were heterozygous individuals. Based on current data, the prevalence of MPS VI in this region is estimated at 1:5,000 newborns. Pedigree analysis indicates the presence of many individuals with a 50% and 25% chance of being heterozygous. Monte Santo is a small, isolated region and the high levels of inbreeding allows for p.H178L allele to remain common in this region. These results, together with the analysis of pedigrees suggest a founder effect, which reinforces the need for a comprehensive program of community genetics in this area, including a neonatal screening and studies of family members to promote a genetic counseling.

É descrita e ilustrada uma nova espécie de Alipumilio Shannon (Diptera, Syrphidae), associada à resina de Schinus terebinthifolius Raddi (Anacardiaceae). Além disso, descrevem-se os estágios imaturos do inseto, o mecanismo de alimentação e danos correspondentes aos tecidos da planta, com base nas microscopias óptica, de varredura, cortes anatômicos e testes histoquímicos. As fêmeas de Alipumilio sp. n. ovipositam nos ramos de S. terebinthifolius onde as larvas recém-eclodidas escavam os tecidos da planta, formando galerias e causando a exudação de resina para o exterior da planta, em meio a qual a larva se desenvolve e da qual se alimenta. Quanto ao dano correspondente, há necrose nos tecidos adjacentes à galeria, alterações nos elementos de vaso e na espessura da parede celular das células do raio, demonstrando que a planta reage contra a herbivoria. O estágio de pupa se desenvolve também sob a resina. A semelhança da larva, neste estágio a troca gasosa com o meio externo é realizada por meio de sifões.

Submitted by Luiza Maria Pereira de Oliveira (luiza.oliveira@ufpe.br) on 2015-05-20T16:04:21Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Sandra Paula Sarinho Botelho.pdf: 1366629 bytes, checksum: 74edb1eea3e68d96be5e1ed7d7c4d931 (MD5) / Made available in DSpace on 2015-05-20T16:04:21Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Sandra Paula Sarinho Botelho.pdf: 1366629 bytes, checksum: 74edb1eea3e68d96be5e1ed7d7c4d931 (MD5) Previous issue date: 2014-12-15 / FACEPE / A síntese de fármacos é uma das áreas da Química Medicinal responsável pelo desenvolvimento de novas moléculas com propriedades bioativas que podem ser utilizadas como medicamentos. Dentre os medicamentos disponíveis na terapêutica dos distúrbios do sistema nervoso central, observa-se que os compostos N-heterocíclicos são os que apresentam maior número de representantes. Estes distúrbios têm mecanismos muito complexos entre os circuitos neurais, envolvendo diversos neurotransmissores. Portanto, drogas não-específicas, têm demonstrado ser mais eficazes e com efeitos secundários mais baixos. Nesse contexto, o primeiro capítulo desse trabalho contém um estudo teórico sobre os efeitos, atividades, afinidades e especificidades das benzo- e tienobenzo-diazepínas, comprovando que agentes multi-receptores, tais como as tienobenzodiazepínas, são mais eficazes que as benzodiazepínas, seletiva a um único receptor. Em adição, cinco estruturas, pertencentes a um pequeno conjunto de análogos da olanzapina, e submetidos a Modelos de Floresta Aleatória, foram classificados como agentes multi-receptores, onde o grupo n-benzil-tetrahidropiridina presente nos compostos 3 e 6 aumentam o potencial multi-alvo dos análogos da olanzapina com n-benzil-tetrahidropiridina ou morfolina. O segundo capítulo discorre sobre a síntese das piridobenzodiazepinas, planejadas de forma a se obter análogos estruturais da olanzapina, onde a piridina substitui o benzeno. O procedimento sintético se mostrou viável nas três primeiras etapas, porém, não foi possível confirmar a estrutura química dos compostos ésteres ácidos de 4-toluenosulfonila-6-(cicloamin-4-il)-3-nitropiridin-2-il (7a-b), o que inviabilizou a continuidade da rota sintética. A síntese dos compostos foi iniciada pela reação de substituição nucleofílica aromática, para obtenção do 2-(tert-butóxi)-6-cloro-3-nitro-piridina (3) com rendimento global de 41,86%. Quatro diferentes estratégias foram empregadas na obtenção dos compostos (2-tert-butóxi-3-nitro-piridin-6-il)-heterocícloaminas (5a-b), a que utilizou o ligante fosfina BINAP pela metodologia de Buchwald se mostrou mais efetiva, com rendimento global variando entre 57,5 e 86%. Na etapa seguinte, a catálise ácida gerou o composto 6-(cicloamina)-3-nitro-piridin-2-ol (6a-b) com rendimento global de 100%. Em paralelo, foram sintetizados os 2-amino-cicloalquil[b]tiofenos-3-carbonitrila (11a-c) e 2-amino-cicloalquil[b]tiofenos-3-etanoato de etila (11d-f), por reação de Gewald com rendimento global variando entre 51 a 68% e 24,8 a 30%, respectivamente.

Made available in DSpace on 2014-06-12T15:54:28Z (GMT). No. of bitstreams: 2 arquivo4885_1.pdf: 172774 bytes, checksum: 9d70dd09803fba9018dad81c28de50a4 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / Infusão de entrecasca de Schinus terebinthifolius Raddi., família Anacardiaceae (aroeira), tem sido comumente usada em medicina popular. Lectinas constituem um grupo heterogêneo de proteínas capaz de reconhecer e reversivelmente ligar a carboidratos. O objetivo deste trabalho foi isolar a lectina de entrecasca de S. terebinthifolius e avaliar suas propriedades biológicas. Extrato obtido do pó de entrecasca foi submetido a ensaios de atividade hemaglutinante (AH) usando eritrócitos de coelho e humanos; extrato aquecido (100° C por 30 min) foi também usado. Proteínas do extrato foram precipitadas com sulfato de amônio e uma fração sobrenadante 40% (FS40) foi cromatografada em coluna de quitina; tampão borato de sódio 0,15 M (pH 7,4) e NaCl 1 M foram usados nas etapas de eluição. Ensaio de inibição da atividade da FS40 foi feito com carboidratos (frutose, fucose, galactose, glicose, maltose, manose, N-acetilglicosamina, rafinose, ramnose e xilose), como também com glicoproteínas (caseina, fetuína, ovoalbumina e tiroglobulina). A Lectina de entrecasca de S. terebinthifolius (SteBL) foi estudada com relação aos seus efeitos sobre liberação de peróxido de hidrogênio ou óxido nítrico por macrófagos e proliferação de linfócitos. SteBL aglutinou eritrócitos em diferentes graus; a mais elevada AH específica foi detectada com células humanas AB. A atividade da lectina foi estimulada após aquecimento e inibição foi obtida com fucose, galactose, N-acetilglicosamina, rafinose e glicoproteínas. O perfil cromatográfico mostrou picos protéicos eluídos com borato de sódio e NaCl 1 M; somente o último pico promoveu hemaglutinação. SteBL tem propriedades de produção de óxido nítrico, induziu a liberação de H2O2 por macrófagos e mostrou pequena atividade mitogênica. SteBL, uma nova lectina de entrecasca, tem perspectiva de aplicações biotecnológicas

Made available in DSpace on 2014-06-12T16:32:54Z (GMT). No. of bitstreams: 2 arquivo8498_1.pdf: 3570931 bytes, checksum: e3376582cf8649e9ecaef3265031e70e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Endêmica em 21 países da América Latina, a doença de Chagas mata, todos os anos, mais pessoas na região do que qualquer outra doença parasitária, incluindo a malária. Desde a descoberta da Doença de Chagas, em 1909, pesquisadores têm se empenhado na busca por fármacos que possam ser realmente eficazes contra esta doença, promovendo a cura parasitológica tanto na fase aguda quanto na fase crônica. Todavia, passados mais de cem anos, este é um problema que ainda permanece sem uma solução adequada, visto que as duas principais drogas aplicadas na terapêutica, o Nifurtimox e o Benznidazol, foram introduzidas na clínica nas décadas de 60-70, sendo que o Nifurtimox atualmente não está disponível comercialmente no Brasil e na maioria dos países. Neste contexto, faz-se necessário a obtenção de novas substâncias com potencial atividade anti-T. cruzi. Os nitrocompostos, grupo de moléculas com amplo perfil farmacológico possuindo atividade antimicrobiana e antiparasitária, além de também terem sido descritos como potentes inibidores irreversíveis da Tripanotiona Redutase em condições anaeróbicas. Focando-se nessas características, neste trabalho sintetizamos uma série de sete derivados da nitrofurantoína, para esses derivados foram realizadas as análises das suas ações antimicrobiana, antitumoral além de antichagásica. Os mesmos foram sintetizados a partir da nitrofurantoína e de seu derivado nifurtoínol, através da N-alquilação regioseletiva e da eterificação desses compostos respectivamente, utilizando para isto haletos de alquila, tendo como base o carbonato de potássio e como solvente a dimetilformamida. A elucidação estrutural foi realizada através da análise dos dados espectroscópicos de RMN 1H, e IV. Com relação às atividades biológicas, os testes antimicrobianos foram realizados in vitro, frente aos microorganismos da coleção do Departamento de Antibióticos da UFPE, onde se mediram as ZMI, CMB e CMI. Os derivados demonstraram conservação da atividade antimicrobiana, tendo merecido destaque os derivados 6, 7 e 8, por possuírem atividade mais pronunciada que o protótipo Nitrofurantoína. Com relação à atividade antitumoral, as amostras foram submetidas a ensaios de citotoxicidade, realizados também no Departamento de Antibióticos da UFPE. As substâncias apresentaram um percentual de citotoxicidade variando de 67 a 78.6%, indicando que apresentam atividade moderada para o potencial citotóxico. Contudo, os derivados demonstraram certa conservação e até elevada atividade biológica em comparação com seu protótipo a nitrofurantoína, e podem ser considerados promissores protótipo não só para a doença de chagas, como também para o câncer e infecções bacterianas

Made available in DSpace on 2014-06-12T16:32:56Z (GMT). No. of bitstreams: 2 arquivo8499_1.pdf: 3638686 bytes, checksum: 44c9f4962140108a2ea14ef10259d0be (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A Doença de Chagas, ou Tripanossomíase Americana, é a infecção causada pelo protozoário Trypanosoma cruzi. Apresenta uma fase aguda, que pode ser identificada ou não, com tendência à evolução para a forma crônica, caso não seja tratada precocemente com medicamento específico. Esta enfermidade ocorre principalmente na América Latina, a contaminação nessa região afeta 18 a 20 milhões de indivíduos. No Brasil e na maioria dos países, apenas o Benznidazol (Bdz) está disponível para o tratamento da doença de Chagas, e apesar de seu uso clínico, este fármaco apresenta efeitos colaterais severos, sendo ativo apenas na fase aguda da doença. Neste contexto, faz-se necessário a busca de novas substâncias com potencial atividade anti-T. cruzi. Derivados semicarbazônicos têm sido estudados quanto às suas propriedades antichagásica, antitumoral e antimicrobiana, dentre eles, os derivados da Nitrofurazona (5-nitro-2-furfurilidenosemicarbazona), um antimicrobiano de largo espectro de ação contra microorganismos Gram-positivos e Gram-negativos, como também potente ação para a forma aguda da doença de Chagas. Utilizando as boas propriedades destes compostos e buscando aperfeiçoá-las, aplicamos a técnica de modificação molecular, para obtenção de derivados mais potentes e menos tóxicos. Novos derivados semicarbazônicos foram sintetizados mediante a alquilação em meio aprótico, na posição N2 e N2,N4 da porção semicarbazona para aumentar sua lipofilia. Ao realizar esta reação com quantidades equimolares de semicarbazona e haletos de alquila são produzidos derivados N2-monoalquilados que foram os mais ativos da série quanto à atividade antimicrobiana em ensaio in vitro frente a microorganismos patogênicos quando comparados aos dialquilados nas posições N2,N4. Quanto à atividade antitumoral, semicarbazonas possuem histórico de potencial mutagênico, porém novos estudos têm demonstrado que esse potencial depende da dose empregada e do alvo específico. Diante disto, submetemos nossas moléculas a testes de inibição de crescimento frente às linhagens de células de carcinomas de cólon, mama e pulmão, e destes, o composto S04 mostrou-se mais promissor, com IC50=4,9 μg/ml. Para a avaliação antichagásica os derivados apresentaram atividade promissora para a cepa epimastigota, com destaque para a substância S02, que apresentou IC50=0.5μg/ml e citotoxicidade cerca de quatro vezes menor do que o Beznidazol. Desta forma, através deste estudo é evidenciado que estes derivados podem ser considerados promissores protótipos não apenas para a Doença de Chagas, como também para avanços na terapia antibacteriana e antineoplásica

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-04-24T14:03:12Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertacao-mestrado.pdf: 2772669 bytes, checksum: 25b575026c012270168ca5a4c397d063 (MD5) / Made available in DSpace on 2017-04-24T14:03:12Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertacao-mestrado.pdf: 2772669 bytes, checksum: 25b575026c012270168ca5a4c397d063 (MD5) Previous issue date: 2015-07-29 / CNPQ / N-Graphs is a multiple conclusion natural deduction with proofs as directed graphs, motivated by the idea of proofs as geometric objects and aimed towards the study of the geometry of Natural Deduction systems. Following that line of research, this work revisits the system under a purely combinatorial perspective, determining geometrical conditions on the graphs of proofs to explain its soundness criterion and proof growth during normalization. Applying recent developments in the fields of proof graphs, proof-nets and N-Graphs itself, we propose a linear time algorithm for proof verification of the full system, a result that can be related to proof-nets solutions from Murawski (2000) and Guerrini (2011), and a normalization procedure based on the notion of sub-N-Graphs, introduced by Carvalho, in 2014. We first present a new soundness criterion for meta-edges, along with the extension of Carvalho’s sequentization proof for the full system. For this criterion we define an algorithm for proof verification that uses a DFS-like search to find invalid cycles in a proof-graph. Since the soundness criterion in proof graphs is analogous to the proof-nets procedure, the algorithm can also be extended to check proofs in the multiplicative linear logic without units (MLL−) with linear time complexity. The new normalization proposed here combines a modified version of Alves’ (2009) original beta and permutative reductions with an adaptation of Carbone’s duplication operation on sub-N-Graphs. The procedure is simpler than the original one and works as an extension of both the normalization defined by Prawitz and the combinatorial study developed by Carbone, i.e. normal proofs enjoy the separation and subformula properties and have a structure that can represent how patterns lying in normal proofs can be recovered from the graph of the original proof with cuts. / N-Grafos é uma dedução natural de múltiplas conclusões onde provas são representadas como grafos direcionados, motivado pela idéia de provas como objetos geométricos e com o objetivo de estudar a geometria de sistemas de Dedução Natural. Seguindo esta linha de pesquisa, este trabalho revisita o sistema sob uma perpectiva puramente combinatorial, determinando condições geométricas nos grafos de prova para explicar seu critério de corretude e crescimento da prova durante a normalização. Aplicando desenvolvimentos recentes nos campos de grafos de prova, proof-nets e dos próprios N-Grafos, propomos um algoritmo linear para verificação de provas para o sistema completo, um resultado que pode ser comparado com soluções para roof-nets desenvolvidas por Murawski (2000) e Guerrini (2011), e um procedimento de normalização baseado na noção de sub-N-Grafos, introduzidas por Carvalho, em 2014. Apresentamos primeiramente um novo critério de corretude para meta-arestas, juntamente com a extensão para todo o sistema da prova da sequentização desenvolvida por Carvalho. Para este critério definimos um algoritmo para verificação de provas que utiliza uma busca parecida com a DFS (Busca em Profundidade) para encontrar ciclos inválidos em um grafo de prova. Como o critério de corretude para grafos de provas é análogo ao procedimento para proof-nets, o algoritmo pode também ser estendido para validar provas em Lógica Linear multiplicativa sem units (MLL−) com complexidade de tempo linear. A nova normalização proposta aqui combina uma versão modificada das reduções beta e permutativas originais de Alves com uma adaptação da operação de duplicação proposta por Carbone para ser aplicada a sub-N-Grafos. O procedimento é mais simples do que o original e funciona como uma extensão da normalização definida por Prawitz e do estudo combinatorial desenvolvido por Carbone, i.e. provas em forma normal desfrutam das propriedades da separação e subformula e possuem uma estrutura que pode representar como padrões existentes em provas na forma normal poderiam ser recuperados a partir do grafo da prova original com cortes.

Made available in DSpace on 2018-08-01T23:31:21Z (GMT). No. of bitstreams: 1 tese_9576_KAREN CALEGARI - A EDUCAÇÃO DO CORPO NO PROJETO REPUBLICANO NA CIDADE DE VITORIA (1908-1912).pdf: 10037244 bytes, checksum: bd75377a0f9870c2491dddf2e78063bb (MD5) Previous issue date: 2016-02-18 / Analisa historicamente a visibilidade dada ao corpo na cena urbana da cidade de Vitória entre 1908 e 1912, no contexto do governo de Jerônimo de Souza Monteiro. Busca compreender a constituição de um novo ethos que deslocaria o pensamento do exercício corpóreo associado tanto ao trabalho quanto às práticas legítimas de engrandecimento do espírito por meio do fortalecimento corporal e da visibilidade que o corpo passa a assumir na cena urbana como prática favorável e confluente aos discursos em prol da modernidade e do progresso. Na esteira dessa proposta, voltamo-nos ao processo de constituição do ensino da ginástica nas instituições escolares e das práticas corporais esportivas em efervescência nos clubes e agremiações, investigando processos que objetivavam produzir a educabilidade dos corpos na cena urbana. Toma como cenário privilegiado de investigação a cidade de Vitória, capital do Espírito Santo que, durante o período analisado, concentrou parte significativa dos investimentos republicanos, constituindo-se como lócus modelar da modernidade e do progresso capixaba. O corpus documental constitui-se de mensagens de governo, relatórios da Secretaria de Instrução, artigos publicados na imprensa periódica local, leis e decretos, fontes bibliográficas e imagens. Para a análise das fontes, parte da compreensão de que a história se constitui em meio a relações de força produzidas no contexto investigado (Ginzburg, 1990, 2002, 2006, 2007). Dialoga com as noções de teatrocracia e drama em Balandier (1976, 1982) para análise de questões que envolvem o processo de espetacularização e encenação dos princípios republicanos vinculados à noção de modernidade. Considera que o governo do Espírito Santo se manteve atento ao debate sobre a valorização e o espraiamento do esporte, da ginástica e do civismo que chegam ao Brasil. À medida que esse espraiamento se expande como prática e prescrição corporal, agregando referências que se alinhavam à civilidade e ao progresso, torna- se mercadoria para consumo e produção de modos de educabilidade para o corpo republicano indícios já observados nos estudos de Moreno (2001), Melo (2001), Linhales (2006) e Vago (1999).