CINECA IRIS Institutional Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

Prodotti recenti

A formalism for specification of Java API interfaces

r-norm bounds and metric properties for zero loci of real analytic functions

We consider the problem of deciding whether or not a zero locus, X, of multivariate real analytic functions crosses a given r-norm ball in the real n-dimensional affine space. We perform a local study of the problem, and we provide both necessary and sufficient conditions ...

Microgrid Design and Operation-Toward Smart Energy in Cities

Humanizing human-robot interaction: On the importance of mutual understanding

In conjunction with what is often called the industry 4.0, the new machine age, or the rise of the robots, the authors of this paper have each experienced the following phenomenon. At public events and roundtable discussions, among our circles of friends, or during interviews&...

A UML-based proposal for IoT system requirements specification

The paper presents a preliminary version of IotReq, a method for the elicitation and specification of the requirements for an IoT-system. The first task suggested by IotReq is the modelling of the domain, using the UML and following the service-oriented paradigm, then the goals...