default search action
Marco Cococcioni
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j33]Marco Cococcioni
, Lorenzo Fiaschi
Linear programming with infinite, finite, and infinitesimal values in the right-hand side. Appl. Math. Comput. 486: 129044 (2025) - 2024
- [j32]Marco Cococcioni
A new cutting plane method for lexicographic multi-objective integer linear programming. Commun. Nonlinear Sci. Numer. Simul. 129: 107674 (2024) - [j31]Federico Rossi
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover. Eng. Appl. Artif. Intell. 137: 109238 (2024) - [c37]Marco Cococcioni:
Lexicographic Multi-Objective Optimization Using Infinite, Finite and Infinitesimal Numbers. ICORES 2024: 5 - [c36]Federico Rossi
Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM 2024: 207-222 - [i4]Lorenzo Fiaschi, Marco Cococcioni:
Informed deep hierarchical classification: a non-standard analysis inspired approach. CoRR abs/2409.16956 (2024) - 2023
- [j30]Leonardo Lai, Lorenzo Fiaschi
Pure and mixed lexicographic-paretian many-objective optimization: state of the art. Nat. Comput. 22(2): 227-242 (2023) - [j29]Emilio Paolini
CHARLES: A C++ fixed-point library for Photonic-Aware Neural Networks. Neural Networks 162: 531-540 (2023) - [c35]Lorenzo Fiaschi, Federico Rossi
Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions. ApplePies 2023: 62-67 - [c34]John L. Gustafson, Marco Cococcioni
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers. CoNGA 2023: 61-76 - [c33]Michele Piccoli, Davide Zoni, William Fornaciari
Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments. PARMA-DITAM 2023: 6:1-6:11 - [i3]Federico Rossi, Francesco Urbani, Marco Cococcioni, Emanuele Ruffaldi, Sergio Saponara:
FPPU: Design and Implementation of a Pipelined Full Posit Processing Unit. CoRR abs/2308.03425 (2023) - [i2]Federico Rossi, Marco Cococcioni, Roger Ferrer Ibáñez, Jesús Labarta, Filippo Mantovani, Marc Casas, Emanuele Ruffaldi, Sergio Saponara:
Compressed Real Numbers for AI: a case-study using a RISC-V CPU. CoRR abs/2309.07158 (2023) - 2022
- [j28]Vieri Benci, Marco Cococcioni
Non-Standard Analysis Revisited: An Easy Axiomatic Presentation Oriented Towards Numerical Applications. Int. J. Appl. Math. Comput. Sci. 32(1): 65-80 (2022) - [j27]Emilio Paolini
Photonic-aware neural networks. Neural Comput. Appl. 34(18): 15589-15601 (2022) - [j26]Marco Cococcioni
A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications. IEEE Trans. Emerg. Top. Comput. 10(4): 1898-1908 (2022) - [c32]Giacomo Sansone, Marco Cococcioni
Experiments on Speeding Up the Recursive Fast Fourier Transform by Using AVX-512 SIMD Instructions. ApplePies 2022: 255-263 - [c31]Federico Rossi
Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching. ApplePies 2022: 320-325 - [c30]Marco Cococcioni
Small Reals Representations for Deep Learning at the Edge: A Comparison. CoNGA 2022: 117-133 - [c29]Emilio Paolini, Lorenzo De Marinis, Marco Cococcioni, Luca Valcarenghi, Luca Maggiani, Nicola Andriolli:
Photonic-Aware Neural Network: a fixed-point emulation of photonic hardware. OECC/PSC 2022: 1-3 - 2021
- [j25]Lorenzo Fiaschi, Marco Cococcioni
Non-Archimedean game theory: A numerical approach. Appl. Math. Comput. 409: 125356 (2021) - [j24]Marco Cococcioni
Non-Archimedean zero-sum games. J. Comput. Appl. Math. 393: 113483 (2021) - [j23]Marco Cococcioni
Vectorizing posit operations on RISC-V for faster deep neural networks: experiments and comparison with ARM SVE. Neural Comput. Appl. 33(16): 10575-10585 (2021) - [j22]Marco Cococcioni
The Big-M method with the numerical infinite M. Optim. Lett. 15(7): 2455-2468 (2021) - [j21]Marco Cococcioni
Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities. IEEE Signal Process. Mag. 38(1): 97-110 (2021) - [j20]Leonardo Lai
Solving Mixed Pareto-Lexicographic Multiobjective Optimization Problems: The Case of Priority Levels. IEEE Trans. Evol. Comput. 25(5): 971-985 (2021) - [c28]Marco Cococcioni
Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine. ApplePies 2021: 61-68 - [c27]Leonardo Lai
Handling Priority Levels in Mixed Pareto-Lexicographic Many-Objective Optimization Problems. EMO 2021: 362-374 - 2020
- [j19]Marco Cococcioni
Solving the Lexicographic Multi-Objective Mixed-Integer Linear Programming Problem using branch-and-bound and grossone methodology. Commun. Nonlinear Sci. Numer. Simul. 84: 105177 (2020) - [j18]Marco Cococcioni
Fast deep neural networks for image processing using posits and ARM scalable vector extension. J. Real Time Image Process. 17(3): 759-771 (2020) - [j17]Marco Cococcioni
Fast Approximations of Activation Functions in Deep Neural Networks when using Posit Arithmetic. Sensors 20(5): 1515 (2020) - [j16]Leonardo Lai, Lorenzo Fiaschi, Marco Cococcioni
Solving mixed Pareto-Lexicographic multi-objective optimization problems: The case of priority chains. Swarm Evol. Comput. 55: 100687 (2020) - [c26]Marco Cococcioni
A Novel Posit-based Fast Approximation of ELU Activation Function for Deep Neural Networks. SMARTCOMP 2020: 244-246
2010 – 2019
- 2019
- [j15]Lorenzo De Marinis
Photonic Neural Networks: A Survey. IEEE Access 7: 175827-175841 (2019) - [c25]Marco Cococcioni
A Fast Approximation of the Hyperbolic Tangent When Using Posit Numbers and Its Application to Deep Neural Networks. ApplePies 2019: 213-221 - [c24]Marco Cococcioni
Novel Arithmetics to Accelerate Machine Learning Classifiers in Autonomous Driving Applications. ICECS 2019: 779-782 - [c23]Marco Cococcioni
Grossone Methodology for Lexicographic Mixed-Integer Linear Programming Problems. NUMTA (2) 2019: 337-345 - [c22]Lorenzo Fiaschi
Generalizing Pure and Impure Iterated Prisoner's Dilemmas to the Case of Infinite and Infinitesimal Quantities. NUMTA (2) 2019: 370-377 - 2018
- [j14]Marco Cococcioni
Lexicographic multi-objective linear programming using grossone methodology: Theory and algorithm. Appl. Math. Comput. 318: 298-311 (2018) - [j13]Lorenzo Fiaschi, Marco Cococcioni:
Numerical Asymptotic Results in Game Theory Using Sergeyev's Infinity Computing. Int. J. Unconv. Comput. 14(1): 1-25 (2018) - [c21]Marco Cococcioni
Computational Intelligence in Maritime Security and Defense: Challenges and Opportunities. SSCI 2018: 1964-1967 - [i1]Lorenzo Fiaschi, Marco Cococcioni:
Numerical Asymptotic Results in Game Theory Using Sergeyev's Infinity Computing. CoRR abs/1808.00738 (2018) - 2016
- [j12]Gabriele Ferri
Mission Planning and Decision Support for Underwater Glider Networks: A Sampling on-Demand Approach. Sensors 16(1): 28 (2016) - [c20]Marco Cococcioni
A semi-supervised learning-aided evolutionary approach to occupational safety improvement. CEC 2016: 3695-3701 - [c19]Marco Cococcioni
Solving the environmental economic dispatch problem with prohibited operating zones in microgrids using NSGA-II and TOPSIS. SAC 2016: 2154-2157 - [p1]Marco Cococcioni
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 2016: 445-465 - 2013
- [j11]Raffaele Grasso
A decision support system for optimal deployment of sonobuoy networks based on sea current forecasts and multi-objective evolutionary optimization. Expert Syst. Appl. 40(10): 3886-3899 (2013) - [j10]Marco Cococcioni
Robust Diagnosis of Rolling Element Bearings Based on Classification Techniques. IEEE Trans. Ind. Informatics 9(4): 2256-2263 (2013) - 2012
- [j9]Marco Cococcioni
One day-ahead forecasting of energy production in solar photovoltaic installations: An empirical study. Intell. Decis. Technol. 6(3): 197-210 (2012) - 2011
- [j8]Marco Cococcioni
On reducing computational overhead in multi-objective genetic Takagi-Sugeno fuzzy systems. Appl. Soft Comput. 11(1): 675-688 (2011) - [j7]Raffaele Grasso, Marco Cococcioni
A Decision Support Architecture for Maritime Operations Exploiting Multiple METOC Centres and Uncertainty. Int. J. Strateg. Decis. Sci. 2(1): 1-27 (2011) - [j6]Michela Antonelli
Computer-aided detection of lung nodules based on decision fusion techniques. Pattern Anal. Appl. 14(3): 295-310 (2011) - [c18]Marco Cococcioni
Rapid prototyping of high performance fuzzy computing applications using high level GPU programming for maritime operations support. CISDA 2011: 17-23 - [c17]Marco Cococcioni
A hybrid continuity preserving inference strategy to speed up Takagi-Sugeno multiobjective genetic fuzzy systems. GEFS 2011: 66-72 - [c16]Marco Cococcioni
24-hour-ahead forecasting of energy production in solar PV systems. ISDA 2011: 1276-1281 - 2010
- [j5]Raffaele Grasso, Marco Cococcioni
A generic decision support architecture for maritime operations. Int. J. Intell. Def. Support Syst. 3(3/4): 281-304 (2010) - [c15]Marco Cococcioni
Providing PRTools with fuzzy rule-based classifiers. FUZZ-IEEE 2010: 1-8 - [c14]Sara Lioba Volpi, Marco Cococcioni
Rolling element bearing diagnosis using convex hull. IJCNN 2010: 1-8 - [c13]Linda Corucci, Marco Cococcioni
Building a time variant cost-oriented classifier using an ensemble of SVMs on a real case application. SMC 2010: 222-229
2000 – 2009
- 2009
- [c12]Marco Cococcioni
Automatic Diagnosis of Defects of Rolling Element Bearings Based on Computational Intelligence Techniques. ISDA 2009: 970-975 - [c11]Beatrice Lazzerini
Rolling Element Bearing Fault Classification Using Soft Computing Techniques. SMC 2009: 4926-4931 - 2008
- [j4]Marco Cococcioni, Giovanni Corsini, Beatrice Lazzerini, Francesco Marcelloni:
Solving the ocean color inverse problem by using evolutionary multi-objective optimization of neuro-fuzzy systems. Int. J. Knowl. Based Intell. Eng. Syst. 12(5-6): 339-355 (2008) - [c10]Michela Antonelli
A Multi-Classifier System for Pulmonary Nodule Classification. CBMS 2008: 587-589 - [c9]Marco Cococcioni
Fast Multiobjective Genetic Rule Learning Using an Efficient Method for Takagi-Sugeno Fuzzy Systems Identification. HIS 2008: 272-277 - [c8]Marco Cococcioni
Complexity reduction of Mamdani Fuzzy Systems through multi-valued logic minimization. SMC 2008: 1782-1787 - 2007
- [j3]Marco Cococcioni
Estimating the concentration of optically active constituents of sea water by Takagi-Sugeno models with quadratic rule consequents. Pattern Recognit. 40(10): 2846-2860 (2007) - [j2]Marco Cococcioni
A Pareto-based multi-objective evolutionary approach to the identification of Mamdani fuzzy systems. Soft Comput. 11(11): 1013-1031 (2007) - [c7]Marco Cococcioni
A new multi-objective evolutionary algorithm based on convex hull for binary classifier optimization. IEEE Congress on Evolutionary Computation 2007: 3150-3156 - [c6]Marco Cococcioni
Evolutionary Multi-Objective Optimization of Fuzzy Rule-Based Classifiers in the ROC Space. FUZZ-IEEE 2007: 1-6 - [c5]Michela Antonelli, Marco Cococcioni
Modelling a Team of Radiologists for Lung Nodule Detection in CT Scans. KES (1) 2007: 303-310 - 2005
- [c4]Marco Cococcioni
Identification of Takagi-Sugeno Fuzzy Systems Based on Multi-objective Genetic Algorithms. WILF 2005: 172-177 - 2004
- [b1]Marco Cococcioni:
New approaches to fuzzy modelling and multiple classifier fusion. University of Pisa, Italy, 2004 - [j1]Marco Cococcioni
Approaching the ocean color problem using fuzzy rules. IEEE Trans. Syst. Man Cybern. Part B 34(3): 1360-1373 (2004) - 2003
- [c3]Marco Cococcioni
An Artificial Olfactory System for Quality and Geographical Discrimination of Olive Oils. KES 2003: 647-653 - [c2]Beatrice Lazzerini, Francesco Marcelloni, Marco Cococcioni
A system based on hierarchical fuzzy clustering for web users profiling. SMC 2003: 1995-2000 - 2002
- [c1]Giovanni Corsini, Marco Diani, Raffaele Grasso, Beatrice Lazzerini, Francesco Marcelloni, Marco Cococcioni
A fuzzy model for the retrieval of the sea water optically active constituents concentration from MERIS data. IGARSS 2002: 98-100
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: