|
Total work:2118
601. Рябенко, Анна Андреевна. Символьное решение линейных обыкновенных дифференциальных уравнений с помощью степенных рядов
the year: 2013 602. Сивов, Анатолий Александрович. Разработка, реализация и анализ производительности модифицированного транспортного протокола
the year: 2013 603. Синдеев Михаил Сергеевич. Исследование и разработка алгоритмов матирования видеопоследовательности
the year: 2013 604. Соловьев, Михаил Александрович. Восстановление алгоритма по набору бинарных трасс
the year: 2013 605. Старичкова, Юлия Викторовна. Исследование методов и разработка программных средств анализа структурной сложности и симметрии графовых моделей систем
the year: 2013 606. Сухов, Александр Олегович. Разработка инструментальных средств создания визуальных предметно-ориентированных языков
the year: 2013 607. Тетерев, Михаил Александрович. Метод обнаружения ошибок при работе с памятью на статическом этапе отладки программного обеспечения
the year: 2013 608. Трифанов, Виталий Юрьевич. Динамическое обнаружение состояний гонки в многопоточных JAVA-программах
the year: 2013 609. Тютин, Борис Викторович. Методы автоматизации распределённого тестирования реактивных систем
the year: 2013 610. Федорищев, Леонид Александрович. Модели, методы и инструментальные сервисы для создания профессиональных виртуальных облачных сред
the year: 2013 611. Хатько, Евгений Евгеньевич. Исследование и разработка метода, моделей и алгоритмов тестирования приложений для мобильных устройств
the year: 2013 612. Четвёркин, Илья Игоревич. Автоматизированное формирование базы знаний для задачи анализа мнений
the year: 2013 613. Чибисов, Петр Александрович. Встречное тестирование высокопроизводительных микропроцессоров
the year: 2013 614. Чистиков, Павел Геннадьевич. Методы и алгоритмы гибридного синтеза естественной русской речи на основе скрытых марковских моделей и метода Unit Selection
the year: 2013 615. Чуров, Тимофей Николаевич. Технология построения проблемно-ориентированных сред для научных исследований в рамках модели персонального облака
the year: 2013 616. Шахворостов, Георгий Ильич. Специальное математическое и программное обеспечение управления кэшированием данных на основе временных меток транзакций
the year: 2013 617. Шестов, Пётр Евгеньевич. Совместное планирование вычислений и обменов в информационно-управляющих системах реального времени
the year: 2013 618. Якушев, Андрей Владимирович. Математическое и программное обеспечение распределенной обработки больших объемов данных из социальных медиа
the year: 2013 619. Абрамов, Николай Александрович. Программная система выявления нелегитимной активности на промышленных площадках
the year: 2013 620. Антонов Дмитрий Вячеславович. Программный инструментарий для организации распределенной обработки данных в компьютерных сетях на основе семантической модели
the year: 2013 621. Антонов, Алексей Евгеньевич. Способы и программные средства сравнения исполняемых файлов для их оперативной кластеризации
the year: 2013 622. Аунг Аунг Хейн. Моделирование и разработка сервис-ориентированных приложений
the year: 2013 623. Балашов, Иван Васильевич. Разработка архитектуры, алгоритмов и программного обеспечения для создания картографических интерфейсов, обеспечивающих распределенную обработку и анализ спутниковых данных
the year: 2013 624. Будков, Виктор Юрьевич. Методы и программные средства аудиовизуальной обработки сигналов при сопровождении распределенных совещаний
the year: 2013 625. Бычков, Иван Алексеевич. Планирование обменов в сетях с топологией кольца с арбитражем для систем реального времени
the year: 2013 626. Васильев Антон Игоревич. ПРОГРАММНОЕ И АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИСТЕМ КОМПЬЮТЕРНОГО ВИДЕНИЯ С НЕСКОЛЬКИМИ ПОЛЯМИ ЗРЕНИЯ
the year: 2013 627. Васильев, Алексей Владимирович. Разработка методов и программных средств реализации компонентной вычислительной среды для параллельного и распределённого моделирования режимов систем газоснабжения
the year: 2013 628. Галушка, Василий Викторович. Метод и средства верификации баз данных на основе нейросетевых технологий
the year: 2013 629. Гетьман, Александр Игоревич. Восстановление форматов сетевых сообщений и файлов по бинарным трассам программ
the year: 2013 630. Гулин, Владимир Владимирович. Исследование и разработка методов и программных средств классификации текстовых документов
the year: 2013 631. Гусаренко Артем Сергеевич. Обработка XML-документов в ситуационно-ориентированных базах данных на основе динамических DOM-объектов
the year: 2013 632. Дьяченко, Евгений Анатольевич. Модели, способы и алгоритмы унификации программного обеспечения компьютерной сети на основе технологии виртуализации
the year: 2013 633. Егоров, Кирилл Викторович. Генерация управляющих автоматов на основе генетического программирования и верификации
the year: 2013 634. Ефремова, Наталья Эрнестовна. Методы и программные средства извлечения терминологической информации из научно-технических текстов
the year: 2013 635. Заикин Данила Александрович. Терминологический поиск в коллекциях математических текстов
the year: 2013 636. Зинин, Михаил Владимирович. Символьные алгоритмы и программы вычисления булевых базисов Грёбнера
the year: 2013 637. Зубковская, Наталья Владимировна. Метод тестирования производительности и корректности микропроцессоров при помощи нацеленных тестовых программ
the year: 2013 638. Исходжанов, Тимур Равилевич. Автоматический поиск ошибок в компьютерных программах с применением динамического анализа
the year: 2013 639. КУЗЕННЫЙ Виктор Викторович. МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ РАЗРАБОТКИ СЦЕНАРИЕВ ДЛЯ ГЕОИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ СЛОЖНЫХ ПРОЦЕССОВ
the year: 2013 640. Каляев, Анатолий Игоревич. Методы и средства мультиагентного диспетчирования ресурсов GRID для решения связных задач
the year: 2013 641. Капустин, Дмитрий Сергеевич. Модели и алгоритмы параллельных вычислений на графических процессорах и их применение в программных средствах автоматического тестирования графических приложений
the year: 2013 642. Карпов, Алексей Анатольевич. Аудиовизуальные речевые интерфейсы в ассистивных информационных технологиях
the year: 2013 643. Карпухин, Илья Николаевич. Исследование и реализация систем дискретно-событийного имитационного моделирования на основе графовых моделей
the year: 2013 644. Каршиев, Зайнидин Абдувалиевич. Средства создания параллельных алгоритмов интеллектуального анализа данных
the year: 2013 645. Катериненко, Роман Сергеевич. Средства и методы ускорения дедуктивного вывода в информационных системах с большим объемом данных
the year: 2013 646. Коваленко, Алексей Геннадьевич. Препроцессор языка программирования высокого уровня для реконфигурируемых вычислительных систем
the year: 2013 647. Ковтуненко Алексей Сергеевич. Промежуточное программное обеспечение распределённой обработки данных на основе агентной технологии
the year: 2013 648. Копылов, Сергей Юрьевич. Методы и средства распараллеливания задач трехмерной сеточной визуализации многомассовых систем
the year: 2013 649. Корж, Антон Александрович. Разработка и исследование методов достижения высокой степени масштабируемости суперкомпьютерных приложений
the year: 2013 650. Кривовязь Глеб Робертович. Алгоритмы трехмерной реконструкции по изображениям и данным лазерного сканирования
the year: 2013 |
