Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
An Author Profiling Approach Based on Language-dependent Content and Stylometric Features
2015-01-01 Bartoli, Alberto; DE LORENZO, Andrea; Laderchi, Alessandra; Medvet, Eric; Tarlao, Fabiano
An Author Verification Approach Based on Differential Features
2015-01-01 Bartoli, Alberto; Dagri, Alex; DE LORENZO, Andrea; Medvet, Eric; Tarlao, Fabiano
Big data provenance: State-of-the-art analysis and emerging research challenges
2016-01-01 Cuzzocrea, Alfredo Massimiliano
A Brief History of Singlefold Diophantine Definitions
2023-01-01 Cantone, D.; Cuzziol, L.; Omodeo, E.
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation?
2018-01-01 Cantone, Domenico; Omodeo, Eugenio
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals
2020-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio; Spartà, Gaetano T.
Does every recursively enumerable set admit a finite-fold diophantine representation?
2019-01-01 Cantone, D.; Casagrande, A.; Fabris, F.; Omodeo, E.
Frequent subgraph mining from streams of linked graph structured data
2015-01-01 Cuzzocrea, Alfredo Massimiliano; Jiang, Fan; Leung, Carson K.
Hyper-Extensionality and One-Node Elimination on Membership Graphs
2014-01-01 Omodeo, Eugenio; Piazza, Carla; Policriti, Alberto; Tomescu, Alexandru I.
Integrated Topographic, GNSS, Remote Sensing and GIS/WebGIS Techniques Applied to the Study of Aquileia River Port Structures
2011-01-01 Cefalo, Raffaela; Cociancich, Alexia; DI BARTOLOMEO, Michele; Ferro, Francesca; Iansig, Massimo; Manzoni, Giorgio; Montagner, Giulio
Non-linear analytic prediction of IP addresses for supporting cyber attack detection and analysis
2021-01-01 Cuzzocrea, A.; Mumolo, E.; Fadda, E.; Soufargi, S.; Leung, C. K.
On Perfect Matchings for some Bipartite Graphs
2018-01-01 Casagrande, Alberto; DI COSMO, Francesco; Omodeo, Eugenio
On the elimination of quantifiers through descriptors in predicate logic
2012-01-01 Cantone, D.; Nicolosi-Asmundo, M.; Omodeo, E.
Polynomial-time satisfiability tests for boolean fragments of set theory
2019-01-01 Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E.
Preface to the Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019)
2019-01-01 Casagrande, Alberto; Omodeo, Eugenio
A proof-checking experiment on representing graphs as membership digraphs
2013-01-01 Calligaris, Pierpaolo; Omodeo, Eugenio; Tomescu, Alexandru I.
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF
2020-01-01 Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio
Set-Based Invariants over Polynomial Systems
2023-01-01 Casagrande, Alberto; Cimatti, Alessandro; Dorigo, Luca; Piazza, Carla; Tonetta, Stefano
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile