IRIS

4.1 Contributo in Atti di convegno: [10589] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.561 a 1.580 di 10.589
Titolo Data di pubblicazione Autore(i) File
SMT-based planning for robots in smart factories 1-gen-2019 Bit-Monnot, A.; Leofante, F.; Pulina, L.; Tacchella, A.
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 1-gen-2019 Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
Cyber-physical planning: Deliberation for hybrid systems with a continuous numeric state 1-gen-2019 Bit-Monnot, A.; Pulina, L.; Tacchella, A.
Preface 1-gen-2019 Pulina, L.
Automata based test generation with SpecPro 1-gen-2019 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
A survey on applications of quantified boolean formulas 1-gen-2019 Shukla, A.; Biere, A.; Pulina, L.; Seidl, M.
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks 1-gen-2020 Guidotti, Dario; Pulina, Luca; Tacchella, Armando
Automated Requirements-Based Testing of Black-Box Reactive Systems 1-gen-2020 Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.
Preface 1-gen-2020 Pulina, L.; Seidl, M.
Verification of neural networks: Enhancing scalability through pruning 1-gen-2020 Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
Renewable power sources in coastal areas. A viability assessment in the scope of needs and regulations 1-gen-2020 Bono, A.; Marini, M.
Analgesici di marca e generici a confronto: un’analisi delle percezioni di efficacia attraverso un implicit association test (IAT) 1-gen-2020 Porcheddu, Daniele; Massara, Francesco; Usai, Antonio; Fenu, Andrea
Il paesaggio industriale. Una gestione sostenibile delle aree produttive 1-gen-2017 Brundu, Brunella
Imageability of Geo-Mining Heritage. Case Study of Nebida Settlement, Geo-Mining Park Sardinia (Italy) 1-gen-2020 Beretić, N.; Congiu, T.
APPEARANCES OF CHLAMYDIA ABORTUS IN INFERTILE MARES 1-gen-2018 Nebbia, Patrizia; Nervo, Tiziana; Maria ROBINO, Atrizia; Maria Cristina STELLA, P; Appino, Simonetta
Case e città: il caso studio Pelip Housing in Red Location Cultural Precinct, Port Elizabeth, Sud Africa 1-gen-2020 Bartocci, Samanta; Cabras, Lino
Il lungo cammino dell’inclusione per garantire l’educazione di tutti e di ciascuno 1-gen-2020 Dettori, G
DISTRIBUZIONE DEL MARINE LITTER NELLE SPIAGGE DELLA SARDEGNA: IL CASO DI CALA DEI PONZESI E DI CALA SPALMATORE NELL’ISOLA DELL’ASINARA 1-gen-2020 Corbau, Corinne; Contini, Massimo; Gazale, Vittorio; Lazarou, Alexandre; Simeoni, Umberto; Carboni, Donatella
A two-dimensional clinical gait analysis protocol based on markerless recordings from a single RGB-Depth camera 1-gen-2020 Balta, D.; Salvi, M.; Molinari, F.; Figari, G.; Paolini, G.; Della Croce, U.; Cereatti, A.
Inside out: unveiling local interstellar spectra of cosmic ray species 1-gen-2017 Moskalenko, Igor; Boschini, M. J.; Della Torre, S.; Grandi, Davide; Johannesson, G.; La Vacca, Giuseppe; Masi, Nicolo; Orlando, E.; Ostapchenko, S.; Pensotti, Simonetta; Porter, Troy; Quadrani, Lucio; Rancoita, Pier Giorgio; Rozza, Davide; Tacconi, Mauro; Gervasi, Massimo; Kachelriess, Michael
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.561 a 1.580 di 10.589
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

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...10589
Autore
  • DESSOLE, Salvatore358
  • CHERCHI, Pier Luigi296
  • CAPOBIANCO, Giampiero180
  • CASTIGLIA, Paolo Giuseppino166
  • GARIPPA, Giovanni159
  • MASTINO, Attilio154
  • FRAGIACOMO, Massimo142
  • SCALA, Antonio141
  • MULAS, Maurizio136
  • CAMOGLIO, Francesco Saverio129
Data di pubblicazione
  • In corso di stampa42
  • 2020 - 2026636
  • 2010 - 20192713
  • 2000 - 20094736
  • 1990 - 19991876
  • 1980 - 1989523
  • 1971 - 197962
Editore
  • Carocci editore165
  • Institute of Electrical and Elect...85
  • Carocci Editore63
  • IEEE60
  • Springer57
  • All'Insegna del Giglio54
  • Carlo Delfino Editore45
  • IEEE Computer Society41
  • Springer-Verlag41
  • Società Italiana delle Scienze Ve...40
Rivista
  • ATTI DELLA SOCIETA' ITALIANA DELL...91
  • LECTURE NOTES IN COMPUTER SCIENCE86
  • COLLANA DEL DIPARTIMENTO DI STORI...66
  • PARASSITOLOGIA62
  • BIOLOGIA MARINA MEDITERRANEA38
  • ATTI (CENTRO LIGURE PER LA STORIA...37
  • ATTI DELLA SOCIETÀ ITALIANA DELLE...29
  • ITALIAN JOURNAL OF BIOCHEMISTRY28
  • JOURNAL OF NUCLEAR MEDICINE AND A...27
  • INTERNATIONAL ARCHIVES OF THE PHO...22
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE37
  • CEUR WORKSHOP PROCEEDINGS20
  • LECTURE NOTES IN CIVIL ENGINEERING15
  • LECTURE NOTES IN ARTIFICIAL INTEL...11
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...10
  • COLLANA DEL DIPARTIMENTO DI STORI...7
  • LECTURE NOTES IN CIVIL ENGINEERING7
  • EPIGRAFIA E ANTICHITÀ6
  • LECTURE NOTES IN COMPUTER SCIENCE5
  • DIGEST OF TECHNICAL PAPER4
Keyword
  • Sardegna349
  • Sardinia117
  • epigrafia42
  • Olbia37
  • archeologia30
  • Cellular Automata30
  • età romana28
  • trattamento27
  • Computer Science (all)26
  • Physics and Astronomy (all)26
Lingua
  • ita4838
  • eng4745
  • fre143
  • spa66
  • ger26
  • und15
  • rum7
  • lat5
  • por3
  • rus3
Accesso al fulltext
  • no fulltext10052
  • open523
  • reserved8
  • restricted4
  • partially open2