Tìm kiếm nâng cao

Current filters:
Current filters:

Discover

Search Results

Item hits:
  • Ebooks (Sách điện tử)

  • Learning Analytics Methods and Tutorials : A Practical Guide Using R

    • Authors : - (2024)

  • Cuốn sách phương pháp luận toàn diện truy cập mở này đưa ra câu trả lời rất cần thiết cho việc thiếu tài nguyên và hướng dẫn về phương pháp luận trong phân tích học tập, vốn là một vấn đề kể từ khi lĩnh vực này bắt đầu. Cuốn sách bao gồm tất cả các chủ đề định lượng quan trọng trong giáo dục nói chung cũng như những chủ đề mới nhất về phân tích học tập và khai thác dữ liệu&#x...
  • Ebooks (Sách điện tử)

  • Applications of Computational Intelligence

    • Authors : - (2023)

  • Trí tuệ tính toán (CI) là lý thuyết, thiết kế, ứng dụng và phát triển các mô hình tính toán có động cơ sinh học và ngôn ngữ. Theo truyền thống, ba trụ cột chính của CI là mạng lưới thần kinh, hệ thống mờ và tính toán tiến hóa. Tuy nhiên, theo thời gian, nhiều mô hình điện toán lấy cảm hứng từ thiên nhiên đã phát triển. Do đó, CI là một lĩnh vực đang phát triển và hiện tại, ngoài&#...
  • Ebooks (Sách điện tử)

  • Artificial Intelligence Applications and Innovations.

    • Authors : - (2024)

  • Các chương trong sách sẽ xây dựng một bộ sưu tập toàn diện về các xu hướng nghiên cứu và phát triển về “Đổi mới và ứng dụng trí tuệ nhân tạo” đương đại, sẽ đóng vai trò là tài liệu tham khảo thuận tiện cho các chuyên gia AI cũng như những người thực hành mới đến, giới thiệu cho họ về các xu hướng của lĩnh vực n
  • Ebooks (Sách điện tử)

  • Co-governed sovereignty network : legal basis and its prototype & applications with MIN architecture

    • Authors : Hui, Li; Xin, Yang (2021)

  • Cuốn sách truy cập mở này giới thiệu MIN, một kiến ​​trúc mạng mới nhằm thực hiện quyền bình đẳng về chủ quyền của tất cả các quốc gia trên không gian mạng. Kết hợp lý thuyết pháp lý và công nghệ mạng, phần đầu tiên thảo luận về sự phát triển lịch sử của chủ quyền và giải thích cơ sở pháp lý của chủ quyền trên không gian mạng. Sau đó, dựa trên blockchain hiệu suất cao, nó mô tả mộ...
  • Ebooks (Sách điện tử)

  • Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I

    • Authors : - (2022)

  • Bộ hai tập truy cập mở LNCS 13371 và 13372 này cấu thành thủ từ hội nghị quốc tế lần thứ 34 về Xác minh có sự trợ giúp của máy tính, CAV 2022, được tổ chức tại Haifa, Israel, vào tháng 8 năm 2022.Có 40 bài báo đầy đủ được trình bày cùng với 9 bài viết công cụ và 2 nghiên cứu điển hình đã được xem xét và lựa chọn cẩn thận từ 209 bài nộp. Các bài viết được tổ chức the...
  • Ebooks (Sách điện tử)

  • Behavioural Types : From Theory to Tools

    • Authors : - (2017)

  • Các hệ thống loại hành vi trong ngôn ngữ lập trình hỗ trợ đặc tả và xác minh các thuộc tính của chương trình ngoài việc sử dụng hệ thống loại truyền thống để mô tả việc xử lý dữ liệu. Một ví dụ chính về đặc tính như vậy là tính chính xác của giao tiếp trong các hệ thống đồng thời và phân tán, được thúc đẩy bởi tầm quan trọng của giao tiếp có cấu trúc trong phần mềm hiện đại.&...
  • Ebooks (Sách điện tử)

  • Process mining workshops : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23-28, 2022, Revised selected papers

    • Authors : - (2023)

  • Cuốn sách truy cập mở này cấu thành từ các bài báo được chọn lọc và sửa đổi từ Hội thảo quốc tế được tổ chức tại Hội nghị quốc tế lần thứ 4 về khai thác quy trình, ICPM 2022, diễn ra tại Bozen-Bolzano, Ý, trong thời gian từ ngày 23 đến ngày 28 tháng 10 năm 2022. Hội nghị tập trung vào lĩnh vực nghiên cứu và thực hành khai thác quy trình, bao gồm lý thuyết, thách thức thuật toán&#x...