|
Загалом робіт:2121
1451. Лобив Игорь Васильевич. Программные системы для идентификации и локализации объектов в изображениях
Рік: 2004 1452. Масанов Алексей Олегович. Объектно-ориентированный подход при создании программного обеспечения тренажеров для ядерной и тепловой энергетики
Рік: 2004 1453. Матвеев Сергей Юрьевич. Методы проектирования и средства реализации функционально-масштабируемых проблемно-ориентированных программных систем
Рік: 2004 1454. Матин Фар Машалла Набиолла. Расширение возможностей компьютерно-алгебраической системы Maple для решения линейных задач метода наименьших квадратов
Рік: 2004 1455. Машевский Юрий Вячеславович. Исследование существующих и разработка новых программных средств защиты информации от динамического и статического анализа
Рік: 2004 1456. Михайлов Александр Сергеевич. Система анализа безопасности и исследования протоколов информационного обмена
Рік: 2004 1457. Москвитин Анатолий Алексеевич. Технология построения языков спецификаций классов задач, ориентированных на пользователей
Рік: 2004 1458. Нгуен Мань Хунг. Разработка модели и реализация тезаурусов в Интегрированной системе информационных ресурсов
Рік: 2004 1459. Окунишникова Елена Валерьевна. Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри
Рік: 2004 1460. Орлов Василий Александрович. Разработка и исследование моделей, методов и средств редактирования информационного наполнения компьютерных банков знаний
Рік: 2004 1461. Подрябинников Алексей Андреевич. Синтез алгоритмов позиционирования приемника сотовой сети связи и система передачи координатно-зависимых данных на его основе
Рік: 2004 1462. Попов, Дмитрий Иванович. Методология и технология проектирования интеллектуальных систем дистанционного обучения
Рік: 2004 1463. Посыпкин Михаил Анатольевич. Применение формальных методов для тестирования компиляторов
Рік: 2004 1464. Привалихин Денис Викторович. Языковая и инструментальная поддержка функционально-потокового параллельного программирования
Рік: 2004 1465. Промский Алексей Владимирович. Формальная семантика C-LIGHT программ и их верификация методом Хоара
Рік: 2004 1466. Рейер Иван Александрович. Методы анализа формы изображений на основе непрерывного гранично-скелетного представления
Рік: 2004 1467. Романенко Алексей Анатольевич. Средства отладки параллельных программ для мультикомпьютеров (Алгоритмы реализации и разработка отладчика)
Рік: 2004 1468. Романенко Сергей Александрович. Методы и средства построения представлений унаследованной информационной системы в процессе реинжиниринга
Рік: 2004 1469. Рыбалкин Александр Павлович. Исследование и реализация алгоритмов неч#ткой логики для обработки данных в программно-аппаратных встраиваемых системах
Рік: 2004 1470. Рыбина Галина Валентиновна. Модели, методы и программные средства для построения интегрированных экспертных систем
Рік: 2004 1471. Садретдинова Нелли Маратовна. Инструментальные средства разработки бизнес-приложений на базе интранет-технологий
Рік: 2004 1472. Серебрянный Константин Сергеевич. Методы высокоуровневой оптимизации циклов.
Рік: 2004 1473. Серебряный Константин Сергеевич. Методы высокоуровневой оптимизации циклов
Рік: 2004 1474. Соколов Михаил Михайлович. Разработка информационных систем для работы с экспериментальными данными установок управляемого термоядерного синтеза
Рік: 2004 1475. Терехов Александр Станиславович. Разработка специального математического обеспечения нейросетевого прогнозирования и оптимизации потоков заявок в социо-технических системах
Рік: 2004 1476. Троицкий Виктор Валерьевич. Методы и программные средства представления временных зависимостей в интеллектуальных системах поддержки принятия решений
Рік: 2004 1477. Хартиков Денис Михайлович. Исследование и разработка методов реализации мандатных средств управления доступом в сетевых ОС семейства UNIX
Рік: 2004 1478. Хафизов Артем Фоелевич. Нейросетевая система обнаружения атак на WWW-сервер
Рік: 2004 1479. Хачкинаев Геннадий Месропович. Система пакетной обработки заданий в гетерогенной вычислительной сети
Рік: 2004 1480. Хлопотов Михаил Викторович. Методы и алгоритмы обнаружения семантических ошибок в гипертекстовых информационных ресурсах на основе онтологических моделей
Рік: 2004 1481. Хованов Кирилл Николаевич. Комплекс алгоритмов генерации композиций для построения систем поддержки принятия решений
Рік: 2004 1482. Цветников Вадим Александрович. Разработка и исследование методов создания компьютерной системы интеллектуальной поддержки решения задач физической химии в объеме университетского курса
Рік: 2004 1483. Цыгулин Алексей Александрович. Метод и алгоритмы автоматической генерации параллельных программ, реализующих численные методы на регулярных сетках
Рік: 2004 1484. Чудновский Максим Александрович. Исследование методов и разработка основных технологических решений построения информационных систем поддержки финансово-экономических бизнес-процессов в лечебно-профилактических учреждениях
Рік: 2004 1485. Швец Дмитрий Александрович. Инструментальная поддержка процедурно-параметрической парадигмы программирования
Рік: 2004 1486. Шматок Алексей Владимирович. Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений
Рік: 2004 1487. Шпаков Михаил Владимирович. Разработка интеллектуальных геоинформационных систем на основе настраиваемой объектной модели предметной области
Рік: 2004 1488. Штейнберг Борис Яковлевич. Распараллеливание программ для суперкомпьютеров с параллельной памятью и открытая распараллеливающая система
Рік: 2004 1489. Штейнберг, Борис Яковлевич. Распараллеливание программ для суперкомпьютеров с параллельной памятью и открытая распараллеливающая система
Рік: 2004 1490. Абу Асси Халед Мохаммад Хасан. Программное обеспечение посттрансляторной обработки программ
Рік: 2003 1491. Аксенов Андрей Андреевич. Разработка расширенной реляционной модели данных распределенной хронологической системы управления виртуальными представительствами
Рік: 2003 1492. Бабешко Владимир Николаевич. Разработка системы оценки качества программных комплексов для дистанционного обучения
Рік: 2003 1493. Барашев Дмитрий Валерьевич. Оптимизация выполнения запросов в распределенных неоднородных системах
Рік: 2003 1494. Батай Илья Александрович. Моделирование, проектирование и разработка системы интернет-трейдинга для брокерских компаний
Рік: 2003 1495. Беляев Сергей Алексеевич. Применение constraint технологии при решении задач комбинаторной оптимизации в условиях фазовых переходов
Рік: 2003 1496. Богословская Наталья Валентиновна. Взаимные преобразования структурных и объемно-ориентированных проектов программного обеспечения информационных систем на основе их обобщенной модели
Рік: 2003 1497. Боресков Алексей Викторович. Методы удаления невидимых поверхностей в задачах визуализации трехмерных сцен большой сложности
Рік: 2003 1498. Брюхов Дмитрий Олегович. Конструирование информационных систем на основе интероперабельных сред информационных ресурсов
Рік: 2003 1499. Валиков Алексей Николаевич. Модели и методы разработки крупномасштабных веб-приложений
Рік: 2003 1500. Вдовиченко Антон Александрович. Разработка препроцессора подготовки данных для комплексов конечноэлементного моделирования контактных систем
Рік: 2003 |
