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 141 a 160 di 187
Titolo Data di pubblicazione Autore(i) File
Reasoning with Justifiable Exceptions in EL_bot Contextualized Knowledge Repositories 1-gen-2019 Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
Reduced Variable Neighbourhood Search for the Generation of Controlled Circular Data 1-gen-2021 Consoli, Sergio; Perrotta, Domenico; Turchi, Marco
Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper 1-gen-2021 Camilli, Matteo; Felderer, Michael; Giusti, Andrea; Tobias Matt, Dominik; Perini, Anna; Russo, Barbara; Susi, Angelo
Robust Modeling of Human Contact Networks across Different Scales and Proximity-sensing Techniques 1-gen-2017 Starnini, M.; Lepri, Bruno; Baronchelli, A.; Barrat, A.; Cattuto, C.; Pastor, Satorras
Safe Decomposition of Startup Requirements: Verification and Synthesis 1-gen-2020 Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano
Satisfiability Modulo Transcendental Functions via Incremental Linearization 1-gen-2017 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
SC^2: Satisfiability Checking Meets Symbolic Computation 1-gen-2016 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
Search Based Clustering for Protecting Software with Diversified Updates 1-gen-2016 Ceccato, Mariano; Falcarin, Paolo; Cabutto, Alessandro; Frezghi, Yosief Weldezghi; Staicu, Cristian Alexandru
Search Based Path and Input Data Generation for Web Application Testing 1-gen-2017 Biagiola, Matteo; Ricca, Filippo; Tonella, Paolo
Search-Based Automated Play Testing of Computer Games: A Model-Based Approach 1-gen-2021 Ferdous, Raihana; Kifetew, Fitsum; Prandi, Davide; Prasetya, I. S. W. B.; Shirzadehhajimahmood, Samira; Susi, Angelo
Searching for i-Good Lemmas to Accelerate Safety Model Checking 1-gen-2023 Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang
Self-supervised Pre-training Enhances Change Detection in Sentinel-2 Imagery 1-gen-2021 Leenstra, Marrit; Marcos, Diego; Bovolo, Francesca; Tuia, Devis
Self-Supervision for 3D Real-World Challenges 1-gen-2020 Alliegro, Antonio; Boscaini, Davide; Tommasi, Tatiana
Service-Oriented Computing - ICSOC 2018 Workshops 1-gen-2019 Liu, Xiao; Mrissa, Michael; Zhang, Liang; Benslimane, Djamal; Ghose, Aditya; Wang, Zhongjie; Bucchiarone, Antonio; Zhang, Wei; Zou, Ying; Yu, Qi
SeXAI: A Semantic Explainable Artificial Intelligence Framework 1-gen-2020 Donadello, Ivan; Dragoni, Mauro
Shared and Searchable Encrypted Data for Untrusted Servers 1-gen-2008 C., Dong; N., Dulay; Russello, G.
SIMDOMO: A Tool for Long-term Simulations of Ambient-Assisted Living 1-gen-2014 Zancanaro, Massimo; Marchesoni, Michele; Armellin, Giampaolo
SocialLink: Linking DBpedia entities to corresponding Twitter accounts 1-gen-2017 Nechaev, Yaroslav; Corcoglioniti, Francesco; Giuliano, Claudio
Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview 1-gen-2021 Astegher, Maurizio; Busetta, Paolo; Perini, Anna; Susi, Angelo
Stigmergy-based modeling to discover urban activity patterns from positioning data 1-gen-2017 Alfeo, Antonio Luca; Cimino, Mario Giovanni; Egidi, Sara; Lepri, Bruno; Pentland, Alex; Vaglini, Gigliola
Mostrati risultati da 141 a 160 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