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

Problems and perspectives for Chagas disease control: in search of a realistic analysis

Chagas disease was an important medical and social problem in almost all of Latin America throughout the twentieth century. It has been combated over a broad swath of this continent over recent decades, with very satisfactory results in terms of vector and transfusional transmission. Today, a surveillance stage still remains to be consolidated, in parallel with appropriate care required for some millions of infected individuals who are today living in endemic and non-endemic areas. Contradictorily, the good results attained have generated excessive optimism and even disregard among health authorities, in relation to this disease and its control. The loss of visibility and priority may be a logical consequence, particularly in Latin American healthcare systems that are still disorganized and overburdened due to insufficiencies of financial and human resources. Consolidation of the victories against Chagas disease is attainable but depends on political will and continual attention from the most consequential protagonists in this struggle, especially the Latin American scientific community.

Dynamic stiffness of the piled foundation of a onshore wind turbine

One of today's biggest concerns is the increase of energetic needs, especially in the developed countries. Among various clean energies, wind energy is one of the technologies that assume greater importance on the sustainable development of humanity. Despite wind turbines had been developed and studied over the years, there are phenomena that haven't been yet fully understood. This work studies the soil-structure interaction that occurs on a wind turbine's foundation composed by a group of piles that is under dynamic loads caused by wind. This problem assumes special importance when the foundation is implemented on locations where safety criteria are very demanding, like the case of a foundation mounted on a dike. To the phenomenon of interaction between two piles and the soil between them it's given the name of pile-soil-pile interaction. It is known that such behavior is frequency dependent, and therefore, on this work evaluation of relevant frequencies for the intended analysis is held. During the development of this thesis, two methods were selected in order to assess pile-soil-pile interaction, being one of analytical nature and the other of numerical origin. The analytical solution was recently developed and its called Generalized pile-soil-pile theory, while for the numerical method the commercial nite element software PLAXIS 3D was used. A study of applicability of the numerical method is also done comparing the given solution by the nite element methods with a rigorous solution widely accepted by the majority of the authors.

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.

Analysis and treatment of a nineteenth century oil painting

This thesis focused on the study and treatment of a 19th century female portrait in oil from ECOMUSEU Municipal do Seixal, Portugal. The portrait, which depicts Isabel Maria Lourenço Affonso was in poor condition and a large strip of paint and canvas was missing (approximately 9cm by 66cm, almost 11% of the total surface area). The portrait is a companion piece to a male portrait (the relationship was established as part of this study), therefore a technical study of both paintings was considered essential to support the choices made during the treatment. The project involved three main areas: - The study of the history, condition, materials and techniques of both paintings. This allowed their comparison and understanding of their relationship; - The treatment of Isabel Maria Lourenço Affonso. The choices made and problems encountered are described. - The production of a replacement for the missing strip of paint and canvas. The practical solution developed to overcome such an unusual challenge is described along with the creative and flexible thinking required. Because not all traditional infill materials cope well on a mechanical level with thin layers over a very large surface (many are too brittle), strict criteria had to be employed to choose the appropriate material. The primary goal was to find a fill which would remain flexible and be capable of accepting surface texture, such that there would be a good visual match with the painting. Analysis and testing was carried out to evaluate the physical properties of the fill material chosen, BEVA® Gesso-P. The successful creation of the replacement strip has resulted in two publications and one presentation: Publication pending in The Picture Restorer, Leslie Carlyle, Raquel Marques, Isabel Pombo Cardoso and Sara Babo, “Creating a Textured Replacement Strip for the Missing Lower Portion of an Oil Portrait: Problem Solving and Practical Solutions”. Abstract accepted for presentation and publication, International Meeting on Retouching of Cultural Heritage (2RECH), Raquel Marques, Leslie Carlyle and Isabel Pombo Cardoso, “Textured Replacement Strip for a Missing Portion of a Portrait: Problem Solving and Practical Solutions”.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

A new MDA-SOA based framework for intercloud interoperability

