Electron driven reactions in complexes embedded in superfluid helium droplets

A thesis submitted to the University of Innsbruck for the doctor degree in Natural Sciences, Physics and New University of Lisbon for the doctor degree in Physics, Atomic and Molecular Physics

Comportamento, Cognição e Linguagem: Contribuição da Fenomenologia Biológica para o Estudo das Relações Corpo-Mente

Um dos desafios mais importantes para as ciências humanas e particularmente para a educação consiste na compreensão das relações entre o comportamento, a cognição e a linguagem. O presente artigo apresenta uma concepção encorporada da cognição e da linguagem a partir da etologia humana. Baseando-se nas ideias da fenomenologia biológica sobre a intencionalidade, apresentam-se algumas das condições para o acesso científico às relações corpo-mente.

Intra-Task Device Scheduling for Real-Time Embedded Systems

An ever increasing need for extra functionality in a single embedded system demands for extra Input/Output (I/O) devices, which are usually connected externally and are expensive in terms of energy consumption. To reduce their energy consumption, these devices are equipped with power saving mechanisms. While I/O device scheduling for real-time (RT) systems with such power saving features has been studied in the past, the use of energy resources by these scheduling algorithms may be improved. Technology enhancements in the semiconductor industry have allowed the hardware vendors to reduce the device transition and energy overheads. The decrease in overhead of sleep transitions has opened new opportunities to further reduce the device energy consumption. In this research effort, we propose an intra-task device scheduling algorithm for real-time systems that wakes up a device on demand and reduces its active time while ensuring system schedulability. This intra-task device scheduling algorithm is extended for devices with multiple sleep states to further minimise the overall device energy consumption of the system. The proposed algorithms have less complexity when compared to the conservative inter-task device scheduling algorithms. The system model used relaxes some of the assumptions commonly made in the state-of-the-art that restrict their practical relevance. Apart from the aforementioned advantages, the proposed algorithms are shown to demonstrate the substantial energy savings.

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.

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.

Detection of parvovirus B19 infection in formalin-fixed and paraffin-embedded placenta and fetal tissues

Parvovirus B19 infection was first discovered in 1975 and it is implicated in fetal death from hydrops fetalis the world over. Diagnosis is usually made through histological identification of the intranuclear inclusion in placenta and fetal organs. However, these cells may be scarce or uncharacteristic, making definitive diagnosis difficult. We analyzed histologically placentas and fetal organs from 34 cases of non-immune hydrops fetalis, stained with Hematoxylin and Eosin (HE) and submitted to immunohistochemistry and polymerase chain reaction (PCR). Of 34 tissue samples, two (5.9%) presented typical intranuclear inclusion in circulating normoblasts seen in Hematoxylin and Eosin stained sections, confirmed by immunohistochemistry and PCR. However, PCR of fetal organs was negative in one case in which the placenta PCR was positive. We concluded that parvovirus B19 infection frequency is similar to the literature and that immunohistochemistry was the best detection method. It is highly specific and sensitive, preserves the morphology and reveals a larger number of positive cells than does HE with the advantage of showing cytoplasmic and nuclear positivity, making it more reliable. Although PCR is more specific and sensitive in fresh or ideally fixed material it is not so in formalin-fixed paraffin-embedded tissues, frequently the only one available in such cases.

Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.

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.

Effects of tissue handling and processing steps on PCR for detection of Mycobacterium tuberculosis in formalin-fixed paraffin-embedded samples

Development and standardization of reliable methods for detection of Mycobacterium tuberculosis in clinical samples is an important goal in laboratories throughout the world. In this work, lung and spleen fragments from a patient who died with the diagnosis of miliary tuberculosis were used to evaluate the influence of the type of fixative as well as the fixation and paraffin inclusion protocols on PCR performance in paraffin embedded specimens. Tissue fragments were fixed for four h to 48 h, using either 10% non-buffered or 10% buffered formalin, and embedded in pure paraffin or paraffin mixed with bee wax. Specimens were submitted to PCR for amplification of the human beta-actin gene and separately for amplification of the insertion sequence IS6110, specific from the M. tuberculosis complex. Amplification of the beta-actin gene was positive in all samples. No amplicons were generated by PCR-IS6110 when lung tissue fragments were fixed using 10% non-buffered formalin and were embedded in paraffin containing bee wax. In conclusion, combined inhibitory factors interfere in the detection of M. tuberculosis in stored material. It is important to control these inhibitory factors in order to implement molecular diagnosis in pathology laboratories.

Gender Differences in Spatial Cognition: Wayfinding Performance and Sketch Mapping Activity of German Speakers

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

HIGH SENSITIVE PCR METHOD FOR DETECTION OF PATHOGENIC Leptospira spp. IN PARAFFIN-EMBEDDED TISSUES

This study describes the development and application of a new PCR assay for the specific detection of pathogenic leptospires and its comparison with a previously reported PCR protocol. New primers were designed for PCR optimization and evaluation in artificially-infected paraffin-embedded tissues. PCR was then applied to post-mortem, paraffin-embedded samples, followed by amplicon sequencing. The PCR was more efficient than the reported protocol, allowing the amplification of expected DNA fragment from the artificially infected samples and from 44% of the post-mortem samples. The sequences of PCR amplicons from different patients showed >99% homology with pathogenic leptospires DNA sequences. The applicability of a highly sensitive and specific tool to screen histological specimens for the detection of pathogenic Leptospira spp. would facilitate a better assessment of the prevalence and epidemiology of leptospirosis, which constitutes a health problem in many countries.

Production of aluminium based composites reinforced with embedded NiTi by friction stir welding

Dissertação para a obtenção do grau de Mestre em Engenharia Mecânica

Validação e aplicação clínica de uma escala de cognição social na esquizofrenia = Validation and clinical use of a measure of social cognition in schizophrenia

RESUMO: A cognição social encontra-se frequentemente alterada na esquizofrenia. Esta alteração relaciona-se com a diminuição do funcionamento social,caracterizando-se quer por défices quer por vieses cognitivos sociais. No entanto, existem poucos instrumentos fiáveis e válidos para avaliar a cognição social na esquizofrenia, nomeadamente capazes de medir os vieses cognitivos sociais e a cognição social auto-relevante. Adicionalmente, as bases biológicas da disfunção social não estão totalmente esclarecidas. Evidências recentes sugerem que o peptídeo oxitocina (OXT) influencia o funcionamento social, e que esta relação poderá ser mediada pela cognição social. Este Trabalho de Projecto descreve a contribuição do autor para o desenvolvimento e avaliação psicométrica inicial de um novo instrumento de avaliação da cognição social, e a utilidade desta escala na investigação das associações entre a OXT e a capacidade e vieses cognitivos sociais. A Waiting Room Task (WRT), uma escala constituída por 26 vídeos sequenciais que simulam a experiência de observar outra pessoa numa sala de espera, foi administrada num estudo transversal com 61 doentes com esquizofrenia e 20 controlos saudáveis. Observou-se uma menor capacidade cognitiva social e um aumento dos vieses cognitivos sociais nos doentes com esquizofrenia, comparativamente aos controlos. Nos controlos e doentes com delírios, o desempenho na WRT correlacionou-se significativamente com os níveis de OXT. Esta correlação não se observou nos doentes sem delírios, sugerindo que o papel da OXT na cognição social poderá encontrar-se atenuado neste grupo. Estes achados fornecem suporte inicial para a adequação da WRT como instrumento de avaliação da cognição social na esquizofrenia, podendo ainda ser útil na investigação da sua base biológica. ------------ ABSTRACT: Social cognition is often impaired in schizophrenia. This impairment is related to poor social functioning and is characterized by both social cognitive deficits and biases. However, there are few reliable and valid measures of social cognition in schizophrenia, particularly measures of social cognitive bias and of self-relevant social cognition. Also, the biological bases of social dysfunction are not well understood. Emerging evidence suggests that the peptide oxytocin (OXT) influences social functioning, and that this relationship may be mediated by social cognition. This Research Project describes the author’s contribution to the development and initial psychometric testing of a new measure of social cognition, and the utility of this instrument to examine associations between OXT and social cognitive capacity and bias. The Waiting Room Task WRT), a video-based test comprising 26 sequential videos simulating the experience of facing another person in a waiting room, was administered in a cross-sectional study involving 61 patients with schizophrenia and 20 healthy controls. Social cognitive capacity was lower and social cognitive bias was increased in patients with schizophrenia compared with controls. Among controls and patients with delusions, performance on the WRT was significantly correlated with OXT level. This correlation was not found in patients without delusions suggesting that OXT’s role in social cognition may be blunted in this group. These findings provide initial support for the adequacy of the WRT as a measure for assessing social cognition in schizophrenia that may also be useful in understanding its biological underpinnings.

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

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

Assessing initial embodied energy in building structures using LCA methodology

The considerable amount of energy consumed on Earth is a major cause for not achieving sustainable development. Buildings are responsible for the highest worldwide energy consumption, nearly 40%. Strong efforts have been made in what concerns the reduction of buildings operational energy (heating, hot water, ventilation, electricity), since operational energy is so far the highest energy component in a building life cycle. However, as operational energy is being reduced the embodied energy increases. One of the building elements responsible for higher embodied energy consumption is the building structural system. Therefore, the present work is going to study part of embodied energy (initial embodied energy) in building structures using a life cycle assessment methodology, in order to contribute for a greater understanding of embodied energy in buildings structural systems. Initial embodied energy is estimated for a building structure by varying the span and the structural material type. The results are analysed and compared for different stages, and some conclusions are drawn. At the end of this work it was possible to conclude that the building span does not have considerable influence in embodied energy consumption of building structures. However, the structural material type has influence in the overall energetic performance. In fact, with this research it was possible that building structure that requires more initial embodied energy is the steel structure; then the glued laminated timber structure; and finally the concrete structure.