Progetto PROSSIMO: Sintesi e analisi automatica di CPS (aggiornamento)
| dc.contributor.author | Pulina, Luca | |
| dc.contributor.other | Università degli Studi di Sassari | IT |
| dc.date.accessioned | 2021-05-18T12:43:08Z | |
| dc.date.available | 2021-05-18T12:43:08Z | |
| dc.date.issued | 2020-11-13 | |
| dc.description.abstract | In questo lavoro presentiamo un prototipo iniziale di NeVer 2.0, un nuovo sistema per la sintesi e l'analisi automatizzate di Deep Neural Network. NeVer 2.0 prende in prestito la sua filosofia di progettazione da NeVer, il primo pacchetto che ha integrato l'apprendimento, la verifica automatizzata e la riparazione di reti neurali (superficiali) in un unico strumento. L'obiettivo di NeVer 2.0 è fornire un'integrazione simile per reti profonde sfruttando una selezione di framework di apprendimento all'avanguardia e integrandoli con algoritmi di verifica per facilitare la sfida della scalabilità e rendere possibile la riparazione di reti neurali che presentano errori o violazioni di date proprietà. | IT |
| 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/1413 | |
| dc.language.iso | it | IT |
| dc.subject.progetti | Progetti Sardegna Ricerche::Progetto Cluster POR FESR 2014-2020::ICT::PROSSIMO | IT |
| dc.title | Progetto PROSSIMO: Sintesi e analisi automatica di CPS (aggiornamento) | IT |
| dc.type | Report | IT |