Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Organised turbulence over mobile and immobile hydraulically rough boundaries

33rd IAHR Congress: Water Engineering for a Sustainable Environment

Data queries over heterogeneous sources

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

Vitamimos: Children take control over nutrition

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

Spill-over effects in multi-partner loyalty programs

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

Coherent structures in open channel flows with bed load transport over an hydraulically rough bed

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Estruturas

Tax policy stance over the business cycle: evidence from Europe

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

Positive self-image over time

This paper incorporates egocentric comparisons into a human capital accumulation model and studies the evolution of positive self image over time. The paper shows that the process of human capital accumulation together with egocentric comparisons imply that positive self image of a cohort is first increasing and then decreasing over time. Additionally, the paper finds that positive self image: (1) peaks earlier in activities where skill depreciation is higher, (2) is smaller in activities where the distribution of income is more dispersed, (3) is not a stable characteristic of an individual, and (4) is higher for more patient individuals.

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

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

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

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

The financial leverage of large Portuguese Firms in the European context

The Financial Leverage of Large Portuguese Firms in the European Context This paper studies the leverage, cost of debt servicing ability and structure of debt maturity of large Portuguese firms, over the pre-crisis (2006-2009) and post-crisis (2010-2013) periods through a comparative analysis with other European peers. We document that large Portuguese firms have been reducing their leverage since the end of 2009. We find that this decrease in leverage is not a consequence higher Equity levels but rather a result of asset’s downsizing. We also document that Portuguese firms are still more leveraged than their European peers, even though this difference has decreased over time. High corporate debt levels are transversal across industries.