Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

State detection in a financial portfolio: a self-organizing maps approach for financial time series

This study analyses financial data using the result characterization of a self-organized neural network model. The goal was prototyping a tool that may help an economist or a market analyst to analyse stock market series. To reach this goal, the tool shows economic dependencies and statistics measures over stock market series. The neural network SOM (self-organizing maps) model was used to ex-tract behavioural patterns of the data analysed. Based on this model, it was de-veloped an application to analyse financial data. This application uses a portfo-lio of correlated markets or inverse-correlated markets as input. After the anal-ysis with SOM, the result is represented by micro clusters that are organized by its behaviour tendency. During the study appeared the need of a better analysis for SOM algo-rithm results. This problem was solved with a cluster solution technique, which groups the micro clusters from SOM U-Matrix analyses. The study showed that the correlation and inverse-correlation markets projects multiple clusters of data. These clusters represent multiple trend states that may be useful for technical professionals.

Towards an algorithmic skeleton framework for programming the Intel R Xeon PhiTM processor

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

Integrated data model and DSL modifications

Companies are increasingly more and more dependent on distributed web-based software systems to support their businesses. This increases the need to maintain and extend software systems with up-to-date new features. Thus, the development process to introduce new features usually needs to be swift and agile, and the supporting software evolution process needs to be safe, fast, and efficient. However, this is usually a difficult and challenging task for a developer due to the lack of support offered by programming environments, frameworks, and database management systems. Changes needed at the code level, database model, and the actual data contained in the database must be planned and developed together and executed in a synchronized way. Even under a careful development discipline, the impact of changing an application data model is hard to predict. The lifetime of an application comprises changes and updates designed and tested using data, which is usually far from the real, production, data. So, coding DDL and DML SQL scripts to update database schema and data, is the usual (and hard) approach taken by developers. Such manual approach is error prone and disconnected from the real data in production, because developers may not know the exact impact of their changes. This work aims to improve the maintenance process in the context of Agile Platform by Outsystems. Our goal is to design and implement new data-model evolution features that ensure a safe support for change and a sound migration process. Our solution includes impact analysis mechanisms targeting the data model and the data itself. This provides, to developers, a safe, simple, and guided evolution process.

Analyzing Geospatial patterns of syrian refugee flows in southeastern Turkey by use of remote sensing and complementary data

Crisis-affected communities and global organizations for international aid are becoming increasingly digital as consequence geotechnology popularity. Humanitarian sector changed in profound ways by adopting new technical approach to obtain information from area with difficult geographical or political access. Since 2011, turkey is hosting a growing number of Syrian refugees along southeastern region. Turkish policy of hosting them in camps and the difficulty created by governors to international aid group expeditions to get information, made such international organizations to investigate and adopt other approach in order to obtain information needed. They intensified its remote sensing approach. However, the majority of studies used very high-resolution satellite imagery (VHRSI). The study area is extensive and the temporal resolution of VHRSI is low, besides it is infeasible only using these sensors as unique approach for the whole area. The focus of this research, aims to investigate the potentialities of mid-resolution imagery (here only Landsat) to obtain information from region in crisis (here, southeastern Turkey) through a new web-based platform called Google Earth Engine (GEE). Hereby it is also intended to verify GEE currently reliability once the Application Programming Interface (API) is still in beta version. The finds here shows that the basic functions are trustworthy. Results pointed out that Landsat can recognize change in the spectral resolution clearly only for the first settlement. The ongoing modifications vary for each case. Overall, Landsat demonstrated high limitations, but need more investigations and may be used, with restriction, as a support of VHRSI.

Enhancement of an implemented rating model and impact on existing risk management processes: A hands-on approach from financial supplier risk management within the automotive industry

The purpose of this paper is to conduct a methodical drawback analysis of a financial supplier risk management approach which is currently implemented in the automotive industry. Based on identified methodical flaws, the risk assessment model is further developed by introducing a malus system which incorporates hidden risks into the model and by revising the derivation of the most central risk measure in the current model. Both methodical changes lead to significant enhancements in terms of risk assessment accuracy, supplier identification and workload efficiency.

