Design and implementation of a behaviorally typed programming system for web services

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

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Type System for the ComponentJ Programming Language

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

Integrating protein structural information

Dissertação apresentada para obtenção de Grau de Doutor em Bioquímica,Bioquímica Estrutural, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Impact of using different radiation therapy techniques in breat cancer: contralateral breast dose

RESUMO: O cancro de mama e o mais frequente diagnoticado a indiv duos do sexo feminino. O conhecimento cientifico e a tecnologia tem permitido a cria ção de muitas e diferentes estrat egias para tratar esta patologia. A Radioterapia (RT) est a entre as diretrizes atuais para a maioria dos tratamentos de cancro de mama. No entanto, a radia ção e como uma arma de dois canos: apesar de tratar, pode ser indutora de neoplasias secund arias. A mama contralateral (CLB) e um orgão susceptivel de absorver doses com o tratamento da outra mama, potenciando o risco de desenvolver um tumor secund ario. Nos departamentos de radioterapia tem sido implementadas novas tecnicas relacionadas com a radia ção, com complexas estrat egias de administra ção da dose e resultados promissores. No entanto, algumas questões precisam de ser devidamente colocadas, tais como: E seguro avançar para tecnicas complexas para obter melhores indices de conformidade nos volumes alvo, em radioterapia de mama? O que acontece aos volumes alvo e aos tecidos saudaveis adjacentes? Quão exata e a administração de dose? Quais são as limitações e vantagens das técnicas e algoritmos atualmente usados? A resposta a estas questões e conseguida recorrendo a m etodos de Monte Carlo para modelar com precisão os diferentes componentes do equipamento produtor de radia ção(alvos, ltros, colimadores, etc), a m de obter uma descri cão apropriada dos campos de radia cão usados, bem como uma representa ção geometrica detalhada e a composição dos materiais que constituem os orgãos e os tecidos envolvidos. Este trabalho visa investigar o impacto de tratar cancro de mama esquerda usando diferentes tecnicas de radioterapia f-IMRT (intensidade modulada por planeamento direto), IMRT por planeamento inverso (IMRT2, usando 2 feixes; IMRT5, com 5 feixes) e DCART (arco conformacional dinamico) e os seus impactos em irradia ção da mama e na irradia ção indesejada dos tecidos saud aveis adjacentes. Dois algoritmos do sistema de planeamento iPlan da BrainLAB foram usados: Pencil Beam Convolution (PBC) e Monte Carlo comercial iMC. Foi ainda usado um modelo de Monte Carlo criado para o acelerador usado (Trilogy da VARIAN Medical Systems), no c odigo EGSnrc MC, para determinar as doses depositadas na mama contralateral. Para atingir este objetivo foi necess ario modelar o novo colimador multi-laminas High- De nition que nunca antes havia sido simulado. O modelo desenvolvido est a agora disponí vel no pacote do c odigo EGSnrc MC do National Research Council Canada (NRC). O acelerador simulado foi validado com medidas realizadas em agua e posteriormente com c alculos realizados no sistema de planeamento (TPS).As distribui ções de dose no volume alvo (PTV) e a dose nos orgãos de risco (OAR) foram comparadas atrav es da an alise de histogramas de dose-volume; an alise estati stica complementar foi realizadas usando o software IBM SPSS v20. Para o algoritmo PBC, todas as tecnicas proporcionaram uma cobertura adequada do PTV. No entanto, foram encontradas diferen cas estatisticamente significativas entre as t ecnicas, no PTV, nos OAR e ainda no padrão da distribui ção de dose pelos tecidos sãos. IMRT5 e DCART contribuem para maior dispersão de doses baixas pelos tecidos normais, mama direita, pulmão direito, cora cão e at e pelo pulmão esquerdo, quando comparados com as tecnicas tangenciais (f-IMRT e IMRT2). No entanto, os planos de IMRT5 melhoram a distribuição de dose no PTV apresentando melhor conformidade e homogeneidade no volume alvo e percentagens de dose mais baixas nos orgãos do mesmo lado. A t ecnica de DCART não apresenta vantagens comparativamente com as restantes t ecnicas investigadas. Foram tamb em identi cadas diferen cas entre os algoritmos de c alculos: em geral, o PBC estimou doses mais elevadas para o PTV, pulmão esquerdo e cora ção, do que os algoritmos de MC. Os algoritmos de MC, entre si, apresentaram resultados semelhantes (com dferen cas at e 2%). Considera-se que o PBC não e preciso na determina ção de dose em meios homog eneos e na região de build-up. Nesse sentido, atualmente na cl nica, a equipa da F sica realiza medi ções para adquirir dados para outro algoritmo de c alculo. Apesar de melhor homogeneidade e conformidade no PTV considera-se que h a um aumento de risco de cancro na mama contralateral quando se utilizam t ecnicas não-tangenciais. Os resultados globais dos estudos apresentados confirmam o excelente poder de previsão com precisão na determinação e c alculo das distribui ções de dose nos orgãos e tecidos das tecnicas de simulação de Monte Carlo usados.---------ABSTRACT:Breast cancer is the most frequent in women. Scienti c knowledge and technology have created many and di erent strategies to treat this pathology. Radiotherapy (RT) is in the actual standard guidelines for most of breast cancer treatments. However, radiation is a two-sword weapon: although it may heal cancer, it may also induce secondary cancer. The contralateral breast (CLB) is a susceptible organ to absorb doses with the treatment of the other breast, being at signi cant risk to develop a secondary tumor. New radiation related techniques, with more complex delivery strategies and promising results are being implemented and used in radiotherapy departments. However some questions have to be properly addressed, such as: Is it safe to move to complex techniques to achieve better conformation in the target volumes, in breast radiotherapy? What happens to the target volumes and surrounding healthy tissues? How accurate is dose delivery? What are the shortcomings and limitations of currently used treatment planning systems (TPS)? The answers to these questions largely rely in the use of Monte Carlo (MC) simulations using state-of-the-art computer programs to accurately model the di erent components of the equipment (target, lters, collimators, etc.) and obtain an adequate description of the radiation elds used, as well as the detailed geometric representation and material composition of organs and tissues. This work aims at investigating the impact of treating left breast cancer using di erent radiation therapy (RT) techniques f-IMRT (forwardly-planned intensity-modulated), inversely-planned IMRT (IMRT2, using 2 beams; IMRT5, using 5 beams) and dynamic conformal arc (DCART) RT and their e ects on the whole-breast irradiation and in the undesirable irradiation of the surrounding healthy tissues. Two algorithms of iPlan BrainLAB TPS were used: Pencil Beam Convolution (PBC)and commercial Monte Carlo (iMC). Furthermore, an accurate Monte Carlo (MC) model of the linear accelerator used (a Trilogy R VARIANR) was done with the EGSnrc MC code, to accurately determine the doses that reach the CLB. For this purpose it was necessary to model the new High De nition multileaf collimator that had never before been simulated. The model developed was then included on the EGSnrc MC package of National Research Council Canada (NRC). The linac was benchmarked with water measurements and later on validated against the TPS calculations. The dose distributions in the planning target volume (PTV) and the dose to the organs at risk (OAR) were compared analyzing dose-volume histograms; further statistical analysis was performed using IBM SPSS v20 software. For PBC, all the techniques provided adequate coverage of the PTV. However, statistically significant dose di erences were observed between the techniques, in the PTV, OAR and also in the pattern of dose distribution spreading into normal tissues. IMRT5 and DCART spread low doses into greater volumes of normal tissue, right breast, right lung, heart and even the left lung than tangential techniques (f-IMRT and IMRT2). However,IMRT5 plans improved distributions for the PTV, exhibiting better conformity and homogeneity in target and reduced high dose percentages in ipsilateral OAR. DCART did not present advantages over any of the techniques investigated. Di erences were also found comparing the calculation algorithms: PBC estimated higher doses for the PTV, ipsilateral lung and heart than the MC algorithms predicted. The MC algorithms presented similar results (within 2% di erences). The PBC algorithm was considered not accurate in determining the dose in heterogeneous media and in build-up regions. Therefore, a major e ort is being done at the clinic to acquire data to move from PBC to another calculation algorithm. Despite better PTV homogeneity and conformity there is an increased risk of CLB cancer development, when using non-tangential techniques. The overall results of the studies performed con rm the outstanding predictive power and accuracy in the assessment and calculation of dose distributions in organs and tissues rendered possible by the utilization and implementation of MC simulation techniques in RT TPS.

