A proof system for lock-free concurrency

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

Studying urban space and literary representations using GIS: Lisbon, Portugal, 1852-2009

This article proposes a methodology to address the urban evolutionary process, demonstrating how it is reflected in literature. It focuses on “literary space,” presented as a territory defined by the period setting or as evoked by the characters, which can be georeferenced and drawn on a map. It identifies the different locations of literary space in relation to urban development and the economic, political, and social context of the city. We suggest a new approach for mapping a relatively comprehensive body of literature by combining literary criticism, urban history, and geographic information systems (GIS). The home-range concept, used in animal ecology, has been adapted to reveal the size and location of literary space. This interdisciplinary methodology is applied in a case study to nineteenth- and twentieth-century novels involving the city of Lisbon. The developing concepts of cumulative literary space and common literary space introduce size calculations in addition to location and structure, previously developed by other researchers. Sequential and overlapping analyses of literary space throughout time have the advantage of presenting comparable and repeatable results for other researchers using a different body of literary works or studying another city. Results show how city changes shaped perceptions of the urban space as it was lived and experienced. A small core area, correspondent to a part of the city center, persists as literary space in all the novels analyzed. Furthermore, the literary space does not match the urban evolution. There is a time lag for embedding new urbanized areas in the imagined literary scenario.

Is Information Power? Using Mobile Phones and Free Newspapers during an Election in Mozambique*

African elections often reveal low levels of political accountability. We assess different forms of voter education during an election in Mozambique. Three interventions providing information to voters and calling for their electoral participation were randomized; an SMS-based information campaign, an SMS hotline for electoral misconduct, and the distribution of a free newspaper. To measure impact, we look at official electoral results, reports by electoral observers, behavioral and survey data. We find positive effects of all treatments on voter turnout. We observe that the distribution of the newspaper led to more accountability-based participation and to a decrease in electoral problems.

Pedestrian Priority Zones in the Context of Urban Mobility and Valorization of Public Space

The second half of the XX century was marked by a great increase in the number of people living in cities. Urban agglomerations became poles of attraction for migration flows and these phenomena, coupled with growing car-ownership rates, resulted in the fact that modern transport systems are characterized by large number of users and traffic modes. The necessity to organize these complex systems and to provide space for different traffic modes changed the way cities look. Urban areas had to cope with traffic flows, and as a result nowadays typical street pattern consists of a road for motorized vehicles, a cycle lane (in some cases), pavement for pedestrians, parking and a range of crucial signage to facilitate navigation and make mobility more secure. However, this type of street organization may not be desirable in certain areas, more specifically, in the city centers. Downtown areas have always been places where economic, leisure, social and other types of facilities are concentrated, not surprisingly, they often attract large number of people and this frequently results in traffic jams, air and noise pollution, thus creating unpleasant environment. Besides, excessive traffic signage in central locations can harm the image and perception of a place, this relates in particular to historical centers with architectural heritage.

Is there space to build one more transshipment terminal within Portuguese territory?

NSBE - UNL

Cat infected by a variant of bat rabies virus in a 29-year disease-free urban area of southern Brazil

INTRODUCTION: After 29 years, rabies was detected in a cat in Curitiba, southern Brazil. METHODS: The fluorescent antibody test (FAT) and mouse inoculation test (MIT) were performed on central nervous system (CNS) samples. RESULTS: Direct immunofluorescence was negative, but the biological test was positive and rabies virus was characterized as variant 4 (from Tadarida brasiliensis). CONCLUSIONS: Reappearance of rabies in domestic animals warns of sylvatic-aerial risk of infection and the necessity of monitoring bats in historically rabies-free areas.

Analysis of metabolic flux distributions in relation to the extracellular environment in Avian cells

