A Generic and Compositional Framework for Multicore Response Time Analysis

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

Responsible innovation: bringing together technology assessment, applied ethics, and STS research

Paper presented as "key note" at the Doctorate Conference on Technology Assessment in June 2011, at FCT-UNL, Monte de Caparica.

Análise da sonolência na condução rodoviária a partir de sinais EEG

A Sociedade Europeia de Pesquisa do Sono realizou muito recentemente um estudo, onde mostrou que a prevalência média de adormecimento ao volante nos últimos 2 anos foi de 17%. Além disto, tem sido provado por todo o mundo que a sonolência durante a condução é uma das principais causas de acidentes de trânsito. Torna-se assim conveniente, o desenvolvimento de sistemas que analisem a suscetibilidade de um determinado condutor para adormecer no trânsito, bem como de ferramentas que monitorem em tempo real o estado físico e mental do condutor, para alertarem nos momentos críticos. Apesar do estudo do sono se ter iniciado há vários anos, a maioria das investigações focaram-se no ciclo normal do sono, estudando os indivíduos de forma relaxada e de olhos fechados. Só mais recentemente, têm surgido os estudos que se focam nas situações de sonolência em atividade, como _e o caso da condução. Uma grande parte Dos estudos da sonolência em condução têm utilizado a eletroencefalografia (EEG), de forma a perceber se existem alterações nas diferentes bandas de frequência desta, que possam indicar o estado de sonolência do condutor. Além disso, a evolução da sonolência a partir de alterações no piscar dos olhos (que podem ser vistas nos sinais EEG) também tem sido alvo de grande pesquisa, tendo vindo a revelar resultados bastante promissores. Neste contexto e em parceria com a empresa HealthyRoad, esta tese está integrada no projeto HealthyDrive, que visa o desenvolvimento de um sistema de alerta e deteção de sinais de fadiga e sonolência nos condutores de veículos automóveis. A contribuição desta tese no projeto prendeu-se com o estudo da sonolência dos indivíduos em condução a partir de sinais EEG, para desta forma investigar possíveis indicadores dos diferentes níveis desta que possam ser utilizados pela empresa no projeto. Foram recolhidos e analisados 17 sinais EEG de indivíduos em simulação de condução. Além disso foram desenvolvidos dois métodos de análise destes sinais: O primeiro para a deteção e análise dos piscar de olhos a partir de EEG, o segundo para análise do espetro de potência. Ambos os métodos foram utilizados para analisar os sinais recolhidos e investigar que tipo de relação existe entre a sonolência do condutor e as alterações nos piscares dos olhos, bem como as alterações do espetro do EEG. Os resultados mostraram uma correlação entre a duração do piscar de olhos e a sonolência do condutor. Com o aumento da sonolência velicou-se um aumento da duração do piscar, desencadeado principalmente pelo aumento na duração de fecho, que chegou aos 51.2%. Em relação ao espectro de potência, os resultados sugerem que a potência relativa de todas as bandas analisadas fornecem informações relevantes sobre a sonolência do condutor. Além disso, o parâmetro (_+_)/_ demostrou estar relacionado com variações da sonolência, diminuindo com o seu avanço e aumentando significativamente (111%) no instante em que os condutores adormeceram.

Dual track sell-out: Signaling through IPO and Underpricing

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Contribution of the evaluation strategy and the use of hearing protection for the uncertainty associated with occupational exposure to noise

Doctoral Thesis for PhD degree in Industrial and Systems Engineering

Monovarietal extra-virgin olive oil classification: a fusion of human sensory attributes and an electronic tongue

Olive oil quality grading is traditionally assessed by human sensory evaluation of positive and negative attributes (olfactory, gustatory, and final olfactorygustatory sensations). However, it is not guaranteed that trained panelist can correctly classify monovarietal extra-virgin olive oils according to olive cultivar. In this work, the potential application of human (sensory panelists) and artificial (electronic tongue) sensory evaluation of olive oils was studied aiming to discriminate eight single-cultivar extra-virgin olive oils. Linear discriminant, partial least square discriminant, and sparse partial least square discriminant analyses were evaluated. The best predictive classification was obtained using linear discriminant analysis with simulated annealing selection algorithm. A low-level data fusion approach (18 electronic tongue signals and nine sensory attributes) enabled 100 % leave-one-out cross-validation correct classification, improving the discrimination capability of the individual use of sensor profiles or sensory attributes (70 and 57 % leave-one-out correct classifications, respectively). So, human sensory evaluation and electronic tongue analysis may be used as complementary tools allowing successful monovarietal olive oil discrimination.

