Complicações após expansão de maxila cirurgicamente assistida

Introduction: The treatment of adult transverse maxillary deficiency is the surgically assisted maxillary expansion. Several surgical techniques have been described for this and complications have been related to these procedures. Objective: the aim of this study was evaluate the incidence of complications associated with surgically assisted maxillary expansion. Material and method: 33 individuals undergone surgically assisted maxillary expansion by subtotal Le Fort I osteotomy with a step in the zygomatic-maxillary buttress and associated to pterigomaxillary disjunction and osteotomy of intermaxillary suture. Operative complications, post-operative complications and the distance between the upper teeth were recorded. Result: 12 men and 21 women with an average age of 24.64 years undergone the procedure. The interdental distances increased from preoperative to 2 months post?operative time. The prevalent complications were sinusitis (6%) and teeth displacement and inclination (6%). Conclusion: Surgically assisted maxillary expansion is an effective and low morbidity procedure to treat transverse maxillary deficiency in adults.

Finite element analysis of stress distribution in anchor teeth in surgically assisted rapid palatal expansion

The treatment of a transverse maxillary deficiency in skeletally mature individuals should include surgically assisted rapid palatal expansion. This study evaluated the distribution of stresses that affect the expander's anchor teeth using finite element analysis when the osteotomy is varied. Five virtual models were built and the surgically assisted rapid palatal expansion was simulated. Results showed tension on the lingual face of the teeth and alveolar bone, and compression on the buccal side of the alveolar bone. The subtotal Le Fort I osteotomy combined with intermaxillary suture osteotomy seemed to reduce the dissipation of tensions. Therefore, subtotal Le Fort I osteotomy without a step in the zygomaticomaxillary buttress, combined with intermaxillary suture osteotomy and pterygomaxillary disjunction may be the osteotomy of choice to reduce tensions on anchor teeth, which tend to move mesiobuccally (premolar) and distobuccally (molar)

Canonical proof nets for classical logic

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Skolemization for Substructural Logics

The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here (following similar ideas of Baaz and Iemhoff for first-order intermediate logics in [1]) that first-order substructural logics with a semantics satisfying certain witnessing conditions admit a “parallel” Skolemization procedure where a strong quantifier is removed by introducing a finite disjunction or conjunction (as appropriate) of formulas with multiple new function symbols. These logics typically lack equivalent prenex forms. Also, semantic consequence does not in general reduce to satisfiability. The Skolemization theorems presented here therefore take various forms, applying to the left or right of the consequence relation, and to all formulas or only prenex formulas.

INTELIGÊNCIAS EMOCIONAIS E ENSINO SUPERIOR: uma leitura a partir da percepção de professores de um curso de administração.

