Habilidades funcionais de autocuidado, mobilidade e função social em crianças com fissura labiopalatina e Espectro Óculo-Aurículo-Vertebral (EOAV)

As anomalias craniofaciais ocasionam comprometimentos estéticos e funcionais com grande impacto na saúde e na integração social da criança, com interferência no desenvolvimento global e social. Das anomalias craniofaciais este estudo abordou as Fissuras Labiopalatinas (FLP) e o Espectro Óculo Aurículo Vertebral (EOAV). As FLP constituem malformações resultantes de falta do fechamento completo dos tecidos que compõe o lábio e o palato. O EOAV, também conhecido como Síndrome de Goldenhar, é uma anomalia congênita de etiologia desconhecida, com manifestação genética variável e de causa bastante heterogênea. Conhecer as habilidades funcionais e o impacto destas no desenvolvimento global de crianças com EOAV e FLP pode otimizar o desenvolvimento de programas de prevenção e intervenção para promover a saúde e a integração social destes indivíduos. Este estudo foi delineado com objetivo de verificar e comparar o desempenho em habilidades funcionais quanto ao desempenho nas áreas de autocuidado, mobilidade, função social e nível de independência entre crianças com EOAV, crianças com FLP e um grupo comparativo, de crianças sem anomalias. O modelo de pesquisa foi observacional descritivo transversal com uma casuística de 39 pais/responsáveis de crianças na faixa etária entre três anos e sete anos e seis meses, de ambos os gêneros. Foram convidados para participar pais/responsáveis de crianças em tratamento no Hospital de Reabilitação de Anomalias Craniofaciais da Universidade e São Paulo (HRAC-USP) os quais foram divididos em três grupos: dois experimentais e um grupo comparativo. O instrumento para coleta dos dados das habilidades funcionais foi o Pediatric Evaluation of Disability Inventory (PEDI), em sua versão adaptada para o português. A avaliação é realizada por meio de entrevista com o cuidador, o qual deve saber informar sobre o desempenho da criança em atividades e tarefas típicas da rotina diária. Os dados foram apresentados por análise descritiva com medidas de tendência central (média aritmética), dispersão (desvio-padrão) e distribuição de frequência, nas variáveis: idades, gênero e nível socioeconômico da família e caracterização da casuística. Para as análises das pontuações bruta e normativa do questionário PEDI no que se refere às habilidades funcionais e a assistência do cuidador nas três áreas de função autocuidado, mobilidade e função social, foi utilizado o teste de variância One Way, e para o teste de normalidade foi utilizado Shapiro Wilk para variável dependente. A análise comparativa foi realizada pelo teste de Kruskal-Wallis, adotando-se o valor de significância de p< 0,05. Os resultados deste estudo na análise comparativa nas habilidades funcionais na mobilidade, houve diferença estatisticamente significante na comparação entre os grupos GC vs GEEOAV, no escore bruto, e entre os grupos GC vs GEEOAV e GC vs GEFLP, no escore normativo.Na assistência do cuidador no autocuidado, houve diferença estatisticamente significante na comparação entre os grupos GC vs GEEOAV, no escore normativo. Na assistência do cuidador na mobilidade, houve diferença estatisticamente significante na comparação entre os grupos GC vs GEEOAV nos escores bruto e normativo.Na assistência do cuidador na função social houve diferença estatisticamente significante na comparação entre os grupos GC vs GEFLP.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Terapêutica biológica na doença inflamatória intestinal : revisão bibliográfica

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

Miocardiopatia peripartum

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

Apical hypertrophic cardiomyopathy : a review

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

Moya moya disease : literature review and case report

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

Pneumotórax espontâneo primário : da incerteza etiológica ás dicotomias do tratamento

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

46,XX doença do desenvolvimento sexual testicular : a propósito de um caso clínico

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

Manifestações otirinolaringológicas de doenças granulomatosas : granulomatose de Wegner e sarcoídose do Cavum

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

Optimização de um sistema híbrido off-grid PV, Gerador Diesel e Baterias

Tese de mestrado integrado, Engenharia da Energia e do Ambiente, Universidade de Lisboa, Faculdade de Ciências, 2016

Characterization of adverse drug reactions with neuropsychiatric clinical manifestations reported spontaneously to the portuguese pharmacovigilance system in the greater Lisbon area

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

O tríptico da paixão de Cristo do Palácio Nacional da Ajuda: história, estudo material, iconografia e filiação estílistica

O objeto de estudo desta dissertação é um pequeno tríptico do Palácio Nacional da Ajuda, provavelmente dos finais do séc. XV, sobre o qual existe pouca informação. A obra pertence ao acervo de pintura antiga deste palácio/museu (inv. 3540) e encontra-se exposta no “Atelier de Pintura de D. Luís”. Trata-se de uma pintura sobre tábua de carvalho, em mau estado de conservação, representando cinco episódios relativos à Paixão de Cristo: a Flagelação, a Coroação de Espinhos, o Caminho do Calvário e duas cenas relativas à Ressurreição. Apresenta uma iconografia singular, mas as suas características gerais indicam tratar-se de uma pintura tardo-gótica do Norte da Europa, nomeadamente da Alemanha. O objetivo desta tese de mestrado em História da Arte, Património e Teoria do Restauro, consiste na investigação histórica e material desta obra, sobre a qual existe pouca informação. Por ser desconhecida a sua cronologia, autoria e local de produção, além de não haver qualquer documentação ou bibliografia sobre a mesma, iremos estudar esta obra a partir da sua materialidade, iconografia e estilo, na medida em que a obra é um “documento vivo”. Tendo sido agora encontrada a única e a mais antiga referência documental relativa a esta obra, nos arrolamentos de 1913 do palácio (Inventário Judicial), este tríptico consta na "Galeria de Quadros”, indicando ter pertencido à coleção de pintura de D. Luís I. Interessa, então, focar a política de aquisições de pintura antiga nórdica desenvolvida pelo monarca, tentando perceber porque é que o tríptico não consta nos catálogos das exposições (duas edições dos catálogos, 1869 e 1872) da “Galeria de Pintura no Real Paço da Ajuda”, aberta ao público em1869. Porque a interdisciplinaridade entre arte e ciência é fundamental para um conhecimento mais profundo da História da Arte, esta obra foi objeto de um estudo material que consistiu no levantamento in situ da pintura (exames de área e de ponto), na análise laboratorial (estratigrafia, pigmentos e aglutinantes) e na integração dos resultados, para compreender a técnica pictórica, que se articula com a análise iconográfica e de filiação estilística, contribuindo para a integração da obra no seu contexto histórico-cultural de origem, como pintura devocional germânica.

Granulomatose com poliangeíte

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

A doença de Parkinson no doente idoso

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014