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