The generalized multiprocessor periodic resource interface model for hierarchical multiprocessor scheduling

Composition is a practice of key importance in software engineering. When real-time applications are composed it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface does typically contain information about the amount of computing capacity needed by the application. In multiprocessor platforms, the interface should also present information about the degree of parallelism. Recently there have been quite a few interface proposals. However, they are either too complex to be handled or too pessimistic.In this paper we propose the Generalized Multiprocessor Periodic Resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We describe a method to generate the interface from the application specification. All these methods have been implemented in Matlab routines that are publicly available.

Vertébrés (crocodilians, poisons) du Miocène marin de l’Algarve occidentale

Karst fillings rich in fossils from carbonate series, Miocene in age, exposed on the coast of Algarve, yielded some thousands of teeth and other vertebrate remains. A crocodilian and more than fifty species of fishes (Selacians, Teleosteans) have been identified (see tableau 1). This fauna is consistent as a whole with a Burdigalian (maybe late) and/or Langhian age. It also indicates shallow waters, warmer than at present in the same region although not strictly tropical. This fauna shows more affinities with others of the same age from mediterranean region (i.e. Baleares) than with those from Lisbon.

A two-competitive approximate schedulability analysis of CAN

Consider the problem of deciding whether a set of n sporadic message streams meet deadlines on a Controller Area Network (CAN) bus for a specified priority assignment. It is assumed that message streams have implicit deadlines and no release jitter. An algorithm to solve this problem is well known but unfortunately it time complexity is non-polynomial. We present an algorithm with polynomial time-complexity for computing an upper bound on the response times. Clearly, if the upper bound on the response time does not exceed the deadline then all deadlines are met. The pessimism of our approach is proven: if the upper bound of the response time exceeds the deadline then the response time exceeds the deadline as well for a CAN network with half the speed.

Práticas de avaliação formativa na aula de matemática: um estudo no 2º ciclo

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Educação Matemática na Educação Pré- Escolar e nos 1º e 2º Ciclo do Ensino Básico

Efficient Implementation Of A Single-Precision Floating-Point Arithmetic Unit on FPGA

This paper presents a single precision floating point arithmetic unit with support for multiplication, addition, fused multiply-add, reciprocal, square-root and inverse squareroot with high-performance and low resource usage. The design uses a piecewise 2nd order polynomial approximation to implement reciprocal, square-root and inverse square-root. The unit can be configured with any number of operations and is capable to calculate any function with a throughput of one operation per cycle. The floatingpoint multiplier of the unit is also used to implement the polynomial approximation and the fused multiply-add operation. We have compared our implementation with other state-of-the-art proposals, including the Xilinx Core-Gen operators, and conclude that the approach has a high relative performance/area efficiency. © 2014 Technical University of Munich (TUM).

Temporal trends and spatial distribution of unsafe abortion in Brazil, 1996-2012

OBJECTIVE To analyze temporal trends and distribution patterns of unsafe abortion in Brazil. METHODS Ecological study based on records of hospital admissions of women due to abortion in Brazil between 1996 and 2012, obtained from the Hospital Information System of the Ministry of Health. We estimated the number of unsafe abortions stratified by place of residence, using indirect estimate techniques. The following indicators were calculated: ratio of unsafe abortions/100 live births and rate of unsafe abortion/1,000 women of childbearing age. We analyzed temporal trends through polynomial regression and spatial distribution using municipalities as the unit of analysis. RESULTS In the study period, a total of 4,007,327 hospital admissions due to abortions were recorded in Brazil. We estimated a total of 16,905,911 unsafe abortions in the country, with an annual mean of 994,465 abortions (mean unsafe abortion rate: 17.0 abortions/1,000 women of childbearing age; ratio of unsafe abortions: 33.2/100 live births). Unsafe abortion presented a declining trend at national level (R2: 94.0%, p < 0.001), with unequal patterns between regions. There was a significant reduction of unsafe abortion in the Northeast (R2: 93.0%, p < 0.001), Southeast (R2: 92.0%, p < 0.001) and Central-West regions (R2: 64.0%, p < 0.001), whereas the North (R2: 39.0%, p = 0.030) presented an increase, and the South (R2: 22.0%, p = 0.340) remained stable. Spatial analysis identified the presence of clusters of municipalities with high values for unsafe abortion, located mainly in states of the North, Northeast and Southeast Regions. CONCLUSIONS Unsafe abortion remains a public health problem in Brazil, with marked regional differences, mainly concentrated in the socioeconomically disadvantaged regions of the country. Qualification of attention to women’s health, especially to reproductive aspects and attention to pre- and post-abortion processes, are necessary and urgent strategies to be implemented in the country.

