A domain-specific language for ETL patterns specification in Data Warehousing Systems

During the last few years many research efforts have been done to improve the design of ETL (Extract-Transform-Load) systems. ETL systems are considered very time-consuming, error-prone and complex involving several participants from different knowledge domains. ETL processes are one of the most important components of a data warehousing system that are strongly influenced by the complexity of business requirements, their changing and evolution. These aspects influence not only the structure of a data warehouse but also the structures of the data sources involved with. To minimize the negative impact of such variables, we propose the use of ETL patterns to build specific ETL packages. In this paper, we formalize this approach using BPMN (Business Process Modelling Language) for modelling more conceptual ETL workflows, mapping them to real execution primitives through the use of a domain-specific language that allows for the generation of specific instances that can be executed in an ETL commercial tool.

Using a domain-specific language to enrich ETL schemas

Today it is easy to find a lot of tools to define data migration schemas among different types of information systems. Data migration processes use to be implemented on a very diverse range of applications, ranging from conventional operational systems to data warehousing platforms. The implementation of a data migration process often involves a serious planning, considering the development of conceptual migration schemas at early stages. Such schemas help architects and engineers to plan and discuss the most adequate way to migrate data between two different systems. In this paper we present and discuss a way for enriching data migration conceptual schemas in BPMN using a domain-specific language, demonstrating how to convert such enriched schemas to a first correspondent physical representation (a skeleton) in a conventional ETL implementation tool like Kettle.

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.

Para uma pedagogia das literacias: das conceções e práticas docentes aos conceitos e competências discentes. Um estudo da aula de língua portuguesa no 2º ciclo do ensino básico

Tese de Doutoramento em Ciências da Educação (Especialidade em Literacias e Ensino do Português)

BiYacc: Roll your parser and reflective printer into one

In: A. Cunha, E. Kindler (eds.): Proceedings of the Fourth International Workshop on Bidirectional Transformations (Bx 2015), L’Aquila, Italy, July 24, 2015, published at http://ceur-ws.org

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.