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 166 a 185 di 247
Titolo Data di pubblicazione Autore(i) File
Preface 1-gen-2021 Bures, T.; Dondi, R.; Gamper, J.; Guerrini, G.; Jurdzinski, T.; Pahl, C.; Sikora, F.; Wong, P. W. H.
Preface 1-gen-2020 Marfisi-Schottman, I.; Bellotti, F.; Hamon, L.; Klemke, R.
Preface: Special Issue: Selected Papers from ADBIS 2013 Satellite Events 1-gen-2014 Catania, B.; Guerrini, G.; Palpanas, T.; Pokorny, J.; Vakali, A.
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 1-gen-2011 Reggio, Gianna; Astesiano, Egidio; Ricca, Filippo; Leotta, Maurizio
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics 1-gen-2019 Dalmonte, T.; Negri, S.; Olivetti, N.; Pozzato, G. L.
The provision of ecosystem services along the Italian coastal areas: a correlation analysis between environmental quality and urbanization 1-gen-2022 Lombardini, Giampiero; Pilogallo, Angela; Tucci, Giorgia
Puzzle Battle 2.0: A Revisited Serious Game in VR During Pandemic’s Period 1-gen-2021 Vercelli, G. V.; Iacono, S.; Vallarino, M.; Zolezzi, D.
pyNeVer: A Framework for Learning and Verification of Neural Networks 1-gen-2021 Guidotti, D; Pulina, L; Tacchella, A
QBF Reasoning on Real-World Instances 1-gen-2005 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
The QBFEVAL Web Portal 1-gen-2006 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
QuBE++: An efficient QBF solver 1-gen-2004 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 1-gen-2008 Pulina, Luca; Tacchella, Armando
A R/S approach to Trends Breaks Detection 1-gen-2005 Resta, Marina
Ranking and Reputation Systems in the QBF Competition 1-gen-2007 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
Rational Normal Curves as Set-Theoretic Complete Intersections of Quadrics 1-gen-2015 Torrente, MARIA LAURA
Reasoning About Agents' Interaction Protocols Inside DCaseLP 1-gen-2004 M., Baldoni; C., Baroglio; I., Gungui; A., Martelli; Martelli, Maurizio; Mascardi, Viviana; V., Patti; C., Schifanella
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 1-gen-2013 Bourguet, Jean Rémi; Maratea, Marco; Pulina, Luca
Reference monitors for security and interoperability in OAuth 2.0 1-gen-2014 Cherrueau, R. -A.; Douence, R.; Royer, J. -C.; Sudholt, M.; De Oliveira, A. S.; Roudier, Y.; Dell'Amico, M.
ReForeSt: Random forests in apache spark 1-gen-2017 Lulli, A.; Oneto, L.; Anguita, D.
Relations in ontology-driven conceptual modeling 1-gen-2019 Fonseca, C. M.; Porello, D.; Guizzardi, G.; Almeida, J. P. A.; Guarino, N.
Mostrati risultati da 166 a 185 di 247
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