» Từ khóa: xac dinh

Nối tiếp nội dung phần 1 cuốn sách "Về vấn đề xác định thành phần các dân tộc thiểu số ở miền Bắc Việt Nam", phần 2 giới thiệu một số công trình nghiên cứ sâu về các dân tộc và văn hóa dân tộc thiểu số ở miền Bắc Việt Nam. Mời các bạn tham khảo.

 296 p husc 27/03/2017 268 3 Download

Từ khóa: Xác định thành phần dân tộc thiểu số, Dân tộc thiểu số, Thành phần dân tộc thiểu số, Dân tộc thiểu số ở miền Bắc Việt Nam, Lịch sử người Lai Châu, Người Thổ ở Nghệ An

Bài giảng "Tin học đại cương - Bài 5: Cấu trúc vòng lặp (Do, while)" cung cấp cho người học các kiến thức: Giới thiệu về cấu trúc vòng lặp, vòng lặp xác định, vòng lặp không xác định. Mời các bạn cùng tham khảo nội dung chi tiết.

 16 p husc 24/02/2017 260 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Cấu trúc vòng lặp, Vòng lặp xác định, Vòng lặp không xác định, Đoạn mã lệnh

Trình bày các khái niệm và tính chất cơ bản về tính độc lập của các biến ngẫu nhiên, luật số lớn và các định lý giới hạ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

 6 p husc 11/01/2017 282 1 Download

Từ khóa: Toán học, Thống kê toán học, Lý thuyết xác xuất, Biến ngẫu nhiên, Luật số lớn, Định lý giới hạn, Hàm phân phối.

Trình bày một mở rộng của A-Prolog, gọi là DA-Prolog, trong đó phần đầu của các mệnh đề trong chương trình A-Prolog có chứa phép tuyển logic. 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 30/12/2016 248 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Phủ định mặc định, Phủ định mạnh, Chương trình A-PROLOG, Phần mềm SMODELS, Chạy ứng dụng.

Phần 1 cuốn sách trình bày các nội dung về "Xác suất thống kê" bao gồm: Khái niệm về xác suất và đại lượng ngẫu nhiên, hàm của đại lượng ngẫu nhiên và bổ sung một số phân phối, đại lượng ngẫu nhiên nhiều chiều và các định lý giới hạn,... Mời các bạn cùng tham khảo,

 116 p husc 22/12/2016 295 4 Download

Từ khóa: Xác suất thống kê, Quy hoạch thực nghiệm, Đại lượng ngẫu nhiên, Đại lượng ngẫu nhiên nhiều chiều, Định lý giới hạn, Kiểm định giả thiết thống kê

Trong lĩnh vực chính trị, truyền thông đại chúng có vai trò rất to lớn: cung cấp thông tin, định hướng tư tưởng chính trị; xác lập chương trình nghị sự, là diễn đàn giao tiếp chính trị;... Bài viết này đề cập đến vai trò của truyền thông đại chúng trong hoạt động của cơ quan lập pháp các nước phương Tây, đặc biệt là đối với hoạt động...

 11 p husc 22/12/2016 286 1 Download

Từ khóa: Truyền thông đại chúng, Cơ quan lập pháp, Nguồn cung cấp thông, Xác lập chương trình nghị sự, Diễn đàn giao tiếp chính trị, Định hướng dư luận

Cuốn sách Các phương pháp phân tích hạt nhân do tác giả Nguyễn Văn Đỗ biên soạn gồm có 5 chương và được chia thành 2 phần. Phần 1 cung cấp các kiến thức về phương pháp phân tích kích hoạt hạt nhân như: Cơ sở vật lý và kỹ thuật của phương pháp phân tích kích hoạt, các phương pháp xác định hàm lượng, các bước trong quy trình phân tích kích...

 55 p husc 30/11/2016 276 8 Download

Từ khóa: Phân tích hạt nhân, Phương pháp phân tích hạt nhân, Phương pháp phân tích kích hoạt, Phương pháp xác định hàm lượng, Quy trình phân tích kích hoạt, Phân tích kích hoạt gamma tức thời

Nội dung của giáo trình "Độc học sinh thái" được thể hiện trong 5 chương, phần 2 của giáo trình trình bày các nội dung của chương 4 và chương 5 bao gồm: Ảnh hưởng chất độc đến cơ thể sinh vật, phương pháp xác định độc tính sinh thái. Mời các bạn cùng tham khảo nội dung chi tiết.

 76 p husc 30/09/2016 304 5 Download

Từ khóa: Độc học sinh thái, Ảnh hưởng của độc chất, Xác định độc tính sinh thái, Đánh giá sức khỏe hệ sinh thái, Thanh toán chất thải độc hại, Xác định chất lượng môi trường

trình bày cú pháp và ngữ nghĩa cùng với các tính chất về ngữ nghĩa của ngôn ngữ DLPA ứng dụng chương trình DLPA để biểu diễn tri thức thông qua một số bài toán thực tế. 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

 9 p husc 27/09/2016 403 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ logic, Logic bậc nhất, Logic xác định, Tập trả lời, Hệ thống DLV, Ngôn ngữ DLPA.

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 323 2 Download

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.

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 243 2 Download

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.

Trình bày chi tiết một số giải thuật lập lịch truyền thống, như LAUC và LAUC-VF, và những hạn chế của chúng. Sau đólà một số tiếp cận cải tiến nhằm nâng cao hiệu năng lập lịch, gồm nhóm giải thuật BORA và giải thuật HVF. 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

 13 p husc 26/09/2016 261 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Kỹ thuật ghép canh, Tập hợp chùm, Định tuyến lệch hướng, Luồng dữ liệu, Xác xuất mất chùm, Chuyển mạch chùm quang, Giải thuật lập lịch.