Arc exchange systems and renormalization

We exhibit the construction of stable arc exchange systems from the stable laminations of hyperbolic diffeomorphisms. We prove a one-to-one correspondence between (i) Lipshitz conjugacy classes of C(1+H) stable arc exchange systems that are C(1+H) fixed points of renormalization and (ii) Lipshitz conjugacy classes of C(1+H) diffeomorphisms f with hyperbolic basic sets Lambda that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Lambda. Let HD(s)(Lambda) and HD(u)(Lambda) be, respectively, the Hausdorff dimension of the stable and unstable leaves intersected with the hyperbolic basic set L. If HD(u)(Lambda) = 1, then the Lipschitz conjugacy is, in fact, a C(1+H) conjugacy in (i) and (ii). We prove that if the stable arc exchange system is a C(1+HDs+alpha) fixed point of renormalization with bounded geometry, then the stable arc exchange system is smooth conjugate to an affine stable arc exchange system.

Estimação de Modelos de Adopção e Difusão de Tecnologias de Informação e Comunicação em Portugal

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Hausdorff dimension versus smoothness

There is a one-to-one correspondence between C1+H Cantor exchange systems that are C1+H fixed points of renormalization and C1+H diffeomorphisms f on surfaces with a codimension 1 hyperbolic attractor Λ that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Λ. However, there is no such C1+α Cantor exchange system with bounded geometry that is a C1+α fixed point of renormalization with regularity α greater than the Hausdorff dimension of its invariant Cantor set. The proof of the last result uses that the stable holonomies of a codimension 1 hyperbolic attractor Λ are not C1+θ for θ greater than the Hausdorff dimension of the stable leaves of f intersected with Λ.

Probabilistic Stereo Egomotion Transform

In this paper we propose a novel fully probabilistic solution to the stereo egomotion estimation problem. We extend the notion of probabilistic correspondence to the stereo case which allow us to compute the whole 6D motion information in a probabilistic way. We compare the developed approach against other known state-of-the-art methods for stereo egomotion estimation, and the obtained results compare favorably both for the linear and angular velocities estimation.

Método de correspondência para sistemas de visão multi-câmara

Os sistemas de perceção visual são das principais fontes de informação sensorial utilizadas pelos robôs autónomos, para localização e navegação em diferentes meios de operação. O objetivo passa por obter uma grande quantidade de informação sobre o ambiente que a câmara está a visualizar, processar e extrair informação que permita realizar as tarefas de uma forma e ciente. Uma informação em particular que os sistemas de visão podem fornecer, e a informação tridimensional acerca do meio envolvente. Esta informação pode ser adquirida recorrendo a sistemas de visão monoculares ou com múltiplas câmaras. Nestes sistemas a informação tridimensional pode ser obtida recorrendo a técnica de triangulação, tirando partido do conhecimento da posição relativa entre as câmaras. No entanto, para calcular as coordenadas de um ponto tridimensional no referencial da câmara e necessário existir correspondência entre pontos comuns às imagens adquiridas pelo sistema. No caso de más correspondências a informação 3D e obtida de forma incorreta. O problema associado à correspondência de pontos pode ser agravado no caso das câmaras do sistema terem características intrínsecas diferentes nomeadamente: resolução, abertura da lente, distorção. Outros fatores como as orientações e posições das câmaras também podem condicionar a correspondência de pontos. Este trabalho incide sobre problemática de correspondência de pontos existente no processo de cálculo da informação tridimensional. A presente dissertação visa o desenvolvimento de uma abordagem de correspondência de pontos para sistemas de visão no qual é conhecida a posição relativa entre câmaras.

Writing and living on the stage of history

This article studies the intercultural trajectory of a Portuguese female aristocrat of the eighteenth to nineteenth centuries. Her trajectory of intercultural transition from a Portuguese provincial lady into an independent owner of a sugar mill in tropical Bahia is documented through family letters, which provide a polyphonic representation of a movement of personal, family, and social transculturation over almost two decades. Maria Bárbara began her journey between cultures as a simple spectator-reader, progressively becoming a commentator-actor-protagonist-author in society, in politics, and in history. These letters function as a translation that is sometimes consecutive, other times simultaneous, of the events lived and witnessed. This concept of intercultural translation is based on the theories of Boaventura de Sousa Santos (2006, 2008), who argues that cultural differences imply that any comparison has to be made using procedures of proportion and correspondence which, taken as a whole, constitute the work of translation itself. These procedures construct approximations of the known to the unknown, of the strange to the familiar, of the ‘other’ to the ‘self’, categories which are always unstable. Likewise, this essay explores the unstable contexts of its object of study, with the purpose of understanding different rationalities and worldviews.

Municipalities of higher vulnerability to Sylvatic Yellow Fever occurrence in the São Paulo State, Brazil

Until 1999 the endemic cases of Sylvatic Yellow Fever were located in the states of northern, midwestern and pre-Amazon regions. Since then, the disease progressively expanded its territory of occurrence, cases being registered beyond the traditional boundaries of endemism. The São Paulo State is considered to be part of this context, since after decades without registration of autochthonous cases of the disease, it reported, in 2000 and 2008-2009, epizootic occurrence in non-human primates and 30 cases in humans. Facts like these, added to the increase in incidences of serious adverse effects resulting from the Yellow Fever vaccination, have highlighted the importance of defining priority municipalities for vaccination against the disease in the state. Two groups of municipalities, some affected and some non-affected by YF, were compared for environmental variables related to the eco-epidemiology of the disease according to literature. The Multiple Correspondence Analysis (MCA) was used to pinpoint the factor able to differentiate the two groups of municipalities and define the levels of risk. The southeast region of the São Paulo State was considered to be the area with a higher number of municipalities classified as high risk and should be considered a priority for the application of prevention measures against Yellow Fever.

