A GPU implementation of the ASP computation
2016-01-01 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
A DBMS-based system for integrating grids and clouds: Anatomy, models, functionalities
2016-01-01 Mariotti, Mirko; Gervasi, Osvaldo; Vella, Flavio; Costantini, Alessandro; Cuzzocrea, Alfredo
A Simulation Framework for Scheduling Performance Evaluation on CPU-GPU Heterogeneous System
2012-01-01 Vella, Flavio; Neri, Igor; Gervasi, Osvaldo; Tasso, Sergio
Parallel Execution of the ASP Computation - an Investigation on GPUs
2015-01-01 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
Effectively and Efficiently Supporting Grid and Cloud Integration via a DBMS-based Framework
2017-01-01 Cuzzocrea, Alfredo; Gervasi, Osvaldo; Mariotti, Mirko; Vella, Flavio; Costantini, Alessandro
CUD@ASP: Experimenting with GPUs in ASP solving
2013-01-01 Vella, Flavio; Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
On multiple learning schemata in conflict driven solvers
2014-01-01 Formisano, Andrea; Vella, Flavio
Harmonics Amplitude in Plane and Focused Waves - a Comparative Study at Equal Mechanical Index
2019-01-01 Guidi, Francesco; Demi, Libertario; Tortoli, Piero
La discrezionalità del giudice nei giudizi prognostici funzionali all'applicazione delle pene sostitutive e delle misure alternative alla detenzione
2025-01-01 Moro, Francesca
NuSMV 2: An opensource tool for symbolic model checking
2002-01-01 Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
Towards sub-100Hz Super-Resolution Imaging Through a Novel Bi-Directional Interpolation Technique
2024-01-01 Tuccio, Giulia; Afrakhteh, Sajjad; Demi, Libertario
Novel Quantitative Lung Ultrasound Spectroscopy Approach for Diseases Classification
2024-01-01 Perpenti, Mattia; Mento, Federico; Pierro, Giovanni; Perrotta, Alessandro; Smargiassi, Andrea; Inchingolo, Riccardo; Demi, Libertario
Enhanced South-Bound Communications for Underwater Acoustic Software Defined Networks
2024-01-01 Giarrè, Federico; Casari, Paolo
Comparing Large Language Models and Grammatical Evolution for Code Generation
2024-01-01 Custode, Leonardo Lucio; Rambaldi Migliore, Chiara Camilla; Roveri, Marco; Iacca, Giovanni
An investigation on the use of Large Language Models for hyperparameter tuning in Evolutionary Algorithms
2024-01-01 Custode, Leonardo Lucio; Caraffini, Fabio; Yaman, Anil; Iacca, Giovanni
The tradeoffs between data delivery ratio and energy costs in wireless sensor networks
2014-01-01 Bucur, Doina; Iacca, Giovanni; Squillero, Giovanni; Tonda, Alberto
The Effect of Training Schedules on Morphological Robustness and Generalization
2024-01-01 Barba, Edoardo; Yaman, Anil; Iacca, Giovanni
Many-Objective Evolutionary Influence Maximization: Balancing Spread, Budget, Fairness, and Time
2024-01-01 Cunegatti, Elia; Custode, Leonardo; Iacca, Giovanni
Anomaly Detection in Sensor Systems Using Lightweight Machine Learning
2013-01-01 Bosman, Hedde; Liotta, Antonio; Iacca, Giovanni; Wörtche, Heinrich
Ensemble strategies in Compact Differential Evolution
2011-01-01 Mallipeddi, Rammohan; Iacca, Giovanni; Suganthan, Ponnuthurai Nagaratnam; Neri, Ferrante; Mininno, Ernesto
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
Scopri
Tipologia
- 04 Convegni (Proceedings)20257
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263325
- 2010 - 20197199
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2261
- Institute of Electrical and Elect...956
- Springer898
- ACM387
- IEEE Computer Society313
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS167
- Association for Computing Machinery162
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE680
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...176
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...92
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...56
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15193
- ita3561
- und133
- fre96
- spa74
- ger61
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15003
- reserved3239
- open1520
- partially open487
- mixed8
- embargoed2