A comparative analysis of fault injection methods via enhanced on-chip debug infrastructures

On-chip debug (OCD) features are frequently available in modern microprocessors. Their contribution to shorten the time-to-market justifies the industry investment in this area, where a number of competing or complementary proposals are available or under development, e.g. NEXUS, CJTAG, IJTAG. The controllability and observability features provided by OCD infrastructures provide a valuable toolbox that can be used well beyond the debugging arena, improving the return on investment rate by diluting its cost across a wider spectrum of application areas. This paper discusses the use of OCD features for validating fault tolerant architectures, and in particular the efficiency of various fault injection methods provided by enhanced OCD infrastructures. The reference data for our comparative study was captured on a workbench comprising the 32-bit Freescale MPC-565 microprocessor, an iSYSTEM IC3000 debugger (iTracePro version) and the Winidea 2005 debugging package. All enhanced OCD infrastructures were implemented in VHDL and the results were obtained by simulation within the same fault injection environment. The focus of this paper is on the comparative analysis of the experimental results obtained for various OCD configurations and debugging scenarios.

Therapeutic itineraries and explanations for tuberculosis: an indigenous perspective

ABSTRACT OBJECTIVE To analyze explanations for tuberculosis and therapeutic itineraries of Brazilian indigenous people. METHODS Case study with a qualitative-descriptive approach. We conducted semi-structured interviews with 11 Munduruku indigenous, including direct observation of treatment for tuberculosis in the municipality of Jacareacanga, south-western region of the state of Para, Brazil. To identify explanations for tuberculosis and therapeutic itineraries, we performed thematic content analysis. RESULTS Traditional medicine was the first therapeutic option chosen by the indigenous. However, biomedicine was also employed, which indicates a circulation between different therapeutic contexts and health concepts among the Munduruku. The explanations provided ranged from recognition of the signs and symptoms specific to tuberculosis to the attribution of the disease to a spirit that leaves the body and wanders in the woods, returning ill into the body. Unlike the biomedical model, which links tuberculosis transmission strictly to interpersonal contact, in closed spaces without natural lighting and ventilation (preferably domestic environments), the Munduruku associate the disease to an indirect contact between people socially distant (enemies or adversaries) in public and open places. CONCLUSIONS The explanations made by the indigenous are unique and deserve the attention of those who are responsible for developing health public policies, as well as of the teams who work on the villages. To guarantee an efficient control of tuberculosis in these regions, it is necessary that the developed actions integrate biomedicine knowledge and the traditional medicine of the indigenous people, in addition to respecting and welcoming local culture manifestations.

Methods and challenges for the health impact assessment of vaccination programs in Latin America

ABSTRACT OBJECTIVE To describe methods and challenges faced in the health impact assessment of vaccination programs, focusing on the pneumococcal conjugate and rotavirus vaccines in Latin America and the Caribbean. METHODS For this narrative review, we searched for the terms "rotavirus", "pneumococcal", "conjugate vaccine", "vaccination", "program", and "impact" in the databases Medline and LILACS. The search was extended to the grey literature in Google Scholar. No limits were defined for publication year. Original articles on the health impact assessment of pneumococcal and rotavirus vaccination programs in Latin America and the Caribbean in English, Spanish or Portuguese were included. RESULTS We identified 207 articles. After removing duplicates and assessing eligibility, we reviewed 33 studies, 25 focusing on rotavirus and eight on pneumococcal vaccination programs. The most frequent studies were ecological, with time series analysis or comparing pre- and post-vaccination periods. The main data sources were: health information systems; population-, sentinel- or laboratory-based surveillance systems; statistics reports; and medical records from one or few health care services. Few studies used primary data. Hospitalization and death were the main outcomes assessed. CONCLUSIONS Over the last years, a significant number of health impact assessments of pneumococcal and rotavirus vaccination programs have been conducted in Latin America and the Caribbean. These studies were carried out few years after the programs were implemented, meet the basic methodological requirements and suggest positive health impact. Future assessments should consider methodological issues and challenges arisen in these first studies conducted in the region.

Invariant integrals applied to nematic liquid crystals with small Ericksen number and topological defects

Invariant integrals are derived for nematic liquid crystals and applied to materials with small Ericksen number and topological defects. The nematic material is confined between two infinite plates located at y = -h and y = h (h is an element of R+) with a semi-infinite plate at y = 0 and x < 0. Planar and homeotropic strong anchoring boundary conditions to the director field are assumed at these two infinite and semi-infinite plates, respectively. Thus, a line disclination appears in the system which coincides with the z-axis. Analytical solutions to the director field in the neighbourhood of the singularity are obtained. However, these solutions depend on an arbitrary parameter. The nematic elastic force is thus evaluated from an invariant integral of the energy-momentum tensor around a closed surface which does not contain the singularity. This allows one to determine this parameter which is a function of the nematic cell thickness and the strength of the disclination. Analytical solutions are also deduced for the director field in the whole region using the conformal mapping method. (C) 2013 Elsevier Ltd. All rights reserved.

