Ph.D. з інформатики та математики
University of Camerino the international School of Advanced Studies
Ключова інформація
Розташування кампусу
Camerino, Італія
Лінгвістика
Англійська, Італійський
Формат навчання
На кампусі
Тривалість
3 years
Форма навчання
Денне навчання
Вартість навчання
інформація
Кінець терміну надання заяв
інформація
Найраніша дата початку
інформація
Введення
Область: інформатика та математика
- Штучний інтелект та інтелектуальні системи
- Обчислювальна та математична
- Кібербезпека
- Наука про дані та машинного навчання
- Вбудовані системи та IoT
- Управління процесом
- Інженерія програмних та інформаційних систем
Штучний інтелект та інтелектуальні системи
- Адаптивне управління та оптимізація
- Політика адаптації
- Колективні та адаптивні системи
- Представлення знань і автономні міркування
Обчислювальна та математична
- Алгебраїчні та логічні аспекти обчислень
- Обчислювальні моделі та моделі обчислень
- Формальні мови
- Алгебраїчні мови для певних доменів
- Теорія моделей
- Методологічні аспекти наукової освіти
Кібербезпека
- Контроль доступу та правила використання ресурсів
- Технології розподіленої книги
- Проектування стійких систем
- Мережева безпека
- Системи виявлення вторгнень
Наука про дані та машинного навчання
- Моделі складних систем, керовані даними
- Методи аналізу даних на основі топології
- Верифікація системи, керованої даними
- Оптимізація та економетричні методики
- Дискримінаційне та генеративне моделювання
Вбудовані системи та IoT
- Проміжні програми та послуги
- Зв'язок і мережа для бездротових і вбудованих систем
- Особливості, які є аналогічними, та перевірені системи вбудованих розподільників
- Бездротові сенсорні мережі
- Енергоефективність та збирання
Управління процесом
- Постійне вдосконалення інформаційних систем, які знають процес
- Спільне та розподілене впровадження бізнес-процесів, включаючи Blockchain
- Моделі для інтенсивних технологічних систем
- Технології видобутку технологій
- Моделювання та верифікація моделей співпраці даних
Інженерія програмних та інформаційних систем
- Розробка архітектури підприємства
- Застосовані формальні методи та засоби перевірки
- Тестування та верифікація в розподіленому режимі
- Кількісний аналіз та інструменти
- Моніторинг і перевірка часу виконання