Marco Cococcioni
Orcid: 0000-0002-7020-1524
According to our database1,
Marco Cococcioni
authored at least 75 papers
between 2002 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Linear programming with infinite, finite, and infinitesimal values in the right-hand side.
Appl. Math. Comput., 2025
2024
A new cutting plane method for lexicographic multi-objective integer linear programming.
Commun. Nonlinear Sci. Numer. Simul., February, 2024
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover.
Eng. Appl. Artif. Intell., 2024
Informed deep hierarchical classification: a non-standard analysis inspired approach.
CoRR, 2024
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
Lexicographic Multi-Objective Optimization Using Infinite, Finite and Infinitesimal Numbers.
Proceedings of the 13th International Conference on Operations Research and Enterprise Systems, 2024
2023
Nat. Comput., June, 2023
Neural Networks, May, 2023
CoRR, 2023
Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments.
Proceedings of the 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2023
Proceedings of the Next Generation Arithmetic - 4th International Conference, 2023
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2023
2022
A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications.
IEEE Trans. Emerg. Top. Comput., 2022
Non-Standard Analysis Revisited: An Easy Axiomatic Presentation Oriented Towards Numerical Applications.
Int. J. Appl. Math. Comput. Sci., 2022
Proceedings of the 2022 27th OptoElectronics and Communications Conference (OECC) and 2022 International Conference on Photonics in Switching and Computing (PSC), 2022
Proceedings of the Next Generation Arithmetic - Third International Conference, 2022
Experiments on Speeding Up the Recursive Fast Fourier Transform by Using AVX-512 SIMD Instructions.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2022
Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2022
2021
Solving Mixed Pareto-Lexicographic Multiobjective Optimization Problems: The Case of Priority Levels.
IEEE Trans. Evol. Comput., 2021
Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities.
IEEE Signal Process. Mag., 2021
Vectorizing posit operations on RISC-V for faster deep neural networks: experiments and comparison with ARM SVE.
Neural Comput. Appl., 2021
Handling Priority Levels in Mixed Pareto-Lexicographic Many-Objective Optimization Problems.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2021
Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2021
2020
Solving mixed Pareto-Lexicographic multi-objective optimization problems: The case of priority chains.
Swarm Evol. Comput., 2020
Fast Approximations of Activation Functions in Deep Neural Networks when using Posit Arithmetic.
Sensors, 2020
Fast deep neural networks for image processing using posits and ARM scalable vector extension.
J. Real Time Image Process., 2020
Solving the Lexicographic Multi-Objective Mixed-Integer Linear Programming Problem using branch-and-bound and grossone methodology.
Commun. Nonlinear Sci. Numer. Simul., 2020
A Novel Posit-based Fast Approximation of ELU Activation Function for Deep Neural Networks.
Proceedings of the IEEE International Conference on Smart Computing, 2020
2019
Generalizing Pure and Impure Iterated Prisoner's Dilemmas to the Case of Infinite and Infinitesimal Quantities.
Proceedings of the Numerical Computations: Theory and Algorithms, 2019
Proceedings of the Numerical Computations: Theory and Algorithms, 2019
Novel Arithmetics to Accelerate Machine Learning Classifiers in Autonomous Driving Applications.
Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019
A Fast Approximation of the Hyperbolic Tangent When Using Posit Numbers and Its Application to Deep Neural Networks.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2019
2018
Int. J. Unconv. Comput., 2018
Lexicographic multi-objective linear programming using grossone methodology: Theory and algorithm.
Appl. Math. Comput., 2018
Computational Intelligence in Maritime Security and Defense: Challenges and Opportunities.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2018
2016
mspMEA: The Microcones Separation Parallel Multiobjective Evolutionary Algorithm and Its Application to Fuzzy Rule-Based Ship Classification.
Proceedings of the Recent Advances in Computational Intelligence in Defense and Security, 2016
Mission Planning and Decision Support for Underwater Glider Networks: A Sampling on-Demand Approach.
Sensors, 2016
Solving the environmental economic dispatch problem with prohibited operating zones in microgrids using NSGA-II and TOPSIS.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
A semi-supervised learning-aided evolutionary approach to occupational safety improvement.
Proceedings of the IEEE Congress on Evolutionary Computation, 2016
2013
IEEE Trans. Ind. Informatics, 2013
A decision support system for optimal deployment of sonobuoy networks based on sea current forecasts and multi-objective evolutionary optimization.
Expert Syst. Appl., 2013
2012
One day-ahead forecasting of energy production in solar photovoltaic installations: An empirical study.
Intell. Decis. Technol., 2012
2011
Pattern Anal. Appl., 2011
A Decision Support Architecture for Maritime Operations Exploiting Multiple METOC Centres and Uncertainty.
Int. J. Strateg. Decis. Sci., 2011
On reducing computational overhead in multi-objective genetic Takagi-Sugeno fuzzy systems.
Appl. Soft Comput., 2011
Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011
A hybrid continuity preserving inference strategy to speed up Takagi-Sugeno multiobjective genetic fuzzy systems.
Proceedings of the 5th IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems, 2011
Rapid prototyping of high performance fuzzy computing applications using high level GPU programming for maritime operations support.
Proceedings of the 2011 IEEE Symposium on Computational Intelligence for Security and Defense Applications, 2011
2010
Int. J. Intell. Def. Support Syst., 2010
Building a time variant cost-oriented classifier using an ensemble of SVMs on a real case application.
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the International Joint Conference on Neural Networks, 2010
Proceedings of the FUZZ-IEEE 2010, 2010
2009
Proceedings of the IEEE International Conference on Systems, 2009
Automatic Diagnosis of Defects of Rolling Element Bearings Based on Computational Intelligence Techniques.
Proceedings of the Ninth International Conference on Intelligent Systems Design and Applications, 2009
2008
Solving the ocean color inverse problem by using evolutionary multi-objective optimization of neuro-fuzzy systems.
Int. J. Knowl. Based Intell. Eng. Syst., 2008
Complexity reduction of Mamdani Fuzzy Systems through multi-valued logic minimization.
Proceedings of the IEEE International Conference on Systems, 2008
Fast Multiobjective Genetic Rule Learning Using an Efficient Method for Takagi-Sugeno Fuzzy Systems Identification.
Proceedings of the 8th International Conference on Hybrid Intelligent Systems (HIS 2008), 2008
Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, 2008
2007
A Pareto-based multi-objective evolutionary approach to the identification of Mamdani fuzzy systems.
Soft Comput., 2007
Estimating the concentration of optically active constituents of sea water by Takagi-Sugeno models with quadratic rule consequents.
Pattern Recognit., 2007
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007
Evolutionary Multi-Objective Optimization of Fuzzy Rule-Based Classifiers in the ROC Space.
Proceedings of the FUZZ-IEEE 2007, 2007
A new multi-objective evolutionary algorithm based on convex hull for binary classifier optimization.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007
2005
Identification of Takagi-Sugeno Fuzzy Systems Based on Multi-objective Genetic Algorithms.
Proceedings of the Fuzzy Logic and Applications, 6th International Workshop, 2005
2004
IEEE Trans. Syst. Man Cybern. Part B, 2004
2003
Proceedings of the IEEE International Conference on Systems, 2003
An Artificial Olfactory System for Quality and Geographical Discrimination of Olive Oils.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003
2002
A fuzzy model for the retrieval of the sea water optically active constituents concentration from MERIS data.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2002