Traceability support in software product lines

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.

Parallel texts alignment

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

A shared-disk parallel cluster file system

Dissertação apresentada para obtenção do Grau de Doutor em Informática Pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A debugging engine for parallel and distributed programs

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Optimization of multi-stage amplifiers in deep-submicron CMOS using a distributed/parallel genetic algorithm

IEEE International Symposium on Circuits and Systems, pp. 724 – 727, Seattle, EUA

A study on parallel versus sequential relational fuzzy clustering methods

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

Parallel run-time for CO-OPN

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

Parallel programming in biomedical signal processing

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

A system’s approach to cache hierarchy-aware decomposition of data-parallel computations

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

Optimization of breast tomosynthesis image reconstruction using parallel computing

Breast cancer is the most common cancer among women, being a major public health problem. Worldwide, X-ray mammography is the current gold-standard for medical imaging of breast cancer. However, it has associated some well-known limitations. The false-negative rates, up to 66% in symptomatic women, and the false-positive rates, up to 60%, are a continued source of concern and debate. These drawbacks prompt the development of other imaging techniques for breast cancer detection, in which Digital Breast Tomosynthesis (DBT) is included. DBT is a 3D radiographic technique that reduces the obscuring effect of tissue overlap and appears to address both issues of false-negative and false-positive rates. The 3D images in DBT are only achieved through image reconstruction methods. These methods play an important role in a clinical setting since there is a need to implement a reconstruction process that is both accurate and fast. This dissertation deals with the optimization of iterative algorithms, with parallel computing through an implementation on Graphics Processing Units (GPUs) to make the 3D reconstruction faster using Compute Unified Device Architecture (CUDA). Iterative algorithms have shown to produce the highest quality DBT images, but since they are computationally intensive, their clinical use is currently rejected. These algorithms have the potential to reduce patient dose in DBT scans. A method of integrating CUDA in Interactive Data Language (IDL) is proposed in order to accelerate the DBT image reconstructions. This method has never been attempted before for DBT. In this work the system matrix calculation, the most computationally expensive part of iterative algorithms, is accelerated. A speedup of 1.6 is achieved proving the fact that GPUs can accelerate the IDL implementation.

Thomsen-Friedenreich antigens in bladder cancer: evaluation of their prognostic value

