Measurement of differential J/psi production cross sections and forward-backward ratios in p plus Pb collisions with the ATLAS detector

Measurements of differential cross sections for J/ψ production in p+Pb collisions at sNN−−−−√=5.02 TeV at the CERN Large Hadron Collider with the ATLAS detector are presented. The data set used corresponds to an integrated luminosity of 28.1 nb−1. The J/ψ mesons are reconstructed in the dimuon decay channel over the transverse momentum range 8of-mass rapidity range −2.87of the distance between the J/ψ decay vertex and the event primary vertex. The differential cross section for production of nonprompt J/ψ is compared to a FONLL calculation that does not include nuclear effects. Forward-backward production ratios are presented and compared to theoretical predictions. These results complement previously published results by covering a region of higher transverse momentum and more central rapidity. They thus constrain the kinematic dependence of nuclear modifications of charmonium and b-quark production in p+Pb collisions.

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

A linear algebra approach to OLAP

Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri–Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged.

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Equations of motion for constrained systems

"Series title: Springerbriefs in applied sciences and technology, ISSN 2191-530X"

Proteção da privacidade em sistemas de dados

Dissertação de Mestrado em Engenharia Informática

Polymer electrolytes for electrochromic devices

Polymer electrolytes are currently the focus of much attention as potential electrolytes in electrochemical devices such as batteries, display devices and sensors. Generically, solid polymer electrolytes (SPEs) are mixtures of salts with soft polar polymers. SPEs have many advantages including high energy density, no risk of leakage, no issues related to the presence of solvent, wide electrochemical stability windows, simplified processability and light weight. With the goal of developing a new family of environmentally friendly multifunctional biohybrid materials displaying high ionic conductivity we have produced in the present work, flexible films based on different polymers or hybrids incorporating different salts. The polymer electrolytes studied here have been characterized by means of Differential Scanning Calorimetry, Thermogravimetric Analysis, X-ray diffraction, Polarized Optical Microscopy, complex impedance spectroscopy and cyclic voltammetry. An evaluation of the performance of the sample with the highest conductivity as electrolyte in all solid-state ECDs was performed.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.