Ontology-based representation and generation of workflows for micro-task human-machine computation

Doctoral Program in Computer Science

Relação entre regulação das ordens profissionais e gestão jurisdicional dos profissionais de contabilidade: estudo comparado entre Portugal e o Brasil

Tese de Doutoramento em Ciência da Administração

Contribuição da susceptibilidade genética e do contexto ambiental na representação da vinculação em crianças em idade pré-escolar

Dissertação de mestrado integrado em Psicologia

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.

Arquitecturas imaginárias. Espaço real e ilusório no Barroco português

Tese de Doutoramento em Arquitectura / Cultura Arquitectónica.

Determination of the top-quark pole mass using t(t)over-bar+1-jet events collected with the ATLAS experiment in 7 TeV pp collisions

The normalized differential cross section for top-quark pair production in association with at least one jet is studied as a function of the inverse of the invariant mass of the tt¯+1-jet system. This distribution can be used for a precise determination of the top-quark mass since gluon radiation depends on the mass of the quarks. The experimental analysis is based on proton--proton collision data collected by the ATLAS detector at the LHC with a centre-of-mass energy of 7 TeV corresponding to an integrated luminosity of 4.6 fb−1. The selected events were identified using the lepton+jets top-quark-pair decay channel, where lepton refers to either an electron or a muon. The observed distribution is compared to a theoretical prediction at next-to-leading-order accuracy in quantum chromodynamics using the pole-mass scheme. With this method, the measured value of the top-quark pole mass, mpolet, is: mpolet =173.7 ± 1.5 (stat.) ± 1.4 (syst.) +1.0−0.5 (theory) GeV. This result represents the most precise measurement of the top-quark pole mass to date.

3D representation of the urban evolution of Braga using the cityengine tool

The morphological evolution of the city of Braga has been the subject of several studies focusing on different urban areas in different periods. Using the accumulated knowledge provided by the available archaeological, historical and iconographic data of Braga, from the Roman times to the nineteenth century, we intend to present a working methodology for 3D representation of urban areas and its evolution, using the CityEngine ESRI tool. Different types of graphic and cartographic data will be integrated in an archaeological information system for the characterization of urban buildings. Linking this information system to the rules of characterization of urban spaces through the CityEngine tool, we can create the 3D urban spaces and their changes. The building characterization rules include several parameters of architectural elements that can be dynamically changed according the latest information. This methodology will be applied to the best known areas within of the city allowing the creation of different and dynamic layouts. Considerations about the concepts, challenges and constraints of using the CityEngine tool for recording and representing urban evolution knowledge will be discussed.

Measurement of the t(t)over-barW and t(t)over-barZ production cross sections in pp collisions at root s=8 TeV with the ATLAS detector

The production cross sections of top-quark pairs in association with massive vector bosons have been measured using data from pp collisions at s√=8 TeV. The dataset corresponds to an integrated luminosity of 20.3 fb−1 collected by the ATLAS detector in 2012 at the LHC. Final states with two, three or four leptons are considered. A fit to the data considering the tt¯W and tt¯Z processes simultaneously yields a significance of 5.0σ (4.2σ) over the background-only hypothesis for tt¯W (tt¯Z) production. The measured cross sections are σtt¯W=369+100−91 fb and σtt¯Z=176+58−52 fb. The background-only hypothesis with neither tt¯W nor tt¯Z production is excluded at 7.1σ. All measurements are consistent with next-to-leading-order calculations for the tt¯W and tt¯Z processes.

A search for t(t)over-bar resonances using lepton-plus-jets events in proton-proton collisions at root s=8 TeV with the ATLAS detector

A search for new particles that decay into top quark pairs is reported. The search is performed with the ATLAS experiment at the LHC using an integrated luminosity of 20.3 fb−1 of proton-proton collision data collected at a centre-of-mass energy of s√=8 TeV. The lepton-plus-jets final state is used, where the top pair decays to W+bW−b¯¯, with one W boson decaying leptonically and the other hadronically. The invariant mass spectrum of top quark pairs is examined for local excesses or deficits that are inconsistent with the Standard Model predictions. No evidence for a top quark pair resonance is found, and 95% confidence-level limits on the production rate are determined for massive states in benchmark models. The upper limits on the cross-section times branching ratio of a narrow Z′ boson decaying to top pairs range from 4.2 pb to 0.03 pb for resonance masses from 0.4 TeV to 3.0 TeV. A narrow leptophobic topcolour Z′ boson with mass below 1.8 TeV is excluded. Upper limits are set on the cross-section times branching ratio for a broad colour-octet resonance with Γ/m = 15% decaying to tt¯. These range from 4.8 pb to 0.03 pb for masses from 0.4 TeV to 3.0 TeV. A Kaluza-Klein excitation of the gluon in a Randall-Sundrum model is excluded for masses below 2.2 TeV.

Measurement of colour flow with the jet pull angle in t(t)over-bar events using the ATLAS detector at root s=8 TeV

The distribution and orientation of energy inside jets is predicted to be an experimental handle on colour connections between the hard--scatter quarks and gluons initiating the jets. This Letter presents a measurement of the distribution of one such variable, the jet pull angle. The pull angle is measured for jets produced in tt¯ events with one W boson decaying leptonically and the other decaying to jets using 20.3 fb−1 of data recorded with the ATLAS detector at a centre--of--mass energy of s√=8 TeV at the LHC. The jet pull angle distribution is corrected for detector resolution and acceptance effects and is compared to various models.

Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

All over the place localization system

The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto

Classificação e organização de objetos BIM e sua aplicação em modelos 4D&5D

Dissertação de mestrado integrado em Engenharia Civil

Ontological representation of tumor-node-metastasis classification and an ontology-driven classifier: a study on colorectal cancer

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

The electoral dynamics of human development

This paper analyses the impact of elections on the dynamics of human development in a panel of 82 countries over the period 1980-2013. The incidence of partisan and political support effects is also taken into account. A GMM estimator is employed in the empirical analysis and the results point out to the presence of an electoral cycle in the growth rate of human development. Majority governments also influence it, but no clear evidence is found regarding partisan effects. The electoral cycles have proved to be stronger in non-OECD countries, in countries with less frequent elections, with lower levels of income and human development, in presidential and non-plurality systems and in proportional representation regimes. They have also become more intense in this millennium.