Investigation on Heart Rate Variability (HRV) and psycho-social-affective adjustment in Italian women with ovarian cancer

INTRODUZIONE: L’integrazione mente-corpo applicata ad un ambito patologico predominante in questi tempi, come il cancro, è il nucleo di questa tesi. Il background teorico entro cui è inserita, è quello della Psiconeuroendocrinoimmunologia (Bottaccioli, 1995) e Psico-Oncologia. Sono state identificate, nella letteratura scientifica, le connessioni tra stati psicologici (mente) e condizioni fisiologiche (corpo). Le variabili emerse come potenzialmente protettive in pazienti che si trovano ad affrontare il cancro sono: il supporto sociale, l’immagine corporea, il coping e la Qualità della Vita, insieme all’indice fisiologico Heart Rate Variability (HRV; Shaffer & Venner, 2013). Il potenziale meccanismo della connessione tra queste variabili potrebbe essere spiegato dall’azione del Nervo Vago, come esposto nella Teoria Polivagale di Stephen Porges (2007; 2009). OBIETTIVI: Gli obiettivi principali di questo studio sono: 1. Valutare l’adattamento psicologico alla patologia in termini di supporto sociale percepito, immagine corporea, coping prevalente e qualità della vita in donne con cancro ovarico; 2. Valutare i valori di base HRV in queste donne; 3. Osservare se livelli più elevati di HRV sono associati ad un migliore adattamento psicologico alla patologia; 4. Osservare se una peggiore percezione dell’immagine corporea e l’utilizzo di strategie di coping disadattive sono associate ad una Qualità della Vita più scarsa. METODO: 38 donne affette da cancro ovarico, al momento della valutazione libere da patologia, sono state reclutate presso la clinica oncologica del reparto di Ginecologia dell’Azienda Ospedaliero-Universitaria di Parma, Italia. Ad ogni partecipante è stato chiesto di compilare una batteria di test composta da: MSPSS, per la valutazione del supporto sociale percepito; DAS-59, per la valutazione dell’immagine corporea; MAC, per la valutazione delle strategie di coping prevalenti utilizzate verso il cancro; EORTC-QLQ30, per la valutazione della Qualità della Vita. Per ogni partecipante è stato registrato HRV di base utilizzando lo strumento emWave (HeartMath). RISULTATI PRINCIPALI: Rispondendo agli obiettivi 1 e 2, in queste donne si è rilevato una alto tasso di supporto sociale percepito, in particolare ricevuto dalla persona di riferimento. L’area rivelatasi più critica nel supporto sociale è quella degli amici. Per quanto riguarda l’immagine corporea, la porzione di campione dai 30 ai 61 anni, ha delle preoccupazioni globali legate all’immagine corporea paragonabili ai dati provenienti dalla popolazione generale con preoccupazioni riguardo l’aspetto corporeo. Invece, nella porzione di campione dai 61 anni in su, il pattern di disagio verso l’aspetto fisico sembra decisamente peggiorare. Inoltre, in questo campione, si è rilevato un disagio globale verso l’immagine corporea significativamente più alto rispetto ai valori normativi presenti in letteratura riferiti a donne con cancro al seno con o senza mastectomia (rispettivamente t(94)= -4.78; p<0.000001; t(110)= -6.81;p<0.000001). La strategia di coping più utilizzata da queste donne è lo spirito combattivo, seguito dal fatalismo. Questo campione riporta, inoltre, una Qualità della Vita complessivamente soddisfacente, con un buon livello di funzionamento sociale. L’area di funzionalità più critica risulta essere il funzionamento emotivo. Considerando i sintomi prevalenti, i più riferiti sono affaticamento, disturbi del sonno e dolore. Per definire, invece, il pattern HRV, sono stati confrontati i dati del campione con quelli presenti in letteratura, riguardanti donne con cancro ovarico. Il campione valutato in questo studio, ha un HRV SDNN (Me=28.2ms) significativamente più alto dell’altro gruppo. Tuttavia, confrontando il valore medio di questo campione con i dati normativi sulla popolazione sana (Me=50ms), i nostri valori risultano drasticamente più bassi. In ultimo, donne che hanno ricevuto diagnosi di cancro ovarico in età fertile, sembrano avere maggiore HRV, migliore funzionamento emotivo e minore sintomatologia rispetto alle donne che hanno ricevuto diagnosi non in età fertile. Focalizzando l’attenzione sulla ricerca di relazioni significative tra le variabili in esame (obiettivo 3 e 4) sono state trovate numerose correlazioni significative tra: l’età e HRV, supporto percepito , Qualità della Vita; Qualità della Vita e immagine corporea, supporto sociale, strategie di coping; strategie di coping e immagine corporea, supporto sociale; immagine corporea e supporto sociale; HRV e supporto sociale, Qualità della Vita. Per verificare la possibile connessione causale tra le variabili considerate, sono state applicate regressioni lineari semplici e multiple per verificare la bontà del modello teorico. Si è rilevato che HRV è significativamente positivamente influenzata dal supporto percepito dalla figura di riferimento, dal funzionamento di ruolo, dall’immagine corporea totale. Invece risulta negativamente influenzata dal supporto percepito dagli amici e dall’uso di strategie di coping evitanti . La qualità della vita è positivamente influenzata da: l’immagine corporea globale e l’utilizzo del fatalismo come strategia di coping prevalente. Il funzionamento emotivo è influenzato dal supporto percepito dalla figura di riferimento e dal fatalismo. DISCUSSIONI E CONCLUSIONI: Il campione Italiano valutato, sembra essere a metà strada nell’adattamento dello stato psicologico e dell’equilibrio neurovegetativo al cancro. Sicuramente queste donne vivono una vita accettabile, in quanto sopravvissute al cancro, ma sembra anche che portino con sé preoccupazioni e difficoltà, in particolare legate all’accettazione della loro condizione di sopravvissute. Infatti, il migliore adattamento si riscontra nelle donne che hanno avuto peggiori condizioni in partenza: stadio del cancro avanzato, più giovani, con diagnosi ricevuta in età fertile. Pertanto, è possibile suggerire che queste condizioni critiche forzino queste donne ad affrontare apertamente il cancro e la loro situazione di sopravvissute al cancro, portandole ad “andare avanti” piuttosto che “tornare indietro”. Facendo riferimento alle connessioni tra variabili psicologiche e fisiologiche in queste donne, si è evidenziato che HRV è influenzata dalla presenza di figure significative ma, in particolare, è presumibile che sia influenzata da un’appropriata condivisione emotiva con queste figure. Si è anche evidenziato che poter continuare ad essere efficaci nel proprio contesto personale si riflette in un maggiore HRV, probabilmente in quanto permette di preservare il senso di sé, riducendo in questo modo lo stress derivante dall’esperienza cancro. Pertanto, HRV in queste donne risulta associato con un migliore adattamento psicologico. Inoltre, si è evidenziato che in queste donne la Qualità della Vita è profondamente influenzata dalla percezione dell’immagine corporea. Si tratta di un aspetto innovativo che è stato rilevato in questo campione e che, invece, nei precedenti studi non è stato indagato. In ultimo, la strategia di coping fatalismo sembra essere protettiva e sembra facilitare il processo di accettazione del cancro. Si spera sinceramente che le ricerche future possano superare i limiti del presente studio, come la scarsa numerosità e l’uso di strumenti di valutazione che, per alcuni aspetti come la scala Evitamento nel MAC, non centrano totalmente il target di indagine. Le traiettorie future di questo studio sono: aumentare il numero di osservazioni, reclutando donne in diversi centri specialistici in diverse zone d’Italia; utilizzare strumenti più specifici per valutare i costrutti in esame; valutare se un intervento di supporto centrato sul miglioramento di HRV (come HRV Biofeedback) può avere una ricaduta positiva sull’adattamento emotivo e la Qualità della Vita.

