Research assessment exercises have now become common evaluation tools in a number of countries. These exercises have the goal of guiding merit-based public funds allocation, stimulating improvement of research productivity through competition and assessing the impact of adopted research support...
01a Articolo in rivista
-
-
Symbolic execution is a popular program analysis technique that allows seeking for bugs by reasoning over multiple alternative execution states at once. As the number of states to explore may grow exponentially, a symbolic executor may quickly run out of space. For instance, a memory access to a...
-
We investigate the accuracy of how author names are reported in bibliographic records excerpted from four prominent sources: WoS, Scopus, PubMed, and CrossRef. We take as a case study 44,549 publications stored in the internal database of Sapienza University of Rome, one of the largest universities...
-
In the last decades several epidemic emergencies have been affecting the world, influ encing the social relationships, the economics and the habits. In particular, starting in the early 0 80, the Acquired Immunodeficiency Syndrome, AIDS, is representing one of the most worrying sanitary emergency,...
-
The present work deals with an Ordinary Differential Equation (ODE) model specifically designed to describe the COVID-19 evolution in Italy. The model is particularised on the basis of National data about the infection status of the Italian population to obtain numerical solutions that effectively...
-
This paper addresses the problem of describing the spread of COVID-19 by a mathematical model introducing all the possible control actions as prevention (informative campaign, use of masks, social distancing, vaccination) and medication. The model adopted is similar to SEIQR, with the infected...
-
An epidemic multi-group model formed by interconnected SEIR-like structures is formulated and used for data fitting to gain insight into the COVID-19 dynamics and into the role of non-pharmaceutical control actions implemented to limit the infection spread since its outbreak in Italy. The single...
-
The paper presents a new mathematical model for the SARS-CoV-2 virus propagation, designed to include all the possible actions to prevent the spread and to help in the healing of infected people. After a discussion on the equilibrium and stability properties of the model, the effects of each...
-
This paper deals with the problem of cruise itinerary planning which plays a central role in worldwide cruise ship tourism. In particular, the Day-by-day Cruise Itinerary Optimization (DCIO) problem is considered. Assuming that a cruise has been planned in terms of homeports and journey duration,...
-
In this paper, we consider nonlinear optimization problems with nonlinear equality constraints and bound constraints on the variables. For the solution of such problems, many augmented Lagrangian methods have been defined in the literature. Here, we propose to modify one of these algorithms, namely...