Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

Database repairs with answer set programming

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

Cantor exchange systems and renormalization

We prove a one-to-one correspondence between (i) C1+ conjugacy classes of C1+H Cantor exchange systems that are C1+H fixed points of renormalization and (ii) C1+ conjugacy classes of C1+H diffeomorphisms f with a codimension 1 hyperbolic attractor Lambda that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Lambda. However, we prove that there is no C1+alpha Cantor exchange system, with bounded geometry, that is a C1+alpha fixed point of renormalization with regularity alpha greater than the Hausdorff dimension of its invariant Cantor set.

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.

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 Λ.

Factorization of elliptic boundary value problems by invariant embedding and application to overdetermined problems

Dissertação para obtenção do Grau de Doutor em Matemática

Avaliação da Morbilidade e Mortalidade no Serviço de Ginecologia da Maternidade Dr. Alfredo da Costa. Jan/Set 1991

Foram avaliados todos os internamentos no Serviço de Ginecologia da MAC de 2 de Janeiro a 19 de Setembro de 1991. O critério de selecção baseou-se no registo de morbilidade intra-operatória e no prolongamento de tempo de internamento. Foram estudados os dados relativos à idade, factores de risco associados, risco anestésico, tipo de intervenção cirúrgica, tempo operatório, tipo de complicações e média de tempo de internamento. Verificou-se uma morbilidade global de 5,6%, tendo-se constatado uma maior incidência de complicações no grupo das histerectomias abdominais (16,8%). Nos casos com morbilidade 72% apresentavam um ou mais factores de risco associados. Ocorreram 5 lesões de órgão (0,73%), 33 complicações pós-operatórias (4,8%) e 7 reintervenções (1%). A média de internamento neste grupo de doentes foi de 11 dias.

EDP InovCity pilot study proposal: A set-top box interface

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

The brushstroke and materials of Amadeo de Souza-Cardoso combined in an authentication tool

Nowadays, authentication studies for paintings require a multidisciplinary approach, based on the contribution of visual features analysis but also on characterizations of materials and techniques. Moreover, it is important that the assessment of the authorship of a painting is supported by technical studies of a selected number of original artworks that cover the entire career of an artist. This dissertation is concerned about the work of modernist painter Amadeo de Souza-Cardoso. It is divided in three parts. In the first part, we propose a tool based on image processing that combines information obtained by brushstroke and materials analysis. The resulting tool provides qualitative and quantitative evaluation of the authorship of the paintings; the quantitative element is particularly relevant, as it could be crucial in solving authorship controversies, such as judicial disputes. The brushstroke analysis was performed by combining two algorithms for feature detection, namely Gabor filter and Scale Invariant Feature Transform. Thanks to this combination (and to the use of the Bag-of-Features model), the proposed method shows an accuracy higher than 90% in distinguishing between images of Amadeo’s paintings and images of artworks by other contemporary artists. For the molecular analysis, we implemented a semi-automatic system that uses hyperspectral imaging and elemental analysis. The system provides as output an image that depicts the mapping of the pigments present, together with the areas made using materials not coherent with Amadeo’s palette, if any. This visual output is a simple and effective way of assessing the results of the system. The tool proposed based on the combination of brushstroke and molecular information was tested in twelve paintings obtaining promising results. The second part of the thesis presents a systematic study of four selected paintings made by Amadeo in 1917. Although untitled, three of these paintings are commonly known as BRUT, Entrada and Coty; they are considered as his most successful and genuine works. The materials and techniques of these artworks have never been studied before. The paintings were studied with a multi-analytical approach using micro-Energy Dispersive X-ray Fluorescence spectroscopy, micro-Infrared and Raman Spectroscopy, micro-Spectrofluorimetry and Scanning Electron Microscopy. The characterization of Amadeo’s materials and techniques used on his last paintings, as well as the investigation of some of the conservation problems that affect these paintings, is essential to enrich the knowledge on this artist. Moreover, the study of the materials in the four paintings reveals commonalities between the paintings BRUT and Entrada. This observation is supported also by the analysis of the elements present in a photograph of a collage (conserved at the Art Library of the Calouste Gulbenkian Foundation), the only remaining evidence of a supposed maquete of these paintings. The final part of the thesis describes the application of the image processing tools developed in the first part of the thesis on a set of case studies; this experience demonstrates the potential of the tool to support painting analysis and authentication studies. The brushstroke analysis was used as additional analysis on the evaluation process of four paintings attributed to Amadeo, and the system based on hyperspectral analysis was applied on the painting dated 1917. The case studies therefore serve as a bridge between the first two parts of the dissertation.

EDP inovcity pilot study proposal: A set-top box interface

In this work I propose an additional test to be implemented in EDP’s residential electricity use feedback trials, under InovCity’s project scope. The proposed product to be tested consists of an interface between the smart meter and the television, through a set-top box. I provide a theoretical framework of the importance of feedback, an analysis of results from past studies involving smart metering, and a detailed description of my proposal. The results of a self-developed questionnaire related to the proposal and segmentation issues are also analyzed. Finally, general conclusions are drawn and potential future improvements and challenges are presented.

