- 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
Tìm hiểu ngữ nghĩa chương trình Logic mở rộng và ứng dụng.
Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định mở rộng của mô hình bền vững. 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
10 p husc 27/09/2016 319 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Logic xác định, Ngữ nghĩa mô hình, Biên dịch hệ thống, Hệ thống DL-EX.
Tìm hiểu về độ quan trọng của luật kết hợp và phương pháp ẩn tập mục phổ biến.
Trình bày tổng quan về khai phá dữ liệu, khai phá luật kết hợp và thuật toán Apriori và cải tiến của nó. 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
12 p husc 27/09/2016 261 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Khai phá dữ liệu, Phân lớp dữ liệu, Phân cụm dữ liệu, Phá luật kết hợp, Thuật toán Apriori, Hệ thống thông tin, Ma trận phân biệt, Độ đo Erim, Tập dữ liệu, Thuật toán MaxMin.
Giới thiệu thiết kế CSDL thời gian cho việc quản lý hồ sơ công chức viên chức ngành Giáo dục và Đào tạo. Tổng quan về quy trình thực hiện việc quản lý hồ sơ theo mo hình TimeER. 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
12 p husc 27/09/2016 307 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu thời gian, Dữ liệu TimeER, Mô hình TimeER, Mô hình quan hệ, Quản lý hồ sơ, Thiết kế giao diện, Thống kê dữ liệu.
Nghiên cứu lập trình song song và ứng dụng trong việc tập hợp thông số vận hành lưới điện.
Tìm hiểu về máy tính song song và các phương pháp lập trình song song, nghiên cứu về lập trình xử lý song song theo luồng, cụ thể là lớp Parallel trong .NET Framework 4.5. 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
15 p husc 27/09/2016 360 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Máy tính song song, Xử lý song song, Đơn luồng dữ liệu, Đa luồng dữ liệu, Kết lưới hai chiều, Liên kết xáo trộn, Liên kết nhị phân, Truyền thông điệp, Lập trình song song.
Nghiên cứu về giao tác phân tán và ứng dụng trong chính phủ điện tử.
Giới thiệu tổng quan về các giao dịch trực tuyến và giao dịch phân tán, trong ứng dụng hệ phân tán bài toán bảo mật, bảo toàn và xác thực thông tin. 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
12 p husc 27/09/2016 302 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Giao tác phân tán, Dữ liệu phân tán, Giao dịch trực tuyến, Tiếp cận thông tin, Xác thực thông tin, Bảo mật thông tin, Cấu hình hệ thống.
Tìm hiểu ứng dụng các thuật toán trong lý thuyết đồ thị giải các bài toán học sinh giỏi tin học. Để xây dựng và hệ thống hóa một số ứng dụng các thuật toán liên quan đến đồ thị nhằm phục vụ cho việc bồi dưỡng học sinh giỏi bậc trung học phổ thông. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543....
10 p husc 27/09/2016 243 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Đồ thị vô hướng, Đồ thị đều, Đồ thị có hướng, Đồ thị bánh xe, Đồ thị Euler, Thuật toán Floyd, Thuật toán Prim, Bài toán đồ thị.
Tìm hiểu các phương pháp lập lịch lắp đầy khoảng trống trên mạng chuyển mạch chùm quang.
Giới thiệu tổng quan về mạng chuyển mạch chùm quang và các hoạt động bên trong như tập hợp chùm, báo hiệu, lập lịch, xử lý tranh chấp các giải thuật lập lịch lấp đầy khoảng trống bao gồm FFUC-VF, LAUC-VF, Min-EV, BFVF, Iizuka. 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
10 p husc 27/09/2016 273 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Mạng chuyển mạch, Kiến trúc mạng, Tập hợp chùm, Xử lý tranh chấp, Giải thuật lập lịch, Lập lịch FFUC, Lập lịch LAUC, Giải thuật Iizuka.
Tìm hiểu một số giải thuật cấp phát băng thông động dựa trên thăm dò trong mạng Gpon.
Trình bày tổng quan về mạng quang thụ động PON và mạng thụ động tốc độ Gigabit GPON về cấp phát băng thông động và một số giải thuật cấp phát băng thông động dựa trên thăm dò. 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
10 p husc 27/09/2016 256 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chuẩn mạng Pon, Mạng quang thụ động, Truyền dẫn GPON, Băng thông tĩnh, Giải thuật DBA.
Nghiên cứu Logic mờ và ứng dụng vào việc chuẩn đoán bệnh đái tháo đường.
Trình bày một số kiến thức cơ sở về lý thuyết tập mờ. logic mờ như biến ngôn ngữ, các phép tính trên tập mờ, mờ hóa, khử mờ, mệnh đề mờ, mô hình chuẩn đoán bệnh đái tháo đường. 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
10 p husc 27/09/2016 232 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập hợp mờ, Biến ngôn ngữ, Mệnh đề mờ, Luật hợp thành, Chuẩn đoán bệnh.
Nghiên cứu kỹ thuật lọc cộng tác và ứng dụng xây dựng hệ thống gợi ý bán sách trực tuyến.
Trình bày về xây dựng hệ thống bán sách trực tuyến dựa trên kỹ thuật làng giềng của phương pháp lọc cộng tác. 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
12 p husc 27/09/2016 357 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ thống dữ liệu, Nguồn tri thức, Kỹ thuật láng giềng, Lọc cộng tác.
Tìm hiểu chương trình Datalog và ứng dụng.
Giới thiệu về hệ thống lập trình logic DLV , đưa ra một số ứng dụng của chương trình Datalog dạng tuyển . 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
11 p husc 27/09/2016 441 6
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog dạng tuyển, Hệ thống DLV, Cấu trúc chương trình, Thực thi chương trình.
Tìm hiểu về lập luận suy diễn đối với chương trình logic phỏng đoán có chứa ràng buộc.
Trình bày về ngôn ngữ logic bậc nhất, cú pháp và ngữ nghĩa của chương trình logic. Chứng minh CIFF – là một phƣơng pháp để trả lời câu truy vấn đối với các chương trình logic phỏng đoán có chứa 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: 0543. 822440 - 0543. 832447
10 p husc 27/09/2016 240 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Logic thông thường, Logic phỏng đoán, Hệ thống CIFF, Thực thi truy vấn, Swi-Prolog.
Đăng nhập
Bộ sưu tập nổi bật
17 13600
Bộ sưu tập tài liệu Toán học hay
24 7811
Tuyển tập tác phẩm văn học hay
15 7856
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.