As Inteligências Emocionais (IEs) têm sido objeto de estudo e discussão nos últimos quinze anos. Todavia, escassos são os estudos científicos, sobremaneira no campo da educação, voltados para o entendimento dos desafios e possibilidades das IEs no cenário do ensino superior. O modelo newtoniano-cartesiano, assumido por setores dominantes de nossa cultura de forma racionalista e reducionista, vem se estabelecendo desde tempos remotos, mais especificamente a partir do século XVI, avançando até os tempos atuais e trazendo muitas marcas para os diferentes campos da cultura ocidental, inclusive para a educação. Como características deste modelo, passíveis de crítica, estão a fragmentação do conhecimento, o foco na especialização e, a instituição de uma relação pedagógica dominadora e não dialogal que negligencia as múltiplas inteligências desenvolvidas e presentes nos indivíduos. Essas características contribuíram para o estabelecimento de uma sociedade de conhecimentos parcelares, para a disjunção entre sujeito e objeto, o descuido nas relações do homem para consigo mesmo, dele para com os demais homens e, dele para com os demais seres vivos que cohabitam o planeta, culminando numa intensa crise planetária. Urge discutir e rever o paradigma newtoniano-cartesiano, dado ao fato de que os resultados colhidos nestes últimos quinhentos anos, se por um lado nos beneficiaram do ponto de vista científico e tecnológico, não mais respondem aos problemas e necessidades com os quais nos deparamos, de modo especial na educação. Delimito esta pesquisa no âmbito do Ensino Superior e, no interior deste, no campo dos estudos de graduação em Administração. As perguntas que motivam o meu trabalho são: 1. Os professores do Curso de Administração consideram as dimensões emocionais em seu trabalho docente? 2. Eles sabem o que são IEs? 3. Que dificuldades eles vêem para desenvolver um trabalho com as dimensões emocionais? 4. Eles vêem possibilidades positivas no trabalho com as IEs? 5. Que pistas as respostas às perguntas acima sugerem à formação continuada de professores no campo da Administração? 6. Ao planejar e organizar suas aulas o professor tem vista o trabalho com a dimensão afetiva? Para fazer a crítica da educação construída na perspectiva newtoniano-cartesiana assumi como referências principais Morin (1995, 2000), Santos (1988) e Moraes (1997). Para estudar a construção do conhecimento considerando as IEs tomei como referências para esta pesquisa Gardner (1995), Izquierdo (2002) e Valle (2003). Foi realizada uma pesquisa de campo com seis (6) professores de um Curso de Administração, mediante um questionário estruturado. O objetivo desta pesquisa foi identificar as principais dificuldades dos docentes quando se pensa num trabalho pedagógico sensível às inteligências emocionais e, estudando estas dificuldades à luz dos teóricos por mim trazidos, construírem possíveis pistas para uma ação formativa, na perspectiva da formação continuada, que considere também o determinante das inteligências emocionais.(AU)

INTELIGÊNCIAS EMOCIONAIS E ENSINO SUPERIOR: uma leitura a partir da percepção de professores de um curso de administração.

As Inteligências Emocionais (IEs) têm sido objeto de estudo e discussão nos últimos quinze anos. Todavia, escassos são os estudos científicos, sobremaneira no campo da educação, voltados para o entendimento dos desafios e possibilidades das IEs no cenário do ensino superior. O modelo newtoniano-cartesiano, assumido por setores dominantes de nossa cultura de forma racionalista e reducionista, vem se estabelecendo desde tempos remotos, mais especificamente a partir do século XVI, avançando até os tempos atuais e trazendo muitas marcas para os diferentes campos da cultura ocidental, inclusive para a educação. Como características deste modelo, passíveis de crítica, estão a fragmentação do conhecimento, o foco na especialização e, a instituição de uma relação pedagógica dominadora e não dialogal que negligencia as múltiplas inteligências desenvolvidas e presentes nos indivíduos. Essas características contribuíram para o estabelecimento de uma sociedade de conhecimentos parcelares, para a disjunção entre sujeito e objeto, o descuido nas relações do homem para consigo mesmo, dele para com os demais homens e, dele para com os demais seres vivos que cohabitam o planeta, culminando numa intensa crise planetária. Urge discutir e rever o paradigma newtoniano-cartesiano, dado ao fato de que os resultados colhidos nestes últimos quinhentos anos, se por um lado nos beneficiaram do ponto de vista científico e tecnológico, não mais respondem aos problemas e necessidades com os quais nos deparamos, de modo especial na educação. Delimito esta pesquisa no âmbito do Ensino Superior e, no interior deste, no campo dos estudos de graduação em Administração. As perguntas que motivam o meu trabalho são: 1. Os professores do Curso de Administração consideram as dimensões emocionais em seu trabalho docente? 2. Eles sabem o que são IEs? 3. Que dificuldades eles vêem para desenvolver um trabalho com as dimensões emocionais? 4. Eles vêem possibilidades positivas no trabalho com as IEs? 5. Que pistas as respostas às perguntas acima sugerem à formação continuada de professores no campo da Administração? 6. Ao planejar e organizar suas aulas o professor tem vista o trabalho com a dimensão afetiva? Para fazer a crítica da educação construída na perspectiva newtoniano-cartesiana assumi como referências principais Morin (1995, 2000), Santos (1988) e Moraes (1997). Para estudar a construção do conhecimento considerando as IEs tomei como referências para esta pesquisa Gardner (1995), Izquierdo (2002) e Valle (2003). Foi realizada uma pesquisa de campo com seis (6) professores de um Curso de Administração, mediante um questionário estruturado. O objetivo desta pesquisa foi identificar as principais dificuldades dos docentes quando se pensa num trabalho pedagógico sensível às inteligências emocionais e, estudando estas dificuldades à luz dos teóricos por mim trazidos, construírem possíveis pistas para uma ação formativa, na perspectiva da formação continuada, que considere também o determinante das inteligências emocionais.(AU)