How aspiring filmmakers cope with unexpected events on set

Making the transition between plans and unexpected occurrences is something organizations are used to doing every day. However, not much is known about how actors cope with unanticipated events and how they accommodate them within predefined schedules. In this study, we draw on an inductive analysis of aspiring filmmakers’ film sets to elaborate on how they plan their shooting activities every day, only to adjust them when unforeseen complications arise. We discover that film crews anchor their expectations for the day based on a planned shooting schedule, yet they incorporate a built-in assumption that it will inevitably be disrupted. We argue that they resort to triage processes and “troubleshooting protocols” that help decipher incoming problems. Familiar problems are solved by making use of experience obtained from past situations, whereas unprecedented problems are solved through a tacit protocol used as a tool to quickly devise an appropriate game plan. This study contributes to the literature on sense-making and provides valuable information about the unexplored world of filmmaking.

Regret associated with past and future messes under a maximizing mind-set

Promotions can make you happy if you get the “best” deal or miserable if you miss it. Previous research on this topic has shown that people favor products associated with a past miss to products associated with a future miss, and people in a maximizing mind-set, i.e. people who search for the best in different domains, feel more regret in a consumption domain. This research confirms that consumers prefer purchasing a product associated with a past miss (Experiments 1 and 2) and that regret levels are higher when participants come across the future miss, under the maximizing mind-set (Experiment 2). These studies add to the notion that information on regret might prompt people to make decisions towards a more optimistic outcome.

Differential top-antitop cross-section measurements as a function of observables constructed from final-state particles using pp collisions at s√=7 TeV in the ATLAS detector

Various differential cross-sections are measured in top-quark pair (tt¯) events produced in proton--proton collisions at a centre-of-mass energy of s√=7 TeV at the LHC with the ATLAS detector. These differential cross-sections are presented in a data set corresponding to an integrated luminosity of 4.6 fb−1. The differential cross-sections are presented in terms of kinematic variables of a top-quark proxy referred to as the pseudo-top-quark whose dependence on theoretical models is minimal. The pseudo-top-quark can be defined in terms of either reconstructed detector objects or stable particles in an analogous way. The measurements are performed on tt¯ events in the lepton+jets channel, requiring exactly one charged lepton and at least four jets with at least two of them tagged as originating from a b-quark. The hadronic and leptonic pseudo-top-quarks are defined via the leptonic or hadronic decay mode of the W boson produced by the top-quark decay in events with a single charged lepton.The cross-section is measured as a function of the transverse momentum and rapidity of both the hadronic and leptonic pseudo-top-quark as well as the transverse momentum, rapidity and invariant mass of the pseudo-top-quark pair system. The measurements are corrected for detector effects and are presented within a kinematic range that closely matches the detector acceptance. Differential cross-section measurements of the pseudo-top-quark variables are compared with several Monte Carlo models that implement next-to-leading order or leading-order multi-leg matrix-element calculations.

Search for anomalous production of prompt same-sign lepton pairs and pair-produced doubly charged Higgs bosons with s√ = 8 TeV pp collisions using the ATLAS detector

A low-background inclusive search for new physics in events with same-sign dileptons is presented. The search uses proton--proton collisions corresponding to 20.3 fb−1 of integrated luminosity taken in 2012 at a centre-of-mass energy of 8 TeV with the ATLAS detector at the LHC. Pairs of isolated leptons with the same electric charge and large transverse momenta of the type e±e±,e±μ±, and μ±μ± are selected and their invariant mass distribution is examined. No excess of events above the expected level of Standard Model background is found. The results are used to set upper limits on the cross sections for processes beyond the Standard Model. Limits are placed as a function of the dilepton invariant mass within a fiducial region corresponding to the signal event selection criteria. Exclusion limits are also derived for a specific model of doubly charged Higgs boson production.

Search for high-mass diboson resonances with boson-tagged jets in proton-proton collisions at √s = 8TeV with the ATLAS detector

A search is performed for narrow resonances decaying into WW, WZ, or ZZ boson pairs using 20.3 fb−1 of proton--proton collision data at a centre-of-mass energy of s√ = 8 TeV recorded with the ATLAS detector at the Large Hadron Collider. Diboson resonances with masses in the range from 1.3 to 3.0 TeV are sought after using the invariant mass distribution of dijets where both jets are tagged as a boson jet, compatible with a highly boosted W or Z boson decaying to quarks, using jet mass and substructure properties. The largest deviation from a smoothly falling background in the observed dijet invariant mass distribution occurs around 2 TeV in the WZ channel, with a global significance of 2.5 standard deviations. Exclusion limits at the 95% confidence level are set on the production cross section times branching ratio for the WZ final state of a new heavy gauge boson, W′, and for the WW and ZZ final states of Kaluza--Klein excitations of the graviton in a bulk Randall--Sundrum model, as a function of the resonance mass. W′ bosons with couplings predicted by the extended gauge model in the mass range from 1.3 to 1.5 TeV are excluded at 95% confidence level.