Análise do ganho de peso gestacional em mulheres da região Sudeste do Brasil e desfechos perinatais

Introdução: A obesidade é um dos grandes problemas de Saúde Pública e atinge níveis epidêmicos em grande parte do mundo. A maioria dos indivíduos com excesso de peso são mulheres, no Brasil o tamanho desta população também é expressivo, as em idade fértil são as que apresentam maior risco para o desenvolvimento da obesidade, o que está associado ao ganho de peso excessivo durante a gestação e a retenção de peso após o nascimento. O excesso de peso materno está relacionado a desfechos negativos para saúde materno-infantil. Objetivo: Analisar o peso gestacional e desfechos perinatais em mulheres da região sudeste do Brasil. Método: estudo transversal, com a utilização de dados provenientes de uma coorte nacional, com base hospitalar denominada: Nascer no Brasil: Inquérito Nacional sobre Parto e Nascimento, inquérito realizado no período de 2011 e 2012.Partindo da amostra inicial total do Sudeste composta por 10.154 mulheres entrevistadas e considerando os fatores de inclusão e exclusão para esta pesquisa, chegou-se a uma amostra de 3.405 binômios (mãe /recém-nascido).As variáveis estudadas foram ganho de peso, idade materna, peso pré-gestacional, Índice de Massa Corporal inicial e final, idade gestacional, tipo de parto e peso ao nascer. Análise foi realizada através das medidas de tendência central. Foi utilizado teste de Mann-Whitney para dados de distribuição normal e coeficiente de Pearson para variáveis contínuas. Foram considerados como significante os resultados com um p a 0,05. Resultados: A maioria das participantes apresentou faixa etária entre 21 e 30 anos, os nascimentos ocorreram entre a 38ª e 39ª semana gestacional, e seus recém-nascidos tiveram peso mediano de 3.219 g. Grande parte das pesquisadas (61,04 por cento ) iniciaram a gestação com um estado nutricional considerado adequado e 31,51 por cento apresentavam excesso de peso anterior à gestação. O ganho de peso excessivo ocorreu em todas as categorias de IMC pré-gestacional representando 49,6 por cento da população total estudada. O peso anterior à gestação apresentou elevada correlação com ganho de peso total ao final da gestação. Também foi observada influência do ganho de peso na gestação com a via de parto, idade gestacional e peso do bebê ao nascer. Conclusão: A maioria da população iniciou a gestação com estado nutricional adequado, porém, houve ganho de peso excessivo considerável em todas as categorias de IMC, este influenciou na via de parto onde a maioria aconteceu por operação cesariana e no peso ao nascer. O estado nutricional inicial influencia fortemente o estado nutricional ao final da gestação. Por isto, é importante que os programas de intervenção atuem em todas as etapas deste período, inclusive na conscientização da importância de um peso adequado anterior a concepção. Além de promover ações que auxiliem nos cuidados quanto ao ganho de peso na gestação.

