Bảo đảm Toán học cho máy tính và hệ thống tính toán
Các tài liệu về kiểm chứng hình thức, lý thuyết tính toán, chứng minh toán học bảo đảm tính đúng đắn của thuật toán, phần mềm và hệ thống máy tính - từ nền tảng logic đến ứng dụng kiểm chứng.
Trường nổi bật ngành Bảo đảm Toán học cho máy tính và hệ thống tính toán
Luận án tiến sĩ phân tích nghiên cứu hệ sinh ánh xạ đóng và ứng dụng trong thể hiện ngữ nghĩa dữ liệu, xây dựng cơ sở lý luận, kiểm chứng thực nghiệm, đóng góp tri thức mới cho
Danh mục:
117
3
0
Luận văn thạc sĩ nghiên cứu hus xây dựng cơ sở dữ liệu cho phân tích cú pháp tiếng việt với hệ hình thức văn phạm tag, đánh giá hiện trạng, phân tích vấn đề, đề xuất biện pháp
Danh mục:
52
2
0
Luận văn thạc sĩ HUS về xử lý đồ họa trong MATLAB hỗ trợ công cụ toán học cho trường phổ thông, mang lại giải pháp hiệu quả cho giảng dạy.
Danh mục:
108
3
0
Luận văn thạc sĩ toán học nghiên cứu hus thiết kế nhân ma trận thưa với véctơ trong tính toán song song và ứng dụng luận văn ths toán, khảo sát thực trạng, phân tích nguyên nhân,
Danh mục:
102
2
0
Luận văn thạc sĩ toán học phân tích hus song song hóa một số thuật toán tổ hợp luận văn ths toán học 60 46 35, đánh giá thực trạng, chỉ ra hạn chế, đề xuất giải pháp khả thi cho
Danh mục:
67
0
0
Luận văn thạc sĩ nghiên cứu gán nhãn từ loại cho văn bản tiếng Việt bằng phương pháp học máy không có hướng dẫn, mang lại những kết quả đáng chú ý.
Danh mục:
53
1
0
Luận văn thạc sĩ toán học phân tích hus một số tính chất của mạng petri và ứng dụng luận văn ths toán học 60 46 35, đánh giá thực trạng, chỉ ra hạn chế, đề xuất giải pháp khả thi
Danh mục:
63
4
0
Luận văn thạc sĩ HUS nghiên cứu cấu trúc mạng logic Markov và ứng dụng trong bài toán phân lớp, mang lại giải pháp hiệu quả cho phân tích dữ liệu.
Danh mục:
56
3
0
Luận văn thạc sĩ nghiên cứu hus đồ thị với kích thước rất lớn, khảo sát thực trạng, phân tích nguyên nhân, đề xuất giải pháp cải thiện thực tiễn.
Danh mục:
67
2
0
Khám phá luận văn thạc sĩ về định tuyến multicast trong mạng cáp quang, phân tích và ứng dụng công nghệ tiên tiến trong truyền thông.
Danh mục:
57
2
0