Trình bày cú pháp và những cách tiếp cận khác nhau về ngữ nghĩa của chương trình logic nói chung và datalog nói riêng, đặc biệt là ngữ nghĩa điểm cố định. Trình bày kiến trúc SIMD, MIMD và những nguyên tắc để thiết kế thuật toán song song; phương pháp xử lý bao đóng bắc cầu bằng những thuật toán song song đồ...

 2 p husc 13/03/2015 178 1 Download

Nghiên cứu tổng quan về mô hình quan hệ; các phụ thuộc dữ liệu; phép nối trong mô hình quan hệ

 3 p husc 13/03/2015 304 1 Download

Nghiên cứu tín hiệu và hệ thống xử lý ảnh số; trích chọn thuộc tính và phân tích các thuộc tính chủ yếu như không gian, biến đổi, sườn, biên, phương pháp phát hiện, tách chúng...; các phương pháp mã hóa như biểu diễn đường biên đối tượng, biểu diễn vùng, với mục đích tìm ra phương pháp lưu trữ ảnh khoa...

 2 p husc 13/03/2015 127 1 Download

Tổng quan về cơ sở dữ liệu hướng đối tượng; xây dựng ứng dụng cơ sở dữ liệu hướng đối tượng với objectstore

 3 p husc 13/03/2015 60 2 Download

Tìm hiểu lớp thuật toán phân cụm cơ bản dựa trên mật độ dữ liệu không gian. Nghiên cứu và đưa ra một số đánh giá về tính hiệu quả của một số thuật toán phân cụm đó trên dữ liệu không gian, tập trung vào tính chất phân bố không đồng đều của các đối tượng dữ liệu trong các nhóm (cụm) khác nhau

 3 p husc 13/03/2015 100 1 Download

Giới thiệu tổng quan về mô hình dữ liệu và ngôn ngữ truy vấn hướng đối tượng, chuyển đổi truy vấn hướng đối tượng thành truy vấn quan hệ, phương thức OODB thành chương trình con RDB

 3 p husc 13/03/2015 116 1 Download

Giới thiệu tổng quan về mạng quang và mạng quang ghép kênh bước sóng; giới thiệu hoạch định và định nghĩa bài toán RWA; trình bày các phương pháp giải quyết bài toán RWA; đồng thời đưa ra một giải thuật dạng gợi ý nhằm giải quyết bài toán SLE trong điều kiện ràng buộc tính liên tục của bước sóng

 3 p husc 13/03/2015 172 2 Download

Tổng quan về thư viện số; mô hình khái niệm của hệ thống tương tác giữa các thư viện số; cài đặt và thử nghiệm hệ thống tương tác giữa các thư viện số.

 6 p husc 13/03/2015 38 1 Download

Tìm hiểu những khái niệm cơ bản về lý thuyết ôtômat thuần túy. Xây dựng và phân rã ôtômat; ôtômat tuyến tính. Nghiên cứu các cấu trúc đại số liên quan đến khái niệm ôtômat và tầm quan trọng khi thực hiện trên khung đại số ôtômat và cơ sở dữ liệu thực

 4 p husc 13/03/2015 391 1 Download

Tìm hiểu những khái niệm cơ bản về lý thuyết ôtômat thuần túy. Xây dựng và phân rã ôtômat; ôtômat tuyến tính. Nghiên cứu các cấu trúc đại số liên quan đến khái niệm ôtômat và tầm quan trọng khi thực hiện trên khung đại số ôtômat và cơ sở dữ liệu thực.

 4 p husc 12/03/2015 409 1 Download

Chương 1: Quá trình hình thành đường Hồ Chí Minh trên đất Quảng Bình (1959- 1975); Chương 2: Hoạt động xây dựng và tổ chức chi viện chiến lược trên tuyến đường Hồ Chí Minh ở Quảng Bình trong kháng chiến chống Mỹ (1959- 1975); Chương 3: Đặc điểm, ý nghĩa lịch sử và bài học kinh nghiệm quá trình xây dựng và tổ...

 15 p husc 11/03/2015 126 1 Download

Nghiên cứu việc tổ chức chính quyền Đàng Trong dưới thời các chúa Nguyễn từ năm 1558 - 1774 từ quá trình thay đổi theo thời gian, không gian chính quyền trung ương, địa phương, đội ngũ quan lại, quân đội; Phân tích đặc điểm và vai trò của tổ chức chính quyền Đàng Trong.

 8 p husc 11/03/2015 168 6 Download