IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.601 a 1.620 di 10.631
Titolo Data di pubblicazione Autore(i) File
L’utilizzo del BIM per l’individuazione degli elementi edilizi verificabili ai fini acustici 1-gen-2019 Mastino, C. C.; Baccoli, R.; Frattolillo, A.; Salaris, C.; Marini, M.
LYMPHOCYTE SUBPOPULATIONS (CD3/CD20) IN THE ENDOMETRIUM OFSUBFERTILE MARES WITH CHRONIC ENDOMETRITIS 1-gen-2019 Appino, Simonetta; Nervo, Tiziana; Varello, Katia; Rota, Ada; Maniscalco, Lorella; Masoero, Loretta; Vincenti, Leila; Bozzetta, Elena
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.601 a 1.620 di 10.631
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 ...10631
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 - 2026674
  • 2010 - 20192716
  • 2000 - 20094737
  • 1990 - 19991876
  • 1980 - 1989523
  • 1971 - 197962
Editore
  • Carocci editore164
  • Institute of Electrical and Elect...86
  • Carocci Editore63
  • IEEE60
  • Springer57
  • All'Insegna del Giglio54
  • Carlo Delfino Editore45
  • IEEE Computer Society41
  • Springer-Verlag41
  • FrancoAngeli40
Rivista
  • ATTI DELLA SOCIETA' ITALIANA DELL...91
  • LECTURE NOTES IN COMPUTER SCIENCE86
  • COLLANA DEL DIPARTIMENTO DI STORI...65
  • 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...25
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE37
  • CEUR WORKSHOP PROCEEDINGS20
  • LECTURE NOTES IN CIVIL ENGINEERING16
  • LECTURE NOTES IN ARTIFICIAL INTEL...11
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...10
  • LECTURE NOTES IN CIVIL ENGINEERING8
  • ... NATIONAL CONGRESS OF BIOENGIN...7
  • COLLANA DEL DIPARTIMENTO DI STORI...7
  • EPIGRAFIA E ANTICHITÀ6
  • LECTURE NOTES IN COMPUTER SCIENCE5
Keyword
  • Sardegna349
  • Sardinia118
  • epigrafia42
  • Olbia37
  • archeologia30
  • Cellular Automata30
  • età romana28
  • trattamento27
  • Computer Science (all)26
  • Physics and Astronomy (all)26
Lingua
  • ita4854
  • eng4765
  • fre144
  • spa68
  • ger26
  • und15
  • rum7
  • lat5
  • por3
  • rus3
Accesso al fulltext
  • no fulltext10095
  • open522
  • reserved8
  • restricted4
  • partially open2