Mathematical Logic and Its Applications 2020

Số “Logic toán học và ứng dụng của nó 2020” gồm các bài viết liên quan đến 3 hướng sau: I. Lý thuyết tập hợp mô tả. Giải pháp cho các vấn đề tồn tại lâu dài, trong đó có vấn đề của A. Tarski và H. Friedman, được trình bày. II. Các thuật toán tối ưu hóa tổ hợp chính xác, trong đó độ phức tạp liên quan đến dữ liệu nguồn được đặc trưng bởi đa thức bậc thấp hoặc thậm chí bậc một. III. Ứng dụng logic toán học và lý thuyết thuật toán. Bài viết đầu tiên đề cập đến các phỏng đoán của Jacobian và M. Kontsevich cũng như tính không thể giải quyết được của thuật toán; cho những mục đích này, phân tích phi tiêu chuẩn được sử dụng. Bài viết thứ hai cung cấp một mô tả định lượng về sự cân bằng và nguồn lực thích ứng của con người

Xem thêm

The Economics of Big Science:Essays by Leading Scientists and Policymakers

Cuốn sách trích dẫn các cách khác nhau để đánh giá tác động kinh tế xã hội của Cơ sở hạ tầng nghiên cứu và vai trò của chúng là trung tâm hợp tác, sáng tạo và đổi mới toàn cầu. Nó nêu bật những lợi ích khác nhau bắt nguồn từ nghiên cứu cơ bản ở cấp địa phương, quốc gia và toàn cầu, đồng thời mời chúng ta suy nghĩ lại về khái niệm “lợi ích” trong thế kỷ 21. Đầu tư công là cần thiết để duy trì tốc độ tiến bộ khoa học và công nghệ trong thế kỷ 21. những thập kỷ tiếp theo. Thay vì ủng hộ một sự chuyển đổi căn bản và mở rộng mạnh mẽ nguồn tài trợ, các tác giả đề xuất các cách để duy trì nền tảng khoa học và nghiên cứu vững chắc nhằm đảm bảo rằng chúng ta tiếp tục được hưởng lợi từ kết quả đầu ra.

Xem thêm

Trusted Artificial Intelligence in Manufacturing; Trusted Artificial Intelligence in Manufacturing: A Review of the Emerging Wave of Ethical and Human Centric AI Technologies for Smart Production

Cuốn sách này được đồng sáng tác bởi các thành viên của liên đoàn STAR và cung cấp bản đánh giá về các công nghệ, kỹ thuật và hệ thống cho AI đáng tin cậy, có đạo đức và an toàn trong sản xuất. Các chương khác nhau của cuốn sách bao gồm các hệ thống và công nghệ cho độ tin cậy của dữ liệu công nghiệp, hệ thống trí tuệ nhân tạo có trách nhiệm và minh bạch, hệ thống sản xuất lấy con người làm trung tâm như bản sao kỹ thuật số lấy con người làm trung tâm, phòng thủ mạng trong các hệ thống AI, hệ thống thực tế mô phỏng, hệ thống cộng tác giữa người và rô-bốt, cũng như rô-bốt di động tự động cho môi trường sản xuất. Nhiều công nghệ AI tiên tiến được các hệ thống này sử dụng bao gồm mạng nơ-ron sâu, hệ thống học tăng cường và hệ thống trí tuệ nhân tạo có thể giải thích được. Cuốn sách được cung cấp dưới dạng ấn phẩm truy cập mở, có thể cung cấp rộng rãi và miễn phí cho cộng đồng AI và sản xuất thông minh.

Xem thêm

Applied Discrete Structures

Cấu trúc rời rạc ứng dụng, là một văn bản đại học kéo dài hai học kỳ về toán học rời rạc, tập trung vào các đặc tính cấu trúc của các đối tượng toán học. Chúng bao gồm ma trận, hàm số, đồ thị, cây, mạng và cấu trúc đại số. Các cấu trúc đại số được thảo luận là các đơn thức, nhóm, vành, trường và không gian vectơ. Cấu trúc rời rạc ứng dụng được thiết kế để sử dụng trong khóa học đại học về toán rời rạc kéo dài tối đa hai học kỳ. Thiết kế ban đầu của nó là để các sinh viên chuyên ngành khoa học máy tính được giới thiệu các chủ đề toán học hữu ích trong khoa học máy tính. Nó cũng có thể phục vụ mục đích tương tự cho các chuyên ngành toán học, mang lại cơ hội tiếp xúc đầu tiên với nhiều chủ đề thiết yếu.

Xem thêm

Foundation Models for Natural Language Processing

Cuốn sách truy cập mở này cung cấp nhiều ví dụ thực hành minh họa cách điều chỉnh siêu tham số có thể được áp dụng trong thực tế và cung cấp những hiểu biết sâu sắc về cơ chế hoạt động của các phương pháp học máy (ML) và học sâu (DL). Mục đích của cuốn sách là trang bị cho người đọc khả năng đạt được kết quả tốt hơn với thời gian, chi phí, công sức và nguồn lực ít hơn đáng kể khi sử dụng các phương pháp được mô tả ở đây. Các nghiên cứu điển hình được trình bày trong cuốn sách này có thể chạy trên máy tính để bàn hoặc máy tính xách tay thông thường. Không yêu cầu cơ sở tính toán hiệu năng cao. Ý tưởng cho cuốn sách bắt nguồn từ một nghiên cứu được thực hiện bởi Bartz & Bartz GmbH cho Văn phòng Thống kê Liên bang Đức (Destatis). Dựa trên nghiên cứu đó, cuốn sách hướng tới những người thực hành trong ngành cũng như các nhà nghiên cứu, giáo viên và sinh viên trong giới học thuật.

Xem thêm

Human 4.0: From Biology to Cybernetic

Cuốn sách này có ý định cung cấp cho người đọc cái nhìn sâu sắc về mối quan hệ mới với công nghệ do Công nghiệp 4.0 mang lại và cách nó có thể làm cho tương tác giữa con người và máy móc hiệu quả hơn.

Xem thêm

Wearable Devices the Big Wave of Innovation

Cuốn sách này nghiên cứu sự phát triển của các công nghệ đeo được trên nhiều ứng dụng từ đánh giá giáo dục đến sức khỏe, cảm biến y sinh và thu năng lượng.

Xem thêm

The Big Data Agenda

Cuốn sách này nhấn mạnh rằng khả năng thu thập, phân tích và sử dụng lượng lớn dữ liệu kỹ thuật số (người dùng) đặt ra các vấn đề đạo đức quan trọng. Annika Richterich cung cấp một cái nhìn tổng quan đương đại có hệ thống về lĩnh vực nghiên cứu dữ liệu quan trọng phản ánh thực tiễn thu thập và phân tích dữ liệu kỹ thuật số.

Xem thêm

Analysis for Computer Scientists

Văn bản mô tả lý thuyết toán học cùng với các khái niệm và phương pháp phân tích số cơ bản, được làm phong phú bằng các thí nghiệm máy tính sử dụng các ứng dụng MATLAB, Python, Maple và Java.

Xem thêm

Deep Learning: Recent Findings and Research

Cuốn sách này cung cấp tổng quan toàn diện về học sâu, xem xét các nguyên tắc của nó và tầm quan trọng ngày càng tăng trong mọi khía cạnh của cuộc sống.

Xem thêm