3 papers
cs.LO2021
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques
Fabio Gadducci, Francesco Santini
Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator. One of its area of appl…
cs.LO2020
A spatial model checker in GPU (extended version)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
The tool voxlogica merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by…
cs.GL2019
Retracing and assessing the CEP project
Giovanni A. Cignoni, Fabio Gadducci
The last decade witnessed a renewed interest in the development of the Italian computer industry and in the role of the Fifties pioneers in Rome, Milan, Ivrea, and Pisa. The aim of…