|
Загалом робіт: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 |
