Progetto PROSSIMO: Webinar "Verifica formale di reti neurali"
| dc.contributor.author | Tacchella, Armando | |
| dc.contributor.other | Università degli Studi di Genova | IT |
| dc.date.accessioned | 2021-05-18T13:08:15Z | |
| dc.date.available | 2021-05-18T13:08:15Z | |
| dc.date.issued | 2021-03-08 | |
| dc.description.sponsorship | “Sardegna Ricerche a valere sul POR FESR Sardegna 2014/2020” Asse prioritario I “Ricerca scientifica, sviluppo tecnologico e innovazione” | IT |
| dc.identifier.uri | http://hdl.handle.net/11050/1435 | |
| dc.language.iso | it | IT |
| dc.subject.progetti | Progetti Sardegna Ricerche::Progetto Cluster POR FESR 2014-2020::ICT::PROSSIMO | IT |
| dc.title | Progetto PROSSIMO: Webinar "Verifica formale di reti neurali" | IT |
| dc.type | Video | IT |
File
Original bundle
1 - 5 di 7
Caricamento...
- Nome:
- locNNAllegato 4.pdf
- Dimensione:
- 3.13 MB
- Formato:
- Adobe Portable Document Format
- Descrizione:
Caricamento...
- Nome:
- Tacchella_Prossimo.pdf
- Dimensione:
- 3.3 MB
- Formato:
- Adobe Portable Document Format
- Descrizione:
Caricamento...
- Nome:
- Verifica Formale di Reti Neurali - Parte 1-20210306_100610-Meeting Recording.mp4
- Dimensione:
- 11.55 MB
- Formato:
- Unknown data format
- Descrizione:
Caricamento...
- Nome:
- Verifica Formale di Reti Neurali - Parte 2-20210306_101405-Meeting Recording.mp4
- Dimensione:
- 68.93 MB
- Formato:
- Unknown data format
- Descrizione:
Caricamento...
- Nome:
- Verifica Formale di Reti Neurali - Parte 3-20210306_104726-Meeting Recording.mp4
- Dimensione:
- 21.58 MB
- Formato:
- Unknown data format
- Descrizione:
License bundle
1 - 1 di 1
Caricamento...
- Nome:
- license.txt
- Dimensione:
- 2.06 KB
- Formato:
- Item-specific license agreed upon to submission
- Descrizione: