Browse

Browsing by Author Nguyễn Trường Thắng

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  

Showing results 1 to 3 of 3

  • DanhMucCongTrinhCongBo_Tran_Huy_Duong.pdf.jpg
  • Luận án, luận văn

  • Khai phá mẫu dãy có trọng số trong Cơ sở dữ liệu Dãy

    • ;  Advisor: Nguyễn Trường Thắng; Vũ Đức Thi (2021-07-09)

  • Luận án nghiên cứu đề xuất giải pháp khai phá các mẫu dãy có trọng số có khoảng cách thời gian giữa các dãy trong các CSDL dãy có khoảng cách thời gian và CSDL dãy định lượng có khoảng cách thời gian.
  • LuanAn_To_Huu_Nguyen_25_11_To_Huu_Nguyen.pdf.jpg
  • Luận án, luận văn

  • Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng.

    • ;  Advisor: Nguyễn Trường Thắng; Đặng Văn ĐỨc (2020-11-27)

  • Luận án xây dựng mô hình hóa ràng buộc trên kiểu dữ liệu xâu và ràng buộc hỗn hợp, cải tiến khả năng giải ràng buộc trong phương pháp thực thi biểu trưng. Cài đặt kỹ thuật mô hình hóa và giải ràng buộc dựa trên Otomat và Bitvector trong giải ràng buộc xâu, đánh giá so sánh các kết quả thu được với các các kết quả đã công bố.
Showing results 1 to 3 of 3