Bằng tiến sĩ. Khoa học Máy tính và Toán học
University of Camerino the international School of Advanced Studies
Thông tin mấu chốt
Địa điểm cơ sở
Camerino, Ý
Ngôn ngữ
Tiếng Anh, Người Ý
Hình thức học tập
Trong khuôn viên trường
Khoảng thời gian
3 năm
Nhịp độ
Toàn thời gian
Học phí
Yêu cầu thông tin
Hạn nộp hồ sơ
Yêu cầu thông tin
ngày bắt đầu sớm nhất
Yêu cầu thông tin
Giới thiệu
Khu vực: Khoa học máy tính và toán học
- Trí tuệ nhân tạo và hệ thống thông minh
- Tin học và toán
- An ninh mạng
- Khoa học Dữ liệu và Học máy
- Hệ thống nhúng và IoT
- Quản lý quy trình
- Kỹ thuật phần mềm và hệ thống thông tin
Trí tuệ nhân tạo và hệ thống thông minh
- Kiểm soát và tối ưu hóa thích ứng
- Chính sách thích ứng
- Hệ thống tập thể và thích ứng
- Trình bày kiến thức và lý luận tự trị
Tin học và toán
- Các khía cạnh đại số và logic của máy tính)
- Mô hình tính toán và mô hình tính toán
- Ngôn ngữ chính thức
- Ngôn ngữ đại số cho các lĩnh vực cụ thể
- Lý thuyết mô hình
- Các khía cạnh phương pháp luận của giáo dục khoa học
An ninh mạng
- Kiểm soát truy cập và chính sách sử dụng tài nguyên
- Công nghệ sổ cái phân tán
- Thiết kế hệ thống đàn hồi
- Bảo mật mạng
- Hệ thống phát hiện xâm nhập
Khoa học Dữ liệu và Học máy
- Mô hình điều khiển dữ liệu của các hệ thống phức tạp
- Phương pháp phân tích dữ liệu dựa trên cấu trúc liên kết
- Xác minh hệ thống dựa trên dữ liệu
- Tối ưu hóa và kỹ thuật kinh tế lượng
- Mô hình phân biệt đối xử và khái quát
Hệ thống nhúng và IoT
- Middleware và dịch vụ
- Truyền thông và kết nối mạng cho các hệ thống không dây và nhúng
- Cụ thể, progettazione e analisi, e verifica di sistemi nhúng distribuiti
- Mạng cảm biến không dây
- Hiệu quả năng lượng và thu hoạch
Quản lý quy trình
- Cải tiến liên tục các hệ thống thông tin nhận thức về quy trình
- Hợp tác và thực thi quy trình kinh doanh phân tán bao gồm cả Blockchain
- Các mô hình cho các hệ thống chuyên sâu quy trình
- Quy trình kỹ thuật khai thác
- Mô phỏng và xác minh các mô hình hợp tác nhận thức dữ liệu
Kỹ thuật phần mềm và hệ thống thông tin
- Kỹ thuật kiến trúc doanh nghiệp
- Áp dụng các phương pháp chính thức và các công cụ xác minh
- Kiểm tra và Xác minh trong một cài đặt phân tán
- Phân tích định lượng và công cụ
- Giám sát và xác minh thời gian chạy