Climate change is affecting altitudinal migrants and hibernating species

Calendar date of the beginning of the growing season at high altitude in the Colorado Rocky Mountains is variable but has not changed significantly over the past 25 years. This result differs from growing evidence from low altitudes that climate change is resulting in a longer growing season, earlier migrations, and earlier reproduction in a variety of taxa. At our study site, the beginning of the growing season is controlled by melting of the previous winter's snowpack. Despite a trend for warmer spring temperatures the average date of snowmelt has not changed, perhaps because of the trend for increased winter precipitation. This disjunction between phenology at low and high altitudes may create problems for species, such as many birds, that migrate over altitudinal gradients. We present data indicating that this already may be true for American robins, which are arriving 14 days earlier than they did in 1981; the interval between arrival date and the first date of bare ground has grown by 18 days. We also report evidence for an effect of climate change on hibernation behavior; yellow-bellied marmots are emerging 38 days earlier than 23 years ago, apparently in response to warmer spring air temperatures. Migrants and hibernators may experience problems as a consequence of these changes in phenology, which may be exacerbated if climate models are correct in their predictions of increased winter snowfall in our study area. The trends we report for earlier formation of permanent snowpack and for a longer period of snow cover also have implications for hibernating species.

Highly specific protein sequence motifs for genome analysis

