Total work:2087
451. Марков Александр Владимирович. Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей the year: 2015 452. Марков Александр Владимирович. Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри the year: 2015 453. ПРУЦКОВ АЛЕКСАНДР ВИКТОРОВИЧ. Модели, методы и программы автоматической обработки форм слов в естественно-языковых интерфейсах the year: 2015 454. Пестун Максим Вадимович. Методы построения навигационных описаний маршрутов для картографических компьютерных систем the year: 2015 455. Пилеич Артем Васильевич. Математическое обеспечение распределенных вычислений гетерогенных динамических параметров систем в режиме реального времени the year: 2015 456. Ровнягин Михаил Михайлович. Методы и средства решения задач поиска и защищенного хранения данных с применением гибридных вычислительных технологий the year: 2015 457. Рожков Максим Владимирович. Математическое обеспечение оперативного обнаружения ошибок потока управления на основе обработки графов большой размерности -- the year: 2015 458. Рябинин Константин Валентинович. Методы и средства разработки адаптивных мультиплатформенных систем визуализации научных экспериментов the year: 2015 459. СЕЛИВАНОВ ЕВГЕНИЙ ВИКТОРОВИЧ. Математическое и программное обеспечение распределенных информационных сервисов для синтеза композитных смесей с использованием прикладных баз знаний the year: 2015 460. Саламатин Кирилл Маркович. Методы построения программных систем для автоматизации экспериментов в области спектрометрии нейтронов с использованием сетевых технологий the year: 2015 461. Самоваров Олег Ильгисович. Разработка системного прогаммного обеспечения для развертывания предметно-ориентированных Web-лабораторий the year: 2015 462. Семерникова Евгения Евгеньевна. Методы и средства создания прикладных программ с переменной разрядностью для реконфигурируемых вычислительных систем the year: 2015 463. Смирнов Сергей Владимирович. Технология и система автоматической корректировки результатов при распознавании архивных документов the year: 2015 464. Со Ти Ха Аунг. Разработка и исследование методов и программных средств имитационного моделирования для построения динамических интегрированных экспертных систем the year: 2015 465. Сорокин Алексей Борисович. Методика и программное обеспечение представления баз знаний для разработки полиструктурных и полифункциональных систем поддержки принятия решений the year: 2015 466. Тележкин Александр Михайлович. Применение алгоритмических сетей для оценки ресурсов в программных проектах the year: 2015 467. Теплов Алексей Михайлович. Анализ масштабируемости параллельных приложений на основе технологий суперкомпьютерного кодизайна the year: 2015 468. Тесля Николай Николаевич. Разработка методов и моделей построения сервис-ориентированной системы обеспечения инфомобильности the year: 2015 469. Ульянцев Владимир Игоревич. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений the year: 2015 470. Фам Зуй Тхай. Математическое обеспечение системы идентификации личности по отпечаткам пальцев с учётом особенностей их использования во вьетнаме the year: 2015 471. Федулов Ярослав Александрович. Методы и программные средства поддержки выбора решений на основе прямого и обратного нечеткого оценивания the year: 2015 472. Фролов Владимир Александрович. Методы решения проблемы глобальной освещенности на графических процессорах the year: 2015 473. Хоанг Жанг. Разработка средств управления нагрузкой многосерверных систем на основе масштабируемых марковских процессов the year: 2015 474. Чемерицкий Евгений Викторович. Исследование методов контроля функционирования программно-конфигурируемых сетей the year: 2015 475. Чивилихин Даниил Сергеевич. Генерация конечных автоматов на основе муравьиных алгоритмов the year: 2015 476. Шошмина Ирина Владимировна. Метод разработки формальных контекстных требований для верификации программных систем логического управления the year: 2015 477. Шулипа Андрей Константинович. Алгоритмы и программные средства автоматического текстонезависимого распознавания личностей по голосу the year: 2015 478. Шумский Леонид Дмитриевич. Методы и программные средства интеграции приложений с использованием внешней шины the year: 2015 479. Алексеев Алексей Александрович. Метод автоматического аннотирования новостных кластеров на основе тематического анализа the year: 2014 480. Антоненко Виталий Александрович. Разработка и исследование модели функционирования глобальной сети для анализа динамики распространения вредоносного программного обеспечения the year: 2014 481. Базенков Николай Ильич. Теоретико-игровые алгоритмы формирования децентрализованных беспроводных сетей the year: 2014 482. Бессмертный Игорь Александрович. Методы, модели и программные средства для построения интеллектуальных систем на продукционной модели знаний the year: 2014 483. Бирюкова Анна Алексеевна. Методы и алгоритмы поддержки процессов жизненного цикла программного продукта с большим количеством профессиональных пользователей the year: 2014 484. Битнер Вильгельм Александрович. Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления the year: 2014 485. Боченина Клавдия Олеговна. Планирование исполнения наборов композитных приложений во временных окнах распределенных облачных сред the year: 2014 486. Буздалов Максим Викторович. Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов the year: 2014 487. Буй Чанг Тхи Тху. Алгоритмы распознавания лиц и жестов на основе вейвлет-преобразований и метода главных компонент the year: 2014 488. Бурлаков Никита Сергеевич. Математическое, алгоритмическое и программное обеспечение для идентификации структурных объектов по комплексу разнородных геолого-геофизических данных the year: 2014 489. Власенко Андрей Юрьевич. Автоматизированный контроль корректности MPI-программ на основе шаблонов ошибочного поведения the year: 2014 490. Гайворонская Светлана Александровна. Исследование методов обнаружения шеллкодов в высокоскоростных каналах передачи данных the year: 2014 491. Гаранжа Кирилл Владимирович. Интерактивный синтез реалистичных изображений больших 3D сцен с применением графических процессоров the year: 2014 492. Герценбергер Константин Викторович. Методы и средства разработки параллельного программного обеспечения обработки изображений и сигналов the year: 2014 493. Голованов Роман Вячеславович. Увеличение компрессии изображений в алгоритмах с фурье–преобразованиями the year: 2014 494. Голованов Роман Вячеславович. Увеличение компрессии изображений в алгоритмах с фурье-преобразованиями the year: 2014 495. Голубев Иван Алексеевич. Планирование задач в распределенных вычислительных системах на основе метаданных the year: 2014 496. Голубев Иван Алексеевич. Планирование задач в распределённых вычислительных системах на основе метаданных the year: 2014 497. Гусев Владимир Юрьевич. Методы и средства радиометрической и геометрической обработки скановых изображений земной поверхности the year: 2014 498. Данилов Игорь Геннадьевич. Метод и средства бесконфликтного доступа многопоточных приложений к распределенной памяти кластерных МВС the year: 2014 499. Дергачев Александр Андреевич. Методы и средства организации взаимодействия корпоративных информационных систем на основе сервис-ориентированной архитектуры the year: 2014 500. Достовалов Дмитрий Николаевич. Спецификация и интерпретация моделей переходных процессов в системах электроэнергетики the year: 2014 |