Assessment by doppler ultrasound of entheseal lesions in spondyloarthritis : a longitudial study to determine structural damage and disease activity lesions

RESUMO: Enthesitis is the hallmark of spondyloarthritis (SpA), and is observed in all subtypes. Wide information on SpA abnormalities, including synovitis, tendinitis and enthesitis, can be efficiently perceived by Doppler ultrasound. Furthermore, several studies on imaging of enthesis showed that imaging techniques are better than clinical examination to detect enthesis alterations; and vascularized enthesitis detected by Doppler ultrasound appears to be a valuable diagnostic tool to confirm SpA diagnosis. However, data published until now concerning entheseal elementary alterations that characterize SpA enthesitis (enthesis inflammatory activity) or enthesopathy (permanent structural changes) reflect rather the authors’ empiric opinion than a methodological validation process. In this sense it seems crucial to identify elementary entheseal lesions associated with activity or damage, in order to improve monitoring and treatment response in SpA patients. The development of better assessment tools is today a challenge and a need in SpA. The first study of this thesis focused on the analysis of the reliability of inter-lector and inter-ultrasonography equipment of Madrid sonography enthesitis index (MASEI). Fundamental data for the remaining unrolling project validity. In the second and third studies we concerned about two entheseal elemental lesions: erosions and bursa. In literature erosions represent a permanent structural damage, being useful for monitoring joint injury, disease activity and therapeutic response in many rheumatic diseases; and to date, this concept has been mostly applied in rheumatoid arthritis (RA). Unquestionably, erosion is a tissue-related damage and a structural change. However, the hypothesis that we decided to test was if erosions represent a permanent structural change that can only grow and worsen over time, as occurs in RA, or a transitory alteration. A longitudinal study of early SpA patients was undertaken, and the Achilles enthesis was used as a model. Our results strongly suggested that previously detected erosions could disappear during the course of the disease, being consistent with the dynamic behavior of erosion over time. Based on these striking results it seems reasonable to suggest that the new-bone formation process in SpA could be associated with the resolution of cortical entheseal erosion over time. These results could also be in agreement with the apparent failure of anti-tumor necrosis factor (TNF) therapies to control bone proliferation in SpA; and with the relation of TNF-α, Dickkopf-related protein 1 (Dkk-1) and the regulatory molecule of the Wnt signaling pathway in the bone proliferation in SpA. In the same model, we then proceeded to study the enthesis bursa. Interestingly, the Outcome Measures in Rheumatology Clinical Trials (OMERACT) enthesopathy definition does not include bursa as an elementary entheseal lesion. Nonetheless, bursa was included in 46% of the enthesis studies in a recently systematic literature review, being in agreement with the concept of “synovio-entheseal complex” that includes the link between enthesitis and osteitis in SpA. It has been clarified in recent data that there is not only a close functional integration of the enthesis with the neighboring bone, but also a connection between enthesitis and synovitis. Therefore, we tried to assess the prevalence and relevance of the bursa-synovial lesion in SpA. Our findings showed a significant increase of Achilles bursa presence and thickness in SpA patients compared to controls (healthy/mechanical controls and RA controls). These results raise awareness to the need to improve the enthesopathy ultrasonographic definition. In the final work of this thesis, we have explored new perspectives, not previously reported, about construct validity of enthesis ultrasound as a possible activity outcome in SpA. We performed a longitudinal Achilles enthesis ultrasound study in patients with early SpA. Achilles ultrasound examinations were performed at baseline, six- and twelve-month time periods and compared with clinical outcome measures collected at basal visit. Our results showed that basal erythrocyte sedimentation rate (ESR) and C-reactive protein (CRP) are higher in patients with Doppler signal in enthesis, and even that higher basal ESR, CRP and Ankylosing Spondylitis Disease Activity Score (ASDAS) predicted a higher Doppler signal (an ultrasound alteration accepted as representative of inflammation) six months later. Patients with very high disease activity assessed by ASDAS (>3.5) at baseline had significantly higher Achilles total ultrasound score verified at the same time; and ASDAS <1.3 predicted no Doppler signal at six and twelve months. This seems to represent a connection between classical biomarkers and clinical outcomes associated with SpA activity and Doppler signal, not only at the same time, but also for the following months. Remarkably, patients with inactive disease (ASDAS < 1.3) at baseline had no Doppler signal at six and twelve months. These findings reinforce the potential use of ultrasound related techniques for disease progression assessment and prognosis purposes. Intriguingly, Ankylosing Spondylitis Disease Activity Index (BASDAI) didn’t show significant differences between different cut-offs concerning ultrasound lesions or Doppler signal, while verified with ASDAS. These results seem to indicate that ASDAS reflects better than BASDAI what happens in the enthesis. The work herein discussed clearly shows the potential utility of ultrasound in enthesis assessment in SpA patients, and can be important for the development of ultrasound activity and structural damage scores for diagnosis and monitoring purposes. Therefore, local promotion of this technique constitutes a medical intervention that is worth being tested in SpA patients for diagnosis, monitoring and prognosis purposes.