Efficient feature selection filters for high-dimensional data

Feature selection is a central problem in machine learning and pattern recognition. On large datasets (in terms of dimension and/or number of instances), using search-based or wrapper techniques can be cornputationally prohibitive. Moreover, many filter methods based on relevance/redundancy assessment also take a prohibitively long time on high-dimensional. datasets. In this paper, we propose efficient unsupervised and supervised feature selection/ranking filters for high-dimensional datasets. These methods use low-complexity relevance and redundancy criteria, applicable to supervised, semi-supervised, and unsupervised learning, being able to act as pre-processors for computationally intensive methods to focus their attention on smaller subsets of promising features. The experimental results, with up to 10(5) features, show the time efficiency of our methods, with lower generalization error than state-of-the-art techniques, while being dramatically simpler and faster.

Derivation methods for hybrid knowledge bases with rules and ontologies

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Part I : Comparing derivatization methods for amino acids – one and two-step procedures using gas chromatography – flame ion detector (GC-FID) Part II: Story of an icon from its execution until its conservation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Conservação e Restauro

The role of implicit contracts: Building public works in the 1840s in Portugal

Business History, Vol 50 No 2, p147-162

Navegação de robôs móveis por marcas artificiais em ambientes semi-estruturados

Mestrado em engenharia electrotécnica e de computadores - Área de Especialização de Sistemas Autónomos

Applications of Fourier methods to the analysis of some stochastic processes

Dissertação de Doutoramento em Matemática: Processos Estocásticos

Comparative analysis of time-frequency methods estimating the time-varying microstructure of sleep EEG spindles

Proceedings of the Information Technology Applications in Biomedicine, Ioannina - Epirus, Greece, October 26-28, 2006

Epidemiological survey of Trypanosoma cruzi infection in North-Eastern Brazil using different diagnostic methods

A survey of the prevalence of Trypanosoma cruzi infection was carried out in Oitis, a small community in the State of Piaui, Brazil. Two hundred and sixty five individuals were screened by microscopic examination, hémoculture, indirect immunofluorescence (IFA), enzyme-linked immunosorbent assay (ELISA), and competitive enzyme-linked immunosorbent assay (C-ELISA) using the monoclonal antibody TCF87 against to a 25kd T. cruzi antigen. Seropositivity was 14.3% by the IFA test, 14.7% by ELISA, and 13.2% by C-ELISA. The C-ELISA using the TCF87 monoclonal antibody seems to be applicable in serodiagnosis of Chagas' disease.

O empreendedorismo social como promotor da integração socioprofissional: um estudo exploratório

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Empreendedorismo e Internacionalização, sob orientação de Dra. Susana Bernardino e Professor Doutor José Freitas Santos

O uso das redes sociais no recrutamento externo em empresas portuguesas

Este estudo tem como objetivo explorar o papel das redes sociais nos processos de recrutamento das organizações portuguesas. Em específico, procura identificar os motivos que levam as organizações a recrutar através da internet e dos meios on-line ao dispor, nomedamente através das Redes Socais na Internet (RSIs), as vantagens e desvantagens da sua utilização comparativamente com os métodos tradicionais. Para a realização do estudo foram selecionadas 5 empresas portuguesas que utilizam as redes sociais on-line para divulgar as suas ofertas de emprego, atrair e recrutar talentos. Foi utilizada a metodologia qualitativa, optando-se pelo estudo caso múltiplo e exploratório. O instrumento de recolha de informação foi a entrevista semiestruturada. Integraram este estudo 5 empresas de distintas áreas de negócio e com a sua sede no distrito do Porto. No total, foram realizadas 5 entrevistas, uma a cada responsável pelos recursos humanos ou recrutamento das empresas em estudo. Um desses responsáveis é, simultaneamente, o gerente da empresa. Os resultados sugerem que as empresas portuguesas, de forma gradual, começam a aceder cada vez mais às redes sociais para apoiar os seus processos de recrutamento. No entanto, essa técnica de recrutamento ainda não é utilizada de forma isolada nem substitui os métodos tradicionais de recrutamento. Na parte final da dissertação são discutidos os principais resultados obtidos e apresentadas as conclusões do estudo aqui levado a cabo.