Publications

Export 7 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is B  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches, Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D. , International Journal on Software Tools for Technology Transfer, 05/2021, (2021)
Bayesian Neural Predictive Monitoring, Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D. , Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI, 09/2020, (2020)
Control and anticontrol of chaos in fractional-order models of Diabetes, HIV, Dengue, Migraine, Parkinson's and Ebola virus diseases, Borah, Manashita, Das Debanita, Gayan Antara, Fenton Flavio, and Cherry Elizabeth , Chaos, Solitons & Fractals, 12/2021, Volume 153, (2021)
Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts, Berman, John P., FENTON FLAVIO H., CHERRY ELIZABETH M., Iles Tinen, Iaizzo Paul A., and Kaboudian Abouzar , (2021)
From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Bartocci, Ezio, Cleaveland Rance, Grosu Radu, and Sokolsky Oleg , (2019)
System design of stochastic models using robustness of temporal properties, Bartocci, Ezio, Bortolussi Luca, Nenzi Laura, and Sanguinetti Guido , Theoretical Computer Science, Volume 587, p.3 - 25, (2015)  (1.57 MB)
Excitable dynamics in neural and cardiac systems, Barrio, Roberto, Coombes Stephen, Desroches Mathieu, Fenton Flavio, Luther Stefan, and Pueyo Esther , Communications in Nonlinear Science and Numerical Simulation, 07/2020, Volume 86, (2020)