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.

Analysis of the EEG Dynamics of Epileptic Activity in Gelastic Seizures Using Decomposition in Independent Components

Objective: Gelastic seizures are a frequent and well established manifestation of the epilepsy associated with hypothalamic hamartomas. The scalp EEG recordings very seldom demonstrate clear spike activity and the information about the ictal epilepsy dynamics is limited. In this work, we try to isolate epileptic rhythms in gelastic seizures and study their generators. Methods: We extracted rhythmic activity from EEG scalp recordings of gelastic seizures using decomposition in independent components (ICA) in three patients, two with hypothalamic hamartomas and one with no hypothalamic lesion. Time analysis of these rhythms and inverse source analysis was done to recover their foci of origin and temporal dynamics. Results: In the two patients with hypothalamic hamartomas consistent ictal delta (2–3 Hz) rhythms were present, with subcortical generators in both and a superficial one in a single patient. The latter pattern was observed in the patient with no hypothalamic hamartoma visible in MRI. The deep generators activated earlier than the superficial ones, suggesting a consistent sub-cortical origin of the rhythmical activity. Conclusions: Our data is compatible with early and brief epileptic generators in deep sub-cortical regions and more superficial ones activating later. Significance: Gelastic seizures express rhythms on scalp EEG compatible with epileptic activity originating in sub-cortical generators and secondarily involving cortical ones.

Pozzolanic components in lime mortars: correlating behaviour, composition and microstructure.

Int. J. for Restoration of Buildings and Monuments, vol.11, nº 2 (2005), p.111-118

Lean production in the precast concrete components’ industry

Proceedings IGLC-19, July 2011, Lima, Perú

Distributed replicated macro-components

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

Partial replication in distributed software transactional memory

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

The effect of hydraulic components on lime mortars

XXX IAHS World Congress on Housing - Housing Construction: An Interdisciplinary Task, September 9-13, 2002, Coimbra, Portugal

Maintaining the correctness of transactional memory programs

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

Adsorption equilibria of flue gas components on activated carbon

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Lime mortars with ceramic wastes: characterization of components and their influence on the mechanical behaviour

Considering the fundamental importance of preserving the built heritage and of ensuring the good performance achieved by incorporating ceramic particles in lime mortars in ancient times, it is important to study solutions that use materials the available today, in order to produce mortars intended to repair and replace the old ones. Solutions incorporating industrial ceramic waste might be profitable for several reasons, namely for economic, environmental and technical aspects. In this paper, seven ceramic waste products collected from ceramics factories are characterized. Their mineralogy, dimensional features and pozzolanicity were determined. Three of these products, with different particle size fractions (obtained directly from milling, dust only and fragment fractions only), were selected, incorporated into air lime mortars, and their mechanical strength was determined. In the present work, evidence of mechanical efficiency, when common sand or air lime were partially replaced by ceramic wastes, was made clear, drawing attention to the sustainability of this type of mortars, hence, encouraging further research.

Boosting the suppressive effects of Ascaris suum components in IFN-γ-deficient mice

High molecular weight components from Ascaris suum extract suppress ovalbumin-specific immunity in mice. In IFN-γ-deficient mice, ovalbumin-specific delayed-type hypersensitivity reactions are more strongly downregulated by these suppressive components. Here, the cellularity of the delayed-type hypersensitivity reaction in IFN-γ-deficient mice and the increased downregulation induced by Ascaris suum components were analyzed. IL-12p40-dependent neutrophilic influx was predominant. Suboptimal doses of the suppressive fraction from this nematode completely inhibited the hypersensitivity reaction, thus indicating intensification of the immunosuppression under conditions of intense recruitment of IFN-γ-independent neutrophils.

Concurrent dengue and malaria in the Amazon region

INTRODUCTION: The Amazon region has extensive forested areas and natural ecosystems, providing favorable conditions for the existence of innumerous arboviruses. Over 200 arboviruses have been isolated in Brazil and about 40 are associated with human disease. Four out of 40 are considered to be of public health importance in Brazil: Dengue viruses (1-4), Oropouche, Mayaro and Yellow Fever. Along with these viruses, about 98% of the malaria cases are restricted to the Legal Amazon region. METHODS: This study aimed to investigate the presence of arboviruses in 111 clinical serum samples from patients living in Novo Repartimento (Pará), Plácido de Castro (Acre), Porto Velho (Rondônia) and Oiapoque (Amapá). The viral RNA was extracted and RT-PCR was performed followed by a Multiplex-Nested-PCR, using Flavivirus, Alphavirus and Orthobunyavirus generic and species-specific primers. RESULTS: Dengue virus serotype 2 was detected in two patients living in Novo Repartimento (Pará) that also presented active Plasmodium vivax infection. CONCLUSIONS: Despite scant data, this situation is likely to occur more frequently than detected in the Amazon region. Finally, it is important to remember that both diseases have similar clinical findings, thus the diagnosis could be made concomitantly for dengue and malaria in patients living or returning from areas where both diseases are endemic or during dengue outbreaks.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Analysis of the chemical components of hydatid fluid from Echinococcus granulosus

Introduction The aim of this study was to explore the environment of Echinococcus granulosus (E. granulosus) protoscolices and their relationship with their host. Methods Proteins from the hydatid-cyst fluid (HCF) from E. granulosus were identified by proteomics. An inductively coupled plasma atomic emission spectrometer (ICP-AES) was used to determine the elements, an automatic biochemical analyzer was used to detect the types and levels of biochemical indices, and an automatic amino acid analyzer was used to detect the types and levels of amino acids in the E. granulosus HCF. Results I) Approximately 30 protein spots and 21 peptide mass fingerprints (PMF) were acquired in the two-dimensional gel electrophoresis (2-DE) pattern of hydatid fluid; II) We detected 10 chemical elements in the cyst fluid, including sodium, potassium, calcium, magnesium, copper, and zinc; III) We measured 19 biochemical metabolites in the cyst fluid, and the amount of most of these metabolites was lower than that in normal human serum; IV) We detected 17 free amino acids and measured some of these, including alanine, glycine, and valine. Conclusions We identified and measured many chemical components of the cyst fluid, providing a theoretical basis for developing new drugs to prevent and treat hydatid disease by inhibiting or blocking nutrition, metabolism, and other functions of the pathogen.

Fishing the key biological components of the bacterium Geobacter metallireducens for optimal biotechnological applications

Os resultados apresentados no capítulo 2 foram incluídos no artigo Dantas JM, Campelo LM, Duke NEC, Salgueiro CA, Pokkuluri PR (2015) "The structure of PccH from Geobacter sulfurreducens – a novel low reduction potential monoheme cytochrome essential for accepting electrons from an electrode", FEBS Journal, 282, 2215-2231.