Comparação entre a técnica femoral com dispositivo de hemostasia e a técnica radial em pacientes submetidos à estratégia invasiva precoce

A via de acesso arterial é um importante sítio de complicações após a realização de procedimentos coronários invasivos. Dentre as estratégias para a redução de complicações vasculares, encontra-se estabelecida a eficácia da técnica radial. Os dispositivos de oclusão vascular propiciam maior conforto ao paciente, reduzindo o tempo de hemostasia e repouso no leito. Entretanto, a inconsistência de dados comprovando sua segurança limita sua adoção rotineira como estratégia para redução de complicações vasculares, requerendo evidências de estudos randomizados com metodologia adequada. O objetivo deste estudo foi comparar a incidência de complicações no sítio de punção arterial entre a técnica radial e a técnica femoral com utilização de Angio-Seal em pacientes com síndrome coronariana aguda sem supradesnível do segmento ST submetidos à estratégia invasiva precoce. Trata-se de um ensaio clínico unicêntrico, de não inferioridade, no qual duzentos e quarenta pacientes foram randomizados para a técnica radial ou técnica femoral com utilização de Angio-Seal. O objetivo primário foi a ocorrência de complicações no sítio de punção arterial até 30 dias após o procedimento, incluindo sangramento grave, hematoma >= 5 cm, hematoma retroperitoneal, síndrome compartimental, pseudoaneurisma, fístula arteriovenosa, infecção, isquemia de membro, oclusão arterial, lesão de nervo adjacente ou necessidade de reparo vascular cirúrgico. Em relação às características demográficas e clínicas, houve diferença apenas quanto ao gênero, com presença maior de pacientes do sexo feminino no grupo radial (33,3% versus 20,0%, p=0,020). Não se observaram diferenças entre os grupos quanto ao diagnóstico de admissão, alterações isquêmicas presentes no eletrocardiograma, elevação de marcadores de necrose miocárdica ou escores de risco, bem como quanto à farmacoterapia antitrombótica adjunta e características da intervenção coronária percutânea. A hemostasia foi obtida na totalidade dos procedimentos do grupo radial com a utilização da pulseira compressora seletiva TR Band e em 95% dos procedimentos realizados pela técnica femoral com o Angio-Seal (p=0,029). Exceto pela maior incidência de oclusão arterial no grupo radial comparado ao femoral, não houve diferenças entre os demais desfechos analisados. Segundo o teste de não inferioridade para complicações na via de acesso arterial aos 30 dias, verificou-se que a utilização do Angio-Seal não produziu resultados inferiores ao acesso radial, considerando-se a margem de 15% (12,5% versus 13,3%, diferença -0,83%, IC 95% -9,31 - 7,65, p para não inferioridade <0,001). Os resultados principais deste estudo demonstram que, em uma população de pacientes com diagnóstico de síndrome coronariana aguda sem supradesnível do segmento ST, submetida à estratificação de risco invasiva, a utilização do dispositivo de oclusão vascular Angio-Seal confere ao procedimento efetivado pelo acesso femoral inferioridade na incidência de complicações no sítio de punção arterial aos 30 dias quando comparado ao acesso radial.

