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