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