Biodemes and zymodemes of Trypanosoma cruzi strains: correlations with clinical data and experimental pathology

With the objective of establishing biological and biochemical characteristics of a significant number of Trypanosoma cruzi strains from different geographical areas, 138 strains isolated from naturally infected humans, triatomine or vertebrate hosts were studied; 120 were isolated from different areas of Brazil and 18 from other South and Central American countries. Inocula from triatomine or culture forms were injected into suckling Swiss mice, followed by passages into mice 10 to 12 g. Biological characters and histopathological study permitted the inclusion of the strains into three Types or biodemes: I, II, III. Isoenzymic analysis confirmed a correspondence between the biodemes and zymodemes : Type I and Z2b, Type II and Z2, Type III and Z1. Results showed the ubiquitary distribution of the several types of strains. The predominance of the same Type and zymodeme in one geographical area was confirmed : Type II strains among the human cases from eastern Bahia and east of Goiás; Type III strains from humans of north Brazil and Central America and from silvatic vectors or vertebrates from other geographical areas. The biological types of strains correlate with different histopathological lesions considering cardiac involvement and neuronal lesions. These findings suggest that the biological behavior together with isoenzymes patterns and pathological pictures in the vertebrate host can be an important tool for establishing correlations between strains behavior and clinico-pathological manifestations of Chagas' disease in different geographical areas.

Correction of the anisotropy in resistivity: application to pore pressure prediction

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Exploratory analysis of OpenStreetMap for land use classification

In the last years, volunteers have been contributing massively to what we know nowadays as Volunteered Geographic Information. This huge amount of data might be hiding a vast geographical richness and therefore research needs to be conducted to explore their potential and use it in the solution of real world problems. In this study we conduct an exploratory analysis of data from the OpenStreetMap initiative. Using the Corine Land Cover database as reference and continental Portugal as the study area, we establish a possible correspondence between both classification nomenclatures, evaluate the quality of OpenStreetMap polygon features classification against Corine Land Cover classes from level 1 nomenclature, and analyze the spatial distribution of OpenStreetMap classes over continental Portugal. A global classification accuracy around 76% and interesting coverage areas’ values are remarkable and promising results that encourages us for future research on this topic.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Haemoglobin and red cell counts in leptospirosis patients infected with different serovars

IntroductionThe aim of the study was to compare haemoglobin and red cell counts between patients known to be infected with a range of leptospiral serovars.MethodsThe study retrospectively compared the haemoglobin and red cell count results from the first blood samples taken from 207 patients at presentation to a Queensland Health hospital.ResultsSignificant differences were observed in haemoglobin and red cell counts in those infected with Leptospira interrogans serovars Szwajizak and Canicola when compared with most of the other serovars.ConclusionsThese findings suggest that haemoglobin and red cell counts may be useful in differentiating leptospiral serovars in leptospirosis patients.

Deltamethrin pyrethroid susceptibility characterization of Triatoma sordida Stål, 1859 (Hemiptera: Reduviidae) populations in the Northern Region of Minas Gerais, Brazil

Introduction Triatoma sordida is the most captured Triatomine species in the Brazilian artificial environment. In 2008, the discovery of three Triatomine populations with altered susceptibilities to deltamethrin highlighted the importance of investigating the genetic potential for resistance in triatomines. The purpose of this study was to characterize the susceptibility to deltamethrin of peridomestic T. sordida populations in Minas Gerais, Brazil. Methods A susceptibility reference lineage derived from Uberaba, Minas Gerais, Brazil was used. Serial dilutions of deltamethrin were prepared and applied to the dorsal abdomen of first instar nymphs. The control group received only pure acetone. Mortality was evaluated after 72h. Qualitative tests assessed mortality in response to a diagnostic dose of 1xLD99 of the susceptibility reference lineage. Results Susceptibility profile characterization of T. sordida populations revealed resistance ratios (RR50s) ranging from 0.42 to 3.94. The percentage mortality in response to the diagnostic dose varied from 70% to 100%. A comparison of the results obtained in the quantitative and qualitative assays demonstrated a lack of correspondence for some populations. Conclusions We demonstrated that only T. sordida populations that present a RR50>1.0 have altered susceptibility, and the execution of simultaneous field and laboratory tests is required to understand the actual effect of vector control. A possible cause of the observed resistance ratios might be the continuous use of pyrethroids in Brazil since the 1980s.

Afonso de Albuquerque e a primeira expedição portuguesa ao Mar Vermelho (1513)

Este artigo pretende analisar a primeira expedição portuguesa ao Mar Vermelho, capitaneada pelo governador Afonso de Albuquerque, em 1513. Quinhentos anos depois desta viagem, reavaliamos a política manuelina para o Mar Roxo, observando o ataque à cidade de Adém e a consecutiva entrada naquele mar. Através da correspondência de Albuquerque e da cronística da época, tentamos compreender os motivos da derrota no assalto àquela cidade portuária e a importância desta expedição na acção daquele governador e na estratégia imperial de D. Manuel I.

Strategies of the small-scale fisheries on the Central Amazon floodplain

A multivariate approach was applied to data of small-scale fisheries developed in Central Amazon, using information about catch composition, environment, fishing gear and season of the hydrological cycle. The correspondence analysis demonstrated to be a good tool for the analysis related multispecies fisheries. The analysis identified patterns of use of fisheries resources by the riverine communities, showing the correlation between the environmental factors and the fishing strategy for the capture of target fish species, indicating the high level of empiric knowledge about the environment and fisheries.