Atividade nervosa simpática em pacientes com síndromes isquêmicas miocárdicas instáveis: estudo comparativo com marcadores inflamatórios

INTRODUÇÃO: Em pacientes com síndromes isquêmicas miocárdicas instáveis (SIMI), tanto a hiperatividade simpática quanto a resposta inflamatória exacerbada se associam a pior prognóstico. No entanto, ainda é desconhecido se existe alguma correlação entre esses dois marcadores de evolução desfavorável. OBJETIVOS: Correlacionar a atividade nervosa simpática muscular com marcadores inflamatórios nas fases precoce e tardia de pacientes portadores de SIMI. MÉTODOS: Pacientes hospitalizados com diagnóstico de SIMI e evolução favorável foram incluídos de forma prospectiva desde que apresentassem idade entre 18 e 65 anos e aterosclerose coronária comprovada por cinecoronariografia. Logo após a inclusão no estudo foram coletadas informações basais, e no quarto dia (± 1 dia) de internação os pacientes foram submetidos à avaliação da ANSM e coleta concomitante de amostra sanguínea para dosagem de proteína CReativa ultrassensível (PCR-us), interleucina-6 (IL6), e fosfolipase A2 associada à lipoproteína (Lp-PLA2). ANSM foi obtida pela técnica de microneurografia do nervo fibular. As medidas e respectivas análises de correlação foram repetidas em 1, 3 e 6 meses após a hospitalização. Correlações entre ANSM e marcadores inflamatórios foram analisadas por meio do teste de Pearson (variáveis de distribuição não-paramétrica foram transformadas logaritmicamente). Modelos de regressão linear múltipla foram criados para avaliar os efeitos independentes. RESULTADOS: Foram estudados 34 pacientes com idade média de 51,7±7,0 anos, sendo 79,4% do sexo masculino. A prevalência de hipertensão arterial foi de 64,7%, diabetes mellitus 8,8%, e doença arterial coronária prévia de 20,6%. A apresentação foi IAM com supradesnível de ST em 18 pacientes (52,9%), IAM sem supra de ST em 14 (41,2%) e angina instável em 02 pacientes (5,9%). Tanto ANSM quanto biomarcadores inflamatórios estavam elevados durante a fase aguda das SIMI e diminuíram ao longo do tempo. Na fase hospitalar, a mediana da PCR-us foi 17,75 (8,57; 40,15) mg/L, e IL-6 6,65 (4,45; 8,20) pg/ml, a Lp- PLA2 média foi 185,8 ± 52,2 nmol/min/ml, e ANSM média 64,2 ± 19,3 impulsos/100bpm. Após 6 meses, houve diminuição significativa de todas essas variáveis quando comparadas com a fase hospitalar. Entretanto, não houve correlação significativa entre a atividade simpática e qualquer dos marcadores inflamatórios analisados, em nenhuma das fases analisadas (p > 0,05), Por outro lado, ANSM se correlacionou independentemente com níveis de CKMB na fase aguda (p=0,027), e com fração de ejeção do VE na fase crônica (p=0,026). CONCLUSÃO: Apesar do aumento inicial dos níveis de marcadores inflamatórios e da atividade simpática em pacientes com SIMI, não houve correlação significativa entre esses parâmetros em nenhuma das fases analisadas, sugerindo que as alterações dessas variáveis estariam relacionadas a diferentes vias fisiopatológicas

