19 Result(s)
within
Chapter
Marco Cococcioni
-
Chapter and Conference Paper
Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions
This work presents the acceleration of a Bounded Algorithmic Number (BAN) library exploiting vector instructions in general-purpose processors. With the use of this encoding, it is possible to represent non-Ar...
-
Chapter and Conference Paper
Towards Formal Verification of Neural Networks in Cyber-Physical Systems
Machine Learning approaches have been successfully used for the creation of high-performance control components of cyber-physical systems, where the control dynamics result from the combination of many subsyst...
-
Chapter and Conference Paper
Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching
This work presents the design and synthesis of a processing unit for numbers encoded according to the recently introduced BAN format. Such an encoding allows one to represent numbers which are not only finite ...
-
Chapter and Conference Paper
Experiments on Speeding Up the Recursive Fast Fourier Transform by Using AVX-512 SIMD Instructions
The Fast Fourier Transform is probably one of the most studied algorithms of all time. New techniques regarding hardware and software are often applied and tested on it, but the interest in FFT is still large bec...
-
Chapter and Conference Paper
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers
In this work, we present a novel method for directly computing functions of two real numbers using logic circuits without decoding; the real numbers are mapped to a particularly-chosen set of integer numbers. ...
-
Chapter and Conference Paper
Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine
With the pervasiveness of deep neural networks in scenarios that bring real-time requirements, there is the increasing need for optimized arithmetic on high performance architectures. In this paper we adopt tw...
-
Chapter
On the Use of Grossone Methodology for Handling Priorities in Multi-objective Evolutionary Optimization
This chapter introduces a new class of optimization problems, called Mixed Pareto-Lexicographic Multi-objective Optimization Problems (MPL-MOPs), to provide a suitable model for scenarios where some objectives...
-
Chapter
Computing Optimal Decision Strategies Using the Infinity Computer: The Case of Non-Archimedean Zero-Sum Games
As is well known, zero-sum games are appropriate instruments for the analysis of several issues across areas including economics, international relations and engineering, among others. In particular, the Nash ...
-
Chapter and Conference Paper
Small Reals Representations for Deep Learning at the Edge: A Comparison
The pervasiveness of deep neural networks (DNNs) in edge devices enforces new requirements on information representation. Low precision formats from 16 bits down to 1 or 2 bits have been proposed in the last y...
-
Chapter
Multi-objective Lexicographic Mixed-Integer Linear Programming: An Infinity Computer Approach
In this chapter we show how a lexicographic multi-objective linear programming problem (LMOLP) can be transformed into an equivalent, single-objective one, by using the Grossone Methodology. Then we provide a ...
-
Chapter and Conference Paper
Handling Priority Levels in Mixed Pareto-Lexicographic Many-Objective Optimization Problems
This paper studies a class of mixed Pareto-Lexicographic multi-objective optimization problems where the preference among the objectives is available in different priority levels (PLs) before the start of the opt...
-
Chapter and Conference Paper
Grossone Methodology for Lexicographic Mixed-Integer Linear Programming Problems
In this work we have addressed lexicographic multi-objective linear programming problems where some of the variables are constrained to be integer. We have called this class of problems LMILP, which stands for...
-
Chapter and Conference Paper
Generalizing Pure and Impure Iterated Prisoner’s Dilemmas to the Case of Infinite and Infinitesimal Quantities
In this work, a generalization of both Pure and Impure iterated Prisoner’s Dilemmas is presented. More precisely, the generalization concerns the use of non-Archimedean quantities, i.e., payoffs that can be in...
-
Chapter and Conference Paper
A Fast Approximation of the Hyperbolic Tangent When Using Posit Numbers and Its Application to Deep Neural Networks
Deep Neural Networks (DNNs) are being used in more and more fields. Among the others, automotive is a field where deep neural networks are being exploited the most. An important aspect to be considered is the ...
-
Chapter
mspMEA: The Microcones Separation Parallel Multiobjective Evolutionary Algorithm and Its Application to Fuzzy Rule-Based Ship Classification
This chapter presents a new parallel multiobjective evolutionary algorithm, based on the island model, where the objective space is exploited to distribute the individuals among the processors. The algorithm, ...
-
Chapter
Towards Efficient Multi-objective Genetic Takagi-Sugeno Fuzzy Systems for High Dimensional Problems
Multi-objective genetic Takagi-Sugeno (TS) fuzzy systems use multiobjective evolutionary algorithms to generate a set of fuzzy rule-based systems of the TS type with different trade-offs between, generally, co...
-
Chapter and Conference Paper
Modelling a Team of Radiologists for Lung Nodule Detection in CT Scans
This paper describes a system for automatic detection of pulmonary nodules in lung CT (Computed Tomography) images. After modelling the activity of a single radiologist as two subsequent phases, namely, the re...
-
Chapter and Conference Paper
Identification of Takagi-Sugeno Fuzzy Systems Based on Multi-objective Genetic Algorithms
In this paper we exploit multi-objective genetic algorithms to identify Takagi-Sugeno (TS) fuzzy systems that show simultaneously high accuracy and low complexity. Using this approach, we approximate the Paret...
-
Chapter and Conference Paper
An Artificial Olfactory System for Quality and Geographical Discrimination of Olive Oils
In this paper we present an artificial olfactory system for classification and recognition of both quality and geographical origin of olive oil. The olfactory system employs a set of metal oxide sensors. Two d...
