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

Decision methods applied to solve a safety problem on a waste treatment facility

To solve a health and safety problem on a waste treatment facility, different multicriteria decision methods were used, including the PROV Exponential decision method. Four alternatives and ten attributes were considered. We found a congruent solution, validated by the different methods. The AHP and the PROV Exponential decision method led us to the same options ordering, but the last method reinforced one of the options as being the best performing one, and detached the least performing option. Also, the ELECTRE I method results led to the same ordering which allowed to point the best solution with reasonable confidence. This paper demonstrates the potential of using multicriteria decision methods to support decision making on complex problems such as risk control and accidents prevention.

Os esquemas-síntese na lecionação de filosofia: a sua pertinência e aplicabilidade

Relatório de estágio de mestrado em Ensino de Filosofia no Ensino Secundário

Tailored magnetic and magnetoelectric responses of polymer-based composites

The manipulation of electric ordering with applied magnetic fields has been realized on magnetoelectric (ME) materials, however, their ME switching is often accompanied by significant hysteresis and coercivity that represents, for some applications, a severe weakness. To overcome this obstacle, this work focus on the development of a new type of ME polymer nanocomposites that exhibits tailored ME response at room temperature. The multiferroic nanocomposites are based on three different ferrite nanoparticles, Zn0.2Mn0.8Fe2O4 (ZMFO), CoFe2O4 (CFO) and Fe3O4 (FO), dispersed in a piezoelectric co-polymer poly(vinylindene fluoride-trifluoroethylene), P(VDF-TrFE), matrix. No substantial differences were detected on the time-stable piezoelectric response of the composites (≈ -28 pC.N−1) with distinct ferrite fillers and for the same ferrite content of 10wt.%. Magnetic hysteresis loops from pure ferrite nanopowders showed different magnetic responses. ME results of the nanocomposite films with 10wt.% ferrite content revealed that the ME induced voltage increases with increasing DC magnetic field until a maximum of 6.5 mV∙cm−1∙Oe−1, at an optimum magnetic field of 0.26 T, and 0.8 mV∙cm−1∙Oe−1, at an optimum magnetic field of 0.15T, for the CFO/P(VDF-TrFE) and FO/P(VDF-TrFE) composites, respectively. On the contrary, the ME response of the ZMFO/P(VDF-TrFE) exposed no hysteresis and high dependence on the ZMFO filler content. Possible innovative applications such as memories and information storage, signal processing, ME sensors and oscillators have been addressed for such ferrite/PVDF nanocomposites.

Nonparametric estimation of time-dependent ROC curves conditional on a continuous covariate

The receiver-operating characteristic (ROC) curve is the most widely used measure for evaluating the performance of a diagnostic biomarker when predicting a binary disease outcome. The ROC curve displays the true positive rate (or sensitivity) and the false positive rate (or 1-specificity) for different cut-off values used to classify an individual as healthy or diseased. In time-to-event studies, however, the disease status (e.g. death or alive) of an individual is not a fixed characteristic, and it varies along the study. In such cases, when evaluating the performance of the biomarker, several issues should be taken into account: first, the time-dependent nature of the disease status; and second, the presence of incomplete data (e.g. censored data typically present in survival studies). Accordingly, to assess the discrimination power of continuous biomarkers for time-dependent disease outcomes, time-dependent extensions of true positive rate, false positive rate, and ROC curve have been recently proposed. In this work, we present new nonparametric estimators of the cumulative/dynamic time-dependent ROC curve that allow accounting for the possible modifying effect of current or past covariate measures on the discriminatory power of the biomarker. The proposed estimators can accommodate right-censored data, as well as covariate-dependent censoring. The behavior of the estimators proposed in this study will be explored through simulations and illustrated using data from a cohort of patients who suffered from acute coronary syndrome.

Pharmaceutical regulation and pseudo - generics

Dissertação de mestrado em Economia Industrial e da Empresa

Gestão de inventários numa empresa de produção de linhas de costura

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Constraints on new phenomena via Higgs boson couplings and invisible decays with the ATLAS detector

