Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Pre-emption

This article introduces schedulability analysis for global fixed priority scheduling with deferred preemption (gFPDS) for homogeneous multiprocessor systems. gFPDS is a superset of global fixed priority pre-emptive scheduling (gFPPS) and global fixed priority non-pre-emptive scheduling (gFPNS). We show how schedulability can be improved using gFPDS via appropriate choice of priority assignment and final non-pre-emptive region lengths, and provide algorithms which optimize schedulability in this way. Via an experimental evaluation we compare the performance of multiprocessor scheduling using global approaches: gFPDS, gFPPS, and gFPNS, and also partitioned approaches employing FPDS, FPPS, and FPNS on each processor.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Novel LTCC-potentiometric microfluidic device for biparametric analysis of organic compounds carrying plastic antibodies as ionophores: Application to sulfamethoxazole and trimethoprim

Monitoring organic environmental contaminants is of crucial importance to ensure public health. This requires simple, portable and robust devices to carry out on-site analysis. For this purpose, a low-temperature co-fired ceramics (LTCC) microfluidic potentiometric device (LTCC/μPOT) was developed for the first time for an organic compound: sulfamethoxazole (SMX). Sensory materials relied on newly designed plastic antibodies. Sol–gel, self-assembling monolayer and molecular-imprinting techniques were merged for this purpose. Silica beads were amine-modified and linked to SMX via glutaraldehyde modification. Condensation polymerization was conducted around SMX to fill the vacant spaces. SMX was removed after, leaving behind imprinted sites of complementary shape. The obtained particles were used as ionophores in plasticized PVC membranes. The most suitable membrane composition was selected in steady-state assays. Its suitability to flow analysis was verified in flow-injection studies with regular tubular electrodes. The LTCC/μPOT device integrated a bidimensional mixer, an embedded reference electrode based on Ag/AgCl and an Ag-based contact screen-printed under a micromachined cavity of 600 μm depth. The sensing membranes were deposited over this contact and acted as indicating electrodes. Under optimum conditions, the SMX sensor displayed slopes of about −58.7 mV/decade in a range from 12.7 to 250 μg/mL, providing a detection limit of 3.85 μg/mL and a sampling throughput of 36 samples/h with a reagent consumption of 3.3 mL per sample. The system was adjusted later to multiple analyte detection by including a second potentiometric cell on the LTCC/μPOT device. No additional reference electrode was required. This concept was applied to Trimethoprim (TMP), always administered concomitantly with sulphonamide drugs, and tested in fish-farming waters. The biparametric microanalyzer displayed Nernstian behaviour, with average slopes −54.7 (SMX) and +57.8 (TMP) mV/decade. To demonstrate the microanalyzer capabilities for real applications, it was successfully applied to single and simultaneous determination of SMX and TMP in aquaculture waters.

Integer and Fractional Order Entropy Analysis of Earthquake Data-series

This paper studies the statistical distributions of worldwide earthquakes from year 1963 up to year 2012. A Cartesian grid, dividing Earth into geographic regions, is considered. Entropy and the Jensen–Shannon divergence are used to analyze and compare real-world data. Hierarchical clustering and multi-dimensional scaling techniques are adopted for data visualization. Entropy-based indices have the advantage of leading to a single parameter expressing the relationships between the seismic data. Classical and generalized (fractional) entropy and Jensen–Shannon divergence are tested. The generalized measures lead to a clear identification of patterns embedded in the data and contribute to better understand earthquake distributions.

A system model and stack for the parallelization of time-critical applications on many-core architectures

3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

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.

Dependable Embedded Wireless Infrastructure

DEWI will provide key solutions for wireless seamless connectivity and interoperability in the everyday physical environment of citizens, thereby significantly contributing to the emerging smart home and smart public space.

Comprehensive treatments for social cognitive deficits in schizophrenia: A critical review and effect-size analysis of controlled studies

Recent advances in psychosocial treatments for schizophrenia have targeted social cognitive deficits. A critical literature review and effect-size (ES) analysis was conducted to investigate the efficacy of comprehensive programs of social cognitive training in schizophrenia. Results revealed 16 controlled studies consisting of seven models of comprehensive treatment with only three of these treatment models investigated in more than one study. The effects of social cognitive training were reported in 11/15 studies that included facial affect recognition skills (ES=.84) and 10/13 studies that included theory-of-mind (ES=.70) as outcomes. Less than half (4/9) of studies that measured attributional style as an outcome reported effects of treatment, but effect sizes across studies were significant (ESs=.30-.52). The effect sizes for symptoms were modest, but, with the exception of positive symptoms, significant (ESs=.32-.40). The majority of trials were randomized (13/16), selected active control conditions (11/16) and included at least 30 participants (12/16). Concerns for this area of research include the absence of blinded outcome raters in more than 50% of trials and low rates of utilization of procedures for maintaining treatment fidelity. These findings provide preliminary support for the broader use of comprehensive social cognitive training procedures as a psychosocial intervention for schizophrenia.

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.