Cloud computing has been one of the most important topics in Information Technology which aims to assure scalable and reliable on-demand services over the Internet. The expansion of the application scope of cloud services would require cooperation between clouds from different providers that have heterogeneous functionalities. This collaboration between different cloud vendors can provide better Quality of Services (QoS) at the lower price. However, current cloud systems have been developed without concerns of seamless cloud interconnection, and actually they do not support intercloud interoperability to enable collaboration between cloud service providers. Hence, the PhD work is motivated to address interoperability issue between cloud providers as a challenging research objective. This thesis proposes a new framework which supports inter-cloud interoperability in a heterogeneous computing resource cloud environment with the goal of dispatching the workload to the most effective clouds available at runtime. Analysing different methodologies that have been applied to resolve various problem scenarios related to interoperability lead us to exploit Model Driven Architecture (MDA) and Service Oriented Architecture (SOA) methods as appropriate approaches for our inter-cloud framework. Moreover, since distributing the operations in a cloud-based environment is a nondeterministic polynomial time (NP-complete) problem, a Genetic Algorithm (GA) based job scheduler proposed as a part of interoperability framework, offering workload migration with the best performance at the least cost. A new Agent Based Simulation (ABS) approach is proposed to model the inter-cloud environment with three types of agents: Cloud Subscriber agent, Cloud Provider agent, and Job agent. The ABS model is proposed to evaluate the proposed framework.

A DSL for querying building data streams of energy, eeather and occupation data

The superfluous consumption of energy is faced by the modern society as a Socio-Economical and Environmental problem of the present days. This situation is worsening given that it is becoming clear that the tendency is to increase energy price every year. It is also noticeable that people, not necessarily proficient in technology, are not able to know where savings can be achieved, due to the absence of accessible awareness mechanisms. One of the home user concerns is to balance the need of reducing energy consumption, while producing the same activity with all the comfort and work efficiency. The common techniques to reduce the consumption are to use a less wasteful equipment, altering the equipment program to a more economical one or disconnecting appliances that are not necessary at the moment. However, there is no direct feedback from this performed actions, which leads to the situation where the user is not aware of the influence that these techniques have in the electrical bill. With the intension to give some control over the home consumption, Energy Management Systems (EMS) were developed. These systems allow the access to the consumption information and help understanding the energy waste. However, some studies have proven that these systems have a clear mismatch between the information that is presented and the one the user finds useful for his daily life, leading to demotivation of use. In order to create a solution more oriented towards the user’s demands, a specially tailored language (DSL) was implemented. This solution allows the user to acquire the information he considers useful, through the construction of questions about his energy consumption. The development of this language, following the Model Driven Development (MDD) approach, took into consideration the ideas of facility managers and home users in the phases of design and validation. These opinions were gathered through meetings with experts and a survey, which was conducted to the purpose of collecting statistics about what home users want to know.

Comparação entre sistemas de saúde oral de 8 países da união europeia e intervenções por estes desenvolvidas no seguimento das linhas de atuação definidas pela Organização Mundial de Saúde para o ano 2020

RESUMO - Hoje, facilmente se poderá constatar que as doenças orais possuem uma expressiva influência perante a saúde geral, não apenas pela presença da condição por si só, mas também a nível pessoal, social e económico. O seu reflexo traduz-se em parte, no absentismo escolar e laboral, diminuição considerável de produtividade e eficiência, falta de atenção e objetividade. Pelo que é então considerado, um grave problema de saúde pública, afetando de forma mais expressiva, grupos socioeconomicamente desfavorecidos. O acompanhamento e análise do desenvolvimento de iniciativas internacionais, no que ao seguimento das recomendações da Organização Mundial de Saúde diz respeito, poderá ser um ótimo beneficio e impulso para a identificação e aplicação de novos planos de ação. O presente projeto, pretendeu contribuir para a identificação de duas propostas de intervenção em saúde oral ajustadas ao alcance das recomendações da OMS que simultaneamente possam sejam proveitosas para a resolução dos problemas de saúde oral nacionais. Foi realizado um estudo observacional, descritivo e retrospetivo onde foram recolhidos dados acerca de 8 Sistemas de Saúde Oral europeus, previamente selecionados segundo critérios específicos, e iniciativas de saúde oral por eles desenvolvidas. Por fim, foram eleitas duas iniciativas de interesse, possíveis de aplicação futura. Os resultados do estudo apontam para a existência de diferentes iniciativas, enquadradas com as recomendações da OMS. De entre as mesmas, destaca-se uma implementada em 2009, na Suécia, que estando essencialmente assente num acessível subsidio anual fixo pago por cada indivíduo adulto, procura fundamentalmente preservar os esforços de prevenção aplicados nas últimas décadas.

