Refinement and variability techniques in model transformation of software requirements

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

Development of a new 3D OpenFOAM® solver to model the cooling stage in profile extrusion

[Excerpt] The advantages resulting from the use of numerical modelling tools to support the design of processing equipment are almost consensual. The design of calibration systems in profile extrusion is not an exception . H owever , the complex geome tries and heat exchange phenomena involved in this process require the use of numerical solvers able to model the heat exchange in more than one domain ( calibrator and polymer), the compatibilization of the heat transfer at the profile - calibrator interface and with the ability to deal with complex geometries. The combination of all these features is usually hard to find in commercial software. Moreover , the dimension of the meshes required to ob tain accurate results, result in computational times prohibitive for industrial application. (...)

Search for the Standard Model Higgs boson produced in association with top quarks and decaying into bb in pp collisions at √s = 8 TeV with the ATLAS detector

A search for the Standard Model Higgs boson produced in association with a pair of top quarks, tt¯H, is presented. The analysis uses 20.3 fb−1 of pp collision data at s√ = 8 TeV, collected with the ATLAS detector at the Large Hadron Collider during 2012. The search is designed for the H to bb¯ decay mode and uses events containing one or two electrons or muons. In order to improve the sensitivity of the search, events are categorised according to their jet and b-tagged jet multiplicities. A neural network is used to discriminate between signal and background events, the latter being dominated by tt¯+jets production. In the single-lepton channel, variables calculated using a matrix element method are included as inputs to the neural network to improve discrimination of the irreducible tt¯+bb¯ background. No significant excess of events above the background expectation is found and an observed (expected) limit of 3.4 (2.2) times the Standard Model cross section is obtained at 95% confidence level. The ratio of the measured tt¯H signal cross section to the Standard Model expectation is found to be μ=1.5±1.1 assuming a Higgs boson mass of 125 GeV.

A high order model for piezoelectric rods: an asymptotic approach

Preprint submitted to International Journal of Solids and Structures. ISSN 0020-7683

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.).

The choroid plexus transcriptome reveals changes in type I and II interferon responses in a mouse model of Alzheimer's disease

Alzheimer's disease (AD) is a neurodegenerative disorder characterized by a marked decline in cognition and memory function. Increasing evidence highlights the essential role of neuroinflammatory and immune-related molecules, including those produced at the brain barriers, on brain immune surveillance, cellular dysfunction and amyloid beta (Aß) pathology in AD. Therefore, understanding the response at the brain barriers may unravel novel pathways of relevance for the pathophysiology of AD. Herein, we focused on the study of the choroid plexus (CP), which constitutes the blood-cerebrospinal fluid barrier, in aging and in AD. Specifically, we used the PDGFB-APPSwInd (J20) transgenic mouse model of AD, which presents early memory decline and progressive Aß accumulation, and littermate age-matched wild-type (WT) mice, to characterize the CP transcriptome at 3, 5-6 and 11-12months of age. The most striking observation was that the CP of J20 mice displayed an overall overexpression of type I interferon (IFN) response genes at all ages. Moreover, J20 mice presented a high expression of type II IFN genes in the CP at 3months, which became lower than WT at 5-6 and 11-12months. Importantly, along with a marked memory impairment and increased glial activation, J20 mice also presented a similar overexpression of type I IFN genes in the dorsal hippocampus at 3months. Altogether, these findings provide new insights on a possible interplay between type I and II IFN responses in AD and point to IFNs as targets for modulation in cognitive decline.