Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Search for higgs and Z boson decays to J/ψγ and (nS)γ with the ATLAS detector

A search for the decays of the Higgs and Z bosons to J/ψγ and Υ(nS)γ (n=1,2,3) is performed with pp collision data samples corresponding to integrated luminosities of up to 20.3fb−1 collected at s√=8TeV with the ATLAS detector at the CERN Large Hadron Collider. No significant excess of events is observed above expected backgrounds and 95% CL upper limits are placed on the branching fractions. In the J/ψγ final state the limits are 1.5×10−3 and 2.6×10−6 for the Higgs and Z bosons, respectively, while in the Υ(1S,2S,3S)γ final states the limits are (1.3,1.9,1.3)×10−3 and (3.4,6.5,5.4)×10−6, respectively.

Simultaneous measurements of the tt¯, W+W−, and Z/γ∗→ττ production cross-sections in pp collisions at s√=7 TeV with the ATLAS detector

Simultaneous measurements of the tt¯, W+W−, and Z/γ∗→ττ production cross-sections using an integrated luminosity of 4.6 fb−1 of pp collisions at s√=7 TeV collected by the ATLAS detector at the LHC are presented. Events are selected with two high transverse momentum leptons consisting of an oppositely charged electron and muon pair. The three processes are separated using the distributions of the missing transverse momentum of events with zero and greater than zero jet multiplicities. Measurements of the fiducial cross-section are presented along with results that quantify for the first time the underlying correlations in the predicted and measured cross-sections due to proton parton distribution functions. These results indicate that the correlated NLO predictions for tt¯ and Z/γ∗→ττ significantly underestimate the data, while those at NNLO generally describe the data well. The full cross-sections are measured to be σ(tt¯)=181.2±2.8+9.7−9.5±3.3±3.3 pb, σ(W+W−)=53.3±2.7+7.3−8.0±1.0±0.5 pb, and σ(Z/γ∗→ττ)=1174±24+72−87±21±9 pb, where the cited uncertainties are due to statistics, systematic effects, luminosity and the LHC beam energy measurement, respectively.

Search for heavy lepton resonances decaying to a Z boson and a lepton in pp collisions at s√=8 TeV with the ATLAS detector

A search for heavy leptons decaying to a Z boson and an electron or a muon is presented. The search is based on pp collision data taken at s√=8 TeV by the ATLAS experiment at the CERN Large Hadron Collider, corresponding to an integrated luminosity of 20.3 fb−1. Three high-transverse-momentum electrons or muons are selected, with two of them required to be consistent with originating from a Z boson decay. No significant excess above Standard Model background predictions is observed, and 95% confidence level limits on the production cross section of high-mass trilepton resonances are derived. The results are interpreted in the context of vector-like lepton and type-III seesaw models. For the vector-like lepton model, most heavy lepton mass values in the range 114-176 GeV are excluded. For the type-III seesaw model, most mass values in the range 100-468 GeV are excluded.

Observation and measurements of the production of prompt and non-prompt J/ψ mesons in association with a Z boson in pp collisions at s√ = 8 TeV with the ATLAS detector

The production of a Z boson in association with a J/ψ meson in proton--proton collisions probes the production mechanisms of quarkonium and heavy flavour in association with vector bosons, and allows studies of multiple parton scattering. Using 20.3fb−1 of data collected with the ATLAS experiment at the LHC, in pp collisions at s√=8 TeV, the first measurement of associated Z+J/ψ production is presented for both prompt and non-prompt J/ψ production, with both signatures having a significance in excess of 5σ. The inclusive production cross-sections for Z boson production (in μ+μ− or e+e− decay modes) in association with prompt and non-prompt J/ψ(→μ+μ−) are measured relative to the inclusive production rate of Z bosons in the same fiducial volume to be (88±16±6)×10−8 and (157±22±10)×10−8 respectively. Normalised differential production cross-sections are also determined as a function of the J/ψ transverse momentum. The fraction of signal events arising from single and double parton scattering is estimated, and a lower limit of 5.3 (3.7)mb at 68 (95) confidence level is placed on the effective cross-section regulating double parton interactions.

Search for the bb¯ decay of the Standard Model Higgs boson in associated (W/Z)H production with the ATLAS detector

A search for the bb¯ decay of the Standard Model Higgs boson is performed with the ATLAS experiment using the full dataset recorded at the LHC in Run 1. The integrated luminosities used from pp collisions at s√=7 and 8 TeV are 4.7 and 20.3 fb−1, respectively. The processes considered are associated (W/Z)H production, where W→eν/μν, Z→ee/μμ and Z→νν. The observed (expected) deviation from the background-only hypothesis corresponds to a significance of 1.4 (2.6) standard deviations and the ratio of the measured signal yield to the Standard Model expectation is found to be μ=0.52±0.32(stat.)±0.24(syst.) for a Higgs boson mass of 125.36 GeV. The analysis procedure is validated by a measurement of the yield of (W/Z)Z production with Z→bb¯ in the same final states as for the Higgs boson search, from which the ratio of the observed signal yield to the Standard Model expectation is found to be 0.74±0.09(stat.)±0.14(syst.).

