Exploring the predictive power of Google searches over the US stock market

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

Trypanocide treatment among adults with chronic Chagas disease living in Santa Fe city (Argentina), over a mean follow-up of 21 years: parasitological, serological and clinical evolution

The efficacy of treatment with nifurtimox and/or benznidazole among adults with chronic Chagas disease with no previous electrocardiographic disturbances was evaluated over a mean follow-up of 21 years, by means of conventional serology, xenodiagnosis, clinical examination, electrocardiograms and chest X-ray. One hundred and eleven patients, between 17 and 46 years old, were studied: 54 underwent treatment (nifurtimox 27, benznidazole 27) and 57 remained untreated (control group). Xenodiagnosis was performed on 65% of them: 36/38 of the treated and 9/34 of the untreated patients had previous positive xenodiagnosis. Post-treatment, 133 xenodiagnoses were performed on 41 patients, all resulting negative. In the control group, 29 xenodiagnoses were performed on 14 patients; 2 resulted positive. Sera stored during the follow-up were simultaneously analyzed through conventional serology tests (IHA; DA-2ME; IIF). The serological evolution in the treated group was: a) 37% underwent negative seroconversion (nifurtimox 11, benznidazole 9); b) 27.8% decreased titers (nifurtimox 9, benznidazole 6), 9 showed inconclusive final serology (nifurtimox 7, benznidazole 2); c) 35.2% remained positive with constant titers (nifurtimox 7; benznidazole 12). The control group conserved the initial antibody levels during the follow-up. In the clinical evolution, 2/54 (3.7%) of the treated and 9/57 (15.8%) of the untreated patients showed electrocardiographic disturbances attributable to Chagas myocardiopathy, with a statistically relevant difference (p<0.05). Treatment caused deparasitation in at least 37% of the chronically infected adults and a protective effect on their clinical evolution.

Schottky principal G-bundles over compact Riemann surfaces

Fundação para a Ciência e a Tecnologia (FCT)- PhD grant SFRH/BD/37151/2007; projects PTDC/MAT/099275/2008; PTDC/MAT/119689/2010; PTDC/MAT/120411/2010; PTDC/MAT-GEO/0675/2012

Species distribution and in vitro fluconazole susceptibility of clinical Candida isolates in a Brazilian tertiary-care hospital over a 3-year period

INTRODUCTION: In this study, we aimed at identifying Candida isolates obtained from blood, urine, tracheal secretion, and nail/skin lesions from cases attended at the Hospital Universitário de Londrina over a 3-year period and at evaluating fluconazole susceptibilities of the isolates. METHODS: Candida isolates were identified by polymerase chain reaction (PCR) using species-specific forward primers. The in vitro fluconazole susceptibility test was performed according to EUCAST-AFST reference procedure. RESULTS: Isolates were obtained from urine (53.4%), blood cultures (19.2%), tracheal secretion (17.8%), and nail/skin lesions (9.6%). When urine samples were considered, prevalence was similar in women (45.5%) and in men (54.5%) and was high in the age group >61 years than that in younger ones. For blood samples, prevalence was high in neonates (35%) and advanced ages (22.5%). For nail and skin samples, prevalence was higher in women (71.4%) than in men (28.6%). Candida albicans was the most frequently isolated in the hospital, but Candida species other than C. albicans accounted for 64% of isolates, including predominantly Candida tropicalis (33.2%) and Candida parapsilosis (19.2%). The trend for non-albicans Candida as the predominant species was noted from all clinical specimens, except from urine samples. All Candida isolates were considered susceptible in vitro to fluconazole with the exception of isolates belonging to the intrinsically less-susceptible species C. glabrata. CONCLUSIONS: Non-albicans Candida species were more frequently isolated in the hospital. Fluconazole resistance was a rare finding in our study.

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.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Who uses NHS saúde 24 hotline? Has the user changed over time?

There has been an increase in the use of telephone-based services and internet throughout the years and, therefore, the Saúde 24 Hotline has become an important service in Portugal. This service aims to screen, counsel and refer the patient in order to avoid unnecessary visits to health institutions and also to indicate the most appropriate resource according to the illness. This work has two different questions: the first one examines the determinants of satisfaction that have more influence on the overall satisfaction of the Saúde 24 Hotline users. The second one aims to analyze if the confidence level of the users is increasing over time, measured by following the recommendation. The first study was conducted on a random sample collected from June to October 2014, which was taken from the User Satisfaction Survey. The second approach includes data from January 2008 to December 2014 from the Clinical Data Base of all users who have called the Hotline. Findings suggest that the majority of users are very satisfied with the service and the variables with more impact on the overall satisfaction are commitment and availability from the nurse, adequacy of call duration and quick identification of the problem. The survey indicates that 94% of respondents follow the recommendation and on average people have called the hotline 3 times in the previous year. The results from the Clinical Database show that people who were recommended to go to the emergency room are more likely to follow the advice than the people who were recommended to book routine appointments

Over expression of AdeABC and AcrAB-TolC efflux systems confers tigecycline resistance in clinical isolates of Acinetobacter baumannii and Klebsiella pneumoniae

