» Từ khóa: kiem

Hai cách kiểm tra kiểu là kiểm tra tĩnh được thực hiện trong thời gian biên dịch chương trình nguồn và kiểm tra động được thực hiện trong thời gian thực thi chương trình đích. Trong chương này ta tập trung vào phần xử lý ngữ nghĩa bằng cách kiểm tra tĩnh mà cụ thể là kiểm tra kiểu. Phần đầu của chương trình bày các khái niệm về hệ thống kiểu,...

 7 p husc 25/02/2019 213 1 Download

Từ khóa: Ngôn ngữ lập trình, Nguyên lý ngôn ngữ lập trình, Bài giảng Nguyên lý ngôn ngữ lập trình, Kiểm tra kiểu, Biểu thức kiểu, Dịch trực tiếp cú pháp

Bài viết này đề nghị trình bày các nghiên cứu lại về gabbroid kiềm cao của Son Dau đồ sộ và phần phía tây của Núi Chui đồ sộ. Đặc điểm petrogra-phic và địa hóa học của chúng tương tự như monsogabbro và monsodiorite, trong khi tuổi có niên đại (SHRIMP từ zircon trong monzogabbro, 250,4 ± 2 Ma, cùng với Núi Chúa lớn 251 ± 3 Ma).

 10 p husc 30/01/2019 219 1 Download

Từ khóa: Tạp chí khoa học, Vấn đề thạch luận, Đá Gabroit cao kiềm, Khối Sơn Đầu, Gabroit cao kiềm, Monsogabbro và monsodiorite

Bài giảng "Xác suất thống kê ứng dụng trong kinh tế xã hội - Chương 8: Kiểm định giả thuyết về một tham số tổng thể" cung cấp cho người học các kiến thức: Một số khái niệm, kiểm định giả thuyết một tổng thể, kiểm định giả thuyết hai tổng thể. Mời các bạn cùng tham khảo.

 97 p husc 30/11/2018 215 1 Download

Từ khóa: Xác suất thống kê và ứng dụng, Xác suất thống kê, Bài giảng Xác suất thống kê, Thống kê trong kinh tế xã hội, Kiểm định giả thuyết, Tham số tổng thể

Bài giảng "Xác suất thống kê ứng dụng trong kinh tế xã hội - Chương 10: Kiểm định phi tham số" cung cấp cho người học các kiến thức: Giới thiệu, kiểm định dấu về trung vị, kiểm định tổng hạng Wilcoxon cho trung vị hai mẫu độc lập,... Mời các bạn cùng tham khảo.

 70 p husc 30/11/2018 278 1 Download

Từ khóa: Xác suất thống kê và ứng dụng, Xác suất thống kê, Bài giảng Xác suất thống kê, Thống kê trong kinh tế xã hội, Kiểm định phi tham số, Kiểm định dấu

Bài giảng cung cấp cho người học các kiến thức: Trí tuệ nhân tạo. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu.

 240 p husc 30/10/2018 296 1 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Suy luận logic, Trò chơi đối kháng, Giải quyết vấn đề, Logic mệnh đề, Các nguyên lý tìm kiếm, Hệ cơ sở tri thức

Nội dung chương 2 trình bày đến người học những vấn đề liên quan đến "ghi tiêu đề chương", cụ thể như: Các chiến lược điều khiển, các đặc trưng của bài toán, vấn đề trong thiết kế chương trình tìm kiếm,...

 43 p husc 31/03/2018 256 2 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Chiến lược tìm kiếm mù, Chiến lược điều khiển, Thiết kế chương trình tìm kiếm

Chương 3 giúp người học hiểu về "Các chiến lược tìm kiếm Heuristics". Nội dung trình bày cụ thể gồm có: Khái niệm, tìm kiếm tốt nhất trước, phương pháp leo đồi, cài đặt hàm đánh giá, thu giảm ràng buộc, giải thuật cắt tỉa α-β,...

 43 p husc 31/03/2018 253 2 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Các chiến lược tìm kiếm Heuristics, Thu giảm ràng buộc, Giải thuật cắt tỉa α-β, Phương pháp leo đồi

Bài giảng "Xác suất thống kê và ứng dụng - Chương 8: Kiểm định giả thuyết" cung cấp cho người học các kiến thức: Giới thiệu chung về kiểm định giả thiết, kiểm định giả thuyết một tổng thể, kiểm định giả thuyết hai tổng thể. Mời các bạn cùng tham khảo nội dung chi tiết.

 216 p husc 28/02/2018 232 2 Download

Từ khóa: Xác suất thống kê, Bài giảng Xác suất thống kê, Xác suất thống kê và ứng dụng, Kiểm định giả thuyết, Kiểm định giả thuyết một tổng thể, Kiểm định giả thuyết hai tổng thể

Bài giảng "Xác suất thống kê và ứng dụng - Chương 10: Kiểm định phi tham số" cung cấp cho người học các kiến thức: Chọn số đo tập trung nào, kiểm định tham số và kiểm định phi tham số, so sánh trung vị với một số bằng phương pháp kiểm định hạng theo dấu Wilcoxon,... Mời các bạn cùng tham khảo nội dung chi tiết.

 82 p husc 28/02/2018 274 2 Download

Từ khóa: Xác suất thống kê, Bài giảng Xác suất thống kê, Xác suất thống kê và ứng dụng, Kiểm định phi tham số, Kiểm định tham số, So sánh trung vị

Bài giảng "Xác suất thống kê và ứng dụng - Chương 11: Kiểm định chi - Bình phương" cung cấp cho người học các kiến thức: Kiểm chứng tính độc lập, kiểm chức mức phù hợp của một phân phối, kiểm chứng phân phối chuẩn. Mời các bạn cùng tham khảo nội dung chi tiết.

 49 p husc 28/02/2018 286 2 Download

Từ khóa: Xác suất thống kê, Bài giảng Xác suất thống kê, Xác suất thống kê và ứng dụng, Kiểm định chi, Kiểm chứng tính độc lập, Kiểm chức mức phù hợp, Kiểm chứng phân phối chuẩn

Dự án Movimar do công ty CLS (Collecte Localisation Satellites), CH Pháp tài trợ ngoài mục đích giám sát hoạt động nghề cá, còn cung cấp các kết quả của mô hình Mecator dự báo trường 3D các yếu tố hải dương khu vực Biển Đông, trong đó có trường nhiệt-muối, là những dữ liệu quan trọng trong tính toán dự báo các cấu trúc nhiệt biển và khối nước phục...

 6 p husc 28/02/2018 306 1 Download

Từ khóa: Kiểm chứng dữ liệu, Nhiệt-muối, Vùng biển miền Trung, Dự báo nhiệt muối, Dự báo ngư trường, Giám sát hoạt động nghề cá

Bài giảng Đặc tả hình thức: Chương 1 cung cấp cho người học các kiến thức: Phần mềm, thiệt hại về tiền của do lỗi phần mềm, lỗi phần mềm gây thiệt hại về tính mạng, lỗi hệ thống phần mềm, phương pháp hình thức,...

 40 p husc 31/01/2018 295 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Hệ thống phần mềm, Lỗi phần mềm, Ngôn ngữ và hệ thống, Các ngôn ngữ đặc tả, Kiểm tra mô hình