Aerobic Exercise Does Not Predict Brain Derived Neurotrophic Factor And Cortisol Alterations in Depressed Patients

The pathophysiology of depression is related to neurobiological changes that occur in the monoamine system, hypothalamic-pituitary-adrenal axis, neurogenesis system and the neuroimmune system. In recent years, there has been a growing interest in the research of the effects of exercise on brain function, with a special focus on its effects on brainderived neurotrophic factor (BDNF), cortisol and other biomarkers. Thus, the aim of this study is to present a review investigating the acute and chronic effects of aerobic exercise on BDNF and cortisol levels in individuals with depression. It was not possible to establish an interaction between aerobic exercise and concentration of BDNF and cortisol, which may actually be the result of the divergence of methods, such as type of exercises, duration of the sessions, and prescribed intensity and frequency of sessions.

Effects of Exercise on Physical and Mental Health, and Cognitive and Brain Functions in Schizophrenia: Clinical and Experimental Evidence

Exercise promotes several health benefits, such as cardiovascular, musculoskeletal and cardiorespiratory improvements. It is believed that the practice of exercise in individuals with psychiatric disorders, e.g. schizophrenia, can cause significant changes. Schizophrenic patients have problematic lifestyle habits compared with general population; this may cause a high mortality rate, mainly caused by cardiovascular and metabolic diseases. Thus, the aim of this study is to investigate changes in physical and mental health, cognitive and brain functioning due to the practice of exercise in patients with schizophrenia. Although still little is known about the benefits of exercise on mental health, cognitive and brain functioning of schizophrenic patients, exercise training has been shown to be a beneficial intervention in the control and reduction of disease severity. Type of training, form of execution, duration and intensity need to be better studied as the effects on physical and mental health, cognition and brain activity depend exclusively of interconnected factors, such as the combination of exercise and medication. However, one should understand that exercise is not only an effective nondrug alternative, but also acts as a supporting linking up interventions to promote improvements in process performance optimization. In general, the positive effects on mental health, cognition and brain activity as a result of an exercise program are quite evident. Few studies have been published correlating effects of exercise in patients with schizophrenia, but there is increasing evidence that positive and negative symptoms can be improved. Therefore, it is important that further studies be undertaken to expand the knowledge of physical exercise on mental health in people with schizophrenia, as well as its dose-response and the most effective type of exercise.

Clinical and Pathological Findings in Women with Fabry Disease

Introduction. Fabry disease is a rare metabolic disorder caused by the genetic deficiency of the lysosomal hydrolase alpha-galactosidase A, located on chromosome X. Females with the defective gene are more than carriers and can develop a wide range of symptoms. Nevertheless, disease symptoms generally occur later and are less severe in women than in men. The enzyme deficiency manifests as a glycosphingolipidosis with progressive accumulation of glycosphingolipids and deposit of inclusion bodies in lysosomes giving a myelinlike appearance. Patients and Methods. Records of renal biopsies performed on adults from 1st January 2008 to 31st August 2011, were retrospectively examined at the Renal Pathology Laboratory. We retrieved biopsies diagnosed with Fabry disease and reviewed clinical and laboratory data and pathology findings. Results. Four female patients with a mean age of 49.3±4.5 (44-55) years were identified. The mean proteinuria was 0.75±0.3 g/24h (0.4-1.2) and estimated glomerular filtration rate (CKD EPI equation) was 71±15.7 ml/min/1.73m2 (48-83). Three patients experienced extra-renal organ involvement (cerebrovascular, cardiac, dermatologic, ophthalmologic and thyroid) with distinct severity degrees. Leukocyte α-GAL A activity was below normal range in the four cases but plasma and urinary enzymatic activity was normal. Light microscopy showed predominant vacuolisation of the podocyte cytoplasm and darkly staining granular inclusions on paraffin and plastic-embedded semi-thin sections. Electron microscopy showed in three patients the characteristic myelin-like inclusions in the podocyte cytoplasm and also focal podocyte foot process effacement. In one case the inclusions were also present in parietal glomerular cells, endothelial cells of peritubular capillary and arterioles. Conclusion. Clinical signs and symptoms are varied and can be severe among heterozygous females with Fabry disease. Intracellular accumulation of glycosphingolipids is a characteristic histologic finding of Fabry nephropathy. Since this disease is a potentially treatable condition, its early identification is imperative. We should consider it in the differential diagnosis of any patient presenting with proteinuria and/or chronic kidney disease, especially if there is a family history of kidney disease.

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.

A learning approach to swarm-based path detection and tracking

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores