A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Gas adsorption in the MIL-53(AI) metal organic framework. Experiments and molecular simulation

Dissertação para obtenção do Grau de Doutor em Engenharia Química

Visualization and interaction in a simulation system for flood emergencies

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Adaption of the Creative Commons approach and the roaming concept to spatial data infrastructures (SDI)

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Internationalization strategies and methods of construction firms – a comparative study between Hong Kong - Chinese and Portuguese – European approaches

Dissertação para obtenção do Grau Mestre em Engenharia Civil – Perfil de Construção

Competência intercultural: conteúdos culturais na aquisição da língua estrangeira e sua integração didáctica no ensino do alemão

Dissertação apresentada à Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa para obtenção do grau de Doutor em Cultura Alemã.

Core language for web applications

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Tradução com adaptação cultural para portugês e determinação da reprodutibilidade do questionnaire on respiratory symptoms in preschool children

RESUMO: Introdução: A asma brônquica é uma entidade frequente em idade pediátrica, apresentando uma grande heterogeneidade clínica e significativa morbilidade quando não controlada. A identificação de crianças sintomáticas pode atrasar ou até mesmo diminuir a ocorrência de algumas alterações estruturais. Reconhece-se a necessidade de questionários sobre sintomas respiratórios em língua portuguesa, devidamente validados, que tenham como população-alvo os grupos etários inferiores a 3 anos. Deste modo, será possível não só um conhecimento mais rigoroso da asma e da sibilância infantil mas também a uniformização de metodologias para o desenvolvimento de estratégias a nível nacional. Objetivos: Tradução com adaptação cultural para português e determinação da reprodutibilidade do Questionnaire on respiratory symptoms in preschool children de Strippoli e colaboradores. Material e métodos: A escolha do questionário obedeceu a vários critérios, entre os quais o grupo etário, o tipo e número de perguntas. O Questionnaire on respiratory symptoms in preschool children de Strippoli e colaboradores é um questionário de autopreenchimento, dirigido a crianças entre os 12 e os 24 meses de idade e destinado a estudos epidemiológicos ao nível da comunidade. Aborda aspetos referentes a sintomas respiratórios (sibilância, tosse crónica, sintomas das vias aéreas superiores), cuidados médicos, terapêutica, características ambientais, história familiar e situação social. Procedemos à sua tradução, com especial atenção para a adaptação do ponto de vista cultural e linguístico, utilizando o método da tradução / retroversão, amplamente utilizado e descrito na literatura internacional. Seguidamente determinámos a reprodutibilidade da versão final em língua portuguesa – Questionário de sintomas respiratórios em idade pré-escolar – utilizando o teste-reteste. Para tal, incluíram-se crianças entre os 12 e os 36 meses de idade recrutadas num Centro de Saúde e em creches de Lisboa. A distribuição dos questionários decorreu em duas fases: na primeira fase foram entregues pessoalmente nos locais de recrutamento e na segunda fase foram enviados por correio para os domicílios das crianças, respeitando-se um intervalo mínimo de 2 semanas entre ambos. Resultados: Na primeira fase foram distribuídos 180 questionários, com uma taxa de reposta de 41% (n=74). Na segunda fase enviaram-se para os respetivos domicílios 70 questionários,obtendo-se uma taxa de resposta de 66% (n=46). Para a análise de reprodutibilidade foram incluídos apenas os questionários preenchidos em ambos os momentos pelo mesmo indivíduo (mãe, pai ou representante legal) (n=41). A idade média das crianças foi, na primeira fase, de 22,5 meses e, na segunda fase, de 23,7 meses, com um predomínio do sexo feminino (F:M =1:0,6). A mediana do tempo decorrido entre os dois momentos de preenchimento dos questionários foi de 26 dias. Obtivemos valores de concordância globalmente bons a muito bons, à semelhança do sucedido no trabalho original. Conclusões: Procedemos à tradução e avaliação da reprodutibilidade do Questionnaire on respiratory symptoms in preschool children. Pretende-se que venha a ser uma ferramenta útil para estudos epidemiológicos e programas de rastreio na comunidade, contribuindo deste modo para uma otimização da abordagem da asma / sibilância infantil a nível nacional. -------------ABSTRACT: Background: Asthma is a very common feature in childhood, with important clinical heterogeneity and morbidity if not properly controlled. Identifying symptomatic children may delay or even reduce several structural changes. The development of questionnaires on respiratory symptoms in Portuguese for children under 3 years old will allow not only a more accurate knowledge of infantile asthma and recurrent wheezing but also the standardization of methodologies to develop nationwide strategies. Objectives: The aim of this study was to translate and adapt to the Portuguese culture and to determine the repeatability of the Questionnaire on respiratory symptoms in preschool children by Strippoli et al. Material and methods: The choice of the questionnaire took in consideration several criteria, among which the target age, the type and the number of questions. The Questionnaire on respiratory symptoms in preschool children by Strippoli et al is a parent-completed questionnaire for assessment of respiratory symptoms in 1 to 2-year-old children, developed for cross-sectional and longitudinal studies. It contains sections on respiratory symptoms (wheezing, chronic cough and upper airways symptoms), healthcare utilization, treatment, environmental exposure, family history and social situation. For the process of translation we used the method of translation and back-translation, with particular concern to cultural and linguistic adaptation. To assess the repeatability of the final Portuguese version - Questionário de sintomas respiratórios em idade pré-escolar - we used the test–retest analyses. The questionnaires were distributed to parents of children between 12 and 36 months old attending nurseries and a Primary Care Center of Lisbon. The distribution took place in two phases: the first questionnaires were delivered in person (phase one) and an identical questionnaire was posted to the families that participated in the first phase, 2 weeks after the first one was returned (phase two). Results: The response rates were 41% (180/74) in the first phase and 66% (70/46) in the second phase. For test–retest analyses, we included the 41 children with the same respondent (mother, father or legal representative) in both occasions. The median age of the children was 22,5 months at the first phase and 23,7 months at the second phase, with a predominance of girls (F:M = 1:0,6). The median time between the fillings of both questionnaires was 26 days. Globally, agreement values were good to excellent, similarly to the original work. Conclusion: In the present study we translated the Questionnaire on respiratory symptoms in preschool children and assessed its repeatability. Overall, we expect it to be a valuable tool for epidemiological studies and community-based screening programs, thus contributing to improve the management of infantile asthma / recurrent wheezing nationwide.

A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Target-specific multiphysics modeling for thermal medicine applications

Dissertation to obtain the degree of Doctor of Philosophy in Biomedical Engineering

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Study of Helium II heat transport phenomena in superconducting rutherford type cables

This thesis is a study of how heat is transported in non-steady-state conditions from a superconducting Rutherford cable to a bath of superfluid helium (He II). The same type of superconducting cable is used in the dipole magnets of the Large Hadron Collider (LHC). The dipole magnets of the LHC are immersed in a bath of He II at 1.9 K. At this temperature helium has an extremely high thermal conductivity. During operation, heat needs to be efficiently extracted from the dipole magnets to keep their superconducting state. The thermal stability of the magnets is crucial for the operation of the LHC, therefore it is necessary to understand how heat is transported from the superconducting cables to the He II bath. In He II the heat transfer can be described by the Landau regime or by the Gorter-Mellink regime, depending on the heat flux. In this thesis both measurements and numerical simulation have been performed to study the heat transfer in the two regimes. A temperature increase of 8 2 mK of the superconducting cables was successfully measured experimentally. A new numerical model that covers the two heat transfer regimes has been developed. The numerical model has been validated by comparison with existing experimental data. A comparison is made between the measurements and the numerical results obtained with the developed model.