Воеводин Валентин Васильевич, академик РАН, главный научный сотрудник института вычислительной математики РАН. Воеводин Владимир Валентинович, член-корр. РАН, заместитель директора научно-исследовательского вычислительного центра МГУ. Брызгалов Петр Александрович, научный сотрудник научно-исследовательского вычислительного центра МГУ. Авторы выражают благодарность Российскому фонду фундаментальных исследований и отделению математических наук РАН за поддержу работы по системе Линеал. ...
Интерлейкин-6 . На основе фундаментальных знаний о нуклеопротеидных комплексах нами разрабатываются методы получения специфических искусственных комплексов, которые могут быть использованы при лечении ряда заболеваний крови, а также при лечении некоторых видов рака. Интерлейкин-6 (IL-6) - белок, обладающий множественным эффектом на клетки человека. Он является членом семейства цитокинов IL-6. ... Нами в результате 14 циклов селекции выделены РНК-аптамеры, специфически связывающие hIL-6. ...
... Адваита Госвами - близкий друг Шри Чайтаньи. аджняна - невежество, индивидуальное или космическое, которое мешает восприятию Реальности. адхарма - неправедность, антоним - дхарма. Адьяшакти - Изначальная Энергия. Эпитет Божественной Матери. артха - богатство, одна из четырех целей, к которым стремятся люди. ... Обозначает также Высшую Душу, которая по философии Адваита Веданты тождественна индивидуальной душе. ... Кундалини - (дословно: Змея-Энергия) Духовная энергия, спящая в каждом человеке. ...
... Data . ... Projects . ... Neutron flux variations (RU) . ... Временных вариаций и определение направления прихода (от Земли . к Земле) потоков тепловых и быстрых нейтронов. ... Изучение спектральных характеристик нейтронов, регистрируемых на поверхности Земли. ... Земля"; . ... Оказалось, что на высотах вплоть до 3.5 км поток нейтронов, направленный от Земли, существенно превышал поток к Земле (среднее значение анизотропии для этих высот составляло 0,6 . ... Физика Земли . ...
СПЕЦИАЛЬНЫЕ СРЕДСТВА ДЛЯ КОНТЕКСТНОГО РЕДАКТИРОВАНИЯ ОБЩИЙ АРХИВ БЛОК РЕДАКТИРОВАНИЯ Понятие блока редактирования и блокового контекста Условный блоковый контекст Условное выражение ГРУППОВОЙ ОПЕРАТОР В КОНТЕКСТЕ ЗАМЕНЫ Понятие группового оператора Простое групповое выражение Циклическое групповое выражение Блоковые функции 1. ... Примеры блоковых контекстов: . ... создание файла с диапазоном min и max номеров строк блока, содержащих найденный в блоке контекст, т.е. файл будет содержать строку вида: . ...
... 12 апреля 2016 года в 18:25 . ... Исследование ориентированного графа коллективом двигающихся автоматов? ... Модель системы или сети, в конечном счете, сводится к графу переходов, свойства которого нужно исследовать. За последние годы размер реально используемых систем и сетей и, следовательно, размер их моделей и, следовательно, размер исследуемых графов непрерывно растет. ... число вершин графа, m ? ... Исследование ориентированного графа коллективом неподвижных автоматов?. 26 апреля 2016 года . ...
. Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 29 . Strict Standards : Non-static method JLoader::register() should not be called statically in /wcmc/ms/ms/libraries/loader.php on line 71 . Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 32 . Strict Standards : Non-static method JLoader::register() should not be called
... X-COM parallel.ru . ... Компьютеры со сверхвысокой производительностью всегда были крайне дефицитным, дорогим и исключительно востребованным вычислительным ресурсом, потребность в котором, как показывает практика, со временем только возрастает. ... Основная проблема - отсутствие работоспособных и эффективных технологий параллельного программирования, применимых к реальным неоднородным вычислительным средам, состоящим из десятков, сотен и тысяч параллельно работающих различных компьютеров. ...
... VAR. Определение. ... Линейная и квадратичная модель VAR. ... Применение биномиального дерева к оценке стоимости американского put опциона и греков. ... Моделирование цен опционов методом Монте-Карло. ... Экзотические опционы. ... Формулы для цен опционов знать не обязательно. ... Модели поведения цен акций. ... Модель Блэка. Опционы на бонд, капы, опционы на своп. ... Цена европейского опциона на облигацию в этой модели. ... Цена европейского опциона на бескупонную облигацию в этой модели. ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... О практикуме . Баллы . ... 31.08.2012 04:12 / admin . Начала работать новая страничка практикума по базам данных. Здесь можно будет найти методические материалы, текущие баллы и оценки, а также другую полезную информацию. ... Комиссия по практикуму . Зачет по практикуму . ... SQL Server для практикума . Практикум в осеннем семестре . Информация о зачете . ... Декабрь 2014 . Декабрь 2013 . Октябрь 2013 . ... Декабрь 2012 . ... Copyright 2012-2013 - spprac.cs.msu.ru . ...
... О практикуме . ... 03.09.2015 10:34 / admin . Практикум 327 и 328 групп со вторника переносится на 1-ую пару в понедельник в 515 аудитории . ... Posted in: Без рубрики . 12.12.2014 16:15 / admin . ... 24.12.2013 22:37 / admin . Комиссия по практикуму состоится 28 декабря (суббота) в 10:00 в П-14. ... 12 сентября после занятия по курсу ?Конструирование ядра ОС? в МЗ-1 состоится организационное собрание для студентов 327 и 328 групп, посвященное практикуму по базам данных в осеннем семестре. ...