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 7 a 17 di 17
Titolo Data di pubblicazione Autore(i) File
Multi-criteria Evaluation vs Perceived Urban Quality: An Exploratory Comparison 1-gen-2019 Blecic, I.; Santos, A. G.; Moura, A. C.; Trunfio, G. A.
New Approximation Algorithms for the Heterogeneous Weighted Delivery Problem 1-gen-2021 Bilò, D.; Gualà, L.; Leucci, S.; Proietti, G.; Rossi, M.
PAC-PAC: End User Development of Immersive Point and Click Games 1-gen-2019 Fanni, F. A.; Senis, M.; Tola, A.; Murru, F.; Romoli, M.; Spano, L. D.; Blecic, I.; Trunfio, G. A.
Preface 1-gen-2020 Pulina, L.; Seidl, M.
pyNeVer: A Framework for Learning and Verification of Neural Networks 1-gen-2021 Guidotti, D.; Pulina, L.; Tacchella, A.
QBFFam: A Tool for Generating QBF Families from Proof Complexity 1-gen-2021 Beyersdorff, O.; Pulina, L.; Seidl, M.; Shukla, A.
SMT-based planning for robots in smart factories 1-gen-2019 Bit-Monnot, A.; Leofante, F.; Pulina, L.; Tacchella, A.
Sport-City Planning. A Proposal for an Index to Support Decision-Making Practice: Principles and Strategies 1-gen-2021 Balletto, Ginevra; Borruso, Giuseppe; Milesi, Alessandra; Ladu, Mara; Castiglia, Paolo; Dettori, Marco; Arghittu, Antonella
Towards a High-Fidelity Assessment of Urban Green Spaces Walking Accessibility 1-gen-2020 Blecic, I.; Saiu, V.; Trunfio, G. A.
Tracking routes in communication networks 1-gen-2019 Bilo, D.; Guala, L.; Leucci, S.; Proietti, G.
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 1-gen-2019 Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
Mostrati risultati da 7 a 17 di 17
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