|
Всего работ:2121
401. Шорин Олег Николаевич. Методы и алгоритмы интеграции большого объема библиографических записей в открытое семантическое пространство
Год: 2017 402. Карпович, Сергей Николаевич Математическое и программное обеспечение вероятностного тематического моделирования потока текстовых документов
Год: 2017 403. Кошелев, Владимир Константинович Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке C#
Год: 2017 404. Северинов Олег Викторович. Совершенствование процесса сушки зерна в бункерах активного вентилирования с использованием моделирования
Год: 2016 405. Акопян Манук Сосович. Инструментальные средства поддержки автоматизированной разработки параллельных программ
Год: 2016 406. Алфимцев Александр Николаевич. Декларативно-процессная технология разработки интеллектуальных мультимодальных интерфейсов
Год: 2016 407. Ахмед Али М Ахмед. Математическое и программное обеспечение процессов многокритериального формирования однородных классов данных в распределенной СУБД на базе нейронной сети
Год: 2016 408. Ачкасов Александр Владимирович. Теоретические основы многоальтернативных систем управления базами данных в условиях неполноты информации
Год: 2016 409. Бессонов Алексей Владимирович. Символьная спецификация и анализ программных моделей гибридных систем
Год: 2016 410. Бовкун Александр Викторович. Постпроцессор транслятора языка программирования высокого уровня для реконфигурируемых вычислительных систем
Год: 2016 411. Бондаренко Максим Андреевич. Разработка методов и алгоритмов совмещения 2D и 3D информации для авиационных систем улучшенного и синтезированного видения
Год: 2016 412. Бородин Алексей Евгеньевич. Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++
Год: 2016 413. Брыксин Тимофей Александрович. Платформа для создания специализированных визуальных сред разработки программного обеспечения
Год: 2016 414. Бурлуцкая Мария Владимировна. Математическое и программное обеспечение обработки потоковых данных в распределенных системах на основе корреляционного разложения потока
Год: 2016 415. Вдовин Павел Максимович. Жадные алгоритмы и стратегии ограниченного перебора для планирования вычислений в системах с жесткими требованиями к качеству обслуживания
Год: 2016 416. Гатилов Степан Юрьевич. Алгоритмы и программные средства для пересечения трёхмерных тел в граничном представлении
Год: 2016 417. Григорьев Семен Вячеславович. Синтаксический анализ динамически формируемых программ
Год: 2016 418. Григорьева Анастасия Викторовна. Инструменты аспектно-ориентированного программирования облачных веб-приложений в Microsoft Azure: разработка и реализация в системе Aspect.NET
Год: 2016 419. Гусенков Александр Михайлович. Модели, методы и программные инструменты поиска в структурно размеченных текстах
Год: 2016 420. Диковицкий Владимир Витальевич. Методы интерфейсной навигации и поиска нормативно-справочных документов в корпоративных информационных системах
Год: 2016 421. До Ньят Зуй. Математическое и программное обеспечение процессов электронной таможни и мониторинга транспортных потоков на базе технологии радиочастотной идентификации в Социалистической Республике Вьетнам
Год: 2016 422. Ермаков Михаил Кириллович. Методы повышения эффективности итеративного динамического анализа программ
Год: 2016 423. Жильцов Никита Геннадьевич. Методы и алгоритмы поиска сущностей по ключевым словам в графовых базах знаний
Год: 2016 424. Зо Лин Кхаинг. Методы и программные средства поиска информации на основе прецедентов в интеллектуальных поисковых системах
Год: 2016 425. Зубов Максим Валерьевич. Модели и алгоритмы универсальных промежуточных представлений для статического анализа потока управления программ по их исходному коду
Год: 2016 426. Калиновский Илья Андреевич. Метод нейросетевого детектирования лиц в видеопотоке сверхвысокого разрешения
Год: 2016 427. Кознов Дмитрий Владимирович. Методология и инструментарий предметно-ориентированного моделирования
Год: 2016 428. Колчин Максим Александрович. Метод, алгоритмы и архитектура программной системы обработки гетерогенных данных электронных устройств на основе онтологического подхода
Год: 2016 429. Кривоконь Дмитрий Сергеевич. Математическое обеспечение систем оценки положения движущихся объектов с использованием рандомизированных алгоритмов стохастической оптимизации
Год: 2016 430. Лапаев Максим Владимирович. Архитектура и реализация программных систем на основе семантических технологий для обработки медицинских данных
Год: 2016 431. Литвинов Юрий Викторович. Методы и средства разработки графических предметно-ориентированных языков
Год: 2016 432. Мандрыкин Михаил Усамович. Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей
Год: 2016 433. Меденников Иван Павлович. Методы, алгоритмы и программные средства распознавания русской телефонной спонтанной речи
Год: 2016 434. Мелехова Анна Леонидовна. Управление физической памятью виртуальной машины
Год: 2016 435. Насонов Денис Александрович. Эволюционные алгоритмы распределения больших данных в вычислительно-интенсивных задачах
Год: 2016 436. Нгуен Ань Тхоай. Математическое и программное обеспечение межмодульного распределения нагрузки в системах доставки контента на основе СМО с изменяющейся интенсивностью обслуживания
Год: 2016 437. Нгуен Сон Лам. Математическое и программное обеспечение минимизации запросов для распределения виртуальной пропускной способности вероятностных баз данных
Год: 2016 438. Нокель Михаил Алексеевич. Методы улучшения вероятностных тематических моделей текстовых коллекций на основе лексико-терминологической информации
Год: 2016 439. Пакулова Екатерина Анатольевна. Алгоритмы и программные средства повышения эффективности передачи мультимедийных данных в беспроводных компьютерных сетях
Год: 2016 440. Пашковская Елена Сергеевна. Математическое и программное обеспечение мультиверсионной информационной системы с универсальной структурой интерфейсов на основе маркированной сети Петри
Год: 2016 441. Пелипец Андрей Владимирович. Методы и средства решения задач линейной алгебры на вы-сокопроизводительных реконфигурируемых вычислительных системах
Год: 2016 442. Петухов Илья Витальевич. Представление алгоритмов интеллектуального анализа данных и их реализация в распределенных средах на основе модели акторов
Год: 2016 443. Савельев Антон Игоревич. Архитектуры, алгоритмы и программные средства обработки потоков многомодальных данных в пиринговых веб-приложениях видеоконференцсвязи
Год: 2016 444. Саргсян Севак Сеникович. Методы поиска клонов кода и семантических ошибок на основе семантического анализа программы
Год: 2016 445. Сиднев Алексей Александрович. Технология быстрого прототипирования программ на основе многовариантных программных компонент
Год: 2016 446. Скородумов Юрий Михайлович. Назначение и планирование заданий в распределенных системах реального времени
Год: 2016 447. Смирнов Валентин Александрович. Автоматизированная система анализа неструктурированной речевой информации с применением лингвистических знаний
Год: 2016 448. Тутубалина Елена Викторовна. Методы извлечения и резюмирования критических отзывов пользователей о продукции
Год: 2016 449. Тхай Фыонг Чук. Управление перемещением заданий в распределенном межмодульном взаимодействии на основе стратегий смешанных приоритетов с переключением классов
Год: 2016 450. Фахруллина Альмира Раисовна. Модели и методы проектирования
программных систем для обработки разнородных
данных (на примере программного обеспечения
образовательно-производственной среды)
Год: 2016 |
