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 96 a 115 di 187
Titolo Data di pubblicazione Autore(i) File
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
Model-Based Design of an Energy-System Embedded Controller Using Taste 1-gen-2016 Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano
Model-based Player Experience Testing with Emotion Pattern Verification 1-gen-2023 Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Prandi, Davide; Kifetew, Fitsum Meshesha; Dastani, Mehdi; Dignum, Frank; Keller, Gabriele
Model-Based Safety and Assessment 1-gen-2017 Bozzano, Marco; Papadopoulos, Yiannis
Model-Based Safety and Assessment 1-gen-2019 Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco
Mostrati risultati da 96 a 115 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