Testing native speakers of German and Portuguese on the understanding of topological operators-line-region relations in gvSIG

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

Pattern operators for grid

The definition and programming of distributed applications has become a major research issue due to the increasing availability of (large scale) distributed platforms and the requirements posed by the economical globalization. However, such a task requires a huge effort due to the complexity of the distributed environments: large amount of users may communicate and share information across different authority domains; moreover, the “execution environment” or “computations” are dynamic since the number of users and the computational infrastructure change in time. Grid environments, in particular, promise to be an answer to deal with such complexity, by providing high performance execution support to large amount of users, and resource sharing across different organizations. Nevertheless, programming in Grid environments is still a difficult task. There is a lack of high level programming paradigms and support tools that may guide the application developer and allow reusability of state-of-the-art solutions. Specifically, the main goal of the work presented in this thesis is to contribute to the simplification of the development cycle of applications for Grid environments by bringing structure and flexibility to three stages of that cycle through a commonmodel. The stages are: the design phase, the execution phase, and the reconfiguration phase. The common model is based on the manipulation of patterns through pattern operators, and the division of both patterns and operators into two categories, namely structural and behavioural. Moreover, both structural and behavioural patterns are first class entities at each of the aforesaid stages. At the design phase, patterns can be manipulated like other first class entities such as components. This allows a more structured way to build applications by reusing and composing state-of-the-art patterns. At the execution phase, patterns are units of execution control: it is possible, for example, to start or stop and to resume the execution of a pattern as a single entity. At the reconfiguration phase, patterns can also be manipulated as single entities with the additional advantage that it is possible to perform a structural reconfiguration while keeping some of the behavioural constraints, and vice-versa. For example, it is possible to replace a behavioural pattern, which was applied to some structural pattern, with another behavioural pattern. In this thesis, besides the proposal of the methodology for distributed application development, as sketched above, a definition of a relevant set of pattern operators was made. The methodology and the expressivity of the pattern operators were assessed through the development of several representative distributed applications. To support this validation, a prototype was designed and implemented, encompassing some relevant patterns and a significant part of the patterns operators defined. This prototype was based in the Triana environment; Triana supports the development and deployment of distributed applications in the Grid through a dataflow-based programming model. Additionally, this thesis also presents the analysis of a mapping of some operators for execution control onto the Distributed Resource Management Application API (DRMAA). This assessment confirmed the suitability of the proposed model, as well as the generality and flexibility of the defined pattern operators

Spatial operators for collaborative map handling

MSC Dissertation in Computer Engineering

Factorization by invariant embedding of elliptic problems: circular and star-shaped domains

Dissertação apresentada para obtenção do grau de Doutor em Matemática na especialidade de Equações Diferenciais, pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Preparation of gas-filled porous microparticles (GPPs) and microbubbles (MBs) by PGSS method

Dissertation to obtain the Master Degree in Biotechnology

Epigenetic and cell cycle control of centromere inheritance

Dissertation presented to obtain the Ph.D degree in Biology, Cell Biology

Anti-vibration gloves and the forearm efforts during tools operations

The objective of this paper is to analyze the forearm muscular contraction levels associated to the use of anti-vibration gloves, by comparing the contraction levels with gloves and without gloves. Two different vibration tools were used in a simulated work environment: (1) A compact Duty Multi-Cutter Bosch and (2) and a Percussion Drill with a drill bit Ø20 mm. Standard operations were performed by each subject in the following materials: (1) Performing cross- sectional cuts in 80x40 mm pine section and (2) performing 20 mm diameter holes in a concrete slab 2 x 2 m, 70 mm thick. The forearm contraction level were measured by surface electromyography in four different muscles: Flexor Digitorum Superficialis (FDS), Flexor Carpi Ulnaris (FCU), Extensor Carpi Radialis Longus (ECRL) e Extensor Carpi Ulnaris (ECU). For the flexor muscles (FDS, FCU), an increase tendency in muscular contraction was observed when the operations are performed without gloves (2-5% MVE increase in the FDS and 3-9% MVE increase in the FCU). For the extensor muscles ECU a decrease tendency in muscular contraction was observed when the operations are performed without gloves (1-10% MVE decrease). Any tendency was found in the ECRL muscle. ECU was the muscle with the highest contraction level for 79% and 71% of the operators, during the operations respectively with the multi-cutter (P50= 27-30%MVE) and with the percussion drill (P50=46-55%MVE). As a final conclusion from this study, anti- vibration gloves may increase the forearm fatigue in the posterior region of the forearm (ECU muscle) during operations with the mentioned tools

