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.

O ensino da flauta de bisel em grupo como inovação pedagógica: Uma investigação-ação no 2.º Ciclo do Ensino Básico

Tese de Doutoramento em Estudos da Criança (Especialidade em Educação Musical)

Nanocomposites: the contribution of multiscale modelling to improve the dispersion levels

Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos

Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Joint modelling of longitudinal and survival data on breast cancer

Tese de Doutoramento em Ciências (Especialidade em Matemática)

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

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.

Hierarchical modelling of timber reference properties using probabilistic methods: Maximum Likelihood Method, Bayesian Methods and Probability Networks

In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.

Desarrollo sustentable de Productos y Servicios de Camélidos orientados al mercado en la región andina (DECAM). Sustainable Development Products and Services Marketed oriented in Andean Region

Este proyecto cuenta con el financiamiento del sistema INCO de la Unión Europea e incluye 5 contrapartes europeas, y Bolivia y Perú como contrapartes americanos. Consta de cuatro paquetes: producto, mercado, difusión y coordinación. En el primer paquete se desarrollan fundamentalmente los aspectos relacionados con la carne fresca y los productos cárnicos tanto tradicionales como nuevos a desarrollar. Se realizan faenas protocolizadas y espontáneas comparando animales con distintos tratamientos nutricionales de edades entre 19-21 meses. Se realizan análisis de calidad de carne y paneles de degustación. Los productos tradicionales como el charqui se evalúan en su forma tradicional y se implementan sistemas mejorados como desecadores solares. Los chacinados no son tradicionales en el altiplano por eso se realizan en La Pampa con la idea de transferir la tecnología desarrollada. La evaluación de calidad de la carne incluye técnicas de evaluación del animal en pié como la conservación morfológica y la ecografía para predecir calidad de res en el animal vivo. Estas observaciones se corroboran a la faena donde se realiza toda la batería de evaluaciones de calidad de la res.

Motilidad Orientada de Células Neurales: La comunicación celular a distancia. Oriented neural cell motility: Cell comunication at a distance.

La motilidad celular orientada (o mecanismo quimiotáctico de orientación), es una respuesta celular a señales moleculares de su micro-ambiente necesaria para modular la distribución celular en sitios específicos y con elevada precisión. Nuestra hipótesis establece que la migración orientada de células neurales es regulada por gradientes de concentración de moléculas solubles liberadas por sus regiones "blanco". Este proyecto es continuación del estudio de la quimiotaxis de células de cresta neural (CCN) y de neuronas ventriculares (NV) inducida respectivamente por factores difusibles de la región del futuro ganglio ciliar y del bulbo olfatorio.En el sistema de CCN, hemos caracterizado como moléculas quimiotácticas a la quimioquina Stromal Cell-Derived Factor-1, y los factores tróficos Stem Cell Factor y Neurotrophic Factor-3, habiendo determinado la expresión de sus respectivos receptores CXCR4, TrkC y p75 en la población de CCN mesencefálicas de ambrión de pollo. Actualmente, estamos desarrollando experimentos con el Ciliary Neurotrophic Factor y factores de la familia Bone Morphogenetic Proteins. Además de la estrategia experimental in vitro, hemos determinado en el embrión entero la expresión de las moléculas quimioatractantes mediante hibridación in situ del ARNm y la presencia de las respectivas proteínas mediante inmunocitoquímica. En el sistema de NV, estamos analizando la motilidad celular en relación con moléculas liberadas por el bulbo olfatorio. En los dos sistemas biológicos, estamos analizando elementos de la transducción de señales y cambios en el citoesqueleto, en ambos casos asociados con la respuesta temprana en la orientación quimiotáctica de la célula. Asimismo, en ambos sistemas biológicos, evaluamos los efectos del etanol sobre la migración y distribución celular, en condiciones equivalentes a las que inducen el Sindrome Fetal Alcohólico en mamíferos.En base a resultados ya obtenidos en experimentos in vitro, en la presente etapa intentaremos su caracterización in vivo mediante el bloqueo funcional de las moléculas quimiotácticas (y/o sus receptores) sobre embriones enteros, mediante silenciamiento con ARNsi (o morfolinos específicos) mediante electroporación, y posterior determinación de la distribución celular mediante marcadores específicos anti-CCN (o lipofílicos de tipo DiI).Los resultados permitirán mejorar el conocimiento del mecanismo de la migración celular orientada y aportar al diseño de recursos diagnósticos, terapéuticos o de control de anomalías embrionarias o patologías tumorales por mala distribución celular como las Neurocristopatías, o inducidas por tóxicos exógenos como el Sindrome Fetal Alcohólico.

Instrumentation and software for the VERITAS Project and the detection of TeV Gamma-Ray Emission from the BL Lacertae Object 1ES1959+650

Transmission of Cherenkov light through the atmosphere is strongly influenced by the optical clarity of the atmosphere and the prevailing weather conditions. The performance of telescopes measuring this light is therefore dependent on atmospheric effects. This thesis presents software and hardware developed to implement a prototype sky monitoring system for use on the proposed next-generation gamma-ray telescope array, VERITAS. The system, consisting of a CCD camera and a far-infrared pyrometer, was successfully installed and tested on the ten metre atmospheric Cherenkov imaging telescope operated by the VERITAS Collaboration at the F.L. Whipple Observatory in Arizona. The thesis also presents the results of observations of the BL Lacertae object, 1ES1959+650, made with the Whipple ten metre telescope. The observations provide evidence for TeV gamma-ray emission from the BL Lacertae object, 1ES1959+650, at a level of more than 15 standard deviations above background. This represents the first unequivocal detection of this object at TeV energies, making it only the third extragalactic source seen at such levels of significance in this energy range. The flux variability of the source on a number of timescales is also investigated.

Modelling of a symmetric molten carbonate fuel cell stack

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2011

System-oriented analysis of the dynamic behaviour of direct methanol fuel cells

DMFC, dynamic behaviour, current steps, system analysis, methanol oxidation, flow field design

Failure rates modelling for heterogenous populations

Mixture of distributions, decreasing failure rate, increasing failure rate, proportional hazards model, accelerated life model, asymptotic behavior of mixture failure rate