Continuous cell lines that proliferate in chemically defined and simple media have been highly regarded as suitable alternatives for vaccine production. One such cell line is the AG1.CR.pIX avian cell line developed by PROBIOGEN. This cell line can be cultivated in a fully scalable suspension culture and adapted to grow in chemically defined, calf serum free, medium [1]–[5]. The medium composition and cultivation strategy are important factors for reaching high virus titers. In this project, a series of computational methods was used to simulate the cell’s response to different environments. The study is based on the metabolic model of the central metabolism proposed in [1]. In a first step, Metabolic Flux Analysis (MFA) was used along with measured uptake and secretion fluxes to estimate intracellular flux values. The network and data were found to be consistent. In a second step, Flux Balance Analysis (FBA) was performed to access the cell’s biological objective. The objective that resulted in the best predicted results fit to the experimental data was the minimization of oxidative phosphorylation. Employing this objective, in the next step Flux Variability Analysis (FVA) was used to characterize the flux solution space. Furthermore, various scenarios, where a reaction deletion (elimination of the compound from the media) was simulated, were performed and the flux solution space for each scenario was calculated. Growth restrictions caused by essential and non-essential amino acids were accurately predicted. Fluxes related to the essential amino acids uptake and catabolism, the lipid synthesis and ATP production via TCA were found to be essential to exponential growth. Finally, the data gathered during the previous steps were analyzed using principal component analysis (PCA), in order to assess potential changes in the physiological state of the cell. Three metabolic states were found, which correspond to zero, partial and maximum biomass growth rate. Elimination of non-essential amino acids or pyruvate from the media showed no impact on the cell’s assumed normal metabolic state.

Detection of arboviruses of public health interest in free-living New World primates (Sapajus spp.; Alouatta caraya) captured in Mato Grosso do Sul, Brazil

Introduction A sero-epidemiological survey was undertaken to detect the circulation of arboviruses in free-living non-human primates. Methods Blood samples were obtained from 16 non-human primates (13 Sapajus spp. and three Alouatta caraya) that were captured using terrestrial traps and anesthetic darts in woodland regions in the municipalities of Campo Grande, Aquidauana, Jardim, Miranda and Corumbá in the State of Mato Grosso do Sul, Brazil. The samples were sent to the Instituto Evandro Chagas (IEC) in Ananindeua, Pará, Brazil, to detect antibodies against 19 species of arboviruses using a hemagglutination inhibition test (HI). Results Of the 16 primates investigated in the present study, five (31.2%) were serologically positive for an arbovirus. Of these five, two (12.5%) exhibited antibodies to the Flavivirus genus, one (6.2%) exhibited a monotypic reaction to Cacipacoré virus, one (6.2%) was associated with Mayaro virus, and one (6.2%) was positive for Oropouche virus. Conclusions Based on the positive serology observed in the present study, it was possible to conclude that arboviruses circulate among free-living primates. The viruses in the areas studied might have been introduced by infected humans or by primates from endemic or enzootic areas. Studies of this nature, as well as efficient and continuous surveillance programs, are needed to monitor viral activities in endemic and enzootic regions.

Structural transformation in the product space: Patterns and implications

Product fundamentals are essential in explaining heterogeneity in the product space. The scope for adapting and transferring capabilities into the production of different goods determines the speed and intensity of the structural transformation process and entails dissimilar development opportunities for nations. Future specialization patterns become then partly determined by the current network of products’ relatedness. Building on previous literature, this paper explicitly compares methodological concepts of product connectivity to conclude in favor of the density measure we propose combined with the Revealed Relatedness Index (RRI) approach presented by Freitas and Salvado (2011). Overall, RRI specifications displayed more consistent behavior when different time horizons are equated.

Using an LED as a sensor and visible light communication device in a smart illumination system

The need for more efficient illumination systems has led to the proliferation of Solid-State Lighting (SSL) systems, which offer optimized power consumption. SSL systems are comprised of LED devices which are intrinsically fast devices and permit very fast light modulation. This, along with the congestion of the radio frequency spectrum has paved the path for the emergence of Visible Light Communication (VLC) systems. VLC uses free space to convey information by using light modulation. Notwithstanding, as VLC systems proliferate and cost competitiveness ensues, there are two important aspects to be considered. State-of-the-art VLC implementations use power demanding PAs, and thus it is important to investigate if regular, existent Switched-Mode Power Supply (SMPS) circuits can be adapted for VLC use. A 28 W buck regulator was implemented using a off-the-shelf LED Driver integrated circuit, using both series and parallel dimming techniques. Results show that optical clock frequencies up to 500 kHz are achievable without any major modification besides adequate component sizing. The use of an LED as a sensor was investigated, in a short-range, low-data-rate perspective. Results show successful communication in an LED-to-LED configuration, with enhanced range when using LED strings as sensors. Besides, LEDs present spectral selective sensitivity, which makes them good contenders for a multi-colour LED-to-LED system, such as in the use of RGB displays and lamps. Ultimately, the present work shows evidence that LEDs can be used as a dual-purpose device, enabling not only illumination, but also bi-directional data communication.