Two distinct arabinofuranosidases contribute to arabino-oligosaccharide degradation in Bacillus subtilis.

Microbiology 154 (2008) 2719-2729

Neural correlations during brain activation in arithmetical tasks – an approach using electroencephalographic data

Dissertação apresentada na Faculdade de Ciências e Tecnologiea da Universidade Nova de Lisboa, para obtenção do Grau de Mestre em Engenharia Biomédica

Multipath policy routing in packet switched networks

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Ultrassonografia torácica : impacto no diagnóstico e estadiamento do cancro do pulmão

RESUMO:RESUMO: Nos últimos anos a ultrassonografia emergiu como um instrumento importante no diagnóstico da patologia torácica. O progresso tecnológico possibilitou a conceção de novos equipamentos como a ecoendoscopia brônquica radial e linear. Verificou-se, igualmente, o aparecimento de indicações para a realização de ecografia transtorácica. Uma das principais doenças impulsionadoras da técnica ultrassonográfica no tórax foi o cancro do pulmão, primeira causa de morte oncológica a nível mundial. A aplicabilidade e conhecimento do papel dos ultrassons no âmbito do diagnóstico e estadiamento do cancro do pulmão não se encontram esgotados, persistindo focos de controvérsia e dúvida científica que se pretendem esclarecer. A presente tese foi organizada em cinco capítulos: o primeiro abordou de forma geral e introdutória o estado da arte referente à ultrassonografia torácica, cancro do pulmão e a sua conjugação; o segundo destacou os principais objetivos; o terceiro sumarizou a metodologia utilizada; o quarto englobou os cinco estudos publicados, descritos subsequentemente, e o quinto incluiu uma discussão concisa, as principais conclusões e perspetivas futuras. O primeiro estudo avaliou a rentabilidade diagnóstica, segurança e curva de aprendizagem num coorte de 179 doentes submetidos a ecoendoscopia brônquica linear. De acordo com as indicações para este procedimento os doentes foram subdivididos em três grupos: (1) diagnóstico, (2) diagnóstico e estadiamento e (3) estadiamento. Para o primeiro, segundo e terceiro grupos a sensibilidade da ecoendoscopia foi 86.1%, 86.7% e 95% respetivamente e a precisão técnica foi 87.5%, 93.1% e 97.7% respetivamente. O treino originou um aumento progressivo do número de locais puncionados por doente, com menor duração e sem complicações, comprovando a eficácia e segurança do método quando realizado na população Portuguesa por broncologistas com experiência. O segundo estudo foi conduzido para averiguar a eficácia e custo da ecoendoscopia brônquica linear realizada através da via aérea e/ou esófago no diagnóstico de lesões sugestivas de neoplasia do pulmão, após ineficácia das técnicas convencionais. Nos doentes incluídos prospetivamente alcançou-se um diagnóstico definitivo em 106 casos (87.6%). A sensibilidade global para o diagnóstico de cancro do pulmão foi 89.8%, a especificidade foi 100%, o valor preditivo positivo foi 100%, o valor preditivo negativo foi 20% e a precisão foi 90.1%. Esta estratégia ultrassonográfica abrangente evitou intervenções cirúrgicas diagnósticas em doentes anteriormente submetidos a broncoscopia flexível ou punção aspirativa transtorácica guiada por tomografia computorizada, proporcionando uma redução significativa dos custos. No terceiro estudo investigou-se a viabilidade e papel da conjugação da ecoendoscopia brônquica linear com técnicas moleculares na avaliação de antigénios tumorais e padrões de metastização ganglionar em doentes com cancro do pulmão de não-pequenas células (CPNPC). Os marcadores citoqueratina 19 (CK-19), antigénio carcinoembrionário (CEA), molécula de adesão celular epitelial (EPCAM), sialyl-Lewis X e CD44 foram determinados nos aspirados ganglionares de 33 doentes com neoplasia e 17 controlos 10 Ultrassonografia através de citometria de fluxo (CF) e reação em cadeia da polimerase em tempo real (RTPCR). Os doentes com CPNPC possuíam um compartimento celular epitelial significativamente aumentado e com marcação superior de CK-19 comparativamente ao grupo de controlo. O compartimento imune foi também analisado nestas amostras e revelou-se alterado no CPNPC com aumento da população de monócitos e diminuição das subpopulações linfocitárias. Os transcriptos de CK-19, CEA e EPCAM estavam elevados nos doentes com cancro do pulmão, identificando-se uma correlação positiva entre estes marcadores e o tamanho da lesão primária. Concluiu-se que a identificação de CK-19, CEA e EPCAM nas amostras obtidas por ecoendoscopia e avaliadas por CF e RTPCR foi viável, podendo auxiliar na deteção de metástases ganglionares no CPNPC. O quarto estudo envolveu a combinação da ecoendoscopia brônquica radial com uma criosonda para o diagnóstico de lesões pulmonares sólidas periféricas. Foi determinada a viabilidade, rentabilidade diagnóstica, tamanho das amostras e segurança do método. Lesões inferiores a 40mm foram localizadas por ultrassonografia sendo os doentes randomizados para a realização de biópsias transbrônquicas com pinça seguidas por criosonda ou vice-versa. Nos 39 casos incluídos a lesão foi visualizada pela minisonda em 31 doentes (79.5%), com 80.6% de prevalência de cancro do pulmão na amostra. A rentabilidade diagnóstica da pinça de biópsia foi 61.3% e da criosonda foi 74.2%. O tamanho do tecido adquirido pelas criobiópsias foi significativamente maior do que o alcançado por pinça (11.17mm2 vs. 4.69mm2, p<0.001). Ocorreu um único caso de hemorragia moderada, controlada através de medidas conservadoras. As biópsias transbrônquicas com criosonda sob orientação de ecoendoscopia radial foram seguras e eficazes na obtenção de amostras histológicas. O quinto estudo determinou o valor diagnóstico da ecografia transtorácica na identificação de malignidade em doentes com derrame pleural de natureza indeterminada. Foram examinados de forma prospetiva 154 doentes. Os resultados clínicos e radiológicos de cada caso foram ocultados ao executante do exame que gerou imagens estáticas e vídeos ultrassonográficos relevantes. Estes foram posteriormente visualizados, sendo as suas características classificadas por revisores independentes e comparadas com o diagnóstico definitivo. Em 66 casos o diagnóstico foi de derrame pleural maligno (68.2% com cancro do pulmão) e em 67 de derrame benigno. A ecografia torácica obteve 80.3% de sensibilidade, 83.6% de especificidade, 81.2% de valor preditivo negativo e 82.8% de valor preditivo positivo na deteção de malignidade. A nodularidade pleural ou diafragmática, espessamento pleural superior a 10mm e sinal de swirling foram significativamente diferentes (p<0.001) sendo sugestivos de derrame maligno. A existência de nodularidade pleural e ausência de broncograma aéreo ecográfico aumentaram a probabilidade de malignidade (OR 29.0 e OR 10.4, respetivamente). A ecografia transtorácica permitiu diferenciar derrame pleural maligno do benigno. A existência de nódulos pleurais constituiu o fator discriminador mais relevante. Em conclusão, os resultados desta tese possibilitam uma melhor compreensão do papel da ecoendoscopia brônquica (linear e radial) e ecografia transtorácica no diagnóstico e estadiamento do cancro do pulmão, com implicações e aplicabilidade na prática clínica.------------- ABSTRACT: In recent years ultrasonography has emerged as an important instrument in the diagnosis of thoracic diseases. Technological progress has enabled the design of new equipment such as radial and linear endobronchial ultrasound. In addition, indications for transthoracic echography were established. One of the main diseases responsible for the progression of chest sonography was lung cancer, the leading cause of cancer mortality worldwide. The applicability and knowledge of the role of ultrasonography in diagnosing and staging lung cancer is not depleted, persisting foci of controversy and scientific doubt that we intend to elucidate. The present thesis was organized into five chapters: the first included a general introduction regarding chest ultrasound, lung cancer and their combination; the second emphasized the main objectives; the third summarized the methodology used; the fourth encompassed the five published studies, subsequently described, and the fifth included a concise discussion, the main findings and future perspectives. The first study evaluated the diagnostic yield, safety and learning curve in a cohort of 179 patients submitted to linear endobronchial ultrasound. According to procedure indications, the patients were divided into three groups: (1) diagnosis, (2) diagnosis and staging, and (3) staging. For the first, second and third groups, endobronchial ultrasound sensitivity was 86.1%, 86.7% and 95% respectively and accuracy was 87.5%, 93.1% and 97.7% respectively. Practise led to an increase number of punctured sites per patient, in a shorter period of time and without complications, proving the safety and efficacy of the method when performed in the Portuguese population by expert echoscopists. The second study was conducted to determine the efficacy and cost of linear endobronchial ultrasound performed through the airway and/or oesophagus for diagnosis of lesions suggestive of lung cancer, after failure of conventional techniques. Of the patients prospectively enrolled a definitive diagnosis was reached in 106 cases (87.6%). The overall sensitivity for the diagnosis of lung cancer was 89.8%, specificity was 100%, positive predictive value was 100%, negative predictive value was 20% and accuracy was 90.1%. In conclusion, this global ultrasonographic strategy avoided diagnostic surgical procedures in patients that had undergone flexible bronchoscopy or computed tomography-guided transthoracic needle aspiration, providing a significant cost reduction. In the third study, the feasibility and role of linear endobronchial ultrasound combined with molecular techniques in the evaluation of tumour antigens and patterns of lymph node metastasis in patients with non-small cell lung cancer (NSCLC) was investigated. Cytokeratin 19 (CK-19), carcinoembryonic antigen (CEA), epithelial cell adhesion molecule (EPCAM), sialyl Lewis-X and CD44 were determined in lymph node aspirates of 33 lung cancer patients and 17 controls, using flow cytometry (FC) and reverse transcription polymerase chain reaction (RT-PCR). In patients with NSCLC the epithelial cell compartment was significantly increased nd showed brighter CK-19 staining, compared to the control group. In NSCLC patients the immune compartment revealed an increased monocyte population and decreased lymphocyte subsets. The transcripts of CK- 19, CEA and EPCAM were higher in lung cancer patients and a positive correlation between these markers and the size of the primary lesion was also found. We concluded that the identification of CK-19, CEA and EPCAM in endobronchial ultrasound samples, using RT-PCR and FC was feasible and might aid in the detection of NSCLC lymph node metastases. The fourth study involved the combination of the radial endobronchial ultrasound with the cryoprobe for diagnosing solid peripheral lung lesions. We determined the feasibility, diagnostic yield, sample size and safety of the method. Lesions less than 40mm were located by ultrasound and forceps or cryobiopsies were performed in a randomized order. Of the 39 cases included, the lesion could be visualized by the miniprobe in 31 patients (79.5%), and lung cancer prevalence was 80.6%. The diagnostic yield of the biopsy forceps was 61.3% and for the cryobiopsy was 74.2 %. Cryobiopsies were significantly larger than forceps biopsies (11.17mm2 vs. 4.69mm2, p<0.001). There was only one case of moderate bleeding that was controlled by conservative measures. Transbronchial cryobiopsies under radial endobronchial ultrasound guidance were safe and effective in obtaining histological samples. The fifth study determined the diagnostic value of transthoracic sonography in predicting malignancy in patients with an undiagnosed pleural effusion. One hundred and fifty four patients were prospectively scanned. Relevant ultrasound images and videos were generated by an operator blinded to clinical and radiological results. These were subsequently visualized, its characteristics classified by independent reviewers and compared to the final diagnosis. A malignant pleural effusion was diagnosed in 66 cases (68.2 % with lung cancer) and a benign effusion in 67 cases. Thoracic ultrasound had a sensitivity of 80.3 %, specificity of 83.6%, negative predictive value of 81.2 % and positive predictive value of 82.8% to detect malignancy. The presence of pleural or diaphragmatic nodularity, pleural thickening greater than 10mm and swirling signal were significantly different (p<0.001 ), being suggestive of malignant effusion. The existence of pleural nodularity and absence of lung air bronchogram were more likely to indicate malignancy (OR 29.0 and OR 10.4, respectively). Transthoracic ultrasonography permits the distinction between malignant and benign pleural effusions. Pleural nodules were the most relevant feature. In conclusion, the results of this thesis provide a better understanding of the role of endobronchial ultrasound (linear and radial) and transthoracic sonography in lung cancer diagnosis and staging, with direct implications and applicability in clinical practice.

