Marco Cococcioni

84 papers B 12C 6Misc 1Journal 41Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Validation of Neural Network-Based Controllers in Closed Loop Systems with UPPAAL SMC. ICARA Cinzia Bernardeschi, Marco Cococcioni, Dario Pagani
2025	J	`jnl`	Extending the Applicability of the Pollaczek- Khinchin Formula to the Case of Infinite Service Moments. IEEE Trans. Commun. Francesco Fiorini, Marco Cococcioni, Michele Pagano
2025	J	`jnl`	Linear programming with infinite, finite, and infinitesimal values in the right-hand side. Appl. Math. Comput. Marco Cococcioni, Lorenzo Fiaschi
2025	J	`jnl`	Microscaling Floating Point Formats for Large Language Models. CoRR Marco Cococcioni, Dario Pagani, Federico Rossi
2025	J	`jnl`	Quantitative delay analysis of GI/G/1 queues with heavy-tailed traffic by means of Alpha Theory. Comput. Networks Francesco Fiorini, Marco Cococcioni, Michele Pagano
2025	J	`jnl`	Solving Currency Arbitrage Problems using D-Wave Advantage2 Quantum Annealer. CoRR Lorenzo Mazzei, Giada Beccari, Mirko Laruina, Marco Cococcioni
2025	—	`conf`	Speeding up Quantized DNN Kernels Having 4-Bit Integer Weights Using the SWAR Approach. ApplePies Lorenzo Grassi, Marco Cococcioni
2024	J	`jnl`	A new cutting plane method for lexicographic multi-objective integer linear programming. Commun. Nonlinear Sci. Numer. Simul. Marco Cococcioni, Alessandro Cudazzo, Lorenzo Fiaschi, Massimo Pappalardo, Yaroslav D. Sergeyev
2024	J	`jnl`	Informed deep hierarchical classification: a non-standard analysis inspired approach. CoRR Lorenzo Fiaschi, Marco Cococcioni
2024	—	`conf`	LLAMA-2 Acceleration Using the ARM Scalable Vector Extension. ApplePies Federico Rossi, Marco Cococcioni, Sergio Saponara
2024	C	`conf`	Lexicographic Multi-Objective Optimization Using Infinite, Finite and Infinitesimal Numbers. ICORES Marco Cococcioni
2024	J	`jnl`	Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover. Eng. Appl. Artif. Intell. Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni
2024	—	`conf`	Optimal Synthesis of Multi-output Boolean Functions Using Modern ILP Solvers. ApplePies Alessandro Versari, Marco Cococcioni
2024	—	`conf`	Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri
2023	J	`jnl`	CHARLES: A C++ fixed-point library for Photonic-Aware Neural Networks. Neural Networks Emilio Paolini, Lorenzo De Marinis, Luca Maggiani, Marco Cococcioni, Nicola Andriolli
2023	J	`jnl`	Compressed Real Numbers for AI: a case-study using a RISC-V CPU. CoRR Federico Rossi, Marco Cococcioni, Roger Ferrer Ibáñez, Jesús Labarta, Filippo Mantovani, Marc Casas, Emanuele Ruffaldi, Sergio Saponara
2023	—	`conf`	Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers. CoNGA John L. Gustafson, Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2023	—	`conf`	Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments. PARMA-DITAM Michele Piccoli, Davide Zoni, William Fornaciari, Giuseppe Massari, Marco Cococcioni, Federico Rossi, Sergio Saponara, Emanuele Ruffaldi
2023	J	`jnl`	FPPU: Design and Implementation of a Pipelined Full Posit Processing Unit. CoRR Federico Rossi, Francesco Urbani, Marco Cococcioni, Emanuele Ruffaldi, Sergio Saponara
2023	J	`jnl`	Pure and mixed lexicographic-paretian many-objective optimization: state of the art. Nat. Comput. Leonardo Lai, Lorenzo Fiaschi, Marco Cococcioni, Kalyanmoy Deb
2023	—	`conf`	Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions. ApplePies Lorenzo Fiaschi, Federico Rossi, Marco Cococcioni, Sergio Saponara
2022	J	`jnl`	A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications. IEEE Trans. Emerg. Top. Comput. Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2022	—	`conf`	Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching. ApplePies Federico Rossi, Lorenzo Fiaschi, Marco Cococcioni, Sergio Saponara
2022	—	`conf`	Experiments on Speeding Up the Recursive Fast Fourier Transform by Using AVX-512 SIMD Instructions. ApplePies Giacomo Sansone, Marco Cococcioni
2022	J	`jnl`	Non-Standard Analysis Revisited: An Easy Axiomatic Presentation Oriented Towards Numerical Applications. Int. J. Appl. Math. Comput. Sci. Vieri Benci, Marco Cococcioni, Lorenzo Fiaschi
2022	—	`conf`	Photonic-Aware Neural Network: a fixed-point emulation of photonic hardware. OECC/PSC Emilio Paolini, Lorenzo De Marinis, Marco Cococcioni, Luca Valcarenghi, Luca Maggiani, Nicola Andriolli
2022	J	`jnl`	Photonic-aware neural networks. Neural Comput. Appl. Emilio Paolini, Lorenzo De Marinis, Marco Cococcioni, Luca Valcarenghi, Luca Maggiani, Nicola Andriolli
2022	—	`conf`	Small Reals Representations for Deep Learning at the Edge: A Comparison. CoNGA Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2021	—	`conf`	Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine. ApplePies Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2021	C	`conf`	Handling Priority Levels in Mixed Pareto-Lexicographic Many-Objective Optimization Problems. EMO Leonardo Lai, Lorenzo Fiaschi, Marco Cococcioni, Kalyanmoy Deb
2021	J	`jnl`	Non-Archimedean game theory: A numerical approach. Appl. Math. Comput. Lorenzo Fiaschi, Marco Cococcioni
2021	J	`jnl`	Non-Archimedean zero-sum games. J. Comput. Appl. Math. Marco Cococcioni, Lorenzo Fiaschi, Luca Lambertini
2021	J	`jnl`	Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities. IEEE Signal Process. Mag. Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara, Benoît Dupont de Dinechin
2021	J	`jnl`	Solving Mixed Pareto-Lexicographic Multiobjective Optimization Problems: The Case of Priority Levels. IEEE Trans. Evol. Comput. Leonardo Lai, Lorenzo Fiaschi, Marco Cococcioni, Kalyanmoy Deb
2021	J	`jnl`	The Big-M method with the numerical infinite M. Optim. Lett. Marco Cococcioni, Lorenzo Fiaschi
2021	J	`jnl`	Vectorizing posit operations on RISC-V for faster deep neural networks: experiments and comparison with ARM SVE. Neural Comput. Appl. Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2020	B	`conf`	A Novel Posit-based Fast Approximation of ELU Activation Function for Deep Neural Networks. SMARTCOMP Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2020	J	`jnl`	Fast Approximations of Activation Functions in Deep Neural Networks when using Posit Arithmetic. Sensors Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2020	J	`jnl`	Fast deep neural networks for image processing using posits and ARM scalable vector extension. J. Real Time Image Process. Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2020	J	`jnl`	Solving mixed Pareto-Lexicographic multi-objective optimization problems: The case of priority chains. Swarm Evol. Comput. Leonardo Lai, Lorenzo Fiaschi, Marco Cococcioni
2020	J	`jnl`	Solving the Lexicographic Multi-Objective Mixed-Integer Linear Programming Problem using branch-and-bound and grossone methodology. Commun. Nonlinear Sci. Numer. Simul. Marco Cococcioni, Alessandro Cudazzo, Massimo Pappalardo, Yaroslav D. Sergeyev
2019	—	`conf`	A Fast Approximation of the Hyperbolic Tangent When Using Posit Numbers and Its Application to Deep Neural Networks. ApplePies Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2019	—	`conf`	Generalizing Pure and Impure Iterated Prisoner's Dilemmas to the Case of Infinite and Infinitesimal Quantities. NUMTA (2) Lorenzo Fiaschi, Marco Cococcioni
2019	—	`conf`	Grossone Methodology for Lexicographic Mixed-Integer Linear Programming Problems. NUMTA (2) Marco Cococcioni, Alessandro Cudazzo, Massimo Pappalardo, Yaroslav D. Sergeyev
2019	—	`conf`	Novel Arithmetics to Accelerate Machine Learning Classifiers in Autonomous Driving Applications. ICECS Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2019	J	`jnl`	Photonic Neural Networks: A Survey. IEEE Access Lorenzo De Marinis, Marco Cococcioni, Piero Castoldi, Nicola Andriolli
2018	—	`conf`	Computational Intelligence in Maritime Security and Defense: Challenges and Opportunities. SSCI Marco Cococcioni
2018	J	`jnl`	Lexicographic multi-objective linear programming using grossone methodology: Theory and algorithm. Appl. Math. Comput. Marco Cococcioni, Massimo Pappalardo, Yaroslav D. Sergeyev
2018	J	`jnl`	Numerical Asymptotic Results in Game Theory Using Sergeyev's Infinity Computing. CoRR Lorenzo Fiaschi, Marco Cococcioni
2018	J	`jnl`	Numerical Asymptotic Results in Game Theory Using Sergeyev's Infinity Computing. Int. J. Unconv. Comput. Lorenzo Fiaschi, Marco Cococcioni
2016	B	`conf`	A semi-supervised learning-aided evolutionary approach to occupational safety improvement. CEC Marco Cococcioni, Beatrice Lazzerini, Francesco Pistolesi
2016	J	`jnl`	Mission Planning and Decision Support for Underwater Glider Networks: A Sampling on-Demand Approach. Sensors Gabriele Ferri, Marco Cococcioni, Alberto Alvarez
2016	Misc	`conf`	Solving the environmental economic dispatch problem with prohibited operating zones in microgrids using NSGA-II and TOPSIS. SAC Marco Cococcioni, Beatrice Lazzerini, Francesco Marcelloni, Francesco Pistolesi
2016	—	`ch.`	mspMEA: The Microcones Separation Parallel Multiobjective Evolutionary Algorithm and Its Application to Fuzzy Rule-Based Ship Classification. Recent Advances in Computational Intelligence in Defense and Security Marco Cococcioni
2013	J	`jnl`	A decision support system for optimal deployment of sonobuoy networks based on sea current forecasts and multi-objective evolutionary optimization. Expert Syst. Appl. Raffaele Grasso, Marco Cococcioni, Baptiste Mourre, John Osler, Jacopo Chiggiato
2013	J	`jnl`	Robust Diagnosis of Rolling Element Bearings Based on Classification Techniques. IEEE Trans. Ind. Informatics Marco Cococcioni, Beatrice Lazzerini, Sara Lioba Volpi
2012	J	`jnl`	One day-ahead forecasting of energy production in solar photovoltaic installations: An empirical study. Intell. Decis. Technol. Marco Cococcioni, Eleonora D'Andrea, Beatrice Lazzerini
2011	C	`conf`	24-hour-ahead forecasting of energy production in solar PV systems. ISDA Marco Cococcioni, Eleonora D'Andrea, Beatrice Lazzerini
2011	J	`jnl`	A Decision Support Architecture for Maritime Operations Exploiting Multiple METOC Centres and Uncertainty. Int. J. Strateg. Decis. Sci. Raffaele Grasso, Marco Cococcioni, Michel Rixen, Alberto Baldacci
2011	—	`conf`	A hybrid continuity preserving inference strategy to speed up Takagi-Sugeno multiobjective genetic fuzzy systems. GEFS Marco Cococcioni, Raffaele Grasso, Michel Rixen
2011	J	`jnl`	Computer-aided detection of lung nodules based on decision fusion techniques. Pattern Anal. Appl. Michela Antonelli, Marco Cococcioni, Beatrice Lazzerini, Francesco Marcelloni
2011	J	`jnl`	On reducing computational overhead in multi-objective genetic Takagi-Sugeno fuzzy systems. Appl. Soft Comput. Marco Cococcioni, Beatrice Lazzerini, Francesco Marcelloni
2011	—	`conf`	Rapid prototyping of high performance fuzzy computing applications using high level GPU programming for maritime operations support. CISDA Marco Cococcioni, Raffaele Grasso, Michel Rixen
2010	J	`jnl`	A generic decision support architecture for maritime operations. Int. J. Intell. Def. Support Syst. Raffaele Grasso, Marco Cococcioni, Michel Rixen, Charles Trees, Alberto Baldacci
2010	B	`conf`	Building a time variant cost-oriented classifier using an ensemble of SVMs on a real case application. SMC Linda Corucci, Marco Cococcioni, Fabio Nardelli
2010	B	`conf`	Providing PRTools with fuzzy rule-based classifiers. FUZZ-IEEE Marco Cococcioni, Eleonora D'Andrea, Beatrice Lazzerini
2010	B	`conf`	Rolling element bearing diagnosis using convex hull. IJCNN Sara Lioba Volpi, Marco Cococcioni, Beatrice Lazzerini, Dan C. Stefanescu
2009	C	`conf`	Automatic Diagnosis of Defects of Rolling Element Bearings Based on Computational Intelligence Techniques. ISDA Marco Cococcioni, Beatrice Lazzerini, Sara Lioba Volpi
2009	B	`conf`	Rolling Element Bearing Fault Classification Using Soft Computing Techniques. SMC Beatrice Lazzerini, Marco Cococcioni, Sara Lioba Volpi
2008	B	`conf`	A Multi-Classifier System for Pulmonary Nodule Classification. CBMS Michela Antonelli, Marco Cococcioni, Beatrice Lazzerini, Francesco Marcelloni, Dan C. Stefanescu
2008	B	`conf`	Complexity reduction of Mamdani Fuzzy Systems through multi-valued logic minimization. SMC Marco Cococcioni, Luca Foschini, Beatrice Lazzerini, Francesco Marcelloni
2008	C	`conf`	Fast Multiobjective Genetic Rule Learning Using an Efficient Method for Takagi-Sugeno Fuzzy Systems Identification. HIS Marco Cococcioni, Beatrice Lazzerini, Francesco Marcelloni
2008	J	`jnl`	Solving the ocean color inverse problem by using evolutionary multi-objective optimization of neuro-fuzzy systems. Int. J. Knowl. Based Intell. Eng. Syst. Marco Cococcioni, Giovanni Corsini, Beatrice Lazzerini, Francesco Marcelloni
2007	J	`jnl`	A Pareto-based multi-objective evolutionary approach to the identification of Mamdani fuzzy systems. Soft Comput. Marco Cococcioni, Pietro Ducange, Beatrice Lazzerini, Francesco Marcelloni
2007	B	`conf`	A new multi-objective evolutionary algorithm based on convex hull for binary classifier optimization. IEEE Congress on Evolutionary Computation Marco Cococcioni, Pietro Ducange, Beatrice Lazzerini, Francesco Marcelloni
2007	J	`jnl`	Estimating the concentration of optically active constituents of sea water by Takagi-Sugeno models with quadratic rule consequents. Pattern Recognit. Marco Cococcioni, Beatrice Lazzerini, Francesco Marcelloni
2007	B	`conf`	Evolutionary Multi-Objective Optimization of Fuzzy Rule-Based Classifiers in the ROC Space. FUZZ-IEEE Marco Cococcioni, Pietro Ducange, Beatrice Lazzerini, Francesco Marcelloni
2007	—	`conf`	Modelling a Team of Radiologists for Lung Nodule Detection in CT Scans. KES (1) Michela Antonelli, Marco Cococcioni, Graziano Frosini, Beatrice Lazzerini, Francesco Marcelloni
2005	—	`conf`	Identification of Takagi-Sugeno Fuzzy Systems Based on Multi-objective Genetic Algorithms. WILF Marco Cococcioni, Pierluigi Guasqui, Beatrice Lazzerini, Francesco Marcelloni
2004	J	`jnl`	Approaching the ocean color problem using fuzzy rules. IEEE Trans. Syst. Man Cybern. Part B Marco Cococcioni, Giovanni Corsini, Beatrice Lazzerini, Francesco Marcelloni
2004	—	`—`	New approaches to fuzzy modelling and multiple classifier fusion. Marco Cococcioni
2003	B	`conf`	A system based on hierarchical fuzzy clustering for web users profiling. SMC Beatrice Lazzerini, Francesco Marcelloni, Marco Cococcioni
2003	B	`conf`	An Artificial Olfactory System for Quality and Geographical Discrimination of Olive Oils. KES Marco Cococcioni, Beatrice Lazzerini, Francesco Marcelloni
2002	C	`conf`	A fuzzy model for the retrieval of the sea water optically active constituents concentration from MERIS data. IGARSS Giovanni Corsini, Marco Diani, Raffaele Grasso, Beatrice Lazzerini, Francesco Marcelloni, Marco Cococcioni