Antifungal action of three (Z)-5-amino-N'-aryl-1-methyl-1H-imidazole-4-carbohydrazonamides

[Excerpt] The incidence of fungal infections has greatly increased in patients under sustained immunosuppression with considerable risk associated. Difficulties regarding prompt diagnosis and the limited therapeutic options dictate high mortality rates. Available antifungals display substantial toxicity, a predictable consequence of the cellular structure of the organisms involved, reduced spectrum of activity, and drug interactions. Our group had previously identified three (Z)-5-amino-N'-aryl-1-methyl-1H-imidazole-4-carbohydrazonamides 1 [aryl= phenyl (1a), 4-fluorophenyl (1b), 3fluorophenyl (1c)] as potent antifungal agents.1 (...)

Study of (W/Z)H production and Higgs boson couplings using H -> WW* decays with the ATLAS detector

A search for Higgs boson production in association with a W or Z boson, in the H→ W W ∗ decay channel, is performed with a data sample collected with the ATLAS detector at the LHC in proton-proton collisions at centre-of-mass energies s√=7 TeV and 8 TeV, corresponding to integrated luminosities of 4.5 fb−1 and 20.3 fb−1, respectively. The WH production mode is studied in two-lepton and three-lepton final states, while two- lepton and four-lepton final states are used to search for the ZH production mode. The observed significance, for the combined W H and ZH production, is 2.5 standard deviations while a significance of 0.9 standard deviations is expected in the Standard Model Higgs boson hypothesis. The ratio of the combined W H and ZH signal yield to the Standard Model expectation, μ V H , is found to be μ V H  = 3.0 − 1.1 + 1.3 (stat.) − 0.7 + 1.0 (sys.) for the Higgs boson mass of 125.36 GeV. The W H and ZH production modes are also combined with the gluon fusion and vector boson fusion production modes studied in the H → W W ∗ → ℓνℓν decay channel, resulting in an overall observed significance of 6.5 standard deviations and μ ggF + VBF + VH = 1. 16 − 0.15 + 0.16 (stat.) − 0.15 + 0.18 (sys.). The results are interpreted in terms of scaling factors of the Higgs boson couplings to vector bosons (κ V ) and fermions (κ F ); the combined results are: |κ V | = 1.06 − 0.10 + 0.10 , |κ F | = 0. 85 − 0.20 + 0.26 .

Z boson production in p plus Pb collisions at root S-NN=5.02 TeV measured with the ATLAS detector

The ATLAS Collaboration measures the inclusive production of Z bosons via their decays into electron and muon pairs in p+Pb collisions at sNN−−−√=5.02TeV at the Large Hadron Collider. The measurements are made using data corresponding to integrated luminosities of 29.4 and 28.1 nb−1 for Z→ee and Z→μμ, respectively. The results from the two channels are consistent and combined to obtain a cross section times the Z→ℓℓ branching ratio, integrated over the rapidity region ∣∣y∗Z|<3.5, of 139.8±4.8(statistical)±6.2(systematic)±3.8 (luminosity) nb. Differential cross sections are presented as functions of the Z boson rapidity and transverse momentum and compared with models based on parton distributions both with and without nuclear corrections. The centrality dependence of Z boson production in p+Pb collisions is measured and analyzed within the framework of a standard Glauber model and the model's extension for fluctuations of the underlying nucleon-nucleon scattering cross section.

Modelling Z→ττ processes in ATLAS with τ-embedded Z→μμ data

This paper describes the concept, technical realisation and validation of a largely data-driven method to model events with Z→ττ decays. In Z→μμ events selected from proton-proton collision data recorded at s√=8 TeV with the ATLAS experiment at the LHC in 2012, the Z decay muons are replaced by τ leptons from simulated Z→ττ decays at the level of reconstructed tracks and calorimeter cells. The τ lepton kinematics are derived from the kinematics of the original muons. Thus, only the well-understood decays of the Z boson and τ leptons as well as the detector response to the τ decay products are obtained from simulation. All other aspects of the event, such as the Z boson and jet kinematics as well as effects from multiple interactions, are given by the actual data. This so-called τ-embedding method is particularly relevant for Higgs boson searches and analyses in ττ final states, where Z→ττ decays constitute a large irreducible background that cannot be obtained directly from data control samples.

Search for a new resonance decaying to a W or Z boson and a Higgs boson in the ℓℓ/ℓν/νν+bb¯final states with the ATLAS detector

A search for a new resonance decaying to a W or Z boson and a Higgs boson in the ℓℓ/ℓν/νν+bb¯ final states is performed using 20.3 fb−1 of pp collision data recorded at s√= 8 TeV with the ATLAS detector at the Large Hadron Collider. The search is conducted by examining the WH/ZH invariant mass distribution for a localized excess. No significant deviation from the Standard Model background prediction is observed. The results are interpreted in terms of constraints on the Minimal Walking Technicolor model and on a simplified approach based on a phenomenological Lagrangian of Heavy Vector Triplets.

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.