Serological evidence for Saint Louis encephalitis virus in free-ranging New World monkeys and horses within the upper Paraná River basin region, Southern Brazil

Introduction Saint Louis encephalitis virus (SLEV) primarily occurs in the Americas and produces disease predominantly in humans. This study investigated the serological presence of SLEV in nonhuman primates and horses from southern Brazil. Methods From June 2004 to December 2005, sera from 133 monkeys (Alouatta caraya, n=43; Sapajus nigritus, n=64; Sapajus cay, n=26) trap-captured at the Paraná River basin region and 23 blood samples from farm horses were obtained and used for the serological detection of a panel of 19 arboviruses. All samples were analyzed in a hemagglutination inhibition (HI) assay; positive monkey samples were confirmed in a mouse neutralization test (MNT). Additionally, all blood samples were inoculated into C6/36 cell culture for viral isolation. Results Positive seroreactivity was only observed for SLEV. A prevalence of SLEV antibodies in sera was detected in Alouatta caraya (11.6%; 5/43), Sapajus nigritus (12.5%; 8/64), and S. cay (30.8%; 8/26) monkeys with the HI assay. Of the monkeys, 2.3% (1/42) of A. caraya, 6.3% 94/64) of S. nigritus, and 15.4% (4/26) of S. cay were positive for SLEV in the MNT. Additionally, SLEV antibodies were detected by HI in 39.1% (9/23) of the horses evaluated in this study. Arboviruses were not isolated from any blood sample. Conclusions These results confirmed the presence of SLEV in nonhuman primates and horses from southern Brazil. These findings most likely represent the first detection of this virus in nonhuman primates beyond the Amazon region. The detection of SLEV in animals within a geographical region distant from the Amazon basin suggests that there may be widespread and undiagnosed dissemination of this disease in Brazil.

Young adults' preferences and satisfaction levels in Duty-free shopping in airports

This study aims to explore and understand what young adults’ duty free shoppers (18-26 years old) want and are getting from travel retail shopping on airport environments and to evaluate their satisfaction levels with the service. It has important managerial contributions since it is an important target in a fast growing market. An online survey was conducted with 188 young adults and its results show that young adults’ are somewhat satisfied with the overall service on duty free stores mainly in what concerns quality of the products and physical evidence of the stores. Results also show that the majority of buyers within this segment are price driven and strongly influenced by promotions associated with price reductions, and do not seem very satisfied with respect to that. Keywords: Young

Construct and diagnostic validities of the Free and Cued Selective Reminding Test in the alzheimer’s disease spectrum

The Free and Cued Selective Reminding Test (FCSRT) is a memory test that controls attention and acquisition, by providing category cues in the learning process. Because it enables an assessment of memory not confounded by normal age-related changes in cognition and a high accuracy on Alzheimer's disease (AD) evaluation, it has been suggested by the International Working Group on AD. Our aim was to assess the construct related validity of the FCSRT in the AD spectrum disorders.

Pulmonary tuberculosis in São Luis, State of Maranhão, Brazil: space and space-time risk clusters for death (2008-2012)

INTRODUCTION: The objective was to identify space and space-time risk clusters for the occurrence of deaths in a priority city for the control of tuberculosis (TB) in the Brazilian Northeast. METHODS: Ecological research was undertaken in the City of São Luis/Maranhão. Cases were considered that resulted in deaths in the population living in the urban region of the city with pulmonary TB as the basic cause, between 2008 and 2012. To detect space and space-time clusters of deaths due to pulmonary TB in the census sectors, the spatial analysis scan technique was used. RESULTS: In total, 221 deaths by TB occurred, 193 of which were due to pulmonary TB. Approximately 95% of the cases (n=183) were geocoded. Two significant spatial clusters were identified, the first of which showed a mortality rate of 5.8 deaths per 100,000 inhabitants per year and a high relative risk of 3.87. The second spatial cluster showed a mortality rate of 0.4 deaths per 100,000 inhabitants per year and a low relative risk of 0.10. A significant cluster was observed in the space-time analysis between 11/01/2008 and 04/30/2011, with a mortality rate of 8.10 deaths per 100,000 inhabitants per year and a high relative risk (3.0). CONCLUSIONS: The knowledge of priority sites for the occurrence of deaths can support public management to reduce inequities in the access to health services and permit an optimization of the resources and teams in the control of pulmonary TB, providing support for specific strategies focused on the most vulnerable populations.