We present a method for discovering conserved sequence motifs from families of aligned protein sequences. The method has been implemented as a computer program called emotif (http://motif.stanford.edu/emotif). Given an aligned set of protein sequences, emotif generates a set of motifs with a wide range of specificities and sensitivities. emotif also can generate motifs that describe possible subfamilies of a protein superfamily. A disjunction of such motifs often can represent the entire superfamily with high specificity and sensitivity. We have used emotif to generate sets of motifs from all 7,000 protein alignments in the blocks and prints databases. The resulting database, called identify (http://motif.stanford.edu/identify), contains more than 50,000 motifs. For each alignment, the database contains several motifs having a probability of matching a false positive that range from 10−10 to 10−5. Highly specific motifs are well suited for searching entire proteomes, while generating very few false predictions. identify assigns biological functions to 25–30% of all proteins encoded by the Saccharomyces cerevisiae genome and by several bacterial genomes. In particular, identify assigned functions to 172 of proteins of unknown function in the yeast genome.

A prematuridade no discurso materno: de que se trata?

Quais os efeitos do diagnóstico de prematuridade no discurso das mães e suas repercussões na relação mãe-criança? Partindo desta questão, que surgiu na experiência psicanalítica em um hospital pediátrico, o presente estudo visa analisar os efeitos do diagnóstico de prematuridade no discurso materno a partir de entrevistas psicanalíticas preliminares com mães de crianças prematuras. Trata-se de uma pesquisa clínica qualitativa que propõe uma articulação entre clínica e teoria a partir da construção de quatro casos clínicos fundamentados pelo referencial teórico da psicanálise de Freud, Lacan e autores contemporâneos. Se no imaginário social a prematuridade é associada a dificuldades em diversos contextos da vida, a análise de cada caso revela que este diagnóstico pode ou não ser encadeado pelo sujeito aos significantes que o marcam de forma prevalente. Nesta via, a prematuridade se desloca do lugar determinante de algo que sempre marca e decide, para um lugar que só pode ser escutado no um a um. Para a análise dos casos, elencou-se a divisão mãe-mulher como operador conceitual central dada sua prevalência nos discursos, em um percurso teórico que parte da história do amor materno ao exame psicanalítico da maternidade a partir da sexualidade feminina. Tais considerações partem do mito do amor materno de Badinter, em direção à equivalência do filho como substituto da falta fálica em Freud, até à ênfase ao desejo da mulher na mãe em Lacan. A discussão apresenta os diferentes lugares atribuídos à prematuridade por cada sujeito feminino e a prevalência de impasses próprios à conjunção e disjunção mãe-mulher incidindo na relação mãe-criança

¿Es su casa mi casa? Latinos, Socialization, and the Catholic Church

Thesis (Ph.D.)--University of Washington, 2016-06

Multiplication and comultiplication of beliefs

Multiplication and comultiplication of beliefs represent a generalisation of multiplication and comultiplication of probabilities as well as of binary logic AND and OR. Our approach follows that of subjective logic, where belief functions are expressed as opinions that are interpreted as being equivalent to beta probability distributions. We compare different types of opinion product and coproduct, and show that they represent very good approximations of the analytical product and coproduct of beta probability distributions. We also define division and codivision of opinions, and compare our framework with other logic frameworks for combining uncertain propositions. (C) 2004 Elsevier Inc. All rights reserved.

INTELIGÊNCIAS EMOCIONAIS E ENSINO SUPERIOR: uma leitura a partir da percepção de professores de um curso de administração.

As Inteligências Emocionais (IEs) têm sido objeto de estudo e discussão nos últimos quinze anos. Todavia, escassos são os estudos científicos, sobremaneira no campo da educação, voltados para o entendimento dos desafios e possibilidades das IEs no cenário do ensino superior. O modelo newtoniano-cartesiano, assumido por setores dominantes de nossa cultura de forma racionalista e reducionista, vem se estabelecendo desde tempos remotos, mais especificamente a partir do século XVI, avançando até os tempos atuais e trazendo muitas marcas para os diferentes campos da cultura ocidental, inclusive para a educação. Como características deste modelo, passíveis de crítica, estão a fragmentação do conhecimento, o foco na especialização e, a instituição de uma relação pedagógica dominadora e não dialogal que negligencia as múltiplas inteligências desenvolvidas e presentes nos indivíduos. Essas características contribuíram para o estabelecimento de uma sociedade de conhecimentos parcelares, para a disjunção entre sujeito e objeto, o descuido nas relações do homem para consigo mesmo, dele para com os demais homens e, dele para com os demais seres vivos que cohabitam o planeta, culminando numa intensa crise planetária. Urge discutir e rever o paradigma newtoniano-cartesiano, dado ao fato de que os resultados colhidos nestes últimos quinhentos anos, se por um lado nos beneficiaram do ponto de vista científico e tecnológico, não mais respondem aos problemas e necessidades com os quais nos deparamos, de modo especial na educação. Delimito esta pesquisa no âmbito do Ensino Superior e, no interior deste, no campo dos estudos de graduação em Administração. As perguntas que motivam o meu trabalho são: 1. Os professores do Curso de Administração consideram as dimensões emocionais em seu trabalho docente? 2. Eles sabem o que são IEs? 3. Que dificuldades eles vêem para desenvolver um trabalho com as dimensões emocionais? 4. Eles vêem possibilidades positivas no trabalho com as IEs? 5. Que pistas as respostas às perguntas acima sugerem à formação continuada de professores no campo da Administração? 6. Ao planejar e organizar suas aulas o professor tem vista o trabalho com a dimensão afetiva? Para fazer a crítica da educação construída na perspectiva newtoniano-cartesiana assumi como referências principais Morin (1995, 2000), Santos (1988) e Moraes (1997). Para estudar a construção do conhecimento considerando as IEs tomei como referências para esta pesquisa Gardner (1995), Izquierdo (2002) e Valle (2003). Foi realizada uma pesquisa de campo com seis (6) professores de um Curso de Administração, mediante um questionário estruturado. O objetivo desta pesquisa foi identificar as principais dificuldades dos docentes quando se pensa num trabalho pedagógico sensível às inteligências emocionais e, estudando estas dificuldades à luz dos teóricos por mim trazidos, construírem possíveis pistas para uma ação formativa, na perspectiva da formação continuada, que considere também o determinante das inteligências emocionais.(AU)

AVALIAÇÃO DAS ALTERAÇÕES TRANSVERSAIS, ÂNTEROPOSTERIORES E VERTICAIS DA MAXILA EM PACIENTES SUBMETIDOS À EXPANSÃO RÁPIDA DA MAXILA ASSISTIDA CIRURGICAMENTE

O presente trabalho teve por finalidade avaliar as alterações produzidas nos arcos dentárias superiores de pacientes submetidos à expansão rápida da maxila por meio de disjunção da sutura palatina mediana assistida cirurgicamente ERM-AC. A amostra utilizada para a realização deste estudo foi composta de 34 pares de modelos de gesso de 17 pacientes, sendo 6 do sexo masculino e 11 do sexo feminino. Para cada paciente foram preparados 2 pares de modelos obtidos em diferentes fases: inicial ,antes do procedimento operatório (T1) e três meses após o travamento do parafuso expansor (T2). O dispositivo expansor utilizado nesta amostra foi o disjuntor tipo Hyrax. O procedimento cirúrgico adotado foi a osteotomia nas paredes laterais da maxila sem o envolvimento da lâmina pterigóide, osteotomia da espinha nasal à linha média dental (incisivos centrais anteriores), separação da sutura palatina mediana por meio de cinzel e separação do septo nasal. O início da ativação ocorreu no 3o dia pós operatório sendo ¼ pela manhã e ¼ à noite, as ativações seguiram critérios clínicos para o controle da expansão. As medidas foram realizadas por meio da máquina de medição tridimensional (SAC) baseado nas alterações nos três planos vertical, sagital e transversal que ocorreram nos modelos de gesso. Os resultados mostraram que houve uma expansão estatisticamente significante na região dos caninos, primeiros prémolares, primeiros molares e segundos molares, respectivamente 6,03mm, 9,82mm, 8,66mm, 9,72mm e 5,67mm. As distâncias obtidas entre os incisivos centrais e laterais não se mostraram estatisticamente significantes, os valores obtidos foram respectivamente: 0,40mm e 4,12mm. As inclinações das coroas dentais para vestibular mostraram um comportamento assimétrico, pois nos primeiros molares os valores encontrados foram 6,890 (lado direito) e 9,560 (lado esquerdo) e para os primeiros prémolares os valores obtidos foram 3,260 para o lado direito (estatisticamente não significante) e 4,740 para o lado esquerdo. Avaliando a variável comprimento do arco maxilar, foi observada uma diminuição média entre os intervalos analisados T1 28,20 mm e T2 26,56 mm variando 1,64mm. Podemos concluir que a ERM-AC produziu uma expansão maxilar com inclinação vestibular da coroas dos dentes posteriores e diminuição no comprimento do arco maxilar, as outras variáveis analisadas não mostraram alterações estatisticamente significantes nos intervalos medidos.

Achieving completeness: from constructive set theory to large cardinals

This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. We develop them within a constructive reverse mathematical viewpoint, highlighting the metatheory used in each case and the strength of the corresponding completeness theorems. The classical part of the thesis focuses on infinitary intuitionistic propositional and predicate logic. We consider a propositional axiomatic system with a special distributivity rule that is enough to prove a completeness theorem, and we introduce weakly compact cardinals as the adequate metatheoretical assumption for this development. Finally, we return to the categorical formulation focusing this time on infinitary first-order intuitionistic logic. We propose a first-order system with a special rule, transfinite transitivity, that embodies both distributivity as well as a form of dependent choice, and study the extent to which completeness theorems can be established. We prove completeness using a weakly compact cardinal, and, like in the constructive part, we study disjunction-free fragments as well. The assumption of weak compactness is shown to be essential for the completeness theorems to hold.

Apollo 13 Risk Assessment Revisited

Fault tree methodology is the most widespread risk assessment tool by which one is able to predict - in principle - the outcome of an event whenever it is reduced to simpler ones by the logic operations conjunction and disjunction according to the basics of Boolean algebra. The object of this work is to present an algorithm by which, using the corresponding computer code, one is able to predict - in practice - the outcome of an event whenever its fault tree is given in the usual form.