Scalable and Efficient Configuration of TimeDivision Multiplexed Resources

Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average performance. For cost-efficient design, contemporary platforms feature an increasing number of cores that share resources, such as memories and interconnects. However, resource sharing causes contention that must be resolved by a resource arbiter, such as Time-Division Multiplexing. A key challenge is to configure this arbiter to satisfy the bandwidth and latency requirements of the real-time applications, while maximizing the slack capacity to improve performance of their non-real-time counterparts. As this configuration problem is NP-hard, a sophisticated automated configuration method is required to avoid negatively impacting design time. The main contributions of this article are: 1) An optimal approach that takes an existing integer linear programming (ILP) model addressing the problem and wraps it in a branch-and-price framework to improve scalability. 2) A faster heuristic algorithm that typically provides near-optimal solutions. 3) An experimental evaluation that quantitatively compares the branch-and-price approach to the previously formulated ILP model and the proposed heuristic. 4) A case study of an HD video and graphics processing system that demonstrates the practical applicability of the approach.

Key-CRDT stores

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

A filter algorithm: comparison with NLP solvers

The purpose of this work is to present an algorithm to solve nonlinear constrained optimization problems, using the filter method with the inexact restoration (IR) approach. In the IR approach two independent phases are performed in each iteration—the feasibility and the optimality phases. The first one directs the iterative process into the feasible region, i.e. finds one point with less constraints violation. The optimality phase starts from this point and its goal is to optimize the objective function into the satisfied constraints space. To evaluate the solution approximations in each iteration a scheme based on the filter method is used in both phases of the algorithm. This method replaces the merit functions that are based on penalty schemes, avoiding the related difficulties such as the penalty parameter estimation and the non-differentiability of some of them. The filter method is implemented in the context of the line search globalization technique. A set of more than two hundred AMPL test problems is solved. The algorithm developed is compared with LOQO and NPSOL software packages.

TWO NEW RECORDS OF Isomyia paurogonita FANG AND FAN, 1986 AND Sumatria latifrons Malloch, 1926 (DIPTERA: CALLIPHORIDAE) FROM NORTHERN THAILAND, WITH REVISED KEY TO THE SPECIES OF Isomyia

During the annual fly survey at Doi Nang Kaew in Doi Saket District, Chiang Mai Province of Thailand in 2011, Isomyia paurogonitaFang & Fan, 1986 (Diptera: Calliphoridae) and Sumatria latifrons Malloch, 1926 (Diptera: Calliphoridae) were collected for the first time in Thailand. They are the rare species of the subfamily Rhiniinae (tribe Cosminini). Prior to this finding, fifteen species of Isomyia and two species of Sumatriawere recorded from Thailand. Therefore, 96 blow fly species have been found in this country. These new locality records of both flies are very important for further research on their biology and ecology in Thailand.

HCV INFECTION THROUGH PERFORATING AND CUTTING MATERIAL AMONG CANDIDATES FOR BLOOD DONATION IN BELÉM, BRAZILIAN AMAZON

This study evaluated epidemiological factors for HCV infection associated with sharing perforating and cutting instruments among candidates for blood donation (CBD) in the city of Belém, Pará, Brazilian Amazon. Two definitions of HCV infection cases were used: anti-HCV positivity shown by EIA, and HCV-RNA detection by PCR. Infected and uninfected CBD completed a questionnaire about possible risk factors associated with sharing perforating and cutting instruments. The information was evaluated using simple and multiple logistic regressions. Between May and November 2010, 146 (1.1%) persons with anti-HCV antibodies and 106 (0.8%) with HCV-RNA were detected among 13,772 CBD in Belém. Risk factors associated with HCV infection based on the EIA (model 1) and PCR (model 2) results were: use of needles and syringes sterilized at home; shared use of razors at home, sharing of disposable razors in barbershops, beauty salons etc.; and sharing manicure and pedicure material. The models of HCV infection associated with sharing perforating and cutting instruments should be taken into account by local and regional health authorities and by those of other countries with similar cultural practices, in order to provide useful information to guide political and public strategies to control HCV transmission.

Algorithm for the Parkinson’s disease behavioural models characterization using a biosensor

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Kitchen robot prod. line development. Proj. of Bowden cables cutting and thermal forming machine.

This document presents particular description of work done during student’s internship in PR Metal company realized as ERASMUS PROJECT at ISEP. All information including company’s description and its structure, overview of the problems and analyzed cases, all stages of projects from concept to conclusion can be found here. Description of work done during the internship is divided here into two pieces. First part concerns one activities of the company which is robotic chefs (kitchen robot) production line. Work, that was done for development of this line involved several tasks, among them: creating a single-worker montage station for screwing robots housing’s parts, improve security system for laser welding chamber, what particularly consists in designing automatically closing door system with special surface, that protects against destructive action of laser beam, test station for examination of durability of heating connectors, solving problem with rotors vibrations. Second part tells about main task, realized in second half of internship and stands a complete description of machine development and design. The machine is a part of car handle latch cable production line and its tasks are: cutting cable to required length and hot-forming plastic cover for further assembly needs.

Structural and functional studies of PpcA: a key protein in the electron transfer pathways of Geobacter sulfurreducens

Dissertação para obtenção do Grau de Doutor em Bioquímica, ramo de Biotecnologia

Auditoria a Key Plastics Portugal

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

A key for identifying faecal smears to detect domestic infestations of triatomine bugs

Early detection of residual populations of domestic triatomine bugs that survive insecticide treatment is a key component of successful evaluation and vigilance for Chagas disease control. We have recently demonstrated that sheets of paper, tacked on to the walls of infested houses, can become streaked with the faeces of triatomine bugs and thus reveal thepresence of an infestation. In thispaper, wepresent a simple key to differentiate the faecal streaks of triatomine bugs from those of other domestic arthropods such as cockroaches, ticks and cimicid bedbugs.

Key success factors of replicated social businesses

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

Chagas' disease: an algorithm for donor screening and positive donor counseling

Classical serological screening assays for Chagas' disease are time consuming and subjective. The objective of the present work is to evaluate the enzyme immuno-assay (ELISA) methodology and to propose an algorithm for blood banks to be applied to Chagas' disease. Seven thousand, nine hundred and ninety nine blood donor samples were screened by both reverse passive hemagglutination (RPHA) and indirect immunofluorescence assay (IFA). Samples reactive on RPHA and/or IFA were submitted to supplementary RPHA, IFA and complement fixation (CFA) tests. This strategy allowed us to create a panel of 60 samples to evaluate the ELISA methodology from 3 different manufacturers. The sensitivity of the screening by IFA and the 3 different ELISA's was 100%. The specificity was better on ELISA methodology. For Chagas disease, ELISA seems to be the best test for blood donor screening, because it showed high sensitivity and specificity, it is not subjective and can be automated. Therefore, it was possible to propose an algorithm to screen samples and confirm donor results at the blood bank.

Maintaining the correctness of transactional memory programs

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

Target-specific multiphysics modeling for thermal medicine applications

Dissertation to obtain the degree of Doctor of Philosophy in Biomedical Engineering

Hierarchical Reinforcement Learning in Behavior and the Brain

Dissertation presented to obtain the Ph.D degree in Biology, Neuroscience