Sfoglia per Serie  CEUR WORKSHOP PROCEEDINGS

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 19 di 19
Titolo Data di pubblicazione Autori File
An Author Profiling Approach Based on Language-dependent Content and Stylometric Features 1-gen-2015 BARTOLI, AlbertoDE LORENZO, ANDREALADERCHI, ALESSANDRAMEDVET, EricTARLAO, FABIANO
An Author Verification Approach Based on Differential Features 1-gen-2015 BARTOLI, AlbertoDAGRI, ALEXDE LORENZO, ANDREAMEDVET, EricTARLAO, FABIANO
Big data provenance: State-of-the-art analysis and emerging research challenges 1-gen-2016 CUZZOCREA, Alfredo Massimiliano
A Brief History of Singlefold Diophantine Definitions 1-gen-2023 Omodeo E. +
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation? 1-gen-2018 Domenico CantoneEugenio Omodeo
Continued Hereditarily Finite Set-Approximations 1-gen-2023 Eugenio Omodeo +
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals 1-gen-2020 Eugenio Omodeo +
Does every recursively enumerable set admit a finite-fold diophantine representation? 1-gen-2019 Casagrande A.Fabris F.Omodeo E. +
Frequent subgraph mining from streams of linked graph structured data 1-gen-2015 CUZZOCREA, Alfredo Massimiliano +
Hyper-Extensionality and One-Node Elimination on Membership Graphs 1-gen-2014 OMODEO, EUGENIO +
Integrated Topographic, GNSS, Remote Sensing and GIS/WebGIS Techniques Applied to the Study of Aquileia River Port Structures 1-gen-2011 CEFALO, RAFFAELACOCIANCICH, ALEXIADI BARTOLOMEO, MICHELEFERRO, FRANCESCAIANSIG, MASSIMOMANZONI, GIORGIO +
Non-linear analytic prediction of IP addresses for supporting cyber attack detection and analysis 1-gen-2021 Cuzzocrea A.Mumolo E. +
On Perfect Matchings for some Bipartite Graphs 1-gen-2018 Alberto CasagrandeFrancesco Di CosmoEugenio Omodeo
On the elimination of quantifiers through descriptors in predicate logic 1-gen-2012 Omodeo, E. +
Polynomial-time satisfiability tests for boolean fragments of set theory 1-gen-2019 Omodeo E. +
Preface to the Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019) 1-gen-2019 Alberto CasagrandeEugenio Omodeo
A proof-checking experiment on representing graphs as membership digraphs 1-gen-2013 OMODEO, EUGENIO +
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF 1-gen-2020 Eugenio Omodeo +
Set-Based Invariants over Polynomial Systems 1-gen-2023 Alberto Casagrande +
Mostrati risultati da 1 a 19 di 19
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