A regulação da atividade espacial

The technological evolution of the past fifty years has provided Humanity the contact with the last frontier of knowledge: space. An unknown world, explored by a small group of nations, which has become crucial to understanding who we are and where we come from. Space assets in recent years have opened the way to a digital society, shaped by the rapid exchange of information, whose means are mostly in space. A place of fascination and curiosity, restricted to a few people in these decades, which may soon be changing. This essay addresses some legal issues concerning the private exploration of space. Liability on space tourism is the core of this investigation, focusing on the comprehension of the international legal framework and its connection with the states national law. In particular, the study of the main international treaties, the U.S. legal system of space law and the developments in Europe are the fundamental tools of the current analysis, not forgetting the point of view of a possible international harmonization. Besides the needed theoretical context on the evolution of space law and a brief approach of the technical matters of the current aerospace engineering, the goal is to examine the characteristics of international space law and its relation with the new private actors, responsible for providing suborbital flights, operating in a near future. Within these circumstances, given the economic potential of the growing private space industry, it is essential to discuss the legal aspects of a spatial regulation. Being liability, undoubtedly, the emerging issue in the legal debate on this topic, it is important to safeguard the interests of the operators, States and, above all, future space tourists.

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.

A liberalização do mercado energético e o papel das entidades reguladoras