Educational inequality in the occurrence of abdominal obesity:Pró-Saúde Study

OBJECTIVE To estimate the degree of educational inequality in the occurrence of abdominal obesity in a population of non-faculty civil servants at university campi.METHODS In this cross-sectional study, we used data from 3,117 subjects of both genders aged 24 to 65-years old, regarding the baseline ofPró-Saúde Study, 1999-2001. Abdominal obesity was defined according to abdominal circumference thresholds of 88 cm for women and 102 cm for men. A multi-dimensional, self-administered questionnaire was used to evaluate education levels and demographic variables. Slope and relative indices of inequality, and Chi-squared test for linear trend were used in the data analysis. All analyses were stratified by genders, and the indices of inequality were standardized by age.RESULTS Abdominal obesity was the most prevalent among women (43.5%; 95%CI 41.2;45.9), as compared to men (24.3%; 95%CI 22.1;26.7), in all educational strata and age ranges. The association between education levels and abdominal obesity was an inverse one among women (p < 0.001); it was not statistically significant among men (p = 0.436). The educational inequality regarding abdominal obesity in the female population, in absolute terms (slope index of inequality), was 24.0% (95%CI 15.5;32.6). In relative terms (relative index of inequality), it was 2.8 (95%CI 1.9;4.1), after the age adjustment.CONCLUSIONS Gender inequality in the prevalence of abdominal obesity increases with older age and lower education. The slope and relative indices of inequality summarize the strictly monotonous trend between education levels and abdominal obesity, and it described educational inequality regarding abdominal obesity among women. Such indices provide relevant quantitative estimates for monitoring abdominal obesity and dealing with health inequalities.

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.

A mobile robot platform for open learning based on serious games and remote laboratories

Within the pedagogical community, Serious Games have arisen as a viable alternative to traditional course-based learning materials. Until now, they have been based strictly on software solutions. Meanwhile, research into Remote Laboratories has shown that they are a viable, low-cost solution for experimentation in an engineering context, providing uninterrupted access, low-maintenance requirements, and a heightened sense of reality when compared to simulations. This paper will propose a solution where both approaches are combined to deliver a Remote Laboratory-based Serious Game for use in engineering and school education. The platform for this system is the WebLab-Deusto Framework, already well-tested within the remote laboratory context, and based on open standards. The laboratory allows users to control a mobile robot in a labyrinth environment and take part in an interactive game where they must locate and correctly answer several questions, the subject of which can be adapted to educators' needs. It also integrates the Google Blockly graphical programming language, allowing students to learn basic programming and logic principles without needing to understand complex syntax.

Air pollution and its impacts on health in Vitoria, Espirito Santo, Brazil

ABSTRACT OBJECTIVE To analyze the impact of air pollution on respiratory and cardiovascular morbidity of children and adults in the city of Vitoria, state of Espirito Santo. METHODS A study was carried out using time-series models via Poisson regression from hospitalization and pollutant data in Vitoria, ES, Southeastern Brazil, from 2001 to 2006. Fine particulate matter (PM10), sulfur dioxide (SO2), and ozone (O3) were tested as independent variables in simple and cumulative lags of up to five days. Temperature, humidity and variables indicating weekdays and city holidays were added as control variables in the models. RESULTS For each increment of 10 µg/m3 of the pollutants PM10, SO2, and O3, the percentage of relative risk (%RR) for hospitalizations due to total respiratory diseases increased 9.67 (95%CI 11.84-7.54), 6.98 (95%CI 9.98-4.17) and 1.93 (95%CI 2.95-0.93), respectively. We found %RR = 6.60 (95%CI 9.53-3.75), %RR = 5.19 (95%CI 9.01-1.5), and %RR = 3.68 (95%CI 5.07-2.31) for respiratory diseases in children under the age of five years for PM10, SO2, and O3, respectively. Cardiovascular diseases showed a significant relationship with O3, with %RR = 2.11 (95%CI 3.18-1.06). CONCLUSIONS Respiratory diseases presented a stronger and more consistent relationship with the pollutants researched in Vitoria. A better dose-response relationship was observed when using cumulative lags in polynomial distributed lag models.

