A proposed pattern recognition framework for EEG-based smart blind watermarking system
Trung Pham Duy, Dat Tran, Wanli Ma
Published in 2016 23rd International Conference on Pattern Recognition (ICPR) (01.12.2016)
Published in 2016 23rd International Conference on Pattern Recognition (ICPR) (01.12.2016)
Get full text
Conference Proceeding
Reusing Symbolic Observation Graph for Efficient Model Checking
Pham Duy, Bao Trung, Trinh, Van Giang, Thuan, Le Dinh, Tho, Quan Thanh
Published in 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE) (01.10.2015)
Published in 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE) (01.10.2015)
Get full text
Conference Proceeding
An intelligent learning-based watermarking scheme for outsourced biomedical time series data
Trung Pham Duy, Dat Tran, Wanli Ma
Published in 2017 International Joint Conference on Neural Networks (IJCNN) (01.05.2017)
Published in 2017 International Joint Conference on Neural Networks (IJCNN) (01.05.2017)
Get full text
Conference Proceeding
SURVEY AND PROPOSED METHOD TO DETECT ADVERSARIAL EXAMPLES USING AN ADVERSARIAL RETRAINING MODEL
Thanh Son Phan, Quang Hua Ta, Duy Trung Pham, Phi Ho Truong
Published in Tạp chí Khoa học Đại học Đà Lạt (01.08.2024)
Published in Tạp chí Khoa học Đại học Đà Lạt (01.08.2024)
Get full text
Journal Article
PeCAn: Compositional Verification of Petri Nets Made Easy
Le, Dinh-Thuan, Nguyen, Huu-Vu, Nguyen, Van-Tinh, Mai, Phuong-Nam, Pham-Duy, Bao-Trung, Quan, Thanh-Tho, André, Étienne, Petrucci, Laure, Liu, Yang
Published in Automated Technology for Verification and Analysis (2014)
Published in Automated Technology for Verification and Analysis (2014)
Get full text
Book Chapter