Momentos de inovação: emergência e evolução das protonarrativas em terapia narrativa

Dissertação de mestrado em Psicologia Aplicada

An agent-based model to assess the attractiveness of industrial estates

This article describes the main approaches adopted in a study focused on planning industrial estates on a sub-regional scale. The study was supported by an agent-based model, using firms as agents to assess the attractiveness of industrial estates. The simulation was made by the NetLogo toolkit and the environment represents a geographical space. Three scenarios and four hypotheses were used in the simulation to test the impact of different policies on the attractiveness of industrial estates. Policies were distinguished by the level of municipal coordination at which they were implemented and by the type of intervention. In the model, the attractiveness of industrial estates was based on the level of facilities, amenities, accessibility and on the price of land in each industrial estate. Firms are able to move and relocate whenever they find an attractive estate. The relocating firms were selected by their size, location and distance to an industrial estate. Results show that a coordinated policy among municipalities is the most efficient policy to promote advanced-qualified estates. In these scenarios, it was observed that more industrial estates became attractive, more firms were relocated and more vacant lots were occupied. Furthermore, the results also indicate that the promotion of widespread industrial estates with poor-quality infrastructures and amenities is an inefficient policy to attract firms.

Analysis of output properties of the Peroxiredoxin/Thioredoxin/Thioredoxin reductase system

Dissertação de mestrado em Bioinformática

Para um (novo) modelo de intervenção penal na União Europeia: uma reflexão a partir do princípio de legalidade como limite material de atuação da Procuradoria Europeia

Tese de Doutoramento em Ciências Jurídicas (área de especialização em Ciências Jurídicas - Públicas)

Search for W'→tb- in the lepton plus jets final state in proton-proton collisions at a centre-of-mass energy of s=8 TeV with the ATLAS detector

A search for new charged massive gauge bosons, called W′, is performed with the ATLAS detector at the LHC, in proton--proton collisions at a centre-of-mass energy of s√ = 8 TeV, using a dataset corresponding to an integrated luminosity of 20.3 fb−1. This analysis searches for W′ bosons in the W′→tb¯ decay channel in final states with electrons or muons, using a multivariate method based on boosted decision trees. The search covers masses between 0.5 and 3.0 TeV, for right-handed or left-handed W′ bosons. No significant deviation from the Standard Model expectation is observed and limits are set on the W′→tb¯ cross-section times branching ratio and on the W′-boson effective couplings as a function of the W′-boson mass using the CLs procedure. For a left-handed (right-handed) W′ boson, masses below 1.70 (1.92) TeV are excluded at 95% confidence level.

Search for Higgs bosons decaying to aa in the μμττ final state in pp collisions at s√= 8 TeV with the ATLAS experiment

A search for the decay to a pair of new particles of either the 125 GeV Higgs boson (h) or a second CP-even Higgs boson (H) is presented. The dataset correspods to an integrated luminosity of 20.3 fb−1 of pp collisions at s√= 8 TeV recorded by the ATLAS experiment at the LHC in 2012. The search was done in the context of the next-to-minimal supersymmetric standard model, in which the new particles are the lightest neutral pseudoscalar Higgs bosons (a). One of the two a bosons is required to decay to two muons while the other is required to decay to two τ-leptons. No significant excess is observed above the expected backgrounds in the dimuon invariant mass range from 3.7 GeV to 50 GeV. Upper limits are placed on the production of h→aa relative to the Standard Model gg→h production, assuming no coupling of the a boson to quarks. The most stringent limit is placed at 3.5% for ma= 3.75 GeV. Upper limits are also placed on the production cross section of H→aa from 2.33 pb to 0.72 pb, for fixed ma = 5 GeV with mH ranging from 100 GeV to 500 GeV.

Search for production of vector-like quark pairs and of four top quarks in the lepton-plus-jets final state in pp collisions at root 8=8 TeV with the ATLAS detector

A search for pair production of vector-like quarks, both up-type (T) and down-type (B), as well as for four-top-quark production, is presented. The search is based on pp collisions at s√=8 TeV recorded in 2012 with the ATLAS detector at the CERN Large Hadron Collider and corresponding to an integrated luminosity of 20.3 fb−1. Data are analysed in the lepton-plus-jets final state, characterised by an isolated electron or muon with high transverse momentum, large missing transverse momentum and multiple jets. Dedicated analyses are performed targeting three cases: a T quark with significant branching ratio to a W boson and a b-quark (TT¯→Wb+X), and both a T quark and a B quark with significant branching ratio to a Higgs boson and a third-generation quark (TT¯→Ht+X and BB¯→Hb+X respectively). No significant excess of events above the Standard Model expectation is observed, and 95% CL lower limits are derived on the masses of the vector-like T and B quarks under several branching ratio hypotheses assuming contributions from T→Wb, Zt, Ht and B→Wt, Zb, Hb decays. The 95% CL observed lower limits on the T quark mass range between 715 GeV and 950 GeV for all possible values of the branching ratios into the three decay modes, and are the most stringent constraints to date. Additionally, the most restrictive upper bounds on four-top-quark production are set in a number of new physics scenarios.

Search for charged Higgs bosons decaying via H± → τ±ν in fully hadronic final states using pp collision data at √s = 8 TeV with the ATLAS detector