Densities and refractive indices for the ternary mixture methanol/propan-1-Ol/acetonitrile

Refractive indices, n(D), and densities, rho, at 298.15 K were measured for the ternary mixture methanol (MeOH)/propan-1-ol (1-PrOH)/acetonitrile (MeCN) for a total of 22 mole fractions, along with 18 mole fractions of each of the corresponding binary mixtures, methanol/propan-1-ol, propan-1-ol/acetonitrile and methanol/acetonitrile. The variation of excess refractive indices and excess molar volumes with composition was modeled by the Redlich-Kister polynomial function in the case of binary mixtures and by the Cibulka equation for the ternary mixture. A thermodynamic approach to excess refractive indices, recently proposed by other authors, was applied for the first time to ternary liquid mixtures. Structural effects were identified and interpreted both in the binary and ternary systems. A complex relationship between excess refractive indices and excess molar volumes was identified, revealing all four possible sign combinations between these two properties. Structuring of the mixtures was also discussed on the basis of partial molar volumes of the binary and ternary mixtures.

Introduction to fractional linear systems. Part 2: discrete-time case

IEE Proceedings - Vision, Image, and Signal Processing, Vol. 147, nº 1

Long-term memory in financial prices: evidence from the Dutch stock market returns

Prepared for presentation at the Portuguese Finance Network International Conference 2014, Vilamoura, Portugal, June 18-20

Avaliação do potencial eólico para geração de energia eléctrica

Trabalho Final de Mestrado para a obtenção do grau de Mestre em Engenharia Mecânica /Energia

Les plus anciens mammifères terrestres du Miocène marin de Lisbonne - le gisement du Km 10

For the first time, small mammals were found at the earliest marine level in the northeastern part of the lower Tagus basin, to the NE of Lisbon. At this new locality, at the 10 kilometer of the Lisbon-Oporto A1-IP1 highway,conglomerates yielded, along with marine fossils, more or less abraded teeth and bones from insectivores,lagomorphs, rodents and small artiodactyls (sec Tableau 1). Age may he ascribed to the lower Miocene, MN 2b Neogene mammal unit (about 22 My), but an early MN 3 age cannot be entirely excluded. That corresponds to latest Aquitanian (or less probably earliest Burdigalian) (sec Tableau 2). This is the first hitherto found locality with small mammals of this age as far as Portugal is concerned, as well as the oldest locality so far known in the Tagus basin. Km 10 is somewhat older than the localities of Universidade Católica and Avenida do Uruguay in Lisbon (ANTUNES & MEIN, 1986). Hence we can rather accurately date the age of the first marine transgression in the northeastern part of the lower Tagus basin. This shows that in this region there are no marine equivalents of the "Venus ribeiroi beds" (Aquitanian,Division 1 of the Lisbon Miocene series). Correlation between this unit and the uppermost levels of the essentially paleogene "Complexo de Benfica" may be possible. Fossils at km 10 point out to shallow, coastal, highenergy marine environments. Sedimentological features are compatible with this model. Dry land and swamps with brackish (or ev en fresh) waters were present nearby. From those areas came remains of mammals, crocodylians, as well as oysters and charophytes that were later transported to the sea. Sea was warmer than the extant Atlantic at the same latitudes, even if conditions were not strictly tropical then. These conditions surely influenced climate in the nearby regions. Ecological data concerning mammalian faunas distinctly point out to nearby forest-rich environments, much more so than for Universidade Católica and Avenida do Uruguay localities, from where drier, even steppe environment forms largely prevail.