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