Planificación y supervisión de flotas de robots autónomos en tareas agrícolas

El control seguro y efectivo de las malas hierbas según los principios establecidos por la Agricultura de Precisión requiere una tecnología específica, avanzada y de coste asumible dentro de los márgenes de beneficio. El uso de plataformas móviles autónomas tanto terrestres como aéreas equipadas con sistemas de percepción innovadores, sistemas inteligentes de toma de decisión y herramientas que permitan la aplicación precisa de los tratamientos herbicidas, reduce el coste asociado a la operación así como los potenciales daños ambientales y el riesgo para los agricultores. Varios son los grupos internacionales de investigación dedicados al desarrollo de tecnologías basadas en sistemas robóticos capaces de optimizar las operaciones complejas implicadas en este tipo de tratamientos de precisión. El desarrollo de sistemas autónomos de ayuda al tratamiento preciso, tanto de cultivos extensivos (malas hierbas) como de leñosos, es el objetivo principal del proyecto RHEA (Robot Fleets for Highly Effective Agriculture and Forestry Management), financiado por el 7º Programa Marco de la CE y dirigido a minimizar los insumos (agroquímicos, combustible, etc.) a la vez que garantizar la calidad y seguridad del producto así como cubrir totalmente el campo independientemente del tamaño que éste tenga. RHEA propone utilizar una flota de robots pequeños/medianos tanto aéreos como terrestres para la inspección/monitorización y posterior aplicación de fitosanitarios, lo que presenta múltiples ventajas frente al tratamiento basado en la habitual máquina de mayores dimensiones y más tradicional. Entre otras, una flota de robots de tamaño pequeño/mediano reduce el impacto sobre la compactación del suelo e interactúa de un modo más seguro con los operarios, ya que la detección e interacción se puede distribuir en varios sistemas de detección y gestión de fallos como los propuestos en la presente tesis. El trabajo de investigación presentado en esta tesis se ha desarrollado dentro de este proyecto europeo y está relacionado con el diseño, desarrollo y evaluación del nivel más alto de la arquitectura RHEA, en otras palabras, con los tres aspectos fundamentales para conseguir que los robots de la flota ejecuten el trabajo eficientemente y sin intervención humana, es decir, con la planificación, la supervisión y la gestión completa e integrada de las tareas de inspección y tratamiento...

Suplementação luminosa no tomateiro cultivado em diferentes sistemas de condução em ambiente protegido