An integrated approach to Physcomitrella patens transcriptomics reveals importantclues of the evolutionary development of plant organs and sexual reproduction

Land plant evolution required the generation of a new body plan that could resist the harsher and fluctuating environmental conditions found outside of aquatic environments. Unraveling the genetic basis of plant developmental innovations is not only revealing in terms of an evolutionary point of view, but it is also important for understanding the emergence of agronomically important traits. Comparative genetic studies between basal and modern land plants, both at the genome and trancriptome levels, can help in the generation of hypotheses related to the genetic basis of plant evolutionary development.(...)

Fiscal policy under financial stress: A threshold VAR approach

The purpose of the project is to measure the impact of fiscal policy on the Portuguese GDP and how it may vary according to the state of the financial market. A Threshold VAR model is presented in which the two regimes are found using a financial stress index that divides the economy into a situation of financial stress and financial stability.

Return migration and entrepreneurship: An IV approach

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

Risk parity: True versus naive approach

This paper studies the performance of two different Risk Parity strategies, one from Maillard (2008) and a “naïve” that was already used by market practitioners, against traditional strategies. The tests will compare different regions (US, UK, Germany and Japan) since 1991 to 2013, and will use different ways of volatility. The main findings are that Risk Parity outperforms any traditional strategy, and the “true” (by Maillard) has considerable better results than the “naïve” when using historical volatility, while using EWMA there are significant differences.

The establishment mode choice of German multinational enterprises in Brazil: A comparative approach

We examine the drivers behind the establishment mode choice of German multinational enterprises (MNEs) in the sectors of Automotive, Chemicals and Mechanical Engineering in Brazil for the years 1993-2013 using a novel sample of primary data obtained directly from German MNEs. Based on prevalent theories found in the literature, we test the most common hypotheses on our sample. Firms with high R&D activities and firms with prior market knowledge in Brazil in from of previous sales offices are more likely to enter Brazil by a Greenfield investment. We also show that it is the specific private ownership of the German so-called hidden champions that drive those specific SMEs to enter Brazil by Greenfield, a sneaking suspicion that has been made before. Finally, we show that the establishment mode choice between Brazil and the USA only deviates to a low extent, with German MNEs preferring to enter Brazil by Greenfield and the USA by M&A. Thereby, we provide valuable insights for future research in this field.

Evolution of reputation in networks: A mean field game approach

This work models the competitive behaviour of individuals who maximize their own utility managing their network of connections with other individuals. Utility is taken as a synonym of reputation in this model. Each agent has to decide between two variables: the quality of connections and the number of connections. Hence, the reputation of an individual is a function of the number and the quality of connections within the network. On the other hand, individuals incur in a cost when they improve their network of contacts. The initial value of the quality and number of connections of each individual is distributed according to an initial (given) distribution. The competition occurs over continuous time and among a continuum of agents. A mean field game approach is adopted to solve the model, leading to an optimal trajectory for the number and quality of connections for each individual.

Brazilian equity risk premium analysis: A macroeconomic approach

Double Degree Masters in Economics Program from Insper and NOVA School of Business and Economics

Barriers preventing the successful integration of mental health services into Primary Health Care in Nigeria : a mixed methods approach

