Ph.D. dalam Sains Komputer dan Matematik
University of Camerino the international School of Advanced Studies
Maklumat Utama
Lokasi kampus
Camerino, Itali
Bahasa
Inggeris, Itali
Format kajian
Di kampus
Tempoh
3 tahun
laju
Sepenuh masa
Yuran tuisyen
Minta maklumat
Tarikh akhir permohonan
Minta maklumat
Tarikh mula paling awal
Minta maklumat
pengenalan
Kawasan: Sains Komputer dan Matematik
- Kecerdasan Buatan dan Sistem Pintar
- Pengkomputeran dan Matematik
- Keselamatan siber
- Sains Data dan Pembelajaran Mesin
- Sistem Embedded dan IoT
- Pengurusan proses
- Kejuruteraan Perisian dan Sistem Maklumat
Kecerdasan Buatan dan Sistem Pintar
- Kawalan dan pengoptimuman penyesuaian
- Dasar penyesuaian
- Sistem kolektif dan penyesuaian
- Perwakilan pengetahuan dan pemikiran autonomi
Pengkomputeran dan Matematik
- Aspek aljabar dan logik pengkomputeran)
- Model Komputasi dan Model Pengiraan
- Bahasa formal
- Bahasa algebra untuk domain tertentu
- Teori model
- Aspek metodologi pendidikan sains
Keselamatan siber
- Dasar Kawalan Akses dan Sumber Penggunaan
- Teknologi Ledger yang diedarkan
- Reka Bentuk Sistem Berdaya Diri
- Keselamatan rangkaian
- Sistem Pengesan Intrusion
Sains Data dan Pembelajaran Mesin
- Model sistem yang didorong oleh data yang kompleks
- Kaedah analisis data berasaskan topologi
- Pengesahan sistem yang didorong oleh data
- Teknik pengoptimuman dan ekonomi
- Pemodelan diskriminatif dan generatif
Sistem Embedded dan IoT
- Middleware dan perkhidmatan
- Komunikasi dan rangkaian untuk sistem tanpa wayar dan tertanam
- Khususnya, projektor dan analisis, dan pengedaran sistem yang tersemat
- Rangkaian Sensor Tanpa Wayar
- Kecekapan tenaga dan penuaian
Pengurusan proses
- Penambahbaikan Berterusan Sistem Maklumat Peka Bentuk
- Enakmen Proses Perniagaan yang Dikongsi dan Disebarkan termasuk Blockchain
- Model untuk Proses Sistem Intensif
- Memproses Teknik Perlombongan
- Simulasi dan Pengesahan Model Kerjasama Data-Sedar
Kejuruteraan Perisian dan Sistem Maklumat
- Kejuruteraan Senibina Perusahaan
- Kaedah dan Kaedah Pengesahan Formal
- Pengujian dan Pengesahan dalam tetapan yang diedarkan
- Analisis Kuantitatif dan Alat
- Pemantauan dan Pengesahan Runtime