IRIS

Sfoglia per Serie  

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 14 a 33 di 34
Titolo Data di pubblicazione Autore(i) File
From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading 1-gen-2025 Perini Brogi, Cosimo
A generative adversarial graph neural network for synthetic time series data 1-gen-2025 Gregnanin, Marco; De Smedt, Johannes; Gnecco, Giorgio Stefano; Parton, Maurizio
Graph-based modelling of the Italian criminal code as a knowledge base for AI-assisted inference 1-gen-2026 Cerini, Samuele Yves; Deidda, Nicola; Huang, Yilian; Lilli, Sara; Lobascio, Luca; Russo, Lavinia; Zucca, Maria Vittoria; Fumera, Giorgio; Giacinto, Giorgio; Prinetto, Paolo; Marsocci, Salvatore
Growing HOLMS, a HOL Light Library for Modal Systems 1-gen-2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.; Quartini, L.
Integrating human-in-the-loop AI systems in the Italian judicial system 1-gen-2026 Cerini, Samuele Yves; Deidda, Nicola; Lilli, Sara; Zucca, Maria Vittoria; Fumera, Giorgio; Giacinto, Giorgio; Prinetto, Paolo; Marsocci, Salvatore
Is the Road to Hell Paved with Good Intentions? A Criminological and Criminal Law Analysis of Prospective Regulation for Ethical Hacking in Italy and the EU 1-gen-2024 Fiorinelli, Gaia; Zucca, Maria Vittoria
Managing concept drift in online intrusion detection systems with active learning 1-gen-2025 Camarda, F.; De Paola, A.; Drago, S.; Ferraro, P.; Lo Re, G.
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 1-gen-2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.
MUAC: Access control language for mutual benefits 1-gen-2020 Ceragioli, L.; Degano, P.; Galletta, L.
A Netting Protocol for Liquidity-saving Automated Market Makers 1-gen-2024 Renieri, M.; Galletta, L.; Lafuente, A. L.; Chiang, J. H. -Y.
Obfuscation-resistant feature extraction for macro-based office malware detection 1-gen-2026 Imperiale, Sergio; Morana, Marco; Lo Re, Giuseppe
On the usage of ChatGPT for integrating CAPEC attacks into ADVISE Meta ontology 1-gen-2025 Kordi, Marzieh; Francesco, Mariotti; Roberto, Magrini; Paolo, Lollini; Andrea, Bondavalli
Online framework for intrusion detection systems with explainable concept drift detection and adaptation phases 1-gen-2026 Drago, Salvatore; Lorusso, Manuel; Ferraro, Pierluca; De Paola, Alessandra; Lo Re, Giuseppe
Pattern-preserving k-anonymization of sequences and its application to mobility data mining 1-gen-2008 Pensa, R. G.; Monreale, A.; Pinelli, F.; Pedreschi, D.
Real-time anomaly detection in docker containers: a continuous learning approach using SF-SOINN 1-gen-2025 Ejeh, D. G.; Foresti, G. L.; Miculan, M.; De Nardin, A.
Reasoning on privacy policies 1-gen-2025 Huang, Yilian; Perini Brogi, Cosimo; De Nicola, Rocco
SA-SOINN: a self-adaptive neural network for continuous intrusion detection in dynamic environments 1-gen-2026 Ejeh, D. G.; Foresti, G. L.; Miculan, M.; De Nardin, A.
Simpson's proof systems for process verification: a fine-tuning (short paper) 1-gen-2024 Perini Brogi, Cosimo; De Nicola, Rocco; Inverso, Omar
Supporting criminal investigations on the blockchain: a temporal logic-based approach 1-gen-2024 Blanchini, Marco; Cerreta, Michele; Di Monda, Davide; Fabbri, Matteo; Raciti, Mario; Ahmad Hamza, Sajjad; Costa, Gabriele
Toward dynamic epistemic verification of zero-knowledge protocols 1-gen-2024 Costa, Gabriele; Perini Brogi, Cosimo
Mostrati risultati da 14 a 33 di 34
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