Search for Dark Matter in Events with Missing Transverse Momentum and a Higgs Boson Decaying to Two Photons in pp Collisions at root s=8 TeV with the ATLAS Detector

Results of a search for new phenomena in events with large missing transverse momentum and a Higgs boson decaying to two photons are reported. Data from proton--proton collisions at a center-of-mass energy of 8 TeV and corresponding to an integrated luminosity of 20.3 fb−1 have been collected with the ATLAS detector at the LHC. The observed data are well described by the expected Standard Model backgrounds. Upper limits on the cross section of events with large missing transverse momentum and a Higgs boson candidate are also placed. Exclusion limits are presented for models of physics beyond the Standard Model featuring dark-matter candidates.

Desenvolvimento de um filtro ativo paralelo com CSI e controlo de corrente no barramento CC

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

As disfunções da memória organizacional e suas implicações no uso dos sistemas de informação: um caso de estudo

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

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.

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.

Análise custo-benefício da integração de painéis solares térmicos na reabilitação de um edifício

Dissertação de mestrado integrado em Engenharia Civil

Searching for therapeutic strategies in a mouse modelo of Machado-Joseph disease: targeting proteostases

Tese de Doutoramento em Ciências da Saúde

Identificação do tipo e quantidade de PCM adequado ao clima Português

Dissertação de mestrado integrado em Engenharia Civil

Relacionamentos em MMORPGs: online e offline

Dissertação de mestrado em Comunicação, Arte e Cultura

O contrato para a assunção de encargos relativos a obras de urbanização (gerais e especiais): um contrato entre dois territórios jurídicos?

Dissertação de mestrado em Direito Administrativo

Glazing daylighting performance and Trombe wall thermal performance of a modular façade system in four different Portuguese cities

This paper reports on a new façade system that uses passive solutions in the search for energy efficiency. The differentials are the versatility and flexibility of the modules, which are important advantages of the system. The thermal performance of Trombe walls and glazings and the daylighting performance of glazing were the key aspects analyzed in the results. Computational simulations were accomplished for the thermal performance of different arrangements of the modules with DesignBuilder software. The glazing daylighting performance was studied by means of Ecotect and Desktop Radiance programs and compared with the transmittance curves of glazings. Occupancy profile and internal gains were fixed according to the Portuguese reality for both studies. The main characteristics considered in this research were the use of two double glazings, four different climates in Portugal and one and two Trombe walls in the façade. The results show an important reduction in the energy consumption with the use of Trombe walls and double self-cleaning glazing in the façade, which also presented better daylighting performance.

BIOMedical search engine framework: lightweight and customized implementation of domain-specific biomedical search engines

The Smart Drug Search is publicly accessible at http://sing.ei.uvigo.es/sds/. The BIOMedical Search Engine Framework is freely available for non-commercial use at https://github.com/agjacome/biomsef

Anaerobic oxidation of methane associated with sulfate reduction in a natural freshwater gas source

The occurrence of anaerobic oxidation of methane (AOM) and trace methane oxidation (TMO) was investigated in a freshwater natural gas source. Sediment samples were taken and analyzed for potential electron acceptors coupled to AOM. Long-term incubations with 13C-labeled CH4 (13CH4) and different electron acceptors showed that both AOM and TMO occurred. In most conditions, 13C-labeled CO2 (13CO2) simultaneously increased with methane formation, which is typical for TMO. In the presence of nitrate, neither methane formation nor methane oxidation occurred. Net AOM was measured only with sulfate as electron acceptor. Here, sulfide production occurred simultaneously with 13CO2 production and no methanogenesis occurred, excluding TMO as a possible source for 13CO2 production from 13CH4. Archaeal 16S rRNA gene analysis showed the highest presence of ANME-2a/b (ANaerobic MEthane oxidizing archaea) and AAA (AOM Associated Archaea) sequences in the incubations with methane and sulfate as compared with only methane addition. Higher abundance of ANME-2a/b in incubations with methane and sulfate as compared with only sulfate addition was shown by qPCR analysis. Bacterial 16S rRNA gene analysis showed the presence of sulfate-reducing bacteria belonging to SEEP-SRB1. This is the first report that explicitly shows that AOM is associated with sulfate reduction in an enrichment culture of ANME-2a/b and AAA methanotrophs and SEEP-SRB1 sulfate reducers from a low-saline environment.