Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912587325> ?p ?o ?g. }
- W2912587325 abstract "Deep Learning (DL) techniques are now widespread and being integrated into many important systems. Their classification and recognition abilities ensure their relevance for multiple application domains. As machine-learning that relies on training instead of algorithm programming, they offer a high degree of productivity. But they can be vulnerable to attacks and the verification of their correctness is only just emerging as a scientific and engineering possibility. This paper is a major update of a previously-published survey, attempting to cover all recent publications in this area. It also covers an even more recent trend, namely the design of domain-specific languages for producing and training neural nets." @default.
- W2912587325 created "2019-02-21" @default.
- W2912587325 creator A5006607311 @default.
- W2912587325 creator A5038718383 @default.
- W2912587325 creator A5083484982 @default.
- W2912587325 date "2019-01-31" @default.
- W2912587325 modified "2023-09-27" @default.
- W2912587325 title "Formal methods and software engineering for DL. Security, safety and productivity for DL systems development." @default.
- W2912587325 cites W117425234 @default.
- W2912587325 cites W1495088934 @default.
- W2912587325 cites W1960579544 @default.
- W2912587325 cites W1978784480 @default.
- W2912587325 cites W2004252880 @default.
- W2912587325 cites W2017070213 @default.
- W2912587325 cites W2073700113 @default.
- W2912587325 cites W2165073069 @default.
- W2912587325 cites W2216962153 @default.
- W2912587325 cites W2240086230 @default.
- W2912587325 cites W2419161615 @default.
- W2912587325 cites W2467659428 @default.
- W2912587325 cites W2527181044 @default.
- W2912587325 cites W2543296129 @default.
- W2912587325 cites W2559554776 @default.
- W2912587325 cites W2593957897 @default.
- W2912587325 cites W2594877703 @default.
- W2912587325 cites W2612291882 @default.
- W2912587325 cites W2630242880 @default.
- W2912587325 cites W2732505563 @default.
- W2912587325 cites W2734506812 @default.
- W2912587325 cites W2742450537 @default.
- W2912587325 cites W2754537581 @default.
- W2912587325 cites W2757182288 @default.
- W2912587325 cites W2760733685 @default.
- W2912587325 cites W2761709036 @default.
- W2912587325 cites W2762853919 @default.
- W2912587325 cites W2766370850 @default.
- W2912587325 cites W2766993077 @default.
- W2912587325 cites W2774607536 @default.
- W2912587325 cites W2794609696 @default.
- W2912587325 cites W2795725650 @default.
- W2912587325 cites W2800799213 @default.
- W2912587325 cites W2804224090 @default.
- W2912587325 cites W2806456500 @default.
- W2912587325 cites W2806891462 @default.
- W2912587325 cites W2869036160 @default.
- W2912587325 cites W2887326578 @default.
- W2912587325 cites W2901258099 @default.
- W2912587325 cites W2949522170 @default.
- W2912587325 cites W2952645808 @default.
- W2912587325 cites W2955996520 @default.
- W2912587325 cites W2962692913 @default.
- W2912587325 cites W2963054787 @default.
- W2912587325 cites W2963208512 @default.
- W2912587325 cites W2963327228 @default.
- W2912587325 cites W2963523513 @default.
- W2912587325 cites W2963673089 @default.
- W2912587325 cites W2964436579 @default.
- W2912587325 cites W3093882308 @default.
- W2912587325 hasPublicationYear "2019" @default.
- W2912587325 type Work @default.
- W2912587325 sameAs 2912587325 @default.
- W2912587325 citedByCount "0" @default.
- W2912587325 crossrefType "posted-content" @default.
- W2912587325 hasAuthorship W2912587325A5006607311 @default.
- W2912587325 hasAuthorship W2912587325A5038718383 @default.
- W2912587325 hasAuthorship W2912587325A5083484982 @default.
- W2912587325 hasConcept C108583219 @default.
- W2912587325 hasConcept C115903868 @default.
- W2912587325 hasConcept C127413603 @default.
- W2912587325 hasConcept C134306372 @default.
- W2912587325 hasConcept C139719470 @default.
- W2912587325 hasConcept C154945302 @default.
- W2912587325 hasConcept C158154518 @default.
- W2912587325 hasConcept C162324750 @default.
- W2912587325 hasConcept C17744445 @default.
- W2912587325 hasConcept C199360897 @default.
- W2912587325 hasConcept C199539241 @default.
- W2912587325 hasConcept C204983608 @default.
- W2912587325 hasConcept C2778827112 @default.
- W2912587325 hasConcept C2780428219 @default.
- W2912587325 hasConcept C33923547 @default.
- W2912587325 hasConcept C36503486 @default.
- W2912587325 hasConcept C41008148 @default.
- W2912587325 hasConcept C55439883 @default.
- W2912587325 hasConcept C78519656 @default.
- W2912587325 hasConceptScore W2912587325C108583219 @default.
- W2912587325 hasConceptScore W2912587325C115903868 @default.
- W2912587325 hasConceptScore W2912587325C127413603 @default.
- W2912587325 hasConceptScore W2912587325C134306372 @default.
- W2912587325 hasConceptScore W2912587325C139719470 @default.
- W2912587325 hasConceptScore W2912587325C154945302 @default.
- W2912587325 hasConceptScore W2912587325C158154518 @default.
- W2912587325 hasConceptScore W2912587325C162324750 @default.
- W2912587325 hasConceptScore W2912587325C17744445 @default.
- W2912587325 hasConceptScore W2912587325C199360897 @default.
- W2912587325 hasConceptScore W2912587325C199539241 @default.
- W2912587325 hasConceptScore W2912587325C204983608 @default.
- W2912587325 hasConceptScore W2912587325C2778827112 @default.
- W2912587325 hasConceptScore W2912587325C2780428219 @default.
- W2912587325 hasConceptScore W2912587325C33923547 @default.