The liberalisation of the energy market goes back to the 1990s, when it was impelled by the European legislator. Since then, three legislative packages, temporarily successive, were approved. Those packages contained the measures to be implemented in order to deepen the internal energy market. Besides the opening up of several national markets to competition, the European legislator aimed the creation of a real internal energy market within the European Union. The unbundling regime was one of the most important steps with respect to the liberalisation process. The introduction of these rules ensured independence to the various market operators. A real and effective right of choice was granted to the consumers so they may choose their electricity and natural gas supplier. Therefore, the activity of comercialisation is subject to competition. However, some activities of the electricity’s and natural gas’ chain of value, namely the activities of transportation and distribution, were kept under regulation rules. Even though it may seem odd, the assignment of important competences and strong powers to a regulatory authority was essential in order to achieve the liberalisation process’ goals. Electricity and natural gas are essential public goods; therefore the market operators are legally bound to public service obligations, such as the security, the universality and the continuity of the supply. The performance of these obligations may become, in some cases, unprofitable for those operators. For such reason, the protection of the consumers’ rights shall only be properly defended if there is a regulatory authority that monitors the behaviour of the operators and sanctions the failure to comply with the public service obligations. Portugal, as a Member State of the European Union, transposed into the national legal order the European directives concerning the liberalisation process. This transposition has caused radical changes to the electricity and natural gas’ national markets. The Entidade Reguladora dos Serviços Energéticos also suffered various mutations in order to keep up with the regulatory demands regarding the liberalisation process.