Новый подход к построению методов межпроцедурного анализа программ (Работа поддержана грантом РФФИ ?96-01-01433) А.С. Антонов, Вл.В. Воеводин Введение Необходимость выполнения межпроцедурного анализа очень часто возникает на практике, в частности, при анализе параллельных свойств программ. ... 7 Заключение Описанный в данной работе метод позволяет провести межпроцедурный анализ программ с точностью до отдельных элементов массивов. ... Описание входных и выходных данных фрагментов программ. ...

Еще в разделе: (Показать все результаты (>3) - asa.guru.ru/ )

• http://asa.guru.ru/papers/autore.html

... Если переменная "trigexpand" будет равна "true", то функция "trigexpand" будет работать до тех пор, пока выражение не перестанет меняться. trigexpand(sin(2*x+y)); =) cos(2x)sin(y) + sin(2x)cos(y) trigexpand(%); ) (cos 2 (x)-sin 2 (x))sin(y) + 2 cos(x) sin(x) cos(y) trigexpand:true; ) true trigexpand(sin(2*x+y)); =) (cos 2 (x)-sin 2 (x))sin(y) + 2 cos(x) sin(x) cos(y)  Функция trigreduce свертывает все произведения тригонометрических функций в тригоно- метрические функции от сумм. ... функцию "part"...

Еще в разделе: (Показать все результаты (>4) - tex.bog.msu.ru/ )

• http://tex.bog.msu.ru/numtask/chelp04a.ps
• http://tex.bog.msu.ru/numtask/max07.ps
• http://tex.bog.msu.ru/rustexr.html

... Лаборатория медицинской химии создана на Химическом факультете МГУ имени М.В.Ломоносова по инициативе заведующего кафедрой академика РАН Н. С. Зефирова в октябре 2013 года. ... Мы используем современные методы молекулярного моделирования и хемоинформатики, а также разрабатываем новые подходы. ... Затем в центре нашего внимания оказались исследования количественной связи "структура?активность", и в 1988 году была образована отдельная исследовательская группа. ... 2016 Лаборатория медицинской химии ...

326. http://belyakov.imec.msu.ru/papers/Diser.pdf