O auto sombreamento das folhas posicionadas nas porções inferiores do dossel de plantas pode limitar a produtividade em cultivos tutorados. Assim, a produtividade do tomateiro pode ser aumentada por meio da suplementação luminosa posicionada no interior do dossel, técnica conhecida como interlighting. O sistema de condução do tomateiro também interfere na distribuição da radiação solar, além de afetar os tratos culturais, a competição intra e entre plantas e a relação entre as partes vegetativas e reprodutivas. Desta forma, o objetivo deste trabalho foi avaliar a influência do sistema de condução de minitomate cultivar \'Sweet Grape\' em diferentes números de hastes por planta (duas, três e quatro hastes) e da suplementação luminosa com módulos de LED na produtividade e qualidade dos frutos, na eficiência do uso de água e nutrientes, além da morfologia das plantas e fatores relacionados ao manejo cultural, em ambiente protegido nas condições climáticas do sudeste brasileiro. Ao longo do ciclo de cultivo foram avaliados os seguintes parâmetros: volume irrigado, pH, condutividade elétrica, porcentagem e volume da solução drenada pelos vasos. As colheitas foram realizadas semanalmente, a partir de 90 dias após o transplante. Os frutos colhidos foram classificados, contados e pesados para a obtenção do número e massa de frutos grandes, médios, pequenos, comercial, não comercial e total. Amostras de frutos e tecidos foliares foram coletadas em cinco períodos e avaliadas quanto ao teor de sólidos solúveis, pH, acidez titulável e concentração de ácido ascórbico nos frutos e teor de nutrientes nas folhas. Além disso, ao final do ciclo cultural, foram realizadas as medições dos seguintes parâmetros morfológicos nas plantas: comprimento de hastes, número de cachos normais e bifurcados por hastes e diâmetro apical, mediano e basal das hastes. A suplementação luminosa apresentou aumento no número e na massa de frutos grandes e médios, elevando a produtividade total em 12%. Plantas com duas e três hastes apresentaram maior acúmulo de massa total de frutos, porém plantas com três hastes apresentaram maior massa de frutos não comerciais, com redução na massa de frutos comerciais. A maior eficiência no uso de água e nutrientes foi alcançada em plantas cultivadas com duas hastes. Plantas com quatro hastes demandaram mais solução nutritiva comparada às plantas com duas e três hastes. Esta maior demanda de solução, acarretou em aumento da condutividade elétrica da solução drenada. Plantas com quatro hastes apresentaram maiores teores de sólidos solúveis nos frutos. A suplementação luminosa também resultou em aumento do teor de sólidos solúveis e ligeiro aumento no teor de ácido ascórbico nos frutos. A suplementação luminosa favoreceu o acúmulo de nitrogênio, fósforo e potássio nas folhas do tomateiro. Desta forma, conclui-se que a suplementação luminosa é uma estratégia de manejo tecnicamente viável nas condições climática estudada. O sistema de condução de haste afeta a produtividade e qualidade dos frutos do tomateiro. Plantas com duas hastes além de apresentar maior produtividade de frutos comerciais, mostrou-se a estratégia mais eficiente no uso da água e nutrientes.

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”.

Aniridia congénita familiar : caso clínico

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

Morbilidade global das colostomias derivativas temporárias na abordagem cirúrgica do cancro do recto

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

Metástases cerebrais do cancro de mama : estudo da população das doentes do serviço de oncologia médica do HSM - CHLN

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

Avaliação dos conhecimentos e práticas em medicina dentária na prevenção e detecção precoce do cancro oral

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Regulação do comportamento alimentar e novos alvos terapêuticos

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Lecturas literarias, tomadas de los mejores poetas y prosistas españoles e hispanoamericanos y seguidas de un breve juicio explicativo y crítico;

Mode of access: Internet.

Estudios literarios.

Errata slip mounted on fly-leaf.

Simpatías y diferencias.

Mode of access: Internet.