Đi vào cõi vô cùng

von Hoàng, Dung
Veröffentlicht 2001

Cõi trời cõi ta : sưu khảo khoa học & nhân văn

von Hoàng, Dung
Veröffentlicht 2011

Chié̂n tranh Đông Dương III : chié̂n tranh biên giới Hoa Việt & Miên Việt 1979

von Hoàng Dung
Veröffentlicht 2000

Sequencing fragments of cryptophyte plastomes from 16S rRNA to rbcL genes and phylogenetic analyses based on the protein encoding genes located in these fragments

von Tran, Hoang-Dung
Veröffentlicht 2009

Định-chê-quôc-tê-và-Viêt-Nam-vê-bao-vê-môi-truòng

von Đăng-hoàng-Dũng
Veröffentlicht 1998

Định-chê-quôc-tê-và-Viêt-Nam-vê-bao-vê-môi-truòng

von Đăng-hoàng-Dũng
Veröffentlicht 2000

Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability

von Bak, Stanley
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Thú người

von Müller, Herta
Veröffentlicht 2012

Improved Geometric Path Enumeration for Verifying RelLU Neural Networks

von Bak, Stanley
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Verification of Deep Convolutional Neural Networks Using ImageStars

von Tran, Hoang-Dung
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Neural Network Repair with Reachability Analysis

von Yang, Xiaodong
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Was uns empowert : Geschichten von FLINTA of color

Veröffentlicht 2023

Efficient Streaming Subgraph Isomorphism with Graph Neural Networks

von Duong, Chi Thang
Veröffentlicht in VLDB (47. : 2021 : Kopenhagen; Online) 47th International Conference on Very Large Data Bases 2021 ; Part 1 of 4 (2021)

VERIFICATION OF NEURAL NETWORK COMPRESSION OF ACAS XU LOOKUP TABLES WITH STAR SET REACHABILITY

von Lopez, Diego Manzanas
Veröffentlicht in AIAA SciTech Forum and Exposition (2021 : Online) Intelligent systems ; Volume 2 of 3 (2021)

Tổng-tập-văn-học-Vi.êt-Nam : trọn-bộ-42-tập-có-chỉnh-lý-và-bổ-sung

Veröffentlicht 2000

Scalable Robust Graph Embedding with Spark

von Duong, Chi Thang
Veröffentlicht in International Conference on Very Large Data Bases (48. : 2022 : Sydney; Online) 48th International Conference on Very Large Data Bases (VLDB 2022) ; Part 2 of 6 (2023)

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability

von Tran, Hoang-Dung
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

NNV: The Neural Network Verification Tool for Deep Neural Networks and Leaming-Enabled Cyber-Physical Systems

von Tran, Hoang-Dung
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Mitteldruck > 30 bar bei Gasmotoren : Vorhaben Nr. 1201: Untersuchung der physikalischen Grenzen eines Verbrennungsmotors im Gasbetrieb bei sehr hohen Mitteldrücken oberhalb 30 b...

von Eicheldinger, Stefan
Veröffentlicht 2018