Загалом робіт:2062
251. Альменова Акмарал Байжановна. Модели и сервисы многофункционального лингвистического интернет-ресурса на базе структурно-параметрической модели тюркской морфемы Рік: 2018 252. Аничкин Антон Сергеевич. Объектно-ориентированная среда для разработки приложений теории расписаний Рік: 2018 253. Афанасьева Ирина Викторовна. Метод проектирования и реализации параллельных реагирующих систем Рік: 2018 254. Байбулатов Артур Арсенович. Исследование и разработка методов и средств сопровождения информационной базы верхнего уровня АСУТП АЭС Рік: 2018 255. Батузов Кирилл Андреевич. Исследование и разработка методов оптимизации программ для систем динамической двоичной трансляции Рік: 2018 256. Белеванцев Андрей Андреевич. Многоуровневый статический анализ исходного кода для обеспечения качества программ Рік: 2018 257. Березун Даниил Андреевич. Трассирующая нормализация Рік: 2018 258. Блохин Юрий Михайлович. Разработка интеллектуальной программной среды для построения интегрированных экспертных систем Рік: 2018 259. Бойко Павел Валентинович. Макс DSM: Система распределённой общей памяти для мультиагентных систем в IoT Рік: 2018 260. Быстрицкий Николай Дмитриевич. Методика и инструментальное средство оценки корректности функционирования информационных ресурсов Рік: 2018 261. Гайнанов Дамир Насибуллович. Математическое и программное обеспечение вычислительных комплексов для решения задач анализа несовместных систем с массивно параллельной обработкой данных Рік: 2018 262. Гречаник Сергей Александрович. Доказательство свойств функциональных программ методом насыщения равенствами Рік: 2018 263. Дерюгина Ольга Александровна. Программно-математические средства рефакторинга UML-диаграмм классов с учётом заданных критериев качества Рік: 2018 264. Дородных Никита Олегович. Метод и программное средство разработки баз знаний на основе трансформации концептуальных моделей Рік: 2018 265. Заславский Марк Маркович. Модель и метод автоматизированной обработки геоконтекстных данных в рамках концепции Интернета Вещей Рік: 2018 266. Зо Мин Тайк. Методы и программные средства ускорения поиска решения в базах знаний нечетких экспертных систем Рік: 2018 267. Иваничкина Людмила Владимировна. Математические модели надежности и методы ее повышения в современных распределенных отказоустойчивых системах хранения данных Рік: 2018 268. Иванов Алексей Владимирович. Архитектура и программная инфраструктура систем управления контентом и модели описания их функционирования Рік: 2018 269. Каушан Вадим Владимирович. Поиск ошибок выхода за границы буфера в бинарном коде программ Рік: 2018 270. Кашницкий Александр Витальевич. Методы, модели и программные инфраструктуры глобально распределенной обработки архивных данных дистанционного зондирования Земли Рік: 2018 271. Климентов Алексей Анатольевич. Методы обработки сверхбольших объемов данных в распределенной гетерогенной компьютерной среде для приложений в ядерной физике и физике высоких энергий Рік: 2018 272. Кобец Дмитрий Александрович. Модели и программная инфраструктура для проектирования интерфейсов контроля и управления распределенной обработкой и анализа спутниковых данных на основе BI-технологий Рік: 2018 273. Курако Евгений Александрович. Методы и программные средства создания иерархических распределенных информационных систем на основе сервис-ориентированной архитектуры Рік: 2018 274. Курунова Роксана Рафаилевна. Оценка качества спецификаций требований пользователей на стадии формирования концепции программных средств на основе QFD-методологии Рік: 2018 275. Лашков Игорь Борисович. Разработка моделей и алгоритмов распределенной системы предупреждения аварийных ситуаций на основе мониторинга водителя Рік: 2018 276. Легашев Леонид Вячеславович. Модели и методы обработки данных для организации эффективной программной инфраструктуры коллективного взаимодействия с облачной системой Рік: 2018 277. Леонов Дмитрий Генадьевич. Методы, модели и технологии разработки и интеграции распределённых гетерогенных программно-вычислительных комплексов в АСДУ ЕСГ Рік: 2018 278. Луцив Дмитрий Вадимович. Поиск неточных повторов в документации программного обеспечения Рік: 2018 279. Нгуен Ван Чыонг. Разработка и исследование методов повышения эффективности сжатия в современных видеокодеках Рік: 2018 280. Нгуен Нгок Зиеп. Алгоритмы построения адаптивного языкового человеко-машинного интерфейса для программных систем Рік: 2018 281. Панфёров Антон Александрович. Алгоритмы символьных вычислений в системах компьютерной алгебры для линейных дифференциальных систем с выделенными неизвестными Рік: 2018 282. Паршутина Светлана Александровна. Модели и методы многопутевого резервированного взаимодействия программ в распределенных компьютерных системах Рік: 2018 283. Перепелкин Дмитрий Александрович. Математическое и программное обеспечение адаптивной маршрутизации и балансировки потоков данных в программно-конфигурируемых сетях с обеспечением качества сетевых сервисов Рік: 2018 284. Петрова Ирина Анатольевна. Метод проектирования метаэвристических алгоритмов дискретной оптимизации, использующих вспомогательные оптимизируемые критерии, основанный на обучении с подкреплением Рік: 2018 285. Пилипенко Артур Витальевич. Разработка и реализация механизмов сокращения размера Java-приложений для встраиваемых систем в закрытой модели Рік: 2018 286. Подкопаев Антон Викторович. Операционные методы в приложении к слабым моделям памяти Рік: 2018 287. Посевкин Руслан Владимирович. Модели, методы и программные средства построения естественно-языкового пользовательского интерфейса к базам данных Рік: 2018 288. Путин Евгений Олегович. Глубокие генеративные конкурентные нейронные сети для малых органических молекулярных структур Рік: 2018 289. Сафин Ленар Камилевич. Автоматический статический анализ программных систем, записанных на языках программирования семейства С Рік: 2018 290. Сосунова Инна Александровна. Метод построения адаптивных мультимодальных интерфейсов человеко-машинного взаимодействия для информационной инфраструктуры Умного города Рік: 2018 291. Сударева Ольга Юрьевна. Встречная оптимизация класса задач трёхмерного моделирования для архитектур многоядерных процессоров Рік: 2018 292. Холод Иван Иванович. Модели и методы построения параллельных алгоритмов анализа распределенных данных Рік: 2018 293. Шальнов Евгений Вадимович. Исследование и разработка методов сопровождения людей и частей их тела в видеопоследовательности Рік: 2018 294. Юй Чуцяо. Методы, средства и алгоритмы автоматического извлечения фактов из китайских текстов Рік: 2018 295. Пасічна Mайя Володимирівна. ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ДИВЕРСИФІКАЦІЇ ТА ОПТИМІЗАЦІЇ СТРУКТУРИ ГЕНЕРУЮЧИХ ПОТУЖНОСТЕЙ ЕНЕРГЕТИЧНИХ КОМПАНІЙ Рік: 2018 296. Савчук Валерія Володимирівна Математичне та програмне забезпечення інформаційно-технологічного супроводу процесів у галузі туризму Рік: 2018 297. Глазунов Вадим Валерьевич Математическое и программное обеспечение сетецентрической системы управления доступом мобильных абонентов к информационным сервисам Рік: 2018 298. Балян, Сероб Гургенович Эффективное хранение разнородных данных в распределенной системе электронного здравоохранения Рік: 2018 299. Краснов Михаил Михайлович. Сеточно-операторный подход к программированию задач математической физики Рік: 2017 300. Папилина Татьяна Михайловна. Разработка моделей и программных средств интеграции кроссплатформенных тонких клиентов в жизненный цикл промышленных программно-вычислительных комплексов моделирования Рік: 2017 |