IRIS

4.1 Contributo in Atti di convegno: [16496] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 16.496
Titolo Data di pubblicazione Autore(i) File
A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation. 1-gen-2026 Doria, Francesco; Percassi, Francesco; Maratea, Marco; Vallati, Mauro
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas 1-gen-2026 Fionda, V.; Ielo, A.; Ricca, F.
F.C. Papparella, Spunti di riflessione sulla vexata quaestio dello spostamento della cattedrale di Cosenza alla luce delle recenti acquisizioni, in S. Paone (ed.), La cattedrale di Cosenza: dalla storiografia alle nuove letture 1-gen-2025 Papparella, Franca Caterina
Autonomous electric vehicle routing problem with battery recharging by drones using public transit 1-gen-2026 Macrina, G.; Di Puglia Pugliese, L.; Guerriero, F.
Hybrid GPU-Accelerated Pattern Generation for High-Performance CSP/BPP Optimization 1-gen-2026 Guerriero, F.; Saccomanno, F. P.
PRODUCTION AND APPLICATION OF BIOCHAR IN THE CULTIVATION OF THE OILSEED CROP CAMELINA SATIVA AND MAPPING OF AGRICULTURAL LANDS SUITABLE FOR ITS USE 1-gen-2025 Pierro, N.; Fantini, E.; Alagna, F.; Giocoli, A.; De Bari, I.; Cornacchia, G.; Albergo, R.; Lopez, L.; Daddiego, L.; Cangiulli, G.; Piccione, B.; Rapone, I.; Firmani, P.; Gugliucci, W.; Gramigni, F.; Bertoli, A.; Pasini, T.; Bini, E.; Romanelli, A.; Mongliello, C.; Carboni, M.; Catizzone, E.; Freda, C.
Estimation of the floating population in coastal areas through the analysis of the generation of organic (OFMSW) and residual (MSW) municipal waste fractions: the case of Calabria 1-gen-2025 Infusino, Ernesto; De Matteis, Vincenzo; Petrone, Francesco; Infusino, Roberta
EMOZIONI E PERCEZIONE DEL CIBO: LA NUOVA RISTORAZIONE 1-gen-2024 Fazio, Marco; Mortati, Rosanna
An Approach Leveraging Deep Learning and Stream Reasoning for Dynamic Task Assignments Balancing Productivity and Well Being 1-gen-2026 Laboccetta, Luca; Calimeri, Francesco; Iacopino, Davide; Iiritano, Salvatore; Maria, Marta; Perri, Simona; Ruffolo, Massimiliano; Terracina, Giorgio
Hidden Rhythms: an Embedding Framework for Downstream Tasks Validated on ECG Data 1-gen-2026 Bartucci, Simone; De Rose, Edoardo; Filice, Francesca; Calimeri, Francesco; Perri, Simona
Designing a Multimodal Dataset for AI-Based Prognosis in STEMI 1-gen-2026 Bartucci, Simone; De Rose, Edoardo; Quarta, Alessandro; Quarta, Rossella; Camarda, Alessia Donata; Polimeni, Alberto; Calimeri, Francesco
GENDER DIFFERENCES IN VISUAL ATTENTION TO TOURISM ADVERTISING: AN EYE-TRACKING STUDY 1-gen-2025 Fazio, Marco
Lightweight IoT Intrusion Detection with Hybrid Feature Selection and CNN-Driven Image Transformation 1-gen-2025 Mansouri, Negar; Mirtaheri, Seyedeh Leili; Asghari, Seyyed Amir; Pugliese, Andrea
A Digital Forensics Approach for Validating Screen Captures in Legal Proceedings 1-gen-2025 Greco, C.; Ianni, M.; Guzzo, A.; Fortino, G.
Logic and Answer Set Programming in High School: Two Learning Unit Experiences 1-gen-2025 Reale, Kristian
ASP and PDDL+ Applications in Urban Traffic Distribution and Control 1-gen-2025 Vallati, M.; Dodaro, C.; Doria, F.; Fiorentino, S.; Maratea, M.; Percassi, F.; Tarzariol, A.
On the Translation of ASP Rules to (Controlled) Natural Language Sentences 1-gen-2025 Caruso, S.; Dodaro, C.; Lo Scudo, F.; Maratea, M.; Reale, K.
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms 1-gen-2025 Caruso, S.; Dodaro, C.; Maratea, M.; Tarzariol, A.
Representing and Evaluating SBVR Specification via ASP 1-gen-2025 Caruso, S.; Dodaro, C.; Maratea, M.
Model Checker For Recursive Aggregates 1-gen-2025 Alviano, M.; Dodaro, C.; Fiorentino, S.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 16.496
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
  • 4 Contributo in Atti di Convegno ...16494
  • 1 Contributo su Rivista1
  • 2 Contributo in Volume1
  • 5 Altro1
Autore
  • CUZZOCREA, ALFREDO499
  • GABRIELE, Bartolo351
  • DI MASSA, Giuseppe247
  • FORTINO, GIANCARLO237
  • LONGO, Francesco237
  • ANDO', Sebastiano235
  • IERA, ANTONIO194
  • LAMONACA, FRANCESCO186
  • TALIA, DOMENICO186
  • CASAVOLA, ALESSANDRO185
Data di pubblicazione
  • In corso di stampa39
  • 2020 - 20262488
  • 2010 - 20196026
  • 2000 - 20096295
  • 1990 - 19991328
  • 1980 - 1989292
  • 1973 - 197928
Editore
  • Institute of Electrical and Elect...509
  • IEEE377
  • Springer323
  • Springer Verlag161
  • CEUR-WS151
  • Springer Science and Business Med...139
  • IEEE Computer Society134
  • Elsevier B.V.125
  • ACM89
  • Editore Bios58
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE206
  • CEUR WORKSHOP PROCEEDINGS73
  • PROCEDIA COMPUTER SCIENCE71
  • PROCEDIA STRUCTURAL INTEGRITY61
  • POS PROCEEDINGS OF SCIENCE49
  • AIP CONFERENCE PROCEEDINGS41
  • IJCAI38
  • PROCEEDINGS OF THE EUROPEAN CONFE...36
  • ACM INTERNATIONAL CONFERENCE PROC...33
  • AIP CONFERENCE PROCEEDINGS32
Serie
  • CEUR WORKSHOP PROCEEDINGS162
  • LECTURE NOTES IN COMPUTER SCIENCE120
  • LECTURE NOTES IN ARTIFICIAL INTEL...77
  • MECHANISMS AND MACHINE SCIENCE51
  • AIP CONFERENCE PROCEEDINGS27
  • COMMUNICATIONS IN COMPUTER AND IN...23
  • LECTURE NOTES IN MECHANICAL ENGIN...22
  • IFAC-PAPERSONLINE20
  • PROCEDIA CIRP20
  • ADVANCES IN INTELLIGENT SYSTEMS A...16
Keyword
  • Computer Science (all)98
  • Computer Networks and Communications94
  • -87
  • Software77
  • Artificial Intelligence75
  • Theoretical Computer Science69
  • Answer Set Programming68
  • Computer Science Applications1707...52
  • Electrical and Electronic Enginee...47
  • Instrumentation37
Lingua
  • eng11174
  • ita3460
  • fre69
  • spa29
  • rus17
  • ger15
  • alb13
  • und8
  • por4
  • mul3
Accesso al fulltext
  • no fulltext16466
  • open19
  • embargoed10
  • reserved1