|
Total work:2121
551. Кутовский, Николай Александрович. Развитие методов построения грид-сред и систем облачных вычислений для задач физики высоких энергий
the year: 2014 552. Ле Хоай. Исследование и разработка электронных библиотек на основе явного описания семантики ресурсов с использованием технологий Semantic Web
the year: 2014 553. Ломов Александр Андреевич. Модели и механизмы для автоматизации программирования косвенного взаимодействия агентов интеллектуальных пространств
the year: 2014 554. Лукин Михаил Андреевич. Верификация автоматных программ
the year: 2014 555. Матвеев Иван Алексеевич. Методы и алгоритмы автоматической обработки изображений радужной оболочки глаза
the year: 2014 556. Мельник Эдуард Всеволодович. Методы и программные средства повышения надежности сетевых информационно-управляющих систем на основе реконфигурации ресурсов вычислительных устройств
the year: 2014 557. Мельников Сергей Викторович. Математическое и программное обеспечение организации взаимодействия программных систем и баз данных с использованием ORM-библиотек в логических структурах архитектур сетевых порталов
the year: 2014 558. Мин Тхет Тин. Методика формирования реляционных таблиц на основе информации табличного вида
the year: 2014 559. Нгуен Тханг Тоан. Алгоритмы распознавания жестов на видеопоследовательностях
the year: 2014 560. Недолужко Илья Валерьевич. Интеграция ресурсов спутникового центра в информационные системы наблюдения за Землей
the year: 2014 561. Никитенко Дмитрий Александрович. Комплексный подход к исследованию причин и признаков снижения эффективности суперкомпьютерных приложений и систем на основе данных системного мониторинга
the year: 2014 562. Палагин Владимир Владимирович. Математическое и программное обеспечение распределения данных в проблемно-ориентированных параллельных программах
the year: 2014 563. Перминов Илья Валентинович. Алгоритмические и программные средства компрессии текстур на графических процессорах
the year: 2014 564. Петров Сергей Андреевич. Исследование и разработка методов и средств создания эталонов для оценки защищённости корпоративных программных систем
the year: 2014 565. Платонов Юрий Георгиевич. МЕТОДЫ ОБЕСПЕЧЕНИЯ ИНТЕГРАЦИИ РАСПРЕДЕЛЕННЫХ СЛАБОСВЯЗАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ
the year: 2014 566. Рубан Константин Алексеевич. Исследование и разработка методов и программных средств обеспечения интероперабельности в области электронного обучения (на примере Магнитогорского государственного технического университета имени Г.И. Носова)
the year: 2014 567. Сивоголовко Елена Владимировна. Оценка качества кластеризации в задачах интеллектуального анализа данных
the year: 2014 568. Смирнов Павел Алексеевич. Проектирование и разработка предметно-ориентированных композитных приложений в распределенных облачных средах на основе виртуальных моделирующих объектов
the year: 2014 569. Смирнов Павел Андреевич. Проектирование и разработка предметно-ориентированных композитных приложений в распределенных облачных средах на основе виртуальных моделирующих объектов
the year: 2014 570. Удалова Юлия Васильевна. Отладка и верификация функционально-потоковых параллельных программ
the year: 2014 571. Фереферов Евгений Сергеевич. Технология автоматизации создания приложений баз данных с ГИС-функциональностью на основе их декларативных спецификаций
the year: 2014 572. Хлаинг Мьинт Тан. Оптимизация обработки вложенных запросов в многопроцессорной базе данных
the year: 2014 573. Хусаинов Айдар Фаилович. ТЕХНОЛОГИЯ АВТОМАТИЗАЦИИ СОЗДАНИЯ И ОЦЕНКИ КАЧЕСТВА ПРОГРАММНЫХ СРЕДСТВ АНАЛИЗА РЕЧИ С УЧЕТОМ ОСОБЕННОСТЕЙ МАЛОРЕСУРСНЫХ ЯЗЫКОВ
the year: 2014 574. Чернов Андрей Федорович. Анализ и разработка индекса для поиска последовательностей элементов произвольного типа по их фрагментам в реляционных базах данных
the year: 2014 575. Чернухин Никита Андреевич. Математические и программные средства обработки рентгенографических медицинских изображений
the year: 2014 576. Чистяков Геннадий Андреевич. Метод и машина логического вывода для формальной верификации параллельных алгоритмов
the year: 2014 577. Шамакина Анастасия Валерьевна. Методы управления ресурсами в проблемно-ориентированных распределенных вычислительных средах
the year: 2014 578. Шамаль Павел Николаевич. Разработка и исследование методов и программных средств параллельного выполнения функциональных программ на многоядерных компьютерах
the year: 2014 579. Шарабайко Максим Павлович. Алгоритмическое и программное обеспечение системы сжатия видеопоследовательностей, созданной в рамках стандарта H.265/HEVC
the year: 2014 580. Шичкина Юлия Александровна. Методы создания и эквивалентных преобразований параллельных программ с учетом информационных зависимостей
the year: 2014 581. Штейнберг, Олег Борисович. Распараллеливание циклов допускающих рекуррентные зависимости
the year: 2014 582. Щапов Владислав Алексеевич. Модели, методы и программное обеспечение обработки интенсивного потока экспериментальных данных на суперкомпьютере
the year: 2014 583. Якименко Александр Александрович. АЛГОРИТМЫ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ГИБРИДНЫХ СУПЕР-ЭВМ В ЗАДАЧАХ ОБНАРУЖЕНИЯ ПОДЗЕМНЫХ ПОЛОСТЕЙ И АНАЛИЗА ГЕНЕТИЧЕСКИХ ДАННЫХ
the year: 2014 584. Логачева Варвара Константиновна. Исследование и разработка методов автоматизации процессов практической транскрипции имен собственных
the year: 2013 585. Лукинова, Ольга Васильевна. Компьютерные модели и алгоритмы управления безопасностью информационных систем
the year: 2013 586. Мизгулин Вячеслав Владимирович. Разработка математического, алгоритмического и программного обеспечения для имитационного моделирования микроструктуры керна
the year: 2013 587. Минашкин, Сергей Александрович. Математическое и программное обеспечение интеллектуальных поисковых систем на основе использования мультиагентной архитектуры
the year: 2013 588. Мозгачев, Алексей Васильевич. Исследование и разработка моделей, методов и программных средств темпорального вывода в динамических интегрированных экспертных системах
the year: 2013 589. Моросанова, Наталья Александровна. Методы вычисления оценок уверенности формально построенных выводов
the year: 2013 590. Нгуен Тин Чунг. МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ БЕЗОПАСНОГО ФУНКЦИОНИРОВАНИЯ СРЕДСТВ ПЕРЕВОЗКИ ПРИ ЭКСПЛУАТАЦИИ ВО ВЬЕТНАМЕ
the year: 2013 591. Никифоров, Игорь Валерьевич. Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций
the year: 2013 592. Новиков, Евгений Михайлович. Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX
the year: 2013 593. Новоселов, Юрий Владимирович. Методы и программные средства когнитивной графики для интеллектуальных систем поддержки принятия решений
the year: 2013 594. Нураев, Имангазали Юнусович. Метод и алгоритмы контроля целостности конфиденциальных данных на основе функций хэширования
the year: 2013 595. Павлов, Евгений Геннадьевич. Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики
the year: 2013 596. Пан, Константин Сергеевич. Методы внедрения фрагментного параллелизма в последовательную СУБД с открытым исходным кодом
the year: 2013 597. Потапов, Кирилл Борисович. Построение системы поддержки регламентов на базе языка запросов GSQL
the year: 2013 598. Притула Михаил Николаевич. Отображение DVMH-программ на кластеры с графическими процессорами
the year: 2013 599. Прищепа, Мария Викторовна. Модели и программные средства интерактивного взаимодействия с подвижным информационно-навигационным комплексом самообслуживания
the year: 2013 600. Речистов, Григорий Сергеевич. Разработка методов моделирования для оценки производительности суперкомпьютерных систем для параллельных приложений с однородным характером поведения
the year: 2013 |