RESUMO: Introdução. O cancro de bexiga é uma patologia comum que representa o 6° e o 5° cancro mais incidente em Portugal e na Itália, respetivamente. Em mais de metade dos casos ocorre reincidência durante o primeiro ano, requerendo acompanhamento clínico ao longo da vida. A instilação intravesical de Bacillus Calmette-Guérin (BCG) (uma estirpe atenuada do Mycobacterium bovis) representa uma imunoterapia eficaz no combate ao cancro de bexiga, no entanto, muitos aspetos da interação de BCG com as células tumorais bem como com as células do sistema imunitário permanecem por desvendar. As células tumorais de bexiga expressam frequentemente as formas sialiladas dos antigénios de Thomsen-Friedenreich (TF), i.e., sialil-T (sT) e sialil-Tn (sTn). Contudo ainda se desconhece o significado da sua expressão na malignidade tumoral e se afeta a eficácia da terapêutica BCG. Objetivo do estudo. Investigar o papel dos antigénios sT e sTn no fenótipo maligno de células de cancro de bexiga bem como na resposta mediada pelo sistema imunitário à terapia com BCG. Metodologia. Para tal, foram utilizadas as linhas celulares de cancro da bexiga HT1376 e MCR, geneticamente modificadas por transdução com vetores codificantes para as sialiltransferases ST3GAL1 ou ST6GALNAC1, de forma a expressar homogeneamente os antigénios sT ou sTn respetivamente. Estes modelos celulares foram estudados após confronto com BCG. O nível de BCG internalizado foi avaliado por citometria de fluxo. O perfil global de expressão genética dos modelos celulares antes e após incubação com BCG foi analisado pela tecnologia de microarray. O perfil de citocinas secretadas pelos modelos celulares após incubação com BCG, bem como de macrófagos estimulados pelo secretoma de células de cancro de bexiga que por sua vez foram estimuladas previamente por BCG, foi estudado pelo sistema multiplex de “imuno-esferas”. Resultados. A análise do transcritoma dos modelos celulares revelou que grupos de genes envolvidos em funções específicas foram modulados em paralelo nos dois modelos celulares, após transdução, independentemente da sialiltransferase expressa. Ou seja, em células que expressavam a sialiltransferase ST3GAL1 ou ST6GALNAC1, os genes envolvidos na regulação da segregação cromossómica e na reparação do DNA foram consistentemente regulados negativamente. Genes descritos na literatura como marcadores para o cancro de bexiga foram também modulados. A incubação com BCG resultou numa tendência ao aumento da expressão de genes relevantes na preservação e estabilidade genómica e menor malignidade, no entanto, apenas em células que expressavam sT ou sTn. Entre as dez citocinas testadas, apenas a IL-6 e IL-8 foram expressas pelas linhas celulares de cancro da bexiga, com indução destas após estimulação com BCG, e principalmente em células que expressavam ST3GAL1 ou ST6GALNAC1. Em macrófagos, citocinas inflamatórias, tais como IL-1β, IL-6 e TNFα, e a citocina anti-inflamatória IL-10, foram induzidas apenas pelo secretoma de células de cancro da bexiga confrontadas com BCG, com maior relevância quando estas expressavam ST3GAL1 ou ST6GALNAC1, prevendo a estimulação de macrófagos semelhantes aos de tipo M1 e uma melhor resposta à terapia com BCG. Conclusões. O efeito geral da expressão destas sialiltransferases e dos produtos enzimáticos sT ou sTn nas células de cancro de bexiga conduz a um fenótipo de maior malignidade. Contudo, a maior avidez de estas na produção de citocinas inflamatórias após confronto com BCG, bem como a maior capacidade de estimulação de macrófagos, predirá uma resposta à terapia com BCG mais eficaz em tumores que expressem os antigénios de TF sialilados. Tais conclusões são totalmente concordantes com os nossos mais recentes dados clínicos obtidos em colaboração, que mostram que em doentes com cancro de bexiga que expressam sTn respondem melhor a terapia BCG. ----------ABSTRACT: Background. Bladder cancer is a common malignancy representing the 6th and the 5th most incident cancer in Portugal and in Italy, respectively. More than half of the cases relapse within one year, requiring though a lifelong follow-up. Intravesical instillation of Bacillus Calmette-Guérin (BCG) (an attenuated strain of Mycobacterium bovis) represents an effective immunotherapy of bladder cancer, although many aspects of the interaction of BCG with cancer cells and host immune cells remain obscure. Bladder cancer cells often express the sialylated forms of the Thomsen-Friedenreich (TF), i.e., sialil-T (sT) e sialil-Tn (sTn). However, it’s still unknown the sense of such expression in tumour malignancy and in the BCG therapy efficacy. Aim of the study. To investigate the role of the sT and sTn antigens on the malignant phenotype of bladder cancer cells and the immune mediated response to BCG therapy. Experimental. We have utilized populations of the bladder cancer cell lines HT1376 and MCR, genetically modified by transduction with the sialyltransferases ST3GAL1 or ST6GALNAC1 to express homogeneously sT or sTn antigens. The level of BCG internalized was assessed by flow cytometry. The whole gene expression profile of BCG-challenged or unchallenged bladder cancer cell lines was studied by microarray technology. The profile of cytokines secreted by BCG-challenged bladder cancer cells and that of macrophages challenged by the secretome of BCG-challenged bladder cancer cells was studied by multiplex immune-beads assay. Results. Transcriptome analysis of the sialyltransferase-transduced cells revealed that groups of genes involved in specific functions were regulated in parallel in the two cell lines, regardless the sialyltransferase expressed. Namely, in sialyltransferase-expressing cells, genes involved in the proper chromosomal segregation and in the DNA repair were consistently down-regulated, while genes reported in literature as markers for bladder cancer were modulated. BCG-challenging induced a tendency to up-regulation of the genes preserving genomic stability and reducing malignancy, but only in cells expressing either sT or sTn. Among the ten cytokines tested, only IL-6 and IL-8 were expressed by bladder cancer cell lines and up-regulated by BCG-challenging, mainly in sialyltransferases-expressing cells. In macrophages, inflammatory cytokines, such as IL-1β, IL-6 and TNFα, and the antinflammatory IL-10 were induced only by the secretome of BCG-challenged bladder cancer cells, particularly when expressing either sialyltransferase, predicting the stimulation of M1-like macrophages and a better response to BCG therapy. Conclusions. The general effect of the expression of the two sialyltransferases and their products in the bladder cancer cells is toward a more malignant phenotype. However, the stronger ability of sialyltransferase expressing cells to produce inflammatory cytokines upon BCG-challenging and to stimulate macrophages predicts a more effective response to BCG in tumours expressing the sialylated TF antigens. This is fully consistent with our recent clinical data obtained in collaboration, showing that patients with bladder cancer expressing sTn respond better to BCG therapy.

Establishment and evaluation of flexible insect cell lines for rapid production of recombinant proteins

Fundação para a Ciência e a Tecnologia (FCT) - (PTDC/EBB-EBI/102266/2008 and SFRH/BD/43830/2008, respectively) and by European Community’s FP7/2007-2013 (grant agreement nº 270089)

A public transport bus assignment problem: parallel metaheuristics assessment

Combinatorial Optimization Problems occur in a wide variety of contexts and generally are NP-hard problems. At a corporate level solving this problems is of great importance since they contribute to the optimization of operational costs. In this thesis we propose to solve the Public Transport Bus Assignment problem considering an heterogeneous fleet and line exchanges, a variant of the Multi-Depot Vehicle Scheduling Problem in which additional constraints are enforced to model a real life scenario. The number of constraints involved and the large number of variables makes impracticable solving to optimality using complete search techniques. Therefore, we explore metaheuristics, that sacrifice optimality to produce solutions in feasible time. More concretely, we focus on the development of algorithms based on a sophisticated metaheuristic, Ant-Colony Optimization (ACO), which is based on a stochastic learning mechanism. For complex problems with a considerable number of constraints, sophisticated metaheuristics may fail to produce quality solutions in a reasonable amount of time. Thus, we developed parallel shared-memory (SM) synchronous ACO algorithms, however, synchronism originates the straggler problem. Therefore, we proposed three SM asynchronous algorithms that break the original algorithm semantics and differ on the degree of concurrency allowed while manipulating the learned information. Our results show that our sequential ACO algorithms produced better solutions than a Restarts metaheuristic, the ACO algorithms were able to learn and better solutions were achieved by increasing the amount of cooperation (number of search agents). Regarding parallel algorithms, our asynchronous ACO algorithms outperformed synchronous ones in terms of speedup and solution quality, achieving speedups of 17.6x. The cooperation scheme imposed by asynchronism also achieved a better learning rate than the original one.

User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.