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