|
Total work:2087
1401. Козюра Виталий Ефимович. Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем
the year: 2004 1402. Королев Илья Викторович. Исследование и разработка средств оценки качества программных продуктов учебного назначения
the year: 2004 1403. Коршунов Андрей Александрович. Система управления содержанием WEB сайта
the year: 2004 1404. Коршунова Наталья Петровна. Повышение эффективности применения методов сжатия цифровых изображений
the year: 2004 1405. Костарев Александр Николаевич. Разработка инструментального комплекса для создания и семантического анализа распределенных информационных систем
the year: 2004 1406. Кринкин Кирилл Владимирович. Создание алгоритмов маршрутизации в динамических компьютерных сетях с использованием неполных данных
the year: 2004 1407. Крыжановский Михаил Владимирович. Принципы нейроноподобной реализации систем Автономного Адаптивного Управления
the year: 2004 1408. Кузнецов Антон Михайлович. Улучшение эргономических показателей пользовательских интерфейсов WEB-приложений
the year: 2004 1409. Кузнецова Алла Витальевна. Система автоматической генерации программного обеспечения для микропроцессорных систем реального времени
the year: 2004 1410. Кузьмин Дмитрий Александрович. Исследование и разработка методов выполнения функционально-параллельных программ
the year: 2004 1411. Кукс, Сергей Владимирович. Эволюция схем слабоструктурированных данных
the year: 2004 1412. Куликов Алексей Владимирович. Исследование и разработка алгоритмов обобщения на основе теории приближенных множеств
the year: 2004 1413. Левин Илья Израилевич. Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений
the year: 2004 1414. Левинская Мария Александровна. Инструментальные средства создания интеллектуальных обучающих систем с визуальным преобразованием, сопоставлением и вычислением формул
the year: 2004 1415. Левков Александр Александрович. Организация эффективного размещения данных в ЭВМ на основе модифицированного метода В-деревьев
the year: 2004 1416. Ли Изольда Валерьевна. Разработка методов представления и обработки естественного языка для проблемно-ориентированных систем автоматического понимания речи
the year: 2004 1417. Лобив Игорь Васильевич. Программные системы для идентификации и локализации объектов в изображениях
the year: 2004 1418. Масанов Алексей Олегович. Объектно-ориентированный подход при создании программного обеспечения тренажеров для ядерной и тепловой энергетики
the year: 2004 1419. Матвеев Сергей Юрьевич. Методы проектирования и средства реализации функционально-масштабируемых проблемно-ориентированных программных систем
the year: 2004 1420. Матин Фар Машалла Набиолла. Расширение возможностей компьютерно-алгебраической системы Maple для решения линейных задач метода наименьших квадратов
the year: 2004 1421. Машевский Юрий Вячеславович. Исследование существующих и разработка новых программных средств защиты информации от динамического и статического анализа
the year: 2004 1422. Михайлов Александр Сергеевич. Система анализа безопасности и исследования протоколов информационного обмена
the year: 2004 1423. Москвитин Анатолий Алексеевич. Технология построения языков спецификаций классов задач, ориентированных на пользователей
the year: 2004 1424. Нгуен Мань Хунг. Разработка модели и реализация тезаурусов в Интегрированной системе информационных ресурсов
the year: 2004 1425. Окунишникова Елена Валерьевна. Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри
the year: 2004 1426. Орлов Василий Александрович. Разработка и исследование моделей, методов и средств редактирования информационного наполнения компьютерных банков знаний
the year: 2004 1427. Подрябинников Алексей Андреевич. Синтез алгоритмов позиционирования приемника сотовой сети связи и система передачи координатно-зависимых данных на его основе
the year: 2004 1428. Попов, Дмитрий Иванович. Методология и технология проектирования интеллектуальных систем дистанционного обучения
the year: 2004 1429. Посыпкин Михаил Анатольевич. Применение формальных методов для тестирования компиляторов
the year: 2004 1430. Привалихин Денис Викторович. Языковая и инструментальная поддержка функционально-потокового параллельного программирования
the year: 2004 1431. Промский Алексей Владимирович. Формальная семантика C-LIGHT программ и их верификация методом Хоара
the year: 2004 1432. Рейер Иван Александрович. Методы анализа формы изображений на основе непрерывного гранично-скелетного представления
the year: 2004 1433. Романенко Алексей Анатольевич. Средства отладки параллельных программ для мультикомпьютеров (Алгоритмы реализации и разработка отладчика)
the year: 2004 1434. Романенко Сергей Александрович. Методы и средства построения представлений унаследованной информационной системы в процессе реинжиниринга
the year: 2004 1435. Рыбалкин Александр Павлович. Исследование и реализация алгоритмов неч#ткой логики для обработки данных в программно-аппаратных встраиваемых системах
the year: 2004 1436. Рыбина Галина Валентиновна. Модели, методы и программные средства для построения интегрированных экспертных систем
the year: 2004 1437. Садретдинова Нелли Маратовна. Инструментальные средства разработки бизнес-приложений на базе интранет-технологий
the year: 2004 1438. Серебрянный Константин Сергеевич. Методы высокоуровневой оптимизации циклов.
the year: 2004 1439. Серебряный Константин Сергеевич. Методы высокоуровневой оптимизации циклов
the year: 2004 1440. Соколов Михаил Михайлович. Разработка информационных систем для работы с экспериментальными данными установок управляемого термоядерного синтеза
the year: 2004 1441. Терехов Александр Станиславович. Разработка специального математического обеспечения нейросетевого прогнозирования и оптимизации потоков заявок в социо-технических системах
the year: 2004 1442. Троицкий Виктор Валерьевич. Методы и программные средства представления временных зависимостей в интеллектуальных системах поддержки принятия решений
the year: 2004 1443. Хартиков Денис Михайлович. Исследование и разработка методов реализации мандатных средств управления доступом в сетевых ОС семейства UNIX
the year: 2004 1444. Хафизов Артем Фоелевич. Нейросетевая система обнаружения атак на WWW-сервер
the year: 2004 1445. Хачкинаев Геннадий Месропович. Система пакетной обработки заданий в гетерогенной вычислительной сети
the year: 2004 1446. Хлопотов Михаил Викторович. Методы и алгоритмы обнаружения семантических ошибок в гипертекстовых информационных ресурсах на основе онтологических моделей
the year: 2004 1447. Хованов Кирилл Николаевич. Комплекс алгоритмов генерации композиций для построения систем поддержки принятия решений
the year: 2004 1448. Цветников Вадим Александрович. Разработка и исследование методов создания компьютерной системы интеллектуальной поддержки решения задач физической химии в объеме университетского курса
the year: 2004 1449. Цыгулин Алексей Александрович. Метод и алгоритмы автоматической генерации параллельных программ, реализующих численные методы на регулярных сетках
the year: 2004 1450. Чудновский Максим Александрович. Исследование методов и разработка основных технологических решений построения информационных систем поддержки финансово-экономических бизнес-процессов в лечебно-профилактических учреждениях
the year: 2004 |
