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.

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

Atrial activation during sinus rhythm in patients with rheumatic and non-rheumatic paroxysmal atrial fibrillation. Frequency-domain analysis using signal-averaged electrocardiography

OBJECTIVE: Using P-wave signal-averaged electrocardiography, we assessed the patterns of atrial electrical activation in patients with idiopathic atrial fibrillation as compared with patterns in patients with atrial fibrillation associated with structural heart disease. METHODS: Eighty patients with recurrent paroxysmal atrial fibrillation were divided into 3 groups as follows: group I - 40 patients with atrial fibrillation associated with non-rheumatic heart disease; group II - 25 patients with rheumatic atrial fibrillation; and group III - 15 patients with idiopathic atrial fibrillation. All patients underwent P-wave signal-averaged electrocardiography for frequency-domain analysis using spectrotemporal mapping and statistical techniques for detecting and quantifying intraatrial conduction disturbances. RESULTS: We observed an important fragmentation in atrial electrical conduction in 27% of the patients in group I, 64% of the patients in group II, and 67% of the patients in group III (p=0.003). CONCLUSION: Idiopathic atrial fibrillation has important intraatrial conduction disturbances. These alterations are similar to those observed in individuals with rheumatic atrial fibrillation, suggesting the existence of some degree of structural involvement of the atrial myocardium that cannot be detected with conventional electrocardiography and echocardiography.

Modelado multi-dominio de máquinas eléctricas. Multi-domain modeling of electric machines

El objetivo general de este proyecto es desarrollar nuevos modelos multi-dominio de máquinas eléctricas para aplicaciones al control y al diagnóstico de fallas. Se propone comenzar con el modelo electromagnético del motor de inducción en base a circuitos magnéticos equivalentes (MEC) validándolo por medio de simulación y de resultados experimentales. Como segundo paso se pretende desarrollas modelos térmicos y mecánicos con el objetivo que puedan ser acoplados al modelo electromagnético y de esta estudiar la interacción de los dominios y se validará mediante resultados de simulación y experimentales el modelo completo. Finalmente se pretende utilizar el modelo multi-dominio como una herramienta para la prueba de nuevas estrategias de control y diagnóstico de fallas. The main objective of this project is the development of new multi-domain models of electric machines for control and fault diagnosis applications. The electromagnetic modeling of the induction motor (IM) will be done using the magnetic equivalent circuits approach. This model will be validated by simulation and by experimental results. As a second step of this project, new mechanical and thermal models for the IM will be developed, with the objective of coupling these models with the electromagnetic one. With this multi-domain model it will be possible to study the interaction between each others. After that, the complete model will be validated by simulation and experimental results. Finally, the model will be used as a tool for testing new control and fault diagnosis strategies.

Исследования Z-I отношений для жидких конвективных атмосферных осадков Кахетинского региона Грузии

სტატისტიკურად უზრუნველყოფილ ექსპერიმენტულ მასალაზე დაყრდნობით განსაზღვრულია საქართველოს კახეთის რეგიონის თბილი სეზონის ატმოსფერული ნალექების ინტენსივობასა და რადიოლოკაციურ ამრეკვლადობას შორის დამოკიდებულების წრფივი რეგრესიის განტოლების მუდმივი კოეფიციენტები, აგრეთვე გამოთვლილია აპროქსიმაციის საიმედობის მაჩვენებლის მნიშვნელობა

Эмпирическая связь между радиолокационной отражаемостью (Z) и интенсивностью атмосферных осадков (I) мультиячейковых конвективных облаков

დედამიწის მტკნარი წყლის ერთადერთ წყაროს ატმოსფერული ნალექები წარმოადგენს. კლიმატის გლობალური ცვლილების ნეგატიური შედეგების შესამცირებლად დიდი მნიშვნელობა ენიჭება რეალურ დროში დიდ ტერიტორიაზე ატმოსფერული ნალექების მონიტორინგს.

Исследование Z-I эмпирического соотношения для суперячейковых конвективных облаков теплого сезона года Кахетинского региона Грузии

გაანალიზებულია თბილი სეზონის სუპერუჯრედიან კონვექციურ ღრუბლებზე რადიოლოკაციური დაკვირვების მონაცემები და ამ ღრუბლებიდან მოსული ატმოსფერული ნალექების შესახებ ჰიდრომეტეოროლოგიური ქსელის მონიტორინგის შედეგები.

Исследование Z-I отношения для атмосферных осадков из отдельных грозовых облоков Кахетинского региона Грузии

ნაშრომში გაანალიზებულია ელჭექის ღრუბლების რადიოლოკაციურ ამრეკვლადობაზე (Z) დაკვირვირვების მონაცემები და მათგან მოსული ნალექების ინტენსივობის (I) შორის დამოკიდებულება.

Результаты экспериментальных исследований Z-I отношения для атмосферных осадков различной интенсивности теплого сезона года восточной Грузии

ჩვენი რეგიონისთვის დადგენილია თანაფარდობა რადიოლოკაციურ ამრეკვლადობას (Z) და სუსტი და ძლიერი ატმოსფერული ნალექების ინტენსივობას (I) შორის. გამოთვლილია შესაბამისი მუდმივი კოეფიციენტების მნიშვნელობები. რადიოლოკატორით ნალექების ინტენსივობის გაზომვის სიზუსტის გაზრდის მიზნით შემოთავაზებულია მთელი დიაპაზონისთვის ვისარგებლოთ ჩვენს მიერ დადგენილი ერთი Z-I თანაფარდობით. შედგენილია Z-I თანაფარდობისათვის არაწრფივი აპროქსიმაციის მრუდი, რომლის გამოყენება აამაღლებს რადიოლოკაციური ამრეკვლადობის მიხედვით ნალექების ინტენსივობის განსაზღვრის სიზუსტეს.