3 resultados para Functorial Embedding

em Universidade do Minho


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper proposes and validates a model-driven software engineering technique for spreadsheets. The technique that we envision builds on the embedding of spreadsheet models under a widely used spreadsheet system. This means that we enable the creation and evolution of spreadsheet models under a spreadsheet system. More precisely, we embed ClassSheets, a visual language with a syntax similar to the one offered by common spreadsheets, that was created with the aim of specifying spreadsheets. Our embedding allows models and their conforming instances to be developed under the same environment. In practice, this convenient environment enhances evolution steps at the model level while the corresponding instance is automatically co-evolved.Finally,wehave designed and conducted an empirical study with human users in order to assess our technique in production environments. The results of this study are promising and suggest that productivity gains are realizable under our model-driven spreadsheet development setting.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Biofilm formation has been pointed as a major concern in different industrial applications, namely on biomedical implants and surgical instruments, which has prompted the development of new strategies for production of efficient antimicrobial surfaces. In this work, nano âgalvanic couples were created to enhance the antibacterial properties of silver, by embedding it into amorphous carbon (a-C) matrix. The developed Ag/a-C nanocomposite coatings, deposited by magnetron sputtering, revealed an outstanding antibacterial activity against S.epidermidis, promoting a total reduction in biofilm formation with no bacteria counts in all dilution. The open circuit potential (OCP) tests in 0.9% NaCl confirmed that a-C shows a positive \OCP\ value, in contrast to Ag coating, thus enhancing the ionization of biocidal Ag+ due to the nano-galvanic couple activation. This result was confirmed by the inductively coupled plasma-optical emission spectroscopy (ICP-OES), which revealed a higher Ag ionization rate in the nanocomposite coating in comparison with the Ag coating. The surface of Ag/a-C and Ag coatings immersed in 0.9% NaCl were monitored by scanning electron microscopy (SEM) over a period of 24 hours, being found that the Ag ionization determined by ICP-OES was accompanied by an Ag nanoparticles coalescence and agglomeration in Ag/a-C coating.