IRIS

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 20 di 74
Titolo Data di pubblicazione Autore(i) File
3D simulation of unmanned aerial vehicles 1-gen-2017 De Benedetti, Massimiliano; D'Urso, Fabio; Messina, Fabrizio; Pappalardo, Giuseppe; Santoro, Corrado file da validare
The Agro-ecological Pattern of Animal Husbandry as a Sustainable Food System 1-gen-2022 Scuderi, A.; Timpanaro, G.; Cammarata, M.; Sturiale, L.; Bellia, C.; Foti, V. T. file da validare
An Automated Method for the Ontological Representation of Security Directives 1-gen-2023 Bella, G.; Castiglione, G.; Santamaria, D. F. file da validare
Autonomous composition and execution of REST APIs for smart sensors 1-gen-2015 Ventura, D.; Verborgh, R.; Catania, Vincenzo; Mannens, E.
A Behaviouristic Approach to Representing Processes and Procedures in the OASIS 2 Ontology 1-gen-2023 Bella, G.; Castiglione, G.; Santamaria, D. F. file da validare
Bit-Layers Text Encoding for Efficient Text Processing 1-gen-2020 Cantone, Domenico; Faro, Simone; Scafiti, Stefano
A brief history of singlefold Diophantine definitions 1-gen-2023 Cantone, Domenico; Cuzziol, Luca; Omodeo, Eugenio G. file da validare
A C++ reasoner for the description logic DL4;× D? 1-gen-2017 Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
Can a single equation witness that every r.e. set admits a finite-fold Diophantine representation? 1-gen-2018 Cantone, Domenico; Omodeo, Eugenio G.
A cloud-based flexible solution for psychometric tests validation, administration and evaluation 1-gen-2019 Lo Sciuto, G.; Russo, S.; Napoli, C. file da validare
A cloud-oriented architecture for the remote assessment and follow-up of hospitalized patients 1-gen-2020 Illari, S. I.; Russo, S.; Avanzato, R.; Napoli, C. file da validare
Continued Hereditarily Finite Sets Approximations 1-gen-2023 Cantone, Domenico; Omodeo, Eugenio G.; Policriti, Alberto file da validare
Current and future opportunities of digital transformation in the agrifood sector 1-gen-2020 Scuderi, A.; La Via, G.; Timpanaro, G.; Sturiale, L.
A decidable theory of differentiable functions with convexities and concavities on real intervals 1-gen-2020 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T.
A decidable theory treating addition of differentiable real functions 1-gen-2021 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano file da validare
Density of Ham- and Lee-non-isometric k-ary Words 1-gen-2023 Anselmo, M.; Flores, M.; Madonia, M. file da validare
Does every recursively enumerable set admit a finite-fold Diophantine representation? 1-gen-2019 Cantone, Domenico; Casagrande, A.; Fabris, F.; Omodeo, Eugenio G.
An early warning system for seismic events based on the multi-agent model 1-gen-2020 Spina, R.; Fornaia, A.; Tramontana, E. file da validare
Effective group formation in agent societies 1-gen-2018 Liotta, Antonio; Messina, Fabrizio; Rosaci, Domenico; Sarné, Giuseppe M. L. file da validare
Effective Heuristics for Finding Small Minimal Feedback Arc Set Even for Large Graphs 1-gen-2023 Cavallaro, C.; Cutello, V.; Pavone, M. file da validare
Mostrati risultati da 1 a 20 di 74
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