Progetto PROSSIMO: Sintesi e analisi automatica di CPS (aggiornamento)

dc.contributor.authorPulina, Luca
dc.contributor.otherUniversità degli Studi di SassariIT
dc.date.accessioned2021-05-18T12:43:08Z
dc.date.available2021-05-18T12:43:08Z
dc.date.issued2020-11-13
dc.description.abstractIn 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.urihttp://hdl.handle.net/11050/1413
dc.language.isoitIT
dc.subject.progettiProgetti Sardegna Ricerche::Progetto Cluster POR FESR 2014-2020::ICT::PROSSIMOIT
dc.titleProgetto PROSSIMO: Sintesi e analisi automatica di CPS (aggiornamento)IT
dc.typeReportIT
File
Original bundle
Ora in mostra 1 - 1 di 1
Caricamento...
Immagine di anteprima
Nome:
D3.1v2Allegato1.pdf
Dimensione:
1.25 MB
Formato:
Adobe Portable Document Format
Descrizione:
License bundle
Ora in mostra 1 - 1 di 1
Caricamento...
Immagine di anteprima
Nome:
license.txt
Dimensione:
2.06 KB
Formato:
Item-specific license agreed upon to submission
Descrizione:
collections