Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Melhoria do Processo Produtivo da Pietec Através das Ferramentas Kaizen

Esta Tese de Mestrado foi realizada na empresa Pietec Cortiças S.A.. A empresa Pietec Cortiças S.A. é a unidade industrial responsável pela produção de rolhas técnicas de cortiça do Grupo Piedade. O objetivo desta tese prende-se com a melhoria do processo produtivo de uma das suas secções, a secção da Marcação. Esta secção é responsável pela marcação da superfície da rolha, pela aplicação do tratamento de superfície e pelo embalamento das rolhas. A otimização do processo da secção de Marcação, na qualidade de última secção do processo produtivo, permitirá à empresa obter vantagens competitivas. De forma a atingir o objetivo proposto, foi realizado um levantamento exaustivo do processo produtivo e das respetivas operações. Esta análise permitiu a identificação dos possíveis pontos de desperdício, a sua avaliação e a definição de possíveis melhorias que visam o aumento de produtividade e a redução do número de produtos não conformes. Uma vez identificados os pontos críticos do processo, procedeu-se à definição das ações de melhoria a implementar de forma a melhorar o processo produtivo. As ações tomadas assentam na filosofia Lean e nos seus princípios, utilizando-se algumas das ferramentas desta filosofia para concretizar os objetivos traçados. A ferramenta de análise Plan-Do-Check-Act (PDCA) foi a ferramenta base do projeto, acompanhando na elaboração do plano de ação, na implementação das ferramentas 5S e Single Minute Exchange of Die (SMED), na verificação dos resultados e no plano de manutenção das melhorias alcançadas. Após a implementação das medidas definidas no processo de marcação da superfície das rolhas, foi mensurada uma melhoria de 23 % no tempo médio de setup da máquina de marcação. Esta melhoria global foi alcançada através de intervenções no processo de vazamento do circuito da máquina de marcação, no procedimento de armazenamento dos moldes de marcação e na alteração dos mecanismos de ajuste da máquina de marcar e de orientar. No processo de embalamento das rolhas, as medidas implementadas produziram um aumento de 1,7 % no número de rolhas produzidas e uma redução do número de rolhas não conformes de 3,6 %. Os resultados obtidos no projeto demonstram que é possível continuar a melhorar o estado atual dos processos. Constatou-se ainda que, com a adoção de ferramentas de análise e de proposta de melhoria adequadas, é possível atuar sobre os processos e obter melhorias a curto prazo, sem que para isso seja necessário efetuar grandes investimentos.

In vitro and in situ activation of the complement system by the fungus Lacazia loboi

Since there are no studies evaluating the participation of the complement system (CS) in Jorge Lobo's disease and its activity on the fungus Lacazia loboi, we carried out the present investigation. Fungal cells with a viability index of 48% were obtained from the footpads of BALB/c mice and incubated with a pool of inactivated serum from patients with the mycosis or with sterile saline for 30 min at 37 ºC. Next, the tubes were incubated for 2 h with a pool of noninactivated AB+ serum, inactivated serum, serum diluted in EGTA-MgCl2, and serum diluted in EDTA. The viability of L. loboi was evaluated and the fungal suspension was cytocentrifuged. The slides were submitted to immunofluorescence staining using human anti-C3 antibody. The results revealed that 98% of the fungi activated the CS by the alternative pathway and no significant difference in L. loboi viability was observed after CS activation. In parallel, frozen histological sections from 11 patients were analyzed regarding the presence of C3 and IgG by immunofluorescence staining. C3 and IgG deposits were observed in the fungal wall of 100% and 91% of the lesions evaluated, respectively. The results suggest that the CS and immunoglobulins may contribute to the defense mechanisms of the host against L. loboi.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Real-time Parallel Applications on Many-core Architectures

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Neural Mechanisms of Exercise: Anti-Depression, Neurogenesis, and Serotonin Signaling

Depression is associated with decreased serotonin metabolism and functioning in the central nervous system, evidenced by both animal models of depression and clinical patient studies. Depression is also accompanied by decreased hippocampal neurogenesis in diverse animal models. Neurogenesis is mainly defined in dentate gyrus of hippocampus as well as subventricular zone. Moreover, hypothalamus, amygdala, olfactory tubercle, and piriform cortex are reported with evidences of adult neurogenesis. Physical exercise is found to modulate adult neurogenesis significantly, and results in mood improvement. The cellular mechanism such as adult neurogenesis upregulation was considered as one major mood regulator following exercise. The recent advances in molecular mechanisms underlying exercise-regulated neurogenesis have widen our understanding in brain plasticity in physiological and pathological conditions, and therefore better management of different psychiatric disorders.

Neural Mechanisms of Exercise: Effects on Gut Miccrobiota and Depression

Microbiota is a set of microorganisms resident in gut ecosystem that reacts to psychological stressful stimuli, and is involved in depressed or anxious status in both animals and human being. Interestingly, a series of studies have shown the effects of physical exercise on gut microbiota dynamics, suggesting that gut microbiota regulation might act as one mediator for the effects of exercise on the brain. Recent studies found that gut microbiota dynamics are also regulated by metabolism changes, such as through physical exercise or diet change. Interestingly, physical exercise modulates different population of gut bacteria in compared to food restriction or rich diet, and alleviates gut syndromes to toxin intake. Gut microbiota could as well contribute to the beneficial effects of exercise on cognition and emotion, either directly through serotonin signaling or indirectly by modulating metabolism and exercise performance.

Impact of sensor nodes scaling and velocity on handover mechanisms for healthcare wireless sensor networks with mobility support

Health promotion in hospital environments can be improved using the most recent information and communication technologies. The Internet connectivity to small sensor nodes carried by patients allows remote access to their bio-signals. To promote these features the healthcare wireless sensor networks (HWSN) are used. In these networks mobility support is a key issue in order to keep patients under realtime monitoring even when they move around. To keep sensors connected to the network, they should change their access points of attachment when patients move to a new coverage area along an infirmary. This process, called handover, is responsible for continuous network connectivity to the sensors. This paper presents a detailed performance evaluation study considering three handover mechanisms for healthcare scenarios (Hand4MAC, RSSI-based, and Backbone-based). The study was performed by simulation using several scenarios with different number of sensors and different moving velocities of sensor nodes. The results show that Hand4MAC is the best solution to guarantee almost continuous connectivity to sensor nodes with less energy consumption.

Epidemiological characterization, antimicrobial resistance and virulence mechanisms of human and animal streptococci

Dissertação para obtenção do Grau de Doutor em Biologia

Biological predictors of survival in limphoma and mechanisms underlying follicular lymphoma transformaion into diffuse large B cell lymphoma (vol I e II)

