Всего работ: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 |