RESUMO: A Nigéria tem uma população estimada em cerca de 170 milhões de pessoas. O número de profissionais de saúde mental é muito diminuto, contando apenas com 150 psiquiatras o que perfaz aproximadamente um rácio de psiquiatra: população de mais de 1:1 milhão de pessoas. O Plano Nacional de Saúde Mental de 1991 reconheceu esta insuficiência e recomendou a integração dos serviços de saúde mental nos cuidados de saúde primários (CSP). Depois de mais de duas décadas, essa política não foi ainda implementada. Este estudo teve como objetivos mapear a estrutura organizacional dos serviços de saúde mental da Nigéria, e explorar os desafios e barreiras que impedem a integração bem-sucedida dos serviços de saúde mental nos cuidados de saúde primários, isto segundo a perspectiva dos profissionais dos cuidados de saúde primários. Com este objetivo, desenvolveu-se um estudo exploratório sequencial e utilizou-se um modelo misto para a recolha de dados. A aplicação em simultâneo de abordagens qualitativas e quantitativas permitiram compreender os problemas relacionados com a integração dos serviços de saúde mental nos CSP na Nigéria. No estudo qualitativo inicial, foram realizadas entrevistas com listagens abertas a 30 profissionais dos CSP, seguidas de dois grupos focais com profissionais dos CSP de duas zonas governamentais do estado de Oyo de forma a obter uma visão global das perspectivas destes profissionais locais sobre os desafios e barreiras que impedem uma integração bem-sucedida dos serviços de saúde mental nos CSP. Subsequentemente, foram realizadas entrevistas com quatro pessoas-chave, especificamente coordenadores e especialistas em saúde mental. Os resultados do estudo qualitativo foram utilizados para desenvolver um questionário para análise quantitativa das opiniões de uma amostra maior e mais representativa dos profissionais dos CSP do Estado de Oyo, bem como de duas zonas governamentais locais do Estado de Osun. As barreiras mais comummente identificadas a partir deste estudo incluem o estigma e os preconceitos sobre a doença mental, a formação inadequada dos profissionais dos CPS sobre saúde mental, a perceção pela equipa dos CSP de baixa prioridade de ação do Governo, o medo da agressão e violência pela equipa dos CSP, bem como a falta de disponibilidade de fármacos. As recomendações para superar estes desafios incluem a melhoria sustentada dos esforços da advocacia à saúde mental que vise uma maior valorização e apoio governamental, a formação e treino organizados dos profissionais dos cuidados primários, a criação de redes de referência e de apoio com instituições terciárias adjacentes, e o engajamento da comunidade para melhorar o acesso aos serviços e à reabilitação, pelas pessoas com doença mental. Estes resultados fornecem indicações úteis sobre a perceção das barreiras para a integração bem sucedida dos serviços de saúde mental nos CSP, enquanto se recomenda uma abordagem holística e abrangente. Esta informação pode orientar as futuras tentativas de implementação da integração dos serviços de saúde mental nos cuidados primários na Nigéria.------------ABSTRACT: Nigeria has an estimated population of about 170 million people but the number of mental health professionals is very small, with about 150 psychiatrists. This roughly translates to a psychiatrist:population ratio of more than 1:1 million people. The National Mental Health Policy of 1991 recognized this deficiency and recommended the integration of mental health into primary health care (PHC) delivery system. After more than two decades, this policy has yet to be implemented. This study aimed to map out the organizational structure of the mental health systems in Nigeria, and to explore the challenges and barriers preventing the successful integration of mental health into primary health care, from the perspective of the primary health care workers. A mixed methods exploratory sequential study design was employed, which entails the use of sequential timing in the combined methods of data collection. A combination of qualitative and uantitative approaches in sequence, were utilized to understand the problems of mental health services integration into PHC in Nigeria. The initial qualitative phase utilized free listing interviews with 30 PHC workers, followed by two focus group discussions with primary care workers from two Local Government Areas (LGA) of Oyo State to gain useful insight into the local perspectives of PHC workers about the challenges and barriers preventing successful integration of mental health care services into PHC. Subsequently, 4 key informant interviews with PHC co-ordinators and mental health experts were carried out. The findings from the qualitative study were utilized to develop a quantitative study questionnaire to understand the opinions of a larger and more representative sample of PHC staff in two more LGAs of Oyo State, as well as 2 LGAs from Osun State. The common barriers identified from this study include stigma and misconceptions about mental illness, inadequate training of PHC staff about mental health, low government priority, fear of aggression and violence by the PHC staff, as well as non-availability of medications. Recommendations for overcoming these challenges include improved and sustained efforts at mental health advocacy to gain governmental attention and support, organized training and retraining for primary care staff, establishment of referral and supportive networks with neighbouring tertiary facilities and community engagement to improve service utilization and rehabilitation of mentally ill persons. These findings provide useful insight into the barriers to the successful integration of mental health into PHC, while recommending a holistic and comprehensive approach. This information can guide future attempts to implement the integration of mental health into primary care in Nigeria.

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.