Searches for Higgs boson pair production in the hh→bbττ,γγWW∗,γγbb,bbbb channels with the ATLAS detector

Searches for both resonant and non-resonant Higgs boson pair production are performed in the hh→bbττ,γγWW∗ final states using 20.3 fb−1 of pp collision data at a center-of-mass energy of 8 TeV recorded with the ATLAS detector at the Large Hadron Collider. No evidence of their production is observed and 95% confidence level upper limits on the production cross sections are set. These results are then combined with the published results of the hh→γγbb,bbbb analyses. An upper limit of 0.69 (0.47) pb on the non-resonant Standard Model like hh production is observed (expected), corresponding to 70 (48) times of the SM gg→hh cross section. For production via narrow resonances, cross section limits of hh production from a heavy Higgs boson decay are set as a function of the heavy Higgs boson mass. The observed (expected) limits range from 2.1 (1.1) pb at 260 GeV to 0.011 (0.018) pb at 1000 GeV. These results are interpreted in the context of two simplified scenarios of the Minimal Supersymmetric Standard Model.

Search for massive, long-lived particles using multitrack displaced vertices or displaced lepton pairs in pp collisions at s =8TeV with the ATLAS detector

Many extensions of the Standard Model posit the existence of heavy particles with long lifetimes. This article presents the results of a search for events containing at least one long-lived particle that decays at a significant distance from its production point into two leptons or into five or more charged particles. This analysis uses a data sample of proton-proton collisions at s√ = 8 TeV corresponding to an integrated luminosity of 20.3 fb−1 collected in 2012 by the ATLAS detector operating at the Large Hadron Collider. No events are observed in any of the signal regions, and limits are set on model parameters within supersymmetric scenarios involving R-parity violation, split supersymmetry, and gauge mediation. In some of the search channels, the trigger and search strategy are based only on the decay products of individual long-lived particles, irrespective of the rest of the event. In these cases, the provided limits can easily be reinterpreted in different scenarios.

Análise e simulação da produção de moldes para injeção de plásticos

Dissertação de mestrado em Engenharia Industrial

Escritas da utopia na literatura contemporânea – da utopia à distopia

Tese de Doutoramento em Ciências da Literatura (Especialidade em Literatura Comparada)

Modelos de simulação de processos por junção de componentes

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Avaliação do impacto na saúde da mobilidade no acesso aos Campi Universitários: estudo de caso UMinho

Dissertação de mestrado integrado em Engenharia Civil

Água e alimentação no contexto das alterações climáticas: um caso de estudo - Região Norte

Dissertação de mestrado integrado em Engenharia Civil

Development of a model for occupational risk acceptance criteria definition in industrial settings

Doctoral Dissertation for PhD degree in Industrial and Systems Engineering

All over the place localization system

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

Avaliação da sustentabilidade de soluções construtivas para a reabilitação da envolvente exterior dos edifícios

Dissertação de mestrado Internacional em Sustentabilidade do Ambiente Construído

Análise de sustentabilidade de soluções construtivas inovadoras para a reabilitação de edifícios antigos

Dissertação de mestrado integrado em Engenharia Civil

Coordenação de segurança em obra: metodologia, técnicas e ferramentas

Dissertação de mestrado integrado em Engenharia Civil

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.

Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

An integrated model for simulation of construction phasing of arch concrete dams

Dissertação de mestrado integrado em Civil Engineering