Development and validation of gold nanoprobes for human SNP detection towards commercial application

Conventional molecular techniques for detection and characterization of relevant nucleic acid (i.e. DNA) sequences are, nowadays, cumbersome, expensive and with reduced portability. The main objective of this dissertation consisted in the optimization and validation of a fast and low-cost colorimetric nanodiagnostic methodology for the detection of single nucleotide polymorphisms (SNPs). This was done considering SNPs associated to obesity of commercial interest for STAB VIDA, and subsequent evaluation of other clinically relevant targets. Also, integration of this methodology into a microfluidic platform envisaging portability and application on points-of-care (POC) was achieved. To warrant success in pursuing these objectives, the experimental work was divided in four sections: i) genetic association of SNPs to obesity in the Portuguese population; ii) optimization and validation of the non-cross-linking approach for complete genotype characterization of these SNPs; iii) incorporation into a microfluidic platform; and iv) translation to other relevant commercial targets. FTO dbSNP rs#:9939609 carriers had higher body mass index (BMI), total body fat mass, waist perimeter and 2.5 times higher risk to obesity. AuNPs functionalized with thiolated oligonucleotides (Au-nanoprobes) were used via the non-cross-linking to validate a diagnostics approach against the gold standard technique - Sanger Sequencing - with high levels of sensitivity (87.50%) and specificity (91.67%). A proof-of-concept POC microfluidic device was assembled towards incorporation of the molecular detection strategy. In conclusion a successful framework was developed and validated for the detection of SNPs with commercial interest for STAB VIDA, towards future translation into a POC device.