In the last decades, statistical mechanics pushed its frontiers to encompass systems which fall outside the standard equilibrium framework. Paradigmatic examples are non-equilibrium systems such as granular and active matter for which, either due to dissipative interactions or as a consequence of "self-driven motility", even basic thermodynamic quantities, such as temperature and pressure, are not well defined. Systems with long-range interactions, like gravitational or Coulomb ones, are another example where the standard equilibrium picture is not appropriate.

The goal of the project is the development and the experimentation of a novel methodology for the specification, implementation and validation of trustworthy smart systems based on formal methods. We envisage system development in three steps by first providing and analysing system models to find design errors, then moving from models to executable code by translation into domain-specific programming languages and, finally, monitoring runtime execution to detect anomalous behaviours and to support systems in taking context-dependent decisions autonomously.

Clathrate hydrates are crystalline structures where water molecule cages host gas molecules. Natural deposits of methane hydrates are mainly found at the margins of the continental platforms, where the formation is favored by the presence of organic material and the appropriate pressure and temperature conditions. Natural gas hydrates (NGH) constitute the largest reservoir of natural gas on the planet.

We focus on volcanic solidification processes of silicate systems. We quantify vesicularity, texture and crystal-chemistry of minerals of key pyroclasts and lavas from well constrained eruptions of Etna and Stromboli. Phenocrysts (ph) and bubbles grown into reservoirs at constant P and T will be discriminated from micro-phenocrysts (mph) and microlites (mic) solidified during magma ascent (P varying) and after eruption (T varying).

The present project proposes an innovative, integrated, multidisciplinary study aimed at defining an innovative time-dependent seismic hazard assessment protocol, fundamental for the implementation of advanced and integrated strategy on seismic risk reduction and disaster management. This can lead to define structural design rules to ensure target safety levels considering time-dependent hazard models for short- and long-term time scales.

During the last decades, the economic profitability of forestry in the Apennine mountains has been declining, due to multiple socio-economic and environmental reasons (e.g., general depopulation of mountain areas, reduction of the number of forestry operators). Despite this picture, forest ecosystems are still a potential economic driver,
especially for marginal rural mountain areas, where the forest is the most common source of the biomass.

First-order global climatic and oceanographic changes occurred from the middle Eocene to early Miocene (48-16 Ma), promoting the redistribution and partitioning of food resources and a consequential increase in diversity and disparity of marine vertebrates. Due to the scarcity of productive paleontological sites and the dearth of temporal

This proposal addresses the prototypal device Talking Hands, recently developed by the spin-off Limix of Unicam. The original idea was to create an assistive device able to translate pre-recorded hand gestures into speech in real time. This improved communication access was intended to positively affect the lives of the speech-impaired, easing their interaction at workplace, for healthcare services and in school environment.

The central aim of the ODECO consortium network is to train the next generation of creative and innovative earlystage open data researchers, to unlock their creative and innovative potential to address current and future challenges in the creation of user driven, circular and inclusive open data ecosystems. Current developments in the field of open data are characterised as highly fragmented.

ll contributo rientra nell'ambito del bando per progetti di ricerca in materia di rifiuti che non fanno parte delle categorie già servite dai consorzi di filiera.