Guidelines Management of the corpse with suspect, probable or confirmed COVID-19
respiratory infection–Italian interim recommendations for personnel potentially exposed to …

Among the many open problems in the learning process, students dropout is one of the most
complicated and negative ones, both for the student and the institutions, and being able to …

This textbook is a thorough, up-to-date introduction to the principles and techniques that
guide the design and implementation of modern programming languages. The goal of the …

We witness multipartite entanglement in the ground state of the Kitaev chain—a benchmark
model of a one dimensional topological superconductor—also with variable-range pairing …

Abstract Unstable spinor Bose-Einstein condensates are ideal candidates to create
nonlinear three-mode interferometers. Our analysis goes beyond the standard SU (1, 1) …

We study a timed concurrent constraint language, called tccp, which is obtained by a natural
timed interpretation of the usual ccp constructs: action-prefixing is interpreted as the next …

Programming distributed applications free from communication deadlocks and race
conditions is complex. Preserving these properties when applications are updated at …

This paper is a general overview of an approach to the semantics of logic programs whose
aim is to find notions of models which really capture the operational semantics, and are …

The interplay of quantum and thermal fluctuations in the vicinity of a quantum critical point
characterizes the physics of strongly correlated systems. Here we investigate this interplay …

Within the context of constraint solving, a portfolio approach allows one to exploit the
synergy between different solvers in order to create a globally better solver. In this paper we …