
Doktora in
Doktora Bilgisayar Bilimleri ve Matematik University of Camerino the international School of Advanced Studies

Tanıtım

Alan: Bilgisayar Bilimleri ve Matematik
- Yapay Zeka ve Akıllı Sistemler
- Bilgisayar ve Matematik
- Siber güvenlik
- Veri Bilimi ve Makine Öğrenimi
- Gömülü Sistemler ve IoT
- Süreç yönetimi
- Yazılım ve Bilgi Sistemi Mühendisliği
Yapay Zeka ve Akıllı Sistemler
- Uyarlanabilir kontrol ve optimizasyon
- Uyum politikaları
- Kolektif ve uyarlanabilir sistemler
- Bilgi gösterimi ve otonom akıl yürütme
Bilgisayar ve Matematik
- Hesaplamanın cebirsel ve mantıksal yönleri)
- Hesaplamalı Modeller ve Hesaplamalı Modeller
- Biçimsel diller
- Belirli alanlar için cebirsel diller
- Model teorisi
- Fen eğitiminin metodolojik yönleri

Siber güvenlik
- Erişim Kontrolü ve Kaynak Kullanım Politikaları
- Dağıtılmış Defter Teknolojileri
- Esnek Sistemlerin Tasarımı
- Ağ güvenliği
- Saldırı Tespit Sistemleri
Veri Bilimi ve Makine Öğrenimi
- Veriye dayalı karmaşık sistem modelleri
- Topoloji tabanlı veri analizi yöntemleri
- Veri odaklı sistem doğrulama
- Optimizasyon ve ekonometrik teknikler
- Ayrımcı ve üretken modelleme
Gömülü Sistemler ve IoT
- Middleware ve hizmetler
- Kablosuz ve gömülü sistemler için iletişim ve ağ iletişimi
- Specifica, progettazione e analisi, e verifica di sistemi gömülü dağıtım sistemi
- Kablosuz Sensör Ağları
- Enerji verimliliği ve hasat
Süreç yönetimi
- Süreci Bilinçli Bilgi Sistemlerinin sürekli iyileştirilmesi
- Blockchain dahil olmak üzere İşbirlikçi ve Dağıtılmış İş Süreçleri Yasası
- Proses Yoğun Sistemler İçin Modeller
- Süreç Madenciliği Teknikleri
- Bilinçli İşbirliği Modellerinin Simülasyonu ve Doğrulanması
Yazılım ve Bilgi Sistemi Mühendisliği
- Kurumsal Mimari Mühendisliği
- Uygulamalı Resmi Yöntemler ve Doğrulama Araçları
- Dağıtılmış bir ortamda Test ve Doğrulama
- Nicel Analiz ve Araçlar
- Çalışma Zamanı İzleme ve Doğrulama