Abstract: INTRODUCTION: Due to the wide use of tigecycline in the treatment of severe infections caused by multidrug-resistant (MDR) bacteria, clinical resistance to tigecycline has increased in recent years. Here, we investigated the relationship between tigecycline resistance and the expression of efflux pumps. METHODS: Clinical isolates of Acinetobacter baumannii and Klebsiella pneumoniae were consecutively collected from hospitalized patients in three hospitals. The minimum inhibitory concentration (MIC) of tigecycline was determined using the broth microdilution method. Expression levels of efflux pump genes and regulators were examined by quantitative real-time reverse transcription polymerase chain reaction. The correlations between tigecycline MICs and gene expression levels were analyzed. RESULTS: Overall, 1,026 A. baumannii and 725 K. pneumoniae strains were collected. Most strains were isolated from sputum. The tigecycline resistance rate was 13.4% in A. baumannii isolates and 6.5% in K. pneumoniae isolates. Overexpression of AdeABC and AcrAB-TolC efflux systems was observed found in clinical tigecycline-resistant isolates. The tigecycline MIC had a linear relationship with the adeB expression level in A. baumannii isolates, but not with the acrB expression level in K. pneumoniae isolates. There were significant linear trends in the overexpression of ramA as the tigecycline MIC increased in K. pneumoniae isolates. CONCLUSIONS: Tigecycline resistance in A. baumannii and K. pneumoniae was strongly associated with the overexpression of efflux systems. More studies are needed to elucidate whether there are other regulators that affect the expression of adeB in A. baumannii and how ramA affects the expression of acrB in K. pneumoniae.

Improving practical reasoning and argumentation

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following the model, Breivik is relatively easily able to conclude that his reasoning to mass murder is reasonable – which is understood to be an unacceptable result. Causes for the model to allow such a conclusion are identified as conceptual confusions ingrained in the model, a tension in how values function within the model, and a lack of creativity from Breivik. Distinguishing between dialectical and dialogical, reasoning and argumentation, for individual and multiple participants, chapter 3 addresses these conceptual confusions and helps lay the foundation for the design of a new integrated model for practical reasoning and argumentation (chapter 4). After laying out the theoretical aspects of the new model, it is then used to re-test Breivik’s reasoning in light of a developed discussion regarding the motivation for the new place and role of moral considerations (chapter 5). The application of the new model shows ways that Breivik could have been able to conclude that his practical argumentation was unreasonable and is thus argued to have improved upon the Fairclough and Fairclough model. It is acknowledged, however, that since the model cannot guarantee a reasonable conclusion, improving the critical creative capacity of the individual using it is also of paramount importance (chapter 6). The thesis concludes by discussing the contemporary importance of improving practical reasoning and by pointing to areas for further research (chapter 7).

Application of wavelets to the study of political history

\The idea that social processes develop in a cyclical manner is somewhat like a `Lorelei'. Researchers are lured to it because of its theoretical promise, only to become entangled in (if not wrecked by) messy problems of empirical inference. The reasoning leading to hypotheses of some kind of cycle is often elegant enough, yet the data from repeated observations rarely display the supposed cyclical pattern. (...) In addition, various `schools' seem to exist which frequently arrive at di erent conclusions on the basis of the same data." (van der Eijk and Weber 1987:271). Much of the empirical controversies around these issues arise because of three distinct problems: the coexistence of cycles of di erent periodicities, the possibility of transient cycles and the existence of cycles without xed periodicity. In some cases, there are no reasons to expect any of these phenomena to be relevant. Seasonality caused by Christmas is one such example (Wen 2002). In such cases, researchers mostly rely on spectral analysis and Auto-Regressive Moving-Average (ARMA) models to estimate the periodicity of cycles.1 However, and this is particularly true in social sciences, sometimes there are good theoretical reasons to expect irregular cycles. In such cases, \the identi cation of periodic movement in something like the vote is a daunting task all by itself. When a pendulum swings with an irregular beat (frequency), and the extent of the swing (amplitude) is not constant, mathematical functions like sine-waves are of no use."(Lebo and Norpoth 2007:73) In the past, this di culty has led to two di erent approaches. On the one hand, some researchers dismissed these methods altogether, relying on informal alternatives that do not meet rigorous standards of statistical inference. Goldstein (1985 and 1988), studying the severity of Great power wars is one such example. On the other hand, there are authors who transfer the assumptions of spectral analysis (and ARMA models) into fundamental assumptions about the nature of social phenomena. This type of argument was produced by Beck (1991) who, in a reply to Goldstein (1988), claimed that only \ xed period models are meaningful models of cyclic phenomena".We argue that wavelet analysis|a mathematical framework developed in the mid-1980s (Grossman and Morlet 1984; Goupillaud et al. 1984) | is a very viable alternative to study cycles in political time-series. It has the advantage of staying close to the frequency domain approach of spectral analysis while addressing its main limitations. Its principal contribution comes from estimating the spectral characteristics of a time-series as a function of time, thus revealing how its di erent periodic components may change over time. The rest of article proceeds as follows. In the section \Time-frequency Analysis", we study in some detail the continuous wavelet transform and compare its time-frequency properties with the more standard tool for that purpose, the windowed Fourier transform. In the section \The British Political Pendulum", we apply wavelet analysis to essentially the same data analyzed by Lebo and Norpoth (2007) and Merrill, Grofman and Brunell (2011) and try to provide a more nuanced answer to the same question discussed by these authors: do British electoral politics exhibit cycles? Finally, in the last section, we present a concise list of future directions.

