All papers authored by Marco Cococcioni
Refreshing results…
2024
Federico Rossi 
,
Cinzia Bernardeschi ,
Marco Cococcioni ,
Maurizio Palmieri
,
Cinzia Bernardeschi ,
Marco Cococcioni ,
Maurizio Palmieri
Towards Formal Verification of Neural Networks in Cyber-Physical Systems
Upload
2023
John L. Gustafson,
Marco Cococcioni ,
Federico Rossi ,
Emanuele Ruffaldi ,
Sergio Saponara
,
Federico Rossi ,
Emanuele Ruffaldi ,
Sergio Saponara
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers
Upload
Marco Cococcioni ,
Federico Rossi ,
Emanuele Ruffaldi,
Sergio Saponara
Download from link.springer.com
,
Federico Rossi ,
Emanuele Ruffaldi,
Sergio Saponara
Download from link.springer.com
2020
Marco Cococcioni ,
Lorenzo Fiaschi
,
Lorenzo Fiaschi
The Big-M method with the numerical infinite M
Download from link.springer.com
Marco Cococcioni ,
Federico Rossi ,
Emanuele Ruffaldi ,
Sergio Saponara
,
Federico Rossi ,
Emanuele Ruffaldi ,
Sergio Saponara
Fast Approximations of Activation Functions in Deep Neural Networks when using Posit Arithmetic
Download from doi.org
Missing publications? Search for publications with a matching author name.