IRIS Institutional Research Information System

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 92 a 111 di 187
Titolo Data di pubblicazione Autore(i) File
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions 1-gen-2017 Senderovich, Arik; Di Francescomarino, Chiara; Ghidini, Chiara; Jorbina, Kerwin; Maggi, Fabrizio Maria
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 1-gen-2017 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
The invisible power of fairness. How machine learning shapes democracy 1-gen-2019 Beretta, Elena; Santangelo, Antonio; Lepri, Bruno; Vetrò, Antonio; Carlos De Martin:, Juan
Kernel-Based Analysis of Functional Brain Connectivity on Grassmann Manifold 1-gen-2015 Dodero, Luca; Sambataro, Fabio; Murino, Vittorio; Sona, Diego
Key-concept Extraction for Ontology Engineering 1-gen-2012 Rospocher, Marco; Tonelli, Sara; Serafini, Luciano; Pianta, Emanuele
Knowledge Enhanced Neural Networks 1-gen-2019 Daniele, Alessandro; Serafini, Luciano
Knowledge Enhanced Neural Networks for Relational Domains 1-gen-2023 Daniele, Alessandro; Serafini, Luciano
Knowledge Extraction for Information Retrieval 1-gen-2016 Corcoglioniti, Francesco; Dragoni, Mauro; Rospocher, Marco; Palmero Aprosio, Alessio
Kratos2: an SMT-Based Model Checker for Imperative Programs 1-gen-2023 Griggio, Alberto; Jonas, Martin
Language and Temporal Aspects: A Qualitative Study on Trigger Interpretation in Trigger-Action Rules 1-gen-2023 Andrao, Margherita; Treccani, Barbara; Zancanaro, Massimo
Learning Hybrid Process Models from Events 1-gen-2017 van der Aalst, Wil M. P.; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara
Leveraging Multi-task Learning for Biomedical Named Entity Recognition 1-gen-2019 Mehmood, Tahir; Gerevini, Alfonso E.; Lavelli, Alberto; Serina, Ivan
Logic Tensor Networks for Top-N Recommendation 1-gen-2023 Carraro, Tommaso; Daniele, Alessandro; Aiolli, Fabio; Serafini, Luciano
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations 1-gen-2019 Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada
A Low-Cost Computer Vision System for Real-Time Tennis Analysis 1-gen-2019 Messelodi, S.; Modena, C. M.; Ropele, V.; Marcon, S.; Sgrò, M.
Low-cost IoT, Big data, and Cloud platform for Developing Countries 1-gen-2017 Dupont, Corentin; Bures, Tomas; Sheikhalishahi, Mehdi; Pham, Congduc; Rahim, MD Abdur
Mapping Tractography Across Subjects 1-gen-2016 Nguyen, Thien Bao; Olivetti, Emanuele; Avesani, Paolo
Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering 1-gen-2016 Verenich, Ilya; Dumas, Marlon; La Rosa, Marcello; Maggi, Fabrizio Maria; Di Francescomarino, Chiara
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 1-gen-2016 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Mostrati risultati da 92 a 111 di 187
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