verification

In silico clinical trials through AI and statistical model checking

A Virtual Patient (VP) is a computational model accounting for individualised (patho-) physiology and Pharmaco-Kinetics/Dynamics of relevant drugs. Availability of VPs is among the enabling technology for In Silico Clinical Trials. Here we shortly outline the state of the art as for VP generation and summarise our recent work on Artificial Intelligence (AI) and Statistical Model Checking based generation of VPs.

Numerical simulation of chemical erosion in Vega solid-rocket-motor nozzles

The erosion of rocket-nozzle ablative thermal protection materials during the solid-rocket-motor burning time
needs to be accounted for to get reliable performance predictions, especially for long-duration firings and/or small
nozzles (that is, upper stages). This work numerically investigates the erosion behavior as a function of chamber
conditions for the nozzles of the Vega launch vehicle solid rocket motors: Zefiro 9, Zefiro 23, and P80. This study has

Acoustic analysis of hearing aid sound therapy programs

Background: For many healthcare providers, tinnitus and hyperacusis are difficult symptoms to treat. There remains no conclusive cure for either symptom; however, helpful management strategies have been developed utilising counselling and sound therapy. Nowadays, most modern hearing aids have integrated sound therapy as a programable option; although, unlike hearing aid gain characteristics, output verification of sound therapy programs is not common practice.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma