COCOCCIONI, MARCO Statistiche

COCOCCIONI, MARCO  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 128 (tempo di esecuzione: 0.058 secondi).
Titolo Data di pubblicazione Autore(i) File
A new cutting plane method for lexicographic multi-objective integer linear programming 1-gen-2024 Cococcioni, M; Cudazzo, A; Fiaschi, L; Pappalardo, M; Sergeyev, Yd
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover 1-gen-2024 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco
Regularization of Hole-Drilling Residual Stress Measurements with Eccentric Holes: An Approach with Influence Functions 1-gen-2024 Beghini, M.; Bertini, L.; Cococcioni, M.; Grossi, T.; Santus, C.; Benincasa, and A.
Residual Stress Determination with the Hole-Drilling Method on FDM 3D-Printed Precurved Specimen through Digital Image Correlation 1-gen-2024 Santus, Ciro; Neri, Paolo; Romoli, Luca; Cococcioni, Marco
Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions 1-gen-2024 Fiaschi, Lorenzo; Rossi, Federico; Cococcioni, Marco; Saponara, Sergio
Towards Formal Verification of Neural Networks in Cyber-Physical Systems 1-gen-2024 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco; Palmieri, Maurizio
CHARLES: A C++ fixed-point library for Photonic-Aware Neural Networks 1-gen-2023 Paolini, Emilio; De Marinis, Lorenzo; Maggiani, Luca; Cococcioni, Marco; Andriolli, Nicola
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers 1-gen-2023 Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching 1-gen-2023 Rossi, F.; Fiaschi, L.; Cococcioni, M.; Saponara, S.
Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments 1-gen-2023 Piccoli, M.; Zoni, D.; Fornaciari, W.; Massari, G.; Cococcioni, M.; Rossi, F.; Saponara, S.; Ruffaldi, E.
Modelling Heavy Tailed Phenomena Using a LogNormal Distribution Having a Numerically Verifiable Infinite Variance 1-gen-2023 Cococcioni, M.; Fiorini, F.; Pagano, M.
Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation 1-gen-2023 Bernardeschi, C.; Cococcioni, M.; Palmieri, M.; Rossi, F.
A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications 1-gen-2022 Cococcioni, M; Rossi, Federico; Ruffaldi, Emanuele; Saponara, Sergio
A Toolbox for Measuring Heterogeneity and Efficiency using Zonotopes 1-gen-2022 Cococcioni, Marco; Grazzi, Marco; Li, Le; Ponchio, Federico
Computing Optimal Decision Strategies using the Infinity Computer: the case of Non-Archimedean Zero-Sum Games 1-gen-2022 Cococcioni, Marco; Fiaschi, Lorenzo; Lambertini, Luca
Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine 1-gen-2022 Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
Experiments on Speeding Up the Recursive Fast Fourier Transform by using AVX-512 SIMD instructions 1-gen-2022 Sansone, Giacomo; Cococcioni, Marco
Multi-Objective Lexicographic Mixed-Integer Linear Programming: an Infinity Computer Approach 1-gen-2022 Cococcioni, Marco; Cudazzo, Alessandro; Pappalardo, Massimo; Sergeyev, Yaroslav D.
Non-Standard Analysis Revisited: an Easy Axiomatic Presentation Oriented Towards the Applications 1-gen-2022 Benci, Vieri; Cococcioni, Marco; Fiaschi, Lorenzo
On the use of Grossone Methodology for Handling Priorities in Multi-Objective Evolutionary Optimization 1-gen-2022 Lai, Leonardo; Fiaschi, Lorenzo; Cococcioni, Marco; Deb, Kalyanmoy