The ATLAS experiment at the LHC has measured the Higgs boson couplings and mass, and searched for invisible Higgs boson decays, using multiple production and decay channels with up to 4.7 fb−1 of pp collision data at √s=7 TeV and 20.3 fb−1 at √s=8 TeV. In the current study, the measured production and decay rates of the observed Higgs boson in the γγ, ZZ, W W , Zγ, bb, τ τ , and μμ decay channels, along with results from the associated production of a Higgs boson with a top-quark pair, are used to probe the scaling of the couplings with mass. Limits are set on parameters in extensions of the Standard Model including a composite Higgs boson, an additional electroweak singlet, and two-Higgs-doublet models. Together with the measured mass of the scalar Higgs boson in the γγ and ZZ decay modes, a lower limit is set on the pseudoscalar Higgs boson mass of m A > 370 GeV in the “hMSSM” simplified Minimal Supersymmetric Standard Model. Results from direct searches for heavy Higgs bosons are also interpreted in the hMSSM. Direct searches for invisible Higgs boson decays in the vector-boson fusion and associated production of a Higgs boson with W/Z (Z → ℓℓ, W/Z → jj) modes are statistically combined to set an upper limit on the Higgs boson invisible branching ratio of 0.25. The use of the measured visible decay rates in a more general coupling fit improves the upper limit to 0.23, constraining a Higgs portal model of dark matter.

Search for metastable heavy charged particles with large ionisation energy loss in pp collisions at root s=8 TeV using the ATLAS experiment

Many extensions of the Standard Model predict the existence of charged heavy long-lived particles, such as R-hadrons or charginos. These particles, if produced at the Large Hadron Collider, should be moving non-relativistically and are therefore identifiable through the measurement of an anomalously large specific energy loss in the ATLAS pixel detector. Measuring heavy long-lived particles through their track parameters in the vicinity of the interaction vertex provides sensitivity to metastable particles with lifetimes from 0.6 ns to 30 ns. A search for such particles with the ATLAS detector at the Large Hadron Collider is presented, based on a data sample corresponding to an integrated luminosity of 18.4 fb−1 of pp collisions at s√ = 8 TeV. No significant deviation from the Standard Model background expectation is observed, and lifetime-dependent upper limits on R-hadrons and chargino production are set. Gluino R-hadrons with 10 ns lifetime and masses up to 1185 GeV are excluded at 95% confidence level, and so are charginos with 15 ns lifetime and masses up to 482 GeV.

Search for massive, long-lived particles using multitrack displaced vertices or displaced lepton pairs in pp collisions at s =8TeV with the ATLAS detector

Many extensions of the Standard Model posit the existence of heavy particles with long lifetimes. This article presents the results of a search for events containing at least one long-lived particle that decays at a significant distance from its production point into two leptons or into five or more charged particles. This analysis uses a data sample of proton-proton collisions at s√ = 8 TeV corresponding to an integrated luminosity of 20.3 fb−1 collected in 2012 by the ATLAS detector operating at the Large Hadron Collider. No events are observed in any of the signal regions, and limits are set on model parameters within supersymmetric scenarios involving R-parity violation, split supersymmetry, and gauge mediation. In some of the search channels, the trigger and search strategy are based only on the decay products of individual long-lived particles, irrespective of the rest of the event. In these cases, the provided limits can easily be reinterpreted in different scenarios.

Fendas de secagem em vigas de madeira: causas, efeitos na capacidade resistente e métodos de reparação

Dissertação de mestrado integrado em Engenharia Civil

As restrições à liberdade de testar

Dissertação de mestrado em Direito das Crianças, Família e Sucessões

Uma visão comparada sobre diferentes cosmogonias

Dissertação de mestrado em Estudos Interculturais Português/Chinês: Tradução, Formação e Comunicação Empresarial

Contribuição para o melhoramento da gestão operacional de uma linha de fabrico de garrafas de gás

Dissertação de mestrado integrado em Engenharia e Gestão Industrial