דוקטורט. במדעי המחשב והמתמטיקה
University of Camerino the international School of Advanced Studies
מידע מפתח
מיקום הקמפוס
Camerino, איטליה
שפות
אנגלית, אִיטַלְקִית
פורמט לימוד
בקמפוס
מֶשֶׁך
3 שנים
לִפְסוֹעַ
זמן מלא
שכר לימוד
בקש מידע
מועד אחרון להגשת בקשה
בקש מידע
תאריך ההתחלה המוקדם ביותר
בקש מידע
מבוא
שטח: מדעי המחשב ומתמטיקה
- בינה מלאכותית ומערכות אינטליגנטיות
- מחשוב ומתמטיקה
- אבטחת סייבר
- מדעי הנתונים והלמידה הממוחשבת
- מערכות Embedded ו IoT
- ניהול תהליך
- הנדסת מערכות מידע ומדע
בינה מלאכותית ומערכות אינטליגנטיות
- שליטה ואופטימיזציה מותאמים
- מדיניות הסתגלות
- מערכות קולקטיביות ואדפטיביות
- ייצוג ידע וחשיבה אוטונומית
מחשוב ומתמטיקה
- היבטים אלגבריים והגיוניים של המחשוב)
- מודלים חישוביים ודגמים של חישוב
- שפות פורמליות
- שפות אלגבריות עבור תחומים ספציפיים
- תורת המודל
- היבטים מתודולוגיים של החינוך המדעי
אבטחת סייבר
- מדיניות בקרת גישה ומשאבים
- הפצת טכנולוגיות Ledger
- עיצוב מערכות גמישות
- אבטחת רשת
- מערכות איתור פריצה
מדעי הנתונים והלמידה הממוחשבת
- מודלים מונעי נתונים של מערכות מורכבות
- שיטות ניתוח נתונים מבוססות טופולוגיה
- אימות מערכת מונחה נתונים
- מיטוב וטכניקות אקונומטריות
- מודלים מפלים ויוצרים
מערכות Embedded ו IoT
- תווכה ושירותים
- תקשורת ורשתות למערכות אלחוטיות ומשובצות
- Specifica, progettazione e analisi, e verifica di sistemi embedded distribuiti
- אלחוטי רשתות חיישן
- יעילות אנרגיה וקציר
ניהול תהליך
- שיפור מתמשך של מערכות מידע-מודע
- שיתוף פעולה עסקי מבוזר חקיקה תהליך כולל Blockchain
- מודלים למערכות אינטנסיביות
- תהליך כריית טכניקות
- סימולציה ואימות של מודלים לשיתוף פעולה מודעת נתונים
הנדסת מערכות מידע ומדע
- הנדסה של אדריכלות ארגונית
- שיטות פורמליות יישומיות וכלי אימות
- בדיקה ואימות בהגדרה מבוזרת
- ניתוח כמותי וכלים
- Runtime ניטור ואימות