NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
2020-01-01 Guidotti, Dario; Pulina, Luca; Tacchella, Armando
Automated Requirements-Based Testing of Black-Box Reactive Systems
2020-01-01 Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.
Preface
2020-01-01 Pulina, L.; Seidl, M.
Verification of neural networks: Enhancing scalability through pruning
2020-01-01 Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
Renewable power sources in coastal areas. A viability assessment in the scope of needs and regulations
2020-01-01 Bono, A.; Marini, M.
Analgesici di marca e generici a confronto: un’analisi delle percezioni di efficacia attraverso un implicit association test (IAT)
2020-01-01 Porcheddu, Daniele; Massara, Francesco; Usai, Antonio; Fenu, Andrea
Il paesaggio industriale. Una gestione sostenibile delle aree produttive
2017-01-01 Brundu, Brunella
Imageability of Geo-Mining Heritage. Case Study of Nebida Settlement, Geo-Mining Park Sardinia (Italy)
2020-01-01 Beretić, N.; Congiu, T.
APPEARANCES OF CHLAMYDIA ABORTUS IN INFERTILE MARES
2018-01-01 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
2020-01-01 Bartocci, Samanta; Cabras, Lino
Il lungo cammino dell’inclusione per garantire l’educazione di tutti e di ciascuno
2020-01-01 Dettori, G
DISTRIBUZIONE DEL MARINE LITTER NELLE SPIAGGE DELLA SARDEGNA: IL CASO DI CALA DEI PONZESI E DI CALA SPALMATORE NELL’ISOLA DELL’ASINARA
2020-01-01 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
2020-01-01 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
2017-01-01 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
NIEL DOSE and DLTS Analyses on Triple and Single Junction solar cells irradiated with electrons and protons
2018-01-01 Campesato, R.; Baur, C.; Casale, M.; Gervasi, M.; Gombia, E.; Greco, E.; Kingma, A.; Rancoita, P. G.; Rozza, D.; Tacconi, M.
The HelMod Monte Carlo Model for the Propagation of Cosmic Rays in Heliosphere
2017-01-01 Boschini, M. J.; Della Torre, S.; Gervasi, M.; Grandi, D.; La Vacca, G.; Pensotti, S.; Rancoita, P. G.; Rozza, D.; Tacconi, M.
Comparison and Time Evolution of the Geomagnetic Cutoff at the ISS Position: Internal vs External Earth’s Magnetic Field Models
2018-01-01 Boschini, Matteo J.; Della Torre, Stefano; Gervasi, Massimo; Grandi, Davide; La Vacca, Giuseppe; Pensotti, Simonetta; Rancoita, Pier Giorgio; Rozza, Davide; Tacconi, Mauro
L’abitare collettivo e la città pubblica nel Dopoguerra. Alcune riletture sulle esperienze di Giuseppe Samonà
2020-01-01 Pujia, Laura
An overview of OSCAR: A new hodoscope of silicon detectors for low energy charged particles
2020-01-01 Dell'Aquila, D.
Study of two-and multi-particle correlations in12C+24Mg and12C+208Pb reactions at E=35 AMeV
2016-01-01 Quattrocchi, L.; Acosta, L.; Amorini, F.; Anzalone, A.; Auditore, L.; Berceanu, I.; Cardella, G.; Chbihi, A.; De Filippo, E.; Dell'Aquila, D.; Francalanza, L.; Gnoffo, B.; Grzeszczuk, A.; Lanzalone, G.; Lombardo, I.; Martel, I.; Minniti, T.; Norella, S.; Pagano, A.; Pagano, E. V.; Papa, M.; Pirrone, S.; Politi, G.; Porto, F.; Rizzo, F.; Rosato, E.; Russotto, P.; Trifirò, A.; Trimarchi, M.; Verde, G.; Veselsky, M.; Vigilante, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| NIEL DOSE and DLTS Analyses on Triple and Single Junction solar cells irradiated with electrons and protons | 1-gen-2018 | Campesato, R.; Baur, C.; Casale, M.; Gervasi, M.; Gombia, E.; Greco, E.; Kingma, A.; Rancoita, P. G.; Rozza, D.; Tacconi, M. | |
| The HelMod Monte Carlo Model for the Propagation of Cosmic Rays in Heliosphere | 1-gen-2017 | Boschini, M. J.; Della Torre, S.; Gervasi, M.; Grandi, D.; La Vacca, G.; Pensotti, S.; Rancoita, P. G.; Rozza, D.; Tacconi, M. | |
| Comparison and Time Evolution of the Geomagnetic Cutoff at the ISS Position: Internal vs External Earth’s Magnetic Field Models | 1-gen-2018 | Boschini, Matteo J.; Della Torre, Stefano; Gervasi, Massimo; Grandi, Davide; La Vacca, Giuseppe; Pensotti, Simonetta; Rancoita, Pier Giorgio; Rozza, Davide; Tacconi, Mauro | |
| L’abitare collettivo e la città pubblica nel Dopoguerra. Alcune riletture sulle esperienze di Giuseppe Samonà | 1-gen-2020 | Pujia, Laura | |
| An overview of OSCAR: A new hodoscope of silicon detectors for low energy charged particles | 1-gen-2020 | Dell'Aquila, D. | |
| Study of two-and multi-particle correlations in12C+24Mg and12C+208Pb reactions at E=35 AMeV | 1-gen-2016 | Quattrocchi, L.; Acosta, L.; Amorini, F.; Anzalone, A.; Auditore, L.; Berceanu, I.; Cardella, G.; Chbihi, A.; De Filippo, E.; Dell'Aquila, D.; Francalanza, L.; Gnoffo, B.; Grzeszczuk, A.; Lanzalone, G.; Lombardo, I.; Martel, I.; Minniti, T.; Norella, S.; Pagano, A.; Pagano, E. V.; Papa, M.; Pirrone, S.; Politi, G.; Porto, F.; Rizzo, F.; Rosato, E.; Russotto, P.; Trifirò, A.; Trimarchi, M.; Verde, G.; Veselsky, M.; Vigilante, M. |
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 ...10563
Data di pubblicazione
- In corso di stampa43
- 2020 - 2025617
- 2010 - 20192709
- 2000 - 20094733
- 1990 - 19991876
- 1980 - 1989522
- 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 ENGINEERING14
- 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
- DIGEST OF TECHNICAL PAPER4
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...4
Keyword
- Sardegna349
- Sardinia116
- epigrafia42
- Olbia37
- archeologia30
- Cellular Automata30
- età romana28
- trattamento27
- Computer Science (all)26
- Physics and Astronomy (all)26
Lingua
- ita4819
- eng4738
- fre143
- spa66
- ger26
- und15
- rum7
- lat5
- por3
- rus3
Accesso al fulltext
- no fulltext10026
- open523
- reserved8
- restricted4
- partially open2