Это новая версия каталога журналов, первоначально созданная Владимиром Мельгуновым. Журналы добавляются и редактируются студентами биологического факультета МГУ. ... Издательства на 'M' . Название издательства . Журналов . ... 1992 - today . rus . ... not defined] . usa . ... Mary Ann Liebert Inc. 13 . ... JCatalog | ...
ISSN 1560-3547, Regular and Chaotic Dynamics, 2008, Vol. 13, No. 5, pp. 443-489. c Pleiades Publishing, Ltd., 2008. NONHOLONOMIC MECHANICS Conservation Laws, Hierarchy of Dynamics and Explicit Integration of Nonholonomic Systems A. V. Borisov* and I. S. Mamaev* * Institute of Computer Science, Udmurt State University, ul. Universitetskaya 1, Izhevsk, 426034 Russia Received April 4, 2008; accepted August 30, 2008 Abstract--This paper can be regarded as a continuation of our previous work [1, 2] on the
[
Текст
]
Ссылки http://ics.org.ru/upload/iblock/4e8/148-conservation-laws-hierarchy-of-dynamics-and-explicit-integration-of-nonholonomic-systems-_en.pdf -- 509.2 Кб -- 28.10.2015 Похожие документы
Network Working Group EARN Staff Request for Comments: 1580 EARN Association FYI: 23 March 1994 Category: Informational Guide to Network Resource Tools Status of this Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited. Table of Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . 4 2. GOPHER . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1. What is Gopher . . .
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... Учебные курсы . ... Создать новый курс. ... Удалить курс, для которого не созданы группы, нет подписанных на него пользователей и не загружены методические материалы, можно воспользовавшись ссылкой (Удалить) рядом с названием курса. ... Пользователь, подписанный на учебный курс, получает доступ к методическим материалам курса и к форуму по курсу, для полноценного процесса обучения (получения консультаций преподавателя, выполнения контрольных заданий) пользователя следует включить в учебную группу. ...
... Модели конкуренции: динамика численности и эволюция фенотипа . пособие по компьютерному практикуму) . ... Данный раздел компьютерного практикума посвящен изучению закономерностей изменения численности двух нескрещивающихся популяций X и Y , конкурирующих за общий ресурс, путем построения математических моделей этого процесса. ... Решающее значение, как мы увидим, имеет механизм торможения роста численности популяции при увеличении ее плотности. ... Модель неограниченного экспоненциального роста . ...
How to sequence a glacier: a computational biologist's rough guide Sulbha Choudhari, Ruchi Lohia, Andrey Grigoriev Rutgers University, 315 Penn St, Camden NJ 08055, USA, agrigoriev@camden.rutgers.edu This talk will describe the motivation behind sequencing a glacial environmental sample, challenges in collecting and sequencing it as well as the insights from the analysis of the results and comparisons with other metagenomes. ... Other estimates also suggested relative simplicity of glacial life. ...
[
Текст
]
Ссылки http://mccmb.belozersky.msu.ru/2013/abstracts/abstracts/38.pdf -- 69.6 Кб -- 08.03.2013 Похожие документы
LOCAL TSUNAMI WARNING AND MITIGATION ________________________________________________________________________________________________________________________________________ EFFECT OF ASTRONOMICAL FACTORS ON ENERGY DENSITY VARIATIONS IN THE EARTH SOLID MANTLE Boris W. Levin1, Vladimir P. Pavlov 1 2 P. P. Shirshov Institute of Oceanology RAS, Moscow, Russia 2 Steklov Institute ... Here 0 is mean density of the Earth, R is polar radius, is a latitude of the lithosphere element. ...
ARTICLE IN PRESS Journal of Sound and Vibration 267 (2003) 1047 1064 JOURNAL OF SOUND AND VIBRATION www.elsevier.com/locate/jsvi Interaction of eigenvalues in multi-parameter problems A.P. Seyranian*, A.A. Mailybaev Institute of Mechanics, Moscow State Lomonosov University, Michurinsky pr. ... Both complex and real eigenvalues are considered. ... Two simple real eigenvalues approach, and then diverge as Dp1 is changed; a double eigenvalue does not appear; see Fig. ... Imz z 2 0 z 1 Rez Fig. ...
[
Текст
]
Ссылки http://mailybaev.imec.msu.ru/papers/SeyranianMailybaev2003.pdf -- 211.6 Кб -- 14.06.2005 Похожие документы