Embedding, evolution, and validation of model-driven spreadsheets

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.

Search for high-mass diphoton resonances in pp collisions at s =8TeV with the ATLAS detector

This article describes a search for high-mass resonances decaying to a pair of photons using a sample of 20.3  fb−1 of pp collisions at s√=8  TeV recorded with the ATLAS detector at the Large Hadron Collider. The data are found to be in agreement with the Standard Model prediction, and limits are reported in the framework of the Randall-Sundrum model. This theory leads to the prediction of graviton states, the lightest of which could be observed at the Large Hadron Collider. A lower limit of 2.66 (1.41) TeV at 95% confidence level is set on the mass of the lightest graviton for couplings of k/M¯¯¯¯Pl=0.1 (0.01).

Orientação para o mercado e desenvolvimento de novos produtos: um estudo de caso

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

Numerical simulation of the reflow soldering process

Dissertação de mestrado integrado em Mechanical Engineering

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

Pseudofermion dynamical theory for the spin dynamical correlation functions of the half-filled 1D Hubbard model

A modified version of the metallic-phase pseudofermion dynamical theory (PDT) of the 1D Hubbard model is introduced for the spin dynamical correlation functions of the half-filled 1D Hubbard model Mott– Hubbard phase. The Mott–Hubbard insulator phase PDT is applied to the study of the model longitudinal and transverse spin dynamical structure factors at finite magnetic field h, focusing in particular on the sin- gularities at excitation energies in the vicinity of the lower thresholds. The relation of our theoretical results to both condensed-matter and ultra-cold atom systems is discussed.

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

Doctoral Dissertation for PhD degree in Industrial and Systems Engineering