Reduction of QTc interval dispersion. Potential mechanism of cardiac protection of pyridostigmine bromide

OBJECTIVE: Parasympathetic dysfunction is an independent risk factor in individuals with coronary artery disease, and cholinergic stimulation is a potential therapeutical option. We determined the effects of pyridostigmine bromide, a reversible anticholinesterase agent, on electrocardiographic variables of healthy individuals. METHODS: We carried out a cross-sectional, double blind, randomized, placebo-controlled study. We obtained electrocardiographic tracings in 12 simultaneous leads of 10 healthy young individuals at rest before and after oral administration of 45 mg of pyridostigmine or placebo. RESULTS: Pyridostigmine increased RR intervals (before: 886±27 ms vs after: 1054±37 ms) and decreased QTc dispersion (before: 72±9ms vs after: 45±3ms), without changing other electrocardiographic variables (PR segment, QT interval, QTc, and QT dispersion). CONCLUSION: Bradycardia and the reduction in QTc dispersion induced by pyridostigmine may effectively represent a protective mechanism if these results can be reproduced in individuals with cardiovascular diseases.

Potentially viable solar powered appliances cooling and distillation

Stand alone solar powered refrigeration and water desalination, two of the most popular and sought after applications of solar energy systems, have been selected as the topic of research for the works presented in this thesis. The water desalination system based on evaporation and condensation was found to be the most suitable one to be powered by solar energy. It has been established that highoutput fast-response solar heat collectors used to achieve high rates of evaporation and reliable solar powered cooling system for faster rates of condensation are the most important factors in achieving increased outputs in solar powered desalination systems. Comprehensive reviews of Solar powered cooling/refrigeration and also water desalination techniques have been presented. In view of the fact that the Institute of Technology, Sligo has a well-established long history of research and development in the production of state of the art high-efficiency fast-response evacuated solar heat collectors it was decided to use this know how in the work described in this thesis. For this reason achieving high rates of evaporation was not a problem. It was, therefore, the question of the solar powered refrigeration that was envisaged to be used in the solar powered desalination tofacilitate rapid condensation of the evaporated water that had to be addressed first. The principles of various solar powered refrigeration techniques have also been reviewed. The first step in work on solar powered refrigeration was to successfully modify a conventional refrigerator working on Platen-Munters design to be powered by highoutput fast-response evacuated solar heat collectors. In this work, which was the first ever successful attempt in the field, temperatures as low as —19°C were achieved in the icebox. A new approach in the use of photovoltaic technology to power a conventional domestic refrigerator was also attempted. This was done by modifying a conventional domestic refrigerator to be powered by photovoltaic panels in the most efficient way. In the system developed and successfully tested in this approach, the power demand has been reduced phenomenally and it is possible to achieve 48 hours of cooling power with exposure to just 7 hours of sunshine. The successful development of the first ever multi-cycle intermittent solar powered icemaker is without doubt the most exciting breakthrough in the work described in this thesis. Output of 74.3kg of ice per module with total exposure area of 2.88 m2, or 25.73kg per m2, per day is a major improvement in comparison to about 5-6kg of ice per m2 per day reported for all the single cycle intermittent systems. This system has then become the basis for the development of a new solar powered refrigeration system with even higher output, named the “composite” system described in this thesis. Another major breakthrough associated with the works described in this thesis is the successful development and testing of the high-output water desalination system. This system that uses a combination of the high-output fast-response evacuated solar heat collectors and the multi-cycle icemaker. The system is capable of producing a maximum of 141 litres of distilled water per day per module which has an exposure area of 3.24m2, or a production rate of 43.5 litres per m2 per day. Once again when this result is compared to the reported daily output of 5 litres of desalinated water per m per day the significance of this piece of work becomes apparent. In the presentation of many of the components and systems described in this thesis CAD parametric solid modelling has been used instead of photographs to illustrate them more clearly. The multi-cycle icemaker and the high-output desalination systems are the subject of two patent applications.

Automatic measurement of key ski jumping phases and temporal events with a wearable system.

We propose a new method, based on inertial sensors, to automatically measure at high frequency the durations of the main phases of ski jumping (i.e. take-off release, take-off, and early flight). The kinematics of the ski jumping movement were recorded by four inertial sensors, attached to the thigh and shank of junior athletes, for 40 jumps performed during indoor conditions and 36 jumps in field conditions. An algorithm was designed to detect temporal events from the recorded signals and to estimate the duration of each phase. These durations were evaluated against a reference camera-based motion capture system and by trainers conducting video observations. The precision for the take-off release and take-off durations (indoor < 39 ms, outdoor = 27 ms) can be considered technically valid for performance assessment. The errors for early flight duration (indoor = 22 ms, outdoor = 119 ms) were comparable to the trainers' variability and should be interpreted with caution. No significant changes in the error were noted between indoor and outdoor conditions, and individual jumping technique did not influence the error of take-off release and take-off. Therefore, the proposed system can provide valuable information for performance evaluation of ski jumpers during training sessions.

