» Từ khóa: toán học

Trình bày những khái niệm cơ sở của chương trình logic, ngữ nghĩa của chương trình logic dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả...

 5 p husc 17/03/2016 316 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

 5 p husc 17/03/2016 435 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn

Tổng quan về bảo mật cơ sở dữ liệu, bao gồm các lỗ hổng, mối đe dọa đối với cơ sở dữ liệu, các kiểu tấn công cơ sở dữ liệu (trọng tâm là loại tấn công chèn mã SQL (SQLIA). Nghiên cứu hướng tiếp cận của cây phân tích cú pháp trong việc phát hiện và ngăn chặn tấn công chèn mã SQL. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email:...

 5 p husc 16/03/2016 300 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu, Cơ sở dữ liệu, Chèn mã SQL, Phần mềm mô phỏng, Phân tích thuật toán, Xác định lỗ hổng

Nghiên cứu tính toán lưới: bản chất, phân loại, kiến trúc, ích lợi, các chuẩn liên quan và cơ sở hạ tầng Grid, công cụ GridBus Enterprise Grid Infrastructure (Alchemi). Thiết kế ứng dụng để triển khai trên lưới. Xây dựng ứng dụng demo để triển khai vào thực tế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440...

 9 p husc 16/03/2016 316 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ thống tính toán, Tính toán phân tán, Lưới tính toán, Lưới dữ liệu, Lưới kết hợp, Thiết kế chương trình, Phân tích hệ thống

Nghiên cứu về điện toán đám mây và một số giải pháp bảo mật, an toàn thông tin trên đám mây. Xây dựng đám mây có bảo mật và ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 16/03/2016 295 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Khai phá dữ liệu, Hệ thống thông tin, Kho dữ liệu, Thuật toán phân lớp, Mô phỏng bài toán

Tổng quát về hệ thống nhận dạng đối tượng, vai trò, ý nghĩa của hệ thống nhận dạng, các thành phần và kiến trúc của hệ thống nhận dạng. Nghiên cứu phương pháp học sâu từ mô hình kiến trúc học sâu; mô hình mạng sâu: xây dựng tham số ban đầu cho học sâu, quy trình học của mô hình Bilinear Dêp Belief Network (BDBN), thuật toán học sâu. Ghi chú:...

 7 p husc 16/03/2016 402 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quá trình nhận dạng, Bài toán nhận dạng, Kiến trúc học sâu, Mạng tin sâu, Thuật toán học song sâu

Trình bày nền tảng kiến thức về hệ hỗ trợ ra quyết định (Khái niệm, thành phần, mô hình, đặc điểm và phân loại hệ hỗ trợ ra quyết định). Nghiên cứu Cây quyết định và một số thuật toán trong xây dựng cây quyết định; phân cụm dữ liệu và thuật toán phân cụm K-means. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email:...

 6 p husc 15/03/2016 264 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ hỗ trợ, Tự động hóa, Phân lớp dữ liệu, Phân cụm dữ liệu, Thuật toán phân cụm, Nguồn dữ liệu, Đọc dữ liệu, Xem dữ liệu

Khái quát về quy trình nghiệp vụ (Business Process Management gọi tắt là BPM), quản lý quy trình nghiệp vụ, Các chuẩn thực thi quy trình trong BPM, Công tác giữa các doanh nghiệp. Nghiên cứu bài toán phân rã tác vụ trong quy trình nghiệp vụ (Tại sao phân rã tác vụ, Hoạch định trong trí tuệ nhân tạo, HTN planning, Ontology, công tác các doanh nghiệp dựa trên Business...

 6 p husc 15/03/2016 286 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quản lý quy trình nghiệp vụ, Chu trinh BPM, Tích hợp hệ thống, Tích hợp ứng dụng, Ứng dụng phân rã, Thuật toán Genesis

Trình bày tổng quan về kho dữ liệu và khai phá dữ liệu, tiền xử lý dữ liệu và một số phương pháp kỹ thuật khai phá dữ liệu và các ứng dụng của khai phá dữ liệu. Nghiên cứu về luật kết hợp, các thuật toán sinh luật kết hợp; Tìm hiểu phân lớp bằng phương pháp cây quyết định và các thuật toán sinh luật quyết định. Mô phỏng bài toán tư...

 5 p husc 15/03/2016 329 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Khai phá dữ liệu, Thuật toán khai phá, Xử lý dữ liệu, Phần mềm Weka

Thiết lập các đặc trưng cấp một của hàm véctơ lồi thông qua đạo hàm theo hướng và vi phân; thiết lập các đặc trưng cấp hai của hàm véctơ lồi thông qua vi phân cấp hai; thiết lập các điều kiện cần / đủ cho nghiệm hữu hiệu của bài toán tối ưu véctơ lồi không có ràng buộc và có ràng buộc. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ:...

 5 p husc 19/02/2016 378 1 Download

Từ khóa: Toán học, hàm véctơ lồi, tối ưu hóa

Gồm 2 chương: 1. Tổng quan (Trình bày những khái niệm cơ bản của lý thuyết cơ sở dữ liệu quan hệ; Giới thiệu siêu đồ thị và họ trù mật); 2. Độ phức tạp bài toán suy diễn phụ thuộc và quan hệ Armstrong. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 19/02/2016 377 1 Download

Từ khóa: Toán học, lý thuyết cơ sở dữ liệu quan hệ, toán tổ hợp, siêu đồ thị, họ trù mật

Nội dung gồm 3 chương: 1. Các khái niệm cơ bản: giới thiệu các khái niệm cơ bản về bài toán bù tuyến tính cùng các kết quả kinh điển, trình bày ý tưởng về hệ vec - tơ phân hoạch không gian; 2. Đặc trưng của hệ phân hoạch: phát biều và minh chứng một đặc trưng của đại số đầy đủ của hệ vec - tơ phân hoạch không gian; 3. Ứng dụng vào bài...

 5 p husc 19/02/2016 334 1 Download

Từ khóa: Toán học, đại số tuyến tính, kỹ thuật phân hoạch không gian