Matches in Wikidata for { <http://www.wikidata.org/entity/Q59481940> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- Q59481940 description "wetenschappelijk artikel" @default.
- Q59481940 description "наукова стаття, опублікована у 2018" @default.
- Q59481940 name "Efficient Formal Safety Analysis of Neural Networks" @default.
- Q59481940 name "Efficient Formal Safety Analysis of Neural Networks" @default.
- Q59481940 type Item @default.
- Q59481940 label "Efficient Formal Safety Analysis of Neural Networks" @default.
- Q59481940 label "Efficient Formal Safety Analysis of Neural Networks" @default.
- Q59481940 prefLabel "Efficient Formal Safety Analysis of Neural Networks" @default.
- Q59481940 prefLabel "Efficient Formal Safety Analysis of Neural Networks" @default.
- Q59481940 P1433 Q59481940-56491141-1A5F-4322-8BE9-4BAAE466C939 @default.
- Q59481940 P1476 Q59481940-55D67226-CBFD-49B8-A100-A2401F7B7BD8 @default.
- Q59481940 P2093 Q59481940-1C624454-DF61-49FD-9C5E-ACF84DCE5168 @default.
- Q59481940 P2093 Q59481940-237F4E59-2989-4091-A65E-639093ECAD95 @default.
- Q59481940 P2093 Q59481940-308DF47D-EBAA-42C9-B0E8-E191A8FE5C6E @default.
- Q59481940 P2093 Q59481940-685B3FB0-CAF7-4087-8D9F-34C29F0C23AD @default.
- Q59481940 P2093 Q59481940-9A4CD1E4-03B6-4F77-BC3A-0C8730ED1084 @default.
- Q59481940 P31 Q59481940-1F09CB6F-1A1B-4592-BBA8-08FFBEB02616 @default.
- Q59481940 P407 Q59481940-99C02722-A1E9-4A7B-9BD1-32D4ECF528A1 @default.
- Q59481940 P577 Q59481940-0764585A-CCBB-412F-A769-DFCF8F5CF7B2 @default.
- Q59481940 P856 Q59481940-E64CB64D-CFB3-4600-B734-94DB9AA94BC6 @default.
- Q59481940 P953 Q59481940-D9F2BD4D-3808-46B3-B490-AF6A7E6D8925 @default.
- Q59481940 P1433 Q56580288 @default.
- Q59481940 P1476 "Efficient Formal Safety Analysis of Neural Networks" @default.
- Q59481940 P2093 "Junfeng Yang" @default.
- Q59481940 P2093 "Justin Whitehouse" @default.
- Q59481940 P2093 "Kexin Pei" @default.
- Q59481940 P2093 "Shiqi Wang" @default.
- Q59481940 P2093 "Suman Jana" @default.
- Q59481940 P31 Q13442814 @default.
- Q59481940 P407 Q1860 @default.
- Q59481940 P577 "2018-01-01T00:00:00Z" @default.
- Q59481940 P856 7873-efficient-formal-safety-analysis-of-neural-networks @default.
- Q59481940 P953 7873-efficient-formal-safety-analysis-of-neural-networks.pdf @default.