Cognition, Resources, and Institutions in the Explanation of Attitudes to Free Trade

This article proposes a framework for the analysis of attitudes to foreign trade policies that challenges the traditional skill-endowment approach. The traditional approach assumes informed individuals who calculate the costs and benefits of alternative policies. We propose that individuals lack information and that their positions rest on economic vulnerability, as mediated through risk-aversion. We also stress the role of environmental signals and political endorsements in guiding individuals' views on trade policy. We test this alternative approach with a Spanish survey conducted in May 2009 and the ISSP survey conducted in 2003 in a large number of less developed and more developed countries. The Spanish data show that the population is largely uninformed and that their ideas about the consequences of free trade policy do not explain attitudes among different socio-demographic groups. Meanwhile, the ISSP data contradict important aspects of the traditional approach and are consistent with the alternative approach.

Regulation of the Gac/Rsm pathway in "Pseudomonas fluorescens" CHA0

SUMMARY : Two-component systems are key mediators implicated in the response of numerous bacteria to a wide range of signals and stimuli. The two-component system comprised of the sensor kinase GacS and the response regulator GacA is broadly distributed among γ-proteobacteria bacteria and fulfils diverse functions such as regulation of carbon storage and expression of virulence. In Pseudomonas fluorescens, a soil bacterium which protects plants from root-pathogenic fungi and nematodes, the GacS/GacA two-component system has been shown to be essential for the production of secondary metabolites and exoenzymes required for the biocontrol activity of the bacterium. The regulatory cascade initiated by GacS/GacA consists of two translational repressor proteins, RsmA and RsmE, as well as three GacAcontrolled small regulatory RNAs RsmX, RsmY and RsmZ, which titrate RsmA and RsmE to allow the expression of biocontrol factors. Genetic analysis revealed that two additional sensor kinases termed RetS and Lads were involved as negative and positive control elements, respectively, in the Gac/Rsm pathway in P. fluoresens CHAO. Furthermore, it could be proposed that RetS and Lads interact with GacS, thereby modulating the expression of antibiotic compounds and hydrogen cyanide, as well as the rpoS gene encoding the stress and stationary phase sigma factor σ. Temperature was found to be an important environmental cue that influences the Gac/Rsm network. Indeed, the production of antibiotic compounds and hydrogen cyanide was reduced at 35°C, by comparison with the production at 30°C. RetS was identified to be involved in this temperature control. The small RNA RsmY was confirmed to be positively regulated by GacA and RsmA/RsmE. Two essential regions were identified in the rsmY promoter by mutational analysis, the upstream activating sequence (UAS) and the linker sequence. Although direct experimental evidence is still missing, several observations suggest that GacA may bind to the UAS, whereas the linker region would be recognized by intermediate RsmA/RsmEdependent repressors and/or activators. In conclusion, this work has revealed new elements contributing to the function of the signal transduction mechanisms in the Gac/Rsm pathway. RESUME : Les systèmes ä deux composants sont des mécanismes d'une importance notoire que beaucoup de bactéries utilisent pour faire face et répondre aux stimuli environnementaux. Le système à deux composants comprenant le senseur GacS et le régulateur de réponse GacA est très répandu chez les γ-protéobactéries et remplit des fonctions aussi diverses que la régulation du stockage de carbone ou l'expression de la virulence. Chez Pseudomonas fluorescens CHAO, une bactérie du sol qui protège les racines des plantes contre des attaques de champignons et nématodes pathogènes, le système à deux composants GacS/GacA est essentiel à la production de métabolites secondaires et d'exoenzymes requis pour l'activité de biocontrôle de la bactérie. La cascade régulatrice initiée pas GacS/GacA fait intervenir deux protéines répresseur de traduction, RsmA et RsmE, ainsi que trois petits ARNs RsmX, RsmY et RsmZ, dont la production est contrôlée par GacA. Ces petits ARNs ont pour rôle de contrecarrer l'action des protéines répressseur de la traduction, ce qui permet l'expression de facteurs de biocontrôle. Des analyses génétiques ont révélé la présence de deux senseurs supplémentaires, appelés Rets et Lads, qui interviennent dans la cascade Gac/Rsm de P. fluorescens. L'impact de ces senseurs est, respectivement, négatif et positif. Ces interactions ont apparenunent lieu au niveau de GacS et permettent une modulation de l'expression des antibiotiques et de l'acide cyanhydrique, ainsi que du gène rpoS codant pour le facteur sigma du stress. La température s'est révélée être un facteur environnemental important qui influence la cascade Gac/Rsm. Il s'avère en effet que la production d'antibiotiques ainsi que d'acide cyanhydrique est moins importante à 35°C qu'à 30°C. L'implication du senseur Rets dans ce contrôle par la température a pu être démontrée. La régulation positive du petit ARN RsmY par GacA et RsmA/RsmE a pu être confirmée; par le biais d'une analyse mutationelle, deux régions essentielles ont pu être mises en évidence dans la région promotrice de rsmY. Malgré le manque de preuves expérimentales directes, certains indices suggèrent que GacA puisse directement se fixer sur une des deux régions (appelée UAS), tandis que la deuxième région (appelée linker) serait plutôt reconnue par des facteurs intermédiaires (activateurs ou répresseurs) dépendant de RsmA/RsmE. En conclusion, ce travail a dévoilé de nouveaux éléments permettant d'éclairer les mécanismes de transduction des signaux dans la cascade Gac/Rsm.

