Алгоритмы антиунификации и их применение для вычисления инвариантов программ


PDF просмотр
НазваниеАлгоритмы антиунификации и их применение для вычисления инвариантов программ
страница1/77
Костылев Егор Вячеславович
Дата конвертации15.08.2012
Размер0,82 Mb.
ТипАвтореферат
СпециальностьДискретная математика и математическая кибернетика

Описание:

Чтобы увидеть текст работы нажмите на ссылку "Предварительный просмотр"
Предварительный просмотр
PDF просмотр

Похожие:

Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconАлгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ
Заключение
Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconАлгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ
Защита состоится «10» декабря 2010 г в 11: 00 на заседании диссертационного совета
Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconМетоды вычисления дифференциальных инвариантов и их приложения к исследованию дифференциальных уравнений

Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconПрименение дифференциальных инвариантов в классических двумерных геометриях
Клейн, Ф. Сравнительное обозрение новейших геометрических исследований (“Эрлангенская программа”). В кн. А. П
Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconАлгоритмы вычисления полуцелых регуляризованных следов дискретных полуограниченных операторов
Здесь m порядок оператора T, а n размерность многообразия, на котором он
Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconКомплекс алгоритмов и программ для вычисления фейнмановских интегралов
Она посвящена алгоритмам редукции и вы- официальные оппоненты: Белокуров Владимир Викторович
Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconНазвание диссертации
Моделирование вычислительного процесса, разработка алгоритмов и пакета прикладных программ для вычисления экспоненциальной функции...
Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconМетоды и алгоритмы эффективного вычисления освещенности трехмерных виртуальных сцен в реальном режиме времени
Защита диссертации состоится 12 октября 2011 года в 16 часов на заседании
Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconКомбинированные алгоритмы оперативного выделения движущихся объектов в последовательности видеокадров на основе локального дифференциального метода вычисления оптического потока
Комбинированные алгоритмы оперативного выделения движущихся объектов в последовательности видеокадров на основе
Алгоритмы антиунификации и их применение для вычисления инвариантов программ iconДискретно-стохастические численные алгоритмы со сплайн-восполнениями
Монте-Карло. Классические методы Монте- карло применяются для вычисления отдельных величин, предста- вимых в виде математических...
Разместите кнопку на своём сайте:
поделись


База данных защищена авторским правом ©dis.podelise.ru 2012
обратиться к администрации
АвтоРефераты
Главная страница