RESUMO: Os biomarcadores tumorais permitem identificar os doentes com maior risco de recorrência da doença, predizer a resposta tumoral à terapêutica e, finalmente, definir candidatos a novos alvos terapêuticos. Novos biomarcadores são especialmente necessários na abordagem clínica dos linfomas. Actualmente, esses tumores são diagnosticados através de uma combinação de características morfológicas, fenotípicas e moleculares, mas o prognóstico e o planeamento terapêutico estão quase exclusivamente dependentes de características clínicas. Estes factores clínicos são, na maioria dos linfomas, insuficientes numa proporção significativa dos doentes, em particular, aqueles com pior prognóstico. O linfoma folicular (LF) é, globalmente, o segundo subtipo mais comum de linfoma. É tipicamente uma doença indolente com uma sobrevida média entre os 8 e 12 anos, mas é geralmente fatal quando se transforma num linfoma agressivo de alto grau, habitualmente o linfoma difuso de grandes células B (LDGCB). Morfologicamente e funcionalmente, as células do LF recapitulam as células normais do centro germinativo na sua dependência de sobrevivência do microambiente não-tumoral, especialmente das células do sistema imunológico. Biomarcadores preditivos de transformação não existem pelo que um melhor conhecimento da biologia intrínseca de progressão do LF poderá revelar novos candidatos. Nesta tese descrevo duas abordagens distintas para a descoberta de novos biomarcadores. A primeira, o estudo da expressão global de genes ('genomics') obtidos por técnicas de alto rendimento que analisam todo o genoma humano sequenciado, permitindo identificar novas anomalias genéticas que possam representar mecanismos biológicos importantes de transformação. São descritos novos genes e alterações genómicas associados à transformação do LF, sendo especialmente relevantes as relacionadas com os eventos iniciais de transformação em LDGCB. A segunda, baseou-se em várias hipóteses centradas no microambiente do LF, rico em vários tipos de células nãomalignas. Os estudos imunoarquitectural de macrófagos, células T regulatórias e densidade de microvasos efectuado em biopsias de diagnóstico de doentes com LF tratados uniformemente correlacionaram-se significativamente, e independentemente dos critérios clínicos, com a evolução clínica e, mais importante, com o risco de transformação em LDGCB. Nesta tese, foram preferencialmente utilizadas (e optimizadas) técnicas que permitam o uso de amostras fixadas em parafina e formalina (FFPET). Estas são facilmente acessíveis a partir das biopsias de diagnóstico de rotina presentes nos arquivos de todos os departamentos de patologia, facilitando uma transição rápida dos novos marcadores para a prática clínica. Embora o FL fosse o tema principal da tese, os novos achados permitiram estender facilmente hipóteses semelhantes a outros subtipos de linfoma. Assim, são propostos e validados vários biomarcadores promissores e relacionados com o microambiente não tumoral, sobretudo dependentes das células do sistema imunológico, como contribuintes importantes para a biologia dos linfomas. Estes sugerem novas opções para a abordagem clínica destas doenças e, eventualmente, novos alvos terapêuticos.------------- ABSTRACT: Cancer biomarkers provide an opportunity to identify those patients most at risk for disease recurrence, predict which tumours will respond to different therapeutic approaches and ultimately define candidate biomarkers that may serve as targets for personalized therapy. New biomarkers are especially needed in the management of lymphoid cancers. At present, these tumours are diagnosed using a combination of morphologic, phenotypic and molecular features but prognosis and overall survival are mostly dependent on clinical characteristics. In most lymphoma types, these imprecisely assess a significant proportion of patients, in particular, those with very poor outcomes. Follicular lymphoma (FL) is the second most common lymphoma subtype worldwide. It is typically an indolent disease with current median survivals in the range of 8-12 years, but is usually fatal when it transforms into an aggressive high-grade lymphoma, characteristically Diffuse Large B Cell Lymphoma (DLBCL). Morphologically and functionally it recapitulates the normal cells of the germinal center with its survival dependency on non-malignant immune and immunerelated cells. Informative markers of transformation related to the intrinsic biology of FL progression are needed. Within this thesis two separate approaches to biomarker discovery were employed. The first was to study the global expression of genes (‘genomics’) obtained using high-throughput, wholegenome-wide approaches that offered the possibility for discovery of new genetic abnormalities that might represent the important biological mechanisms of transformation. Gene signatures associated with early events of transformation were found. Another approach relied on hypothesis-driven concepts focusing upon the microenvironment, rich in several non-malignant cell types. The immunoarchitectural studies of macrophages, regulatory T cells and microvessel density on diagnostic biopsies of uniformly treated FL patients significantly predicted clinical outcome and, importantly, also informed on the risk of transformation. Techniques that enabled the use of routine formalin fixed paraffin embedded diagnostic specimens from the pathology department archives were preferentially used in this thesis with the goal of fulfilling a rapid bench-to-beside” translation for these new findings. Although FL was the main subject of the thesis the new findings and hypotheses allowed easy transition into other lymphoma types. Several promising biomarkers were proposed and validated including the implication of several non-neoplastic immune cells as important contributors to lymphoma biology, opening new options for better treatment planning and eventually new therapeutic targets and candidate therapeutics.

New mechanisms that regulate the expression of genes implicated in the process of ketogenesis

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Avaliação dos mecanismos de concorrência na API do Java 8

As plataformas com múltiplos núcleos tornaram a programação paralela/concorrente num tópico de interesse geral. Diversos modelos de programação têm vindo a ser propostos, facilitando aos programadores a identificação de regiões de código potencialmente paralelizáveis, deixando ao sistema operativo a tarefa de as escalonar dinamicamente em tempo de execução, explorando o maior grau possível de paralelismo. O Java não foge a esta tendência, disponibilizando ao programador um número crescente de bibliotecas de mecanismos de sincronização e paralelização de código. Neste contexto, esta tese apresenta e discute um conjunto de resultados obtidos através de testes intensivos à eficiência de algoritmos de ordenação implementados com recurso aos mecanismos de concorrência da API do Java 8 (Threads, Threadpools, ExecutorService, CountdownLach, ExecutorCompletionService e ForkJoinPools) em sistemas com um número de núcleos variável. Para cada um dos mecanismos, são apresentadas conclusões sobre o seu funcionamento e discutidos os cenários em que o seu uso pode ser rentabilizado de modo a serem obtidos melhores tempos de execução.

Parallel programming in biomedical signal processing

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

Heavy metals removal in dual media filters

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente – Perfil de Engenharia Sanitária