- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
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 372 1
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
Nghiên cứu tính toán lưới và ứng dụng trong đấu giá bán cổ phần
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 261 1
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
Tìm hiểu một số phương pháp luận xấp xỉ và ứng dụng hỗ trợ chuẩn đoán bệnh phổi tắc nghẽn mạn tính
Tìm hiểu lý thuyết về tập mờ, logic mờ Đại số gia tử. Nghiên cứu phương pháp lập luận xấp xỉ theo cách tiếp cận lý thuyết tập mờ, phương pháp lập luận xấp xỉ theo cách tiếp cận Đại số gia tử; Đánh giá hiệu quả các cách tiếp cận lập luận xấp xỉ. Ứng dụng kết quả nghiên cứu vào chuẩn đoán bệnh phổi tắc nghẽn mạn tính. Ghi...
6 p husc 16/03/2016 258 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quan hệ mờ, Phép khử mờ, Mạnh đề mờ, Lập luận xấp xỉ, Quy trình chuẩn đoán, Mô phỏng chương trình
Nghiên cứu việc tích hợp ngữ nghĩa của logic mô tả và các quy tắc logic
Nghiên cứu việc tích hợp ngữ nghĩa của chương trình logic mô tả và các quy tắc logic dạng tuyển để xây dựn neencacs chương trình logic dạng tuyển; Cú pháp và ngữ nghĩa của logic mô tả ALC và logic mô tả SHOIN(D). Trình bày một sự hợp tích giữa chương trình logic dưới ngữ nghĩa tập trả lời với logic mô tả SHOIN(D); Xác định đượcngữ nghĩa tập trả...
6 p husc 16/03/2016 325 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic mô tả, Logic dạng tuyển, Hệ thống DLV
Bài giảng Đồ họa máy tính: Thuật toán vẽ đường thẳng Bresenham
Bài giảng Đồ họa máy tính: Thuật toán vẽ đường thẳng Bresenham có nội dung giới thiệu về thuật toán Bresenham, cài đặt thuật toán cho đường tròn tâm và đường elip tâm, chương trình thuật toán và bài tập. Tham khảo nội dung bài giảng để hiểu rõ hơn về các nội dung trên.
15 p husc 23/11/2015 212 1
Từ khóa: Đồ họa máy tính, Thuật toán Bresenham, Vẽ đường thẳng, Cài đặt thuật toán, Chương trình thuật toán, Kỹ thuật đồ họa
Bài giảng Đồ họa máy tính: Thuật toán Bresenham - Vẽ đường thẳng
Bài giảng Đồ họa máy tính: Thuật toán Bresenham - Vẽ đường thẳng có nội dung giới thiệu về thuật toán Bresenham, cài đặt thuật toán, chương trình thuật toán và bài tập. Tham khảo nội dung bài giảng để hiểu rõ hơn về các nội dung trên.
15 p husc 23/11/2015 284 4
Từ khóa: Đồ họa máy tính, Thuật toán Bresenham, Vẽ đường thẳng, Cài đặt thuật toán, Chương trình thuật toán, Kỹ thuật đồ họa
Phân tích thiết kế cài đặt chương trình "Quản lý đào tạo"
Phân tích và thiết kế chương trình. Cài đặt chương trình. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
3 p husc 10/11/2015 246 1
Từ khóa: Tin học, công nghệ thông tin, cài đặt chương trình, thiết kế chương trình, chương trình máy tính, quản lý đào tạo
Hệ thống chương trình thi trắc nghiệm trên máy tính điện tử
Tổ chức dữ liệu và thuật toán; Bộ câu hỏi trắc nghiệm về hệ diều hành MS - DOS. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
3 p husc 10/11/2015 220 1
Từ khóa: Tin học, công nghệ thông tin, chương trình thi trắc nghiệm, máy tính điện tử, bộ câu hỏi trắc nghiệm, thi trắc nghiệm,
Nghiên cứu cách tiếp cận ngữ nghĩa của chương trình logic có ràng buộc
Nghiên cứu hai tiếp cận ngữ nghĩa thủ tục và ngữ nghĩa khai báo của chương trình logic có ràng buộc. Nghiên cứu vấn đề tối ưu hóa ngữ nghĩa của chương trình logic có ràng buộc. 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 27/03/2015 58 2
Từ khóa: Tin học, Chương trình logic có ràng buộc, logic có ràng buộc, Chương trình máy tính
Đăng nhập
Bộ sưu tập nổi bật
Bộ sưu tập tài liệu Toán học hay
24 7317
17 11532
Tuyển tập tác phẩm văn học hay
15 7030
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.