Orthogonal organic and aqueous-based washes of tissue sections to enhance protein sensitivity by MALDI imaging mass spectrometry.

Imaging mass spectrometry (IMS) is an emergent and innovative approach for measuring the composition, abundance and regioselectivity of molecules within an investigated area of fixed dimension. Although providing unprecedented molecular information compared with conventional MS techniques, enhancement of protein signature by IMS is still necessary and challenging. This paper demonstrates the combination of conventional organic washes with an optimized aqueous-based buffer for tissue section preparation before matrix-assisted laser desorption/ionization (MALDI) IMS of proteins. Based on a 500 mM ammonium formate in water-acetonitrile (9:1; v/v, 0.1% trifluororacetic acid, 0.1% Triton) solution, this buffer wash has shown to significantly enhance protein signature by profiling and IMS (~fourfold) when used after organic washes (70% EtOH followed by 90% EtOH), improving the quality and number of ion images obtained from mouse kidney and a 14-day mouse fetus whole-body tissue sections, while maintaining a similar reproducibility with conventional tissue rinsing. Even if some protein losses were observed, the data mining has demonstrated that it was primarily low abundant signals and that the number of new peaks found is greater with the described procedure. The proposed buffer has thus demonstrated to be of high efficiency for tissue section preparation providing novel and complementary information for direct on-tissue MALDI analysis compared with solely conventional organic rinsing.

Phase Contrast X-Ray Tomographic Microscopy for Biological and Materials Science Applications

The application of two approaches for high-throughput, high-resolution X-ray phase contrast tomographic imaging being used at the tomographic microscopy and coherent radiology experiments (TOMCAT) beamline of the SLS is discussed and illustrated. Differential phase contrast (DPC) imaging, using a grating interferometer and a phase-stepping technique, is integrated into the beamline environment at TOMCAT in terms of the fast acquisition and reconstruction of data and the availability to scan samples within an aqueous environment. A second phase contrast method is a modified transfer of intensity approach that can yield the 3D distribution of the decrement of the refractive index of a weakly absorbing object from a single tomographic dataset. The two methods are complementary to one another: the DPC method is characterised by a higher sensitivity and by moderate resolution with larger samples; the modified transfer of intensity approach is particularly suited for small specimens when high resolution (around 1 mu m) is required. Both are being applied to investigations in the biological and materials science fields.

The mechanisms of inflammation in gout and pseudogout (CPP-induced arthritis).

Recent advances have stimulated new interest in the area of crystal arthritis, as microcrystals can be considered to be endogenous "danger signals" and are potent stimulators of immune as well as non-immune cells. The best known microcrystals include urate (MSU), and calcium pyrophosphate (CPP) crystals, associated with gout and pseudogout, respectively. Acute inflammation is the hallmark of the acute tissue reaction to crystals in both gout and pseudogout. The mechanisms leading to joint inflammation in these diseases involve first crystal formation and subsequent coating with serum proteins. Crystals can then interact with plasma cell membrane, either directly or via membrane receptors, leading to NLRP3 activation, proteolytic cleavage and maturation of pro-interleukin-1β (pro-IL1β) and secretion of mature IL1β. Once released, this cytokine orchestrates a series of events leading to endothelial cell activation and neutrophil recruitment. Ultimately, gout resolution involves several mechanisms including monocyte differentiation into macrophage, clearance of apoptotic neutrophils by macrophages, production of Transforming Growth Factor (TGF-β) and modification of protein coating on the crystal surface. This review will examine these different steps.