Methodologies for the WCET Analysis of Parallel Applications on Many-core Architectures

Euromicro Conference on Digital System Design (DSD 2015), Funchal, Portugal.

Partitioning the Network-on-Chip to Enable Virtualization on Many-Core Processors

6th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2015), Lund, Sweden.

Timing Analysis of Fixed Priority SelfSuspending Sporadic Tasks

27th Euromicro Conference on Real-Time Systems (ECRTS 2015), Lund, Sweden.

Smart Plastic Antibody Material for Hemoglobin Tailored by Silica Surface Imprinting and with Charged Binding Sites: Its use as Ionophore in Potentiometric Transduction

JORNADAS DE ELECTROQUÍMICA E INOVAÇÃO 2013

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs

23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). 4 to 6, Mar, 2015. Turku, Finland.

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.

Study of forbidden transitions in atomic systems

A Thesis submitted for the co-tutelle degree of Doctor in Physics at Universidade Nova de Lisboa and Université Pierre et Marie Curie

A module for Data Centric Storage in ns-3

Demo in Workshop on ns-3 (WNS3 2015). 13 to 14, May, 2015. Castelldefels, Spain.

Comparative morphometry and morphology of Anopheles aconitus Form B and C eggs under scanning electron microscope

Comparative morphometric and morphological studies of eggs under scanning electron microscope (SEM) were undertaken in the three strains of two karyotypic forms of Anopheles aconitus, i.e., Form B (Chiang Mai and Phet Buri strains) and Form C (Chiang Mai and Mae Hong Son strains). Morphometric examination revealed the intraspecific variation with respect to the float width [36.77 ± 2.30 µm (Form C: Chiang Mai strain) = 38.49 ± 2.78 µm (Form B: Chiang Mai strain) = 39.06 ± 2.37 µm (Form B: Phet Buri strain) > 32.40 ± 3.52 µm (Form C: Mae Hong Son strain)] and number of posterior tubercles on deck [2.40 ± 0.52 (Form B: Phet Buri strain) = 2.70 ± 0.82 (Form B: Chiang Mai strain) < 3.10 ± 0.32 (Form C: Chiang Mai strain) = 3.20 ± 0.42 (Form C: Mae Hong Son strain)], whereas the surface topography of eggs among the three strains of two karyotypic forms were morphologically similar.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

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

Electrical Skin Phenomena: A Fractional Calculus Analysis

The internal impedance of a wire is the function of the frequency. In a conductor, where the conductivity is sufficiently high, the displacement current density can be neglected. In this case, the conduction current density is given by the product of the electric field and the conductance. One of the aspects the high-frequency effects is the skin effect (SE). The fundamental problem with SE is it attenuates the higher frequency components of a signal. The SE was first verified by Kelvin in 1887. Since then many researchers developed work on the subject and presently a comprehensive physical model, based on the Maxwell equations, is well established. The Maxwell formalism plays a fundamental role in the electromagnetic theory. These equations lead to the derivation of mathematical descriptions useful in many applications in physics and engineering. Maxwell is generally regarded as the 19th century scientist who had the greatest influence on 20th century physics, making contributions to the fundamental models of nature. The Maxwell equations involve only the integer-order calculus and, therefore, it is natural that the resulting classical models adopted in electrical engineering reflect this perspective. Recently, a closer look of some phenomas present in electrical systems and the motivation towards the development of precise models, seem to point out the requirement for a fractional calculus approach. Bearing these ideas in mind, in this study we address the SE and we re-evaluate the results demonstrating its fractional-order nature.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Phenotypical and genotypical characterization of Bordetella pertussis strains isolated in São Paulo, Brazil, 1988-2002

Whooping cough or pertussis was a major cause of childhood morbidity and mortality in the world until the introduction of a whole-cell vaccine in the 1940's. However, since the early 1980's whooping cough cases have increased in many countries, becoming an important problem of public health. This increase may be due to accuracy of laboratory diagnosis and reporting of the disease, a decline in immunity over time, demographic changes, and adaptation of the bacterial population to vaccine-induced immunity. The purpose of this study was to analyze phenotypically and genotypically a collection of 67 Bordetella pertussis isolates recovered during the period 1988-2002 in São Paulo State, Brazil to determine their characteristics and relatedness. All isolates were submitted to susceptibility testing to erythromycin, serotyping, and 56 isolates were analyzed by Pulsed Field Gel Electrophoresis (PFGE). All isolates were susceptible to erythromycin and the majority of them belonged to serotype 1,3. The 56 isolates were classified into 11 PFGE profiles according to the differences in banding patterns. Although more than 60% of the isolates were recovered from patients aged less than three months, almost 15% of them were isolated from adolescents/adults evidencing the increase in the incidence of pertussis among this group of age.

Assessment of groundwater contamination in an agricultural peri-urban area (NW Portugal): an integrated approach

The excessive use of pesticides and fertilisers in agriculture has generated a decrease in groundwater and surface water quality in many regions of the EU, constituting a hazard for human health and the environment. Besides, on-site sewage disposal is an important source of groundwater contamination in urban and peri-urban areas. The assessment of groundwater vulnerability to contamination is an important tool to fulfil the demands of EU Directives. The purpose of this study is to assess the groundwater vulnerability to contamination related mainly to agricultural activities in a peri-urban area (Vila do Conde, NW Portugal). The hydrogeological framework is characterised mainly by fissured granitic basement and sedimentary cover. Water samples were collected and analysed for temperature, pH, electrical conductivity, chloride, phosphate, nitrate and nitrite. An evaluation of groundwater vulnerability to contamination was applied (GOD-S, Pesticide DRASTIC-Fm, SINTACS and SI) and the potential nitrate contamination risk was assessed, both on a hydrogeological GIS-based mapping. A principal component analysis was performed to characterised patterns of relationship among groundwater contamination, vulnerability, and the hydrogeological setting assessed. Levels of nitrate above legislation limits were detected in 75 % of the samples analysed. Alluvia units showed the highest nitrate concentrations and also the highest vulnerability and risk. Nitrate contamination is a serious problem affecting groundwater, particularly shallow aquifers, especially due to agriculture activities, livestock and cesspools. GIS-based cartography provided an accurate way to improve knowledge on water circulation models and global functioning of local aquifer systems. Finally, this study highlights the adequacy of an integrated approach, combining hydrogeochemical data, vulnerability assessments and multivariate analysis, to understand groundwater processes in peri-urban areas.