Risultati ricerca pubblicazioni

Acoustic analysis of hearing aid sound therapy programs

pubblicato su: HEARING, BALANCE AND COMMUNICATION - 2020

Hong T., Ralli M., Stocking C., Sheppard A.

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

pubblicato su: JOURNAL OF PROPULSION AND POWER - 2018

Bianchi Daniele, Neri Agostino

In silico clinical trials through AI and statistical model checking

pubblicato su: Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 - 2020

Alimguzhin V., Mancini T., Massini A., Sinisi S., Tronci E.