... Доступность курса . ... Количество недель/тем . ... Задавайте интересные вопросы . ... Использование HTML-формата . ... Разрешить бинарные файлы . ... Импорт из CSV файла . ... Максимум записей . ... Импорт записей . ... Включить в отзыв текст ответа ученика . ... Минимальное количество вопросов в лекции . ... Импорт новых вопросов . ... Количество вопросов на странице . ... Вопросы c ответами в виде коротких фраз . ... Вопросы с ответами "верно"/"неверно" . ... Список всех файлов помощи . ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... Одновременное измерение локальных коэффициентов теплоотдачи и коэффициентов сопротивления на гладкой поверхности и на поверхности со сложным рельефом (лунки, выступы, канавки, насечки и т.п.), омываемых дозвуковым потоком воздуха, в диапазоне скоростей от 5 м/с до 120 м/с . ... Измерение локальных коэффициентов теплоотдачи нестационарным методом моделей и поверхностей, обтекаемых сверхзвуковым потоком воздуха . ...
Структура бактериальных рибосом . Бактериальная рибосома представляет собой очень сложный рибонуклеопротеидный комплекс, состоящий из 50 различных белков небольшого размера и трех рРНК размерами около 120, 1500 и 3000 нуклеотидов. Сборка бактериальных рибосом связана с поэтапным взаимодействием рибосомных белков (рбелков) с рРНК. Биогенез рибосом является очень затратным для клетки, что требует точной его регуляции. ...
... Аспирантура . ... ЗАЩИТА КАНДИДАТСКОЙ ДИССЕРТАЦИИ ВО ФРАНЦИИ . 21 ноября 2008 года в 14.00 в амфитеатре лаборатории CEREGE (г. Экс-ан-Прованс, Франция) прошла защита моей диссертации. ... Основное преимущество франко-русской аспирантуры заключается в том, что по результатам единой защиты диссертации (в России или во Франции) аспирант получает два диплома. ... В этом сертификате указаны ФИО и дата рождения защитившегося аспиранта, тема диссертации и дата защиты, а также состав жюри на защите. ...
... Желающим приобрести в дни работы конференции книгу В.К. Кедринского "ГИДРОДИНАМИКА ВЗРЫВА: ЭКСПЕРИМЕНТ И МОДЕЛИ" просьба до 16 августа написать запрос автору по адресу KEDR@hydro.nsc.ru или обратиться в службу маркетинга СО РАН: . ... Тел (3832) 301758 . Факс (3832) 333735 . ... ГИДРОДИНАМИКА ВЗРЫВА: ЭКСПЕРИМЕНТ И МОДЕЛИ . Научное издание . ... Издание осуществлено при финансовой поддержке Российского фонда фундаментальных исследований (издательский проект 97-02-30015) . ...