Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
A C++ reasoner for the description logic DL4;× D?
2017-01-01 Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
Can a single equation witness that every r.e. set admits a finite-fold Diophantine representation?
2018-01-01 Cantone, Domenico; Omodeo, Eugenio G.
A cloud-based flexible solution for psychometric tests validation, administration and evaluation
file da validare2019-01-01 Lo Sciuto, G.; Russo, S.; Napoli, C.
A cloud-oriented architecture for the remote assessment and follow-up of hospitalized patients
file da validare2020-01-01 Illari, S. I.; Russo, S.; Avanzato, R.; Napoli, C.
Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator
file da validare2023-01-01 Cantone, D.; Maugeri, P.
Continued Hereditarily Finite Sets Approximations
2023-01-01 Cantone, Domenico; Omodeo, Eugenio G.; Policriti, Alberto
COURAGE at CheckThat! 2022: Harmful Tweet Detection using Graph Neural Networks and ELECTRA
2022-01-01 Lomonaco, F.; Donabauer, G.; Siino, M.
Current and future opportunities of digital transformation in the agrifood sector
2020-01-01 Scuderi, A.; La Via, G.; Timpanaro, G.; Sturiale, L.
Dankmemes@ evalita 2020: The memeing of life: Memes, multimodality and politics
2020-01-01 Miliani, Martina; Giorgi, Giulia; Rama, Ilir; Anselmi, Guido; E Lebani, Gianluca
A decidable theory of differentiable functions with convexities and concavities on real intervals
2020-01-01 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T.
A decidable theory treating addition of differentiable real functions
2021-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano
A Declarative C++ Agent Platform for Agent-based Edge Computing
2023-01-01 Messina, F.; Santoro, C.; Santoro, F. F.
Density of Ham- and Lee-non-isometric k-ary Words
2023-01-01 Anselmo, M.; Flores, M.; Madonia, M.
Detecting the Number of Bite Prehension of Ggrazing Cows in an Extensive System Using an Audio Recording Method
2023-01-01 Avanzato, R.; Avondo, M.; Beritelli, F.; Di Franco, F; Tumino, S
Detection of Hate Speech Spreaders using convolutional neural networks
2021-01-01 Siino, M.; Di Nuovo, E.; Tinnirello, I.; la Cascia, M.
Does every recursively enumerable set admit a finite-fold Diophantine representation?
2019-01-01 Cantone, Domenico; Casagrande, A.; Fabris, F.; Omodeo, Eugenio G.
An early warning system for seismic events based on the multi-agent model
file da validare2020-01-01 Spina, R.; Fornaia, A.; Tramontana, E.
Effective group formation in agent societies
file da validare2018-01-01 Liotta, Antonio; Messina, Fabrizio; Rosaci, Domenico; Sarné, Giuseppe M. L.
Effective Heuristics for Finding Small Minimal Feedback Arc Set Even for Large Graphs
file da validare2023-01-01 Cavallaro, C.; Cutello, V.; Pavone, M.
EmotivITA at EVALITA2023: Overview of the Dimensional and Multidimensional Emotion Analysis Task
2023-01-01 Cutugno, Francesco; Venuti, Marco; Gafa, Giovanni
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