Search for anomalous production of prompt same-sign lepton pairs and pair-produced doubly charged Higgs bosons with s√ = 8 TeV pp collisions using the ATLAS detector

A low-background inclusive search for new physics in events with same-sign dileptons is presented. The search uses proton--proton collisions corresponding to 20.3 fb−1 of integrated luminosity taken in 2012 at a centre-of-mass energy of 8 TeV with the ATLAS detector at the LHC. Pairs of isolated leptons with the same electric charge and large transverse momenta of the type e±e±,e±μ±, and μ±μ± are selected and their invariant mass distribution is examined. No excess of events above the expected level of Standard Model background is found. The results are used to set upper limits on the cross sections for processes beyond the Standard Model. Limits are placed as a function of the dilepton invariant mass within a fiducial region corresponding to the signal event selection criteria. Exclusion limits are also derived for a specific model of doubly charged Higgs boson production.

Multilevel model of safety climate for furniture industries

BACKGROUND: Furniture companies can analyze their safety status using quantitative measures. However, the data needed are not always available and the number of accidents is under-reported. Safety climate scales may be an alternative. However, there are no validated Portuguese scales that account for the specific attributes of the furniture sector. OBJECTIVE: The current study aims to develop and validate an instrument that uses a multilevel structure to measure the safety climate of the Portuguese furniture industry. METHODS: The Safety Climate in Wood Industries (SCWI) model was developed and applied to the safety climate analysis using three different scales: organizational, group and individual. A multilevel exploratory factor analysis was performed to analyze the factorial structure. The studied companies’ safety conditions were also analyzed. RESULTS: Different factorial structures were found between and within levels. In general, the results show the presence of a group-level safety climate. The scores of safety climates are directly and positively related to companies’ safety conditions; the organizational scale is the one that best reflects the actual safety conditions. CONCLUSIONS: The SCWI instrument allows for the identification of different safety climates in groups that comprise the same furniture company and it seems to reflect those groups’ safety conditions. The study also demonstrates the need for a multilevel analysis of the studied instrument.

A case study of product usability of a pelvic device used by children with neuromotor impairments

On assistive technology targeted for people with activity limitations and participation, usability issues becomes an essential tool to ensure that the product has the appropriate ergonomics characteristics, in other words, ensure that it fits the specific user´s needs. The aim of this study was to analyze the usability of an adaptive seating device for children with neuromotor impairments, by using kinematic indicators of the reaching movement. The study sample consisted of 13 children with associated neurologic conditions. The tests were developed by using a wooden bench height adjustable, integrated with the adaptive seating device under study, and a system to capture three-dimensional image, called Qualisys Track Manager. The following reaching kinematics variables were measured: maximum reaching velocity, movement duration, index of curvature, and unit movements. It was found that the use of the adaptive seating device had a positive impact on upper limb function in children with neuromotor impairments. It was also noticed an improvement in the reaching movement kinematics, which was statistical significant for the index of curvature and unit movements. As main conclusions, it is possible to point out some positive effects that the product under study seems to have on users' movements, such as the improved movement quality of the upper limb, which could mean a better postural adjustments and higher trunk postural control. By identifying new measures of usability in terms of effectiveness and efficiency for the analyzeddevice, the results obtained may serve also as performance indicators, providing new data that may help to improve the product and eventually modifying it, in order to turn it more compatible with the needs of the considered target population.

Integrated management systems: A model for maturity assessment

Maturity models are adopted to minimise our complexity perception over a truly complex phenomenon. In this sense, maturity models are tools that enable the assessment of the most relevant variables that impact on the outputs of a specific system. Ideally a maturity model should provide information concerning the qualitative and quantitative relationships between variables and how they affect the latent variable, that is, the maturity level. Management systems (MSs) are implemented worldwide and by an increasing number of companies. Integrated management systems (IMSs) consider the implementation of one or several MSs usually coexisting with the quality management subsystem (QMS). It is intended in this chapter to report a model based on two components that enables the assessment of the IMS maturity, considering the key process agents (KPAs) identified through a systematic literature review and the results collected from two surveys.

Refinement and variability techniques in model transformation of software requirements

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

Inovação como fator de competitividade da cadeia de valor da moda

Tese de Doutoramento em Engenharia Têxtil

Estudo, projeto e desenvolvimento de uma máquina para montar e vincar sacos de papel

Dissertação de mestrado integrado em Engenharia Mecânica

Development of a model for occupational risk acceptance criteria definition in industrial settings

Doctoral Dissertation for PhD degree in Industrial and Systems Engineering

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.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Introducing biomimetic approaches to materials development and product design for engineering students

In this paper, we present a new course entitled “Biomimicry: from life to nanotechnological innovations” at the Mines Nancy Engineering School, Nancy, France, and explain how we developed a specific curriculum covering biomimicry. We discuss strategies that can be followed by teachers to explain selected contents in the multi-disciplinary field of biomimicry and/or bioinspiration to undergraduate students and how practical classroom activities can be conducted as individual or team work. We hope that sharing our experience will help teachers and senior researchers disseminate useful concepts and real examples of biomimetic principles and tools for the development of new materials, new/improved design and fabrication strategies, and innovation methodologies.

A critical evaluation of methods for the reconstruction of tissue-specific models

Under the framework of constraint based modeling, genome-scale metabolic models (GSMMs) have been used for several tasks, such as metabolic engineering and phenotype prediction. More recently, their application in health related research has spanned drug discovery, biomarker identification and host-pathogen interactions, targeting diseases such as cancer, Alzheimer, obesity or diabetes. In the last years, the development of novel techniques for genome sequencing and other high-throughput methods, together with advances in Bioinformatics, allowed the reconstruction of GSMMs for human cells. Considering the diversity of cell types and tissues present in the human body, it is imperative to develop tissue-specific metabolic models. Methods to automatically generate these models, based on generic human metabolic models and a plethora of omics data, have been proposed. However, their results have not yet been adequately and critically evaluated and compared. This work presents a survey of the most important tissue or cell type specific metabolic model reconstruction methods, which use literature, transcriptomics, proteomics and metabolomics data, together with a global template model. As a case study, we analyzed the consistency between several omics data sources and reconstructed distinct metabolic models of hepatocytes using different methods and data sources as inputs. The results show that omics data sources have a poor overlapping and, in some cases, are even contradictory. Additionally, the hepatocyte metabolic models generated are in many cases not able to perform metabolic functions known to be present in the liver tissue. We conclude that reliable methods for a priori omics data integration are required to support the reconstruction of complex models of human cells.

Contributos para a elucidação do modo de ação de própolis português: o caso do própolis do Pereiro

Dissertação de mestrado em Genética Molecular

A cumulative risk model of child physical maltreatment potential: findings from a community-based study

"Published online before print November 20, 2015"

Development of nanohydrogels as a vehicle for the release of bioactive compounds in food matrices

PhD in Chemical and Biological Engineering