The results of a search for charged Higgs bosons decaying to a τ lepton and a neutrino, H±→τ±ν, are presented. The analysis is based on 19.5 fb−1 of proton--proton collision data at s√=8 TeV collected by the ATLAS experiment at the Large Hadron Collider. Charged Higgs bosons are searched for in events consistent with top-quark pair production or in associated production with a top quark. The final state is characterised by the presence of a hadronic τ decay, missing transverse momentum, b-tagged jets, a hadronically decaying W boson, and the absence of any isolated electrons or muons with high transverse momenta. The data are consistent with the expected background from Standard Model processes. A statistical analysis leads to 95% confidence-level upper limits on the product of branching ratios B(t→bH±)×B(H±→τ±ν), between 0.23% and 1.3% for charged Higgs boson masses in the range 80--160 GeV. It also leads to 95% confidence-level upper limits on the production cross section times branching ratio, σ(pp→tH±+X)×B(H±→τ±ν), between 0.76 pb and 4.5 fb, for charged Higgs boson masses ranging from 180 GeV to 1000 GeV. In the context of different scenarios of the Minimal Supersymmetric Standard Model, these results exclude nearly all values of tanβ above one for charged Higgs boson masses between 80 GeV and 160 GeV, and exclude a region of parameter space with high tanβ for H± masses between 200 GeV and 250 GeV.

Search for resonant diboson production in the ℓℓqq¯ final state in pp collisions at s√=8 TeV with the ATLAS detector

This paper reports on a search for narrow resonances in diboson production in the ℓℓqq¯ final state using pp collision data corresponding to an integrated luminosity of 20fb−1 collected at s√=8 TeV with the ATLAS detector at the Large Hadron Collider. No significant excess of data events over the Standard Model expectation is observed. Upper limits at the 95% confidence level are set on the production cross section times branching ratio for Kaluza--Klein gravitons predicted by the Randall--Sundrum model and for Extended Gauge Model W' bosons. These results lead to the exclusion of mass values below 740 GeV and 1590 GeV for the graviton and W' boson respectively.

Spontaneous healing of Mycobacterium ulcerans lesions in the guinea pig model

Buruli Ulcer (BU) is a necrotizing skin disease caused by Mycobacterium ulcerans infection. BU is characterized by a wide range of clinical forms, including non-ulcerative cutaneous lesions that can evolve into severe ulcers if left untreated. Nevertheless, spontaneous healing has been reported to occur, although knowledge on this process is scarce both in naturally infected humans and experimental models of infection. Animal models are useful since they mimic different spectrums of human BU disease and have the potential to elucidate the pathogenic/protective pathway(s) involved in disease/healing. In this time-lapsed study, we characterized the guinea pig, an animal model of resistance to M. ulcerans, focusing on the macroscopic, microbiological and histological evolution throughout the entire experimental infectious process. Subcutaneous infection of guinea pigs with a virulent strain of M. ulcerans led to early localized swelling, which evolved into small well defined ulcers. These macroscopic observations correlated with the presence of necrosis, acute inflammatory infiltrate and an abundant bacterial load. By the end of the infectious process when ulcerative lesions healed, M. ulcerans viability decreased and the subcutaneous tissue organization returned to its normal state after a process of continuous healing characterized by tissue granulation and reepethelialization. In conclusion, we show that the experimental M. ulcerans infection of the guinea pig mimics the process of spontaneous healing described in BU patients, displaying the potential to uncover correlates of protection against BU, which can ultimately contribute to the development of new prophylactic and therapeutic strategies.

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Model spaces and Toeplitz kernels in reflexive Hardy spaces

This paper considers model spaces in an Hp setting. The existence of unbounded functions and the characterisation of maximal functions in a model space are studied, and decomposition results for Toeplitz kernels, in terms of model spaces, are established

The state of art of biological processes in paternal care

This review of the state of art aimed to present the most recent data on neuronal, neurochemical, hormonal and genetic bases of paternal care using MEDLINE and PsycInfo databases (1970-2013). An integrated model of biological substrates that assist men in the transition to fatherhood is presented. Guided by a genetic background, hypothalamic-midbrain-limbic-paralimbic-cortical circuits were found to be activated in fathers when infant stimuli are presented. A set of specifi c neuropeptides and steroid hormones are produced and seem to be related to brain activation, potentiating the paternal phenotype. Together, genetic, brain and hormonal processes suggest the existence of biological bases of paternal care in humans, activated and enhanced by infant stimuli and responsive to variations in the father-infant relationship.

Experimental validation of a proposed single-phase five-level active rectifier operating with model predictive current control

This paper presents a model predictive current control applied to a proposed single-phase five-level active rectifier (FLAR). This current control strategy uses the discrete-time nature of the active rectifier to define its state in each sampling interval. Although the switching frequency is not constant, this current control strategy allows to follow the reference with low total harmonic distortion (THDF). The implementation of the active rectifier that was used to obtain the experimental results is described in detail along the paper, presenting the circuit topology, the principle of operation, the power theory, and the current control strategy. The experimental results confirm the robustness and good performance (with low current THDF and controlled output voltage) of the proposed single-phase FLAR operating with model predictive current control.

On modified simple reacting spheres kinetic model for chemically reactive gases

Versão dos autores para esta publicação.