Для вашего досуга предлагаю очень интересный 5-минутный отрывок из "Очевидного-невероятного" (26.12.09), где Владимир Арнольд рассказывал о том, как его любимый А. Пуанкаре подарил . ... Вот ссылка : (flv-видео: 5 мин, 8.4MB) . Даже если вы когда-то и видели эту передачу, все равно, полагаю, будет интересно освежить ее в памяти либо поделиться этой ссылкой с друзьями. Последнее обновление: 13.03.2013. ...
... О кафедре . ... Опубликовано avst в Март 13, 2016 - 20:27. ... Заседание спецсеминаров "Искусственный интеллект" и "Парадигмы программирования" 15 марта 2016 г. будет совместным и пройдет (как обычно, в 18:00) в ауд. 526-б . ... В прикрепленном файле ответы на 2 вариант экзамена по курсу "Языки программирования" . ... Опубликовано avst в Декабрь 21, 2015 - 21:03. ... 2 поток - в 10.00, ауд. ... к.ф.-м.н. Математический спецкурс кафедры алгоритмических языков . ... кафедра АЯ ВМК МГУ, 2009 2014 . ...
... It is shown, that receptive cluster behaves as the transmembrane molecular trigger. ... The primary signal will gain in 103 - 107 times in the total, and the process is terminated by general depolarization of neuron membrane with a spike generation. ... Fig. 1 shows, how the electrical and chemical stimuli's control dimer conformations by increasing or decreasing a distance between GCs and causing depolarizing or hyperpolarizing conformation transitions (DCT or HCT) respectively. ... Fig. ...
[
Текст
]
Ссылки http://acat02.sinp.msu.ru/presentations/radchenko/MolecularTiggersforInternet.doc -- 135.0 Кб -- 18.07.2002 Похожие документы
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...