Thứ Sáu, 09:46 27/11/2020
Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: 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.
Nghiên cứu sinh: Tô Hữu Nguyên
Người hướng dẫn khoa học: TS. Nguyễn Trường Thắng, PGS.TS. Đặng Văn Đức
Để xem bản tóm tắt Luận án tiến sĩ (Bản tiếng Việt), tải về tại đây
Để xem bản tóm tắt Luận án tiến sĩ (Bản tiếng Anh), tải về tại đây
Để xem toàn bộ Luận án tiến sĩ, tải về tại đây
Về đầu bài viết 
Các tin đã đưa:
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu một số phương pháp nâng cao hiệu quả tính toán tập rút gọn trên không gian xấp xỉ mờ (28/05/25)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu cấu trúc và tính chất của vật liệu biến hóa đa chức năng hấp thụ và chuyển đổi phân cực sóng điện từ. (21/05/25)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: “Nghiên cứu đặc điểm phân bố và dinh dưỡng của các loài lưỡng cư ở Vườn Quốc gia Bến En và Khu Bảo tồn Thiên nhiên Pù Luông, tỉnh Thanh Hoá”. (13/05/25)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Đặc điểm sinh học phân tử của virus hợp bào hô hấp trên bệnh nhân nhi viêm đường hô hấp cấp tính nặng tại Bệnh viện Nhi Trung ương và Bệnh viện Đa khoa tỉnh Quảng Ninh. (28/04/25)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Ứng dụng số liệu sóng vô tuyến và mô hình số trị để nghiên cứu đánh giá một số thông số khí quyển tại một số khu vực của Việt Nam. (28/04/25)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Chế tạo và nghiên cứu tính chất quang các chấm lượng tử ZnS pha tạp (Ce, Eu) và các chấm lượng tử trên cơ sở CdSe, CdS phân tán trong nước và bọc silica. (25/04/25)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu hiệu ứng phát xạ laser và khuếch đại quang trong buồng cộng hưởng liên kết với cấu trúc tinh thể quang tử 1D, 2D. (13/11/20)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu phát triển các tổ hợp vật liệu phát quang micro-nano và linh kiện quang biên dạng tự do ứng dụng trong chiếu sáng rắn. (13/11/20)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu, thu nhận protein từ sinh khối rong nước lợ (Chaetomorpha sp.) để ứng dụng trong công nghiệp thực phẩm. (13/11/20)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Tối ưu hoá dòng năng lượng dao động trong điều khiển hệ Port-Controlled Hamiltonian. (12/11/20)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu đánh giá rủi ro động đất khu vực đô thị thành phố Hà Nội. (10/11/20)
