A discretization scheme is applied to the hydrodynamic model for semiconductor devices that
generalizes the Scharfetter-Gummel method to both the momentum-conservation and the …

We report on a fruitful combination of applying academic experience with formal modelling
and verification techniques to an industrial case study. The goal of the case study was to …

An algorithm allowing the automatic generation of a mesh and accounting for the main physical
features of the problem is presented. The adaptivity is provided by a refinement strategy …

This paper reports on the fruitful combination of academic experience with formal modelling
techniques and industrial experience with requirements exploration. We study the addition …

Increasing the photocatalytic efficiency of earth-abundant wide-bandgap semiconductors is
of high interest for the development of cheap but effective light-driven chemical conversion …

Persistence in the atmosphere of carbon dioxide (CO 2 ) and volatile organic compounds (VOCs)
represents a threat for human safety and health, both in the short and in the long term. …

In this paper we report on a case study of correct automatic assembly of software components.
We show the application of our tool (called Synthesis) for correct components assembly to …

The paper presents some preliminary results of active control strategies aimed at reducing
the transmission of structure-borne noise to the cabin structure on a AgustaWestland A109 …

Annals of Hematology of physicians, surprisingly, do not administer AVP to APL patients, even
when receiving ATO-based therapy. Of note, being the worldwide seroprevalence of HSV-…

The paper deals with the experimental evaluation of the feasibility and effectiveness of active
control of longitudinal vibration on a helicopter gearbox support strut. The aim is to test …