Changes in the floristic composition of a Terra Firme rain forest In Brazilian Amazonia over an eight-year period In response to logging

Changes in the floristic composition over an eight-year period in a logged area at the Tapajós National Forest in Brazilian Amazonia arc discussed. Two treatments of different intensities of logging were compared with an undisturbed (control) forest. Data were collected from permanent sample-plots. The effects of logging on floristic composition were stronger in the more heavily logged treatment. The number of species decreased immediately after logging, but started to increase before the fifth year after logging and was higher at the end of the study period than before logging. The more heavily logged plots responded more to disturbances, as judged by the increase in the number of species during the period after logging. This forest appears to recover its initial floristic composition after disturbance without intervention.

Growth rate of a terra firme rain forest in Brazilian Amazonia over an eight-year period in response to logging

This paper deals with growth rates of trees > 5cm dbh over an eight-year period from 257 species at the Tapajós National Forest. The discussion is centred on the behaviour of the forest after logging. Permanent sample plots were established in 1981 and measured at the first time. The area was logged in 1982. Measurements after logging occurred in 1983, 1987 and 1989. Considering all species together, diameter increment was similar for both intensities of logging until five years after logging. Light-demanding species showed significantly higher growth rates than shade-tolerant species in the logged forest, with greater increment in the heavier treatment intensity. Commercial species also had higher growth rates in the heavier logged area, although those were significantly different only in the period from one to five years after logging. In the undisturbed forest, growth rates increased with increasing dbh size. At species level, growth rate varied between and within treatments, as well as between trees within species, depending mainly on degree of canopy opening. The logging favoured the growth of commercial species, chiefly the light-demanders. Therefore, if the same growth conditions continue being given, for example by silvicultural treatments, to those species of commercial interest, the forest would reach a stock available for harvesting around year 30 after logging. However, the high variation in increment rates indicates that an eight-year period is not sufficient to allow predictions on cutting cycles or polycyclic management systems for the study forest.

Changes in population and land use over time in the Ecuadorian Amazon

This paper draws upon a detailed longitudinal survey of households living on agricultural plots in the northern three provinces of the Ecuadorian Amazon, the principal region of colonization by migrants in Ecuador since the 1970s. Following the discovery of petroleum in 1967 near what has subsequently come to be the provincial capital and largest Amazonian city of Lago Agrio, oil companies built roads to lay pipelines to extract and pump oil across the Andes for export. As a result, for the past 30 years over half of both Ecuador's export earnings and government revenues have come from petroleum extracted from this region. But the roads also facilitated massive spontaneous in-migration of families from origin areas in the Ecuadorian Sierra, characterized by minifundia and rural poverty. This paper is about those migrants and their effects on the Amazonian landscape. We discuss the data collection methodology and summarize key results on settler characteristics and changes in population, land use, land ownership, technology, labor allocation, and living conditions, as well as the relationships between changes in population and changes in land use over time. The population in the study region has been growing rapidly due to both natural population growth (high fertility) and in-migration. This has led to a dramatic process of subdivision and fragmentation of plots in the 1990's, which contrasts with the consolidation of plots that has occurred in most of the mature frontier areas of the Brazilian Amazon. This fragmentation has led to important changes in land tenure and land use, deforestation, cattle raising, labor allocation, and settler welfare.

Abstract computation in schizophrenia detection through artificial neural network based systems

Schizophrenia stands for a long-lasting state of mental uncertainty that may bring to an end the relation among behavior, thought, and emotion; that is, it may lead to unreliable perception, not suitable actions and feelings, and a sense of mental fragmentation. Indeed, its diagnosis is done over a large period of time; continuos signs of the disturbance persist for at least 6 (six) months. Once detected, the psychiatrist diagnosis is made through the clinical interview and a series of psychic tests, addressed mainly to avoid the diagnosis of other mental states or diseases. Undeniably, the main problem with identifying schizophrenia is the difficulty to distinguish its symptoms from those associated to different untidiness or roles. Therefore, this work will focus on the development of a diagnostic support system, in terms of its knowledge representation and reasoning procedures, based on a blended of Logic Programming and Artificial Neural Networks approaches to computing, taking advantage of a novel approach to knowledge representation and reasoning, which aims to solve the problems associated in the handling (i.e., to stand for and reason) of defective information.

Does nitrogen availability have greater control over the formation of tropical heath forests than water stress?A hypothesis based on nitrogen isotope ratios

Global scale analyses of soil and foliage δ15N have found positive relationships between δ15N and ecosystem N loss (suggesting an open N cycle) and a negative relationship between δ15N and water availability. We show here that soils and leaves from tropical heath forests are depleted in 15N relative to 'typical' forests suggesting that they have a tight N cycle and are therefore limited by N rather than by, often suggested, water availability.