Tiến sĩ in
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
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