Communicating scientific knowledge
2020-01-01 Faiferri, Massimo; Bartocci, Samanta; Cabras, Lino; Pusceddu, Fabrizio
Utilizzo del polline d’api come agente miglioratore nel pane senza glutine
2018-01-01 Conte, Paola; DEL CARO, Alessandra; Balestra, Federica; Piga, Antonio; Fadda, Costantino
Modelli Digitali di Elevazione: Structure from Motion e trattamenti del rilievo su piccola e larga scala
2017-01-01 Burigana, L.; Griggio, E.; Marra, A.; Magnini, L.
Korus-A drone project for visual and IR imaging
2017-01-01 Colombatti, G.; Aboudan, A.; Bettanini, C.; Magnini, L.; Bettineschi, C.; Deotto, G.; Toninello, L.; Debei, S.; De Guio, A.; Zanovello, P.; Menegazzi, A.
Current and past research between Tebtynis and Padua: from sand to aerospace
2018-01-01 Deotto, Giulia; Begg, Ian; Menegazzi, Alessandra; Urbani, Carlo; Meleri, Andrea; Toninello, Luca; Magnini, Luigi; Burigana, Laura; De Guio, Armando; Angelini, Ivana; Bettineschi, Cinzia; Molin, Gianmario; Salemi, Giuseppe; Zanovello, Paola
Il sito protostorico del Bostel di Rotzo: note di aggiornamento sugli scavi in corso
2017-01-01 Magnini, Luigi; Bettineschi, Cinzia; De Guio, Armando
Geobia approaches to remote sensing of fossil landscapes: two case studies from Northern Italy
2015-01-01 DE GUIO, Armando; Magnini, Luigi; Bettineschi, Cinzia
La ceramica invetriata di Patti tra XVIII e XIX secolo. Un nuovo indicatore per l'archeologia postmedievale mediterranea
2020-01-01 Milanese, Marco
La terraglia in Sardegna. 1. Distribuzione, centri di fabbrica e cronologie tra dati archeologici e manufatti sopravvissuti nell'uso
2020-01-01 Milanese, Marco
A comparison of data fragmentation techniques in cloud servers
2018-01-01 Lentini, S.; Grosso, E.; Masala, G. L.
L’utilizzo del BIM per l’individuazione degli elementi edilizi verificabili ai fini acustici
2019-01-01 Mastino, C. C.; Baccoli, R.; Frattolillo, A.; Salaris, C.; Marini, M.
LYMPHOCYTE SUBPOPULATIONS (CD3/CD20) IN THE ENDOMETRIUM OFSUBFERTILE MARES WITH CHRONIC ENDOMETRITIS
2019-01-01 Appino, Simonetta; Nervo, Tiziana; Varello, Katia; Rota, Ada; Maniscalco, Lorella; Masoero, Loretta; Vincenti, Leila; Bozzetta, Elena
SMT-based planning for robots in smart factories
2019-01-01 Bit-Monnot, A.; Leofante, F.; Pulina, L.; Tacchella, A.
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models
2019-01-01 Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
Cyber-physical planning: Deliberation for hybrid systems with a continuous numeric state
2019-01-01 Bit-Monnot, A.; Pulina, L.; Tacchella, A.
Preface
2019-01-01 Pulina, L.
Automata based test generation with SpecPro
2019-01-01 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
A survey on applications of quantified boolean formulas
2019-01-01 Shukla, A.; Biere, A.; Pulina, L.; Seidl, M.
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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Communicating scientific knowledge | 1-gen-2020 | Faiferri, Massimo; Bartocci, Samanta; Cabras, Lino; Pusceddu, Fabrizio | |
| Utilizzo del polline d’api come agente miglioratore nel pane senza glutine | 1-gen-2018 | Conte, Paola; DEL CARO, Alessandra; Balestra, Federica; Piga, Antonio; Fadda, Costantino | |
| Modelli Digitali di Elevazione: Structure from Motion e trattamenti del rilievo su piccola e larga scala | 1-gen-2017 | Burigana, L.; Griggio, E.; Marra, A.; Magnini, L. | |
| Korus-A drone project for visual and IR imaging | 1-gen-2017 | Colombatti, G.; Aboudan, A.; Bettanini, C.; Magnini, L.; Bettineschi, C.; Deotto, G.; Toninello, L.; Debei, S.; De Guio, A.; Zanovello, P.; Menegazzi, A. | |
| Current and past research between Tebtynis and Padua: from sand to aerospace | 1-gen-2018 | Deotto, Giulia; Begg, Ian; Menegazzi, Alessandra; Urbani, Carlo; Meleri, Andrea; Toninello, Luca; Magnini, Luigi; Burigana, Laura; De Guio, Armando; Angelini, Ivana; Bettineschi, Cinzia; Molin, Gianmario; Salemi, Giuseppe; Zanovello, Paola | |
| Il sito protostorico del Bostel di Rotzo: note di aggiornamento sugli scavi in corso | 1-gen-2017 | Magnini, Luigi; Bettineschi, Cinzia; De Guio, Armando | |
| Geobia approaches to remote sensing of fossil landscapes: two case studies from Northern Italy | 1-gen-2015 | DE GUIO, Armando; Magnini, Luigi; Bettineschi, Cinzia | |
| La ceramica invetriata di Patti tra XVIII e XIX secolo. Un nuovo indicatore per l'archeologia postmedievale mediterranea | 1-gen-2020 | Milanese, Marco | |
| La terraglia in Sardegna. 1. Distribuzione, centri di fabbrica e cronologie tra dati archeologici e manufatti sopravvissuti nell'uso | 1-gen-2020 | Milanese, Marco | |
| A comparison of data fragmentation techniques in cloud servers | 1-gen-2018 | Lentini, S.; Grosso, E.; Masala, G. L. | |
| 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. |
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 ...10638
Data di pubblicazione
- In corso di stampa43
- 2020 - 2026683
- 2010 - 20192716
- 2000 - 20094735
- 1990 - 19991876
- 1980 - 1989522
- 1971 - 197962
Editore
- Carocci editore164
- Institute of Electrical and Elect...86
- Carocci Editore63
- IEEE60
- Springer58
- 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
- Sardegna348
- Sardinia119
- epigrafia42
- Olbia37
- archeologia30
- Cellular Automata30
- età romana27
- trattamento27
- Computer Science (all)26
- Physics and Astronomy (all)26
Lingua
- ita4860
- eng4764
- fre144
- spa68
- ger26
- und15
- rum7
- lat5
- por3
- rus3
Accesso al fulltext
- no fulltext10103
- open521
- reserved8
- restricted4
- partially open2