Transactions in dynamic reactive environments

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

Digital microfluidic devices: the role of the dielectric layer

Digital microfluidics (DMF) is a field which has emerged in the last decade as a re-liable and versatile tool for sensing applications based on liquid reactions. DMF allows the discrete displacement of droplets, over an array of electrodes, by the application of voltage, and also the dispensing from a reservoir, mixing, merging and splitting fluidic operations. The main drawback of these devices is due to the need of high driving volt-ages for droplet operations. In this work, alternative dielectric layers combinations were studied aiming the reduction of these driving voltages. DMF chips were designed, pro-duced and optimized according to the theory of electrowetting-on-dielectric, adopting different combinations of parylene-C and tantalum pentoxide (Ta2O5) as dielectric ma-terials, and Teflon as hydrophobic layer. With both devices’ configurations, i.e., Parylene as single dielectric, and multilayer chips combining Parylene and Ta2O5, it was possible to perform all the fluidic opera-tions in the microliter down to hundreds of nanoliters range. Multilayer chips presented significant reduction on driving voltages for droplet op-erations in silicone oil filler medium: from 70 V (parylene only) down to 30 V (parylene/Ta2O5) for dispensing; and from 50 V (parylene only) down to 15 V (parylene/Ta2O5) for movement. Peroxidase colorimetric reactions were successfully performed as proof-of-concept, using multilayer configuration devices.

Design of a low-voltage CMOS RF receiver for energy harvesting sensor node

In this thesis a CMOS low-power and low-voltage RF receiver front-end is presented. The main objective is to design this RF receiver so that it can be powered by a piezoelectric energy harvesting power source, included in a Wireless Sensor Node application. For this type of applications the major requirements are: the low-power and low-voltage operation, the reduced area and cost and the simplicity of the architecture. The system key blocks are the LNA and the mixer, which are studied and optimized with greater detail, achieving a good linearity, a wideband operation and a reduced introduction of noise. A wideband balun LNA with noise and distortion cancelling is designed to work at a 0.6 V supply voltage, in conjunction with a double-balanced passive mixer and subsequent TIA block. The passive mixer operates in current mode, allowing a minimal introduction of voltage noise and a good linearity. The receiver analog front-end has a total voltage conversion gain of 31.5 dB, a 0.1 - 4.3 GHz bandwidth, an IIP3 value of -1.35 dBm, and a noise figure lower than 9 dB. The total power consumption is 1.9 mW and the die area is 305x134.5 m2, using a standard 130 nm CMOS technology.

Social-media monitoring for cold-start recommendations

Generating personalized movie recommendations to users is a problem that most commonly relies on user-movie ratings. These ratings are generally used either to understand the user preferences or to recommend movies that users with similar rating patterns have rated highly. However, movie recommenders are often subject to the Cold-Start problem: new movies have not been rated by anyone, so, they will not be recommended to anyone; likewise, the preferences of new users who have not rated any movie cannot be learned. In parallel, Social-Media platforms, such as Twitter, collect great amounts of user feedback on movies, as these are very popular nowadays. This thesis proposes to explore feedback shared on Twitter to predict the popularity of new movies and show how it can be used to tackle the Cold-Start problem. It also proposes, at a finer grain, to explore the reputation of directors and actors on IMDb to tackle the Cold-Start problem. To assess these aspects, a Reputation-enhanced Recommendation Algorithm is implemented and evaluated on a crawled IMDb dataset with previous user ratings of old movies,together with Twitter data crawled from January 2014 to March 2014, to recommend 60 movies affected by the Cold-Start problem. Twitter revealed to be a strong reputation predictor, and the Reputation-enhanced Recommendation Algorithm improved over several baseline methods. Additionally, the algorithm also proved to be useful when recommending movies in an extreme Cold-Start scenario, where both new movies and users are affected by the Cold-Start problem.