|
Всего работ:2092
351. Краснов Михаил Михайлович. Сеточно-операторный подход к программированию задач математической физики
Год: 2017 352. Мальшаков Григорий Викторович. Методы, алгоритмы и программные инструменты достижения интероперабельности прикладного программного обеспечения на основе частотного анализа данных
Год: 2017 353. Маркин Юрий Витальевич. Методы и средства углубленного анализа сетевого трафика
Год: 2017 354. Михайлов Андрей Анатольевич. Методы декомпиляции объектного кода Delphi
Год: 2017 355. Мордань Виталий Олегович. Методы верификации программ на основе композиции задач достижимости
Год: 2017 356. Мосин Сергей Владимирович. Методы и алгоритмы формирования многомерных данных с использованием промежуточных представлений
Год: 2017 357. Павлов Владимир Александрович. Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
Год: 2017 358. Папилина Татьяна Михайловна. Разработка моделей и программных средств интеграции кроссплатформенных тонких клиентов в жизненный цикл промышленных программно-вычислительных комплексов моделирования
Год: 2017 359. Раткевич Ирина Сергеевна. Расширенный языковой сервис FRIS для программирования на языке FORTRAN в MICROSOFT VISUAL STUDIO
Год: 2017 360. Розанов Алексей Константинович. Математическое, алгоритмическое и программное обеспечение автоматического предсинтаксического анализа текста в системах управления базами лингвистических знаний
Год: 2017 361. Семенов Сергей Александрович. Технология программирования алгоритмов молекулярно-динамического моделирования наносистем на графических процессорах
Год: 2017 362. Сидорин Алексей Васильевич. Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для построения многоцелевого контекстно-чувствительного анализатора
Год: 2017 363. Татарников Андрей Дмитриевич. Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Год: 2017 364. Тощев Александр Сергеевич. Интеллектуальная система повышения эффективности ит-службы предприятия
Год: 2017 365. Уральский Николай Борисович. Разработка моделей и алгоритмов составления оптимальных расписаний выполнения программных модулей в вычислительной сети на основе эволюционного подхода
Год: 2017 366. Федотов Андрей Николаевич. Разработка метода оценки эксплуатируемости программных дефектов
Год: 2017 367. Фурсова Наталья Игоревна. Методы мониторинга объектов операционной системы, выполняющейся в виртуальной машине
Год: 2017 368. Халиуллин Айрат Радикович. Разработка архитектурных решений, алгоритмов и программных инструментов организации взаимодействия компонентов распределенных компьютерных тренажеров, реализующих виртуальную среду профессиональной деятельности диспетчеров систем газонефтепроводов
Год: 2017 369. Хаустов Павел Александрович. Алгоритмы распознавания рукописных символов в условиях малой обучающей выборки
Год: 2017 370. Царёв Дмитрий Владимирович. Методы и программные средства анализа поведения пользователей при работе с текстовыми данными для решения задач информационной безопасности
Год: 2017 371. Чкан Андрей Викторович. Методы и средства создания параллельно-конвейерных программ с масштабируемой разрядностью для решения задач цифровой обработки сигналов на реконфигурируемых вычислительных системах
Год: 2017 372. Шорин Олег Николаевич. Методы и алгоритмы интеграции большого объема библиографических записей в открытое семантическое пространство
Год: 2017 373. Карпович, Сергей Николаевич Математическое и программное обеспечение вероятностного тематического моделирования потока текстовых документов
Год: 2017 374. Кошелев, Владимир Константинович Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке C#
Год: 2017 375. Северинов Олег Викторович. Совершенствование процесса сушки зерна в бункерах активного вентилирования с использованием моделирования
Год: 2016 376. Акопян Манук Сосович. Инструментальные средства поддержки автоматизированной разработки параллельных программ
Год: 2016 377. Алфимцев Александр Николаевич. Декларативно-процессная технология разработки интеллектуальных мультимодальных интерфейсов
Год: 2016 378. Ахмед Али М Ахмед. Математическое и программное обеспечение процессов многокритериального формирования однородных классов данных в распределенной СУБД на базе нейронной сети
Год: 2016 379. Ачкасов Александр Владимирович. Теоретические основы многоальтернативных систем управления базами данных в условиях неполноты информации
Год: 2016 380. Бессонов Алексей Владимирович. Символьная спецификация и анализ программных моделей гибридных систем
Год: 2016 381. Бовкун Александр Викторович. Постпроцессор транслятора языка программирования высокого уровня для реконфигурируемых вычислительных систем
Год: 2016 382. Бондаренко Максим Андреевич. Разработка методов и алгоритмов совмещения 2D и 3D информации для авиационных систем улучшенного и синтезированного видения
Год: 2016 383. Бородин Алексей Евгеньевич. Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++
Год: 2016 384. Брыксин Тимофей Александрович. Платформа для создания специализированных визуальных сред разработки программного обеспечения
Год: 2016 385. Бурлуцкая Мария Владимировна. Математическое и программное обеспечение обработки потоковых данных в распределенных системах на основе корреляционного разложения потока
Год: 2016 386. Вдовин Павел Максимович. Жадные алгоритмы и стратегии ограниченного перебора для планирования вычислений в системах с жесткими требованиями к качеству обслуживания
Год: 2016 387. Гатилов Степан Юрьевич. Алгоритмы и программные средства для пересечения трёхмерных тел в граничном представлении
Год: 2016 388. Григорьев Семен Вячеславович. Синтаксический анализ динамически формируемых программ
Год: 2016 389. Григорьева Анастасия Викторовна. Инструменты аспектно-ориентированного программирования облачных веб-приложений в Microsoft Azure: разработка и реализация в системе Aspect.NET
Год: 2016 390. Гусенков Александр Михайлович. Модели, методы и программные инструменты поиска в структурно размеченных текстах
Год: 2016 391. Диковицкий Владимир Витальевич. Методы интерфейсной навигации и поиска нормативно-справочных документов в корпоративных информационных системах
Год: 2016 392. До Ньят Зуй. Математическое и программное обеспечение процессов электронной таможни и мониторинга транспортных потоков на базе технологии радиочастотной идентификации в Социалистической Республике Вьетнам
Год: 2016 393. Ермаков Михаил Кириллович. Методы повышения эффективности итеративного динамического анализа программ
Год: 2016 394. Жильцов Никита Геннадьевич. Методы и алгоритмы поиска сущностей по ключевым словам в графовых базах знаний
Год: 2016 395. Зо Лин Кхаинг. Методы и программные средства поиска информации на основе прецедентов в интеллектуальных поисковых системах
Год: 2016 396. Зубов Максим Валерьевич. Модели и алгоритмы универсальных промежуточных представлений для статического анализа потока управления программ по их исходному коду
Год: 2016 397. Калиновский Илья Андреевич. Метод нейросетевого детектирования лиц в видеопотоке сверхвысокого разрешения
Год: 2016 398. Кознов Дмитрий Владимирович. Методология и инструментарий предметно-ориентированного моделирования
Год: 2016 399. Колчин Максим Александрович. Метод, алгоритмы и архитектура программной системы обработки гетерогенных данных электронных устройств на основе онтологического подхода
Год: 2016 400. Кривоконь Дмитрий Сергеевич. Математическое обеспечение систем оценки положения движущихся объектов с использованием рандомизированных алгоритмов стохастической оптимизации
Год: 2016 |
