Astronet Поиск по астрономическим сайтам English Russian
       
        Точная форма слов   О проекте   Сайты   Справка
Найдено документов: 184253 (209 сайтов) ---- Время поиска: 0.72сек.   

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | След.

Показаны документы, содержащие фрагменты текста из документа
http://www.cplire.ru/Lab144/alt/01070100.html.

1. Actor Prolog. Programming language definition.
Актором называется подцель доказательства , соответствующая акторному вызову предиката . Актор Q называется " вложенным " по отношению к актору P, если эти акторы принадлежат одному процессу , и доказательство актора Q, результаты которого в данный момент не отменены, происходит (произошло) в ходе доказательства актора P. Нейтрализацией актора называется отмена всех результатов его доказательства , за исключением результатов доказательства вложенных по отношению к нему акторов . ...
[ Сохраненная копия ]  Ссылки http://www.cplire.ru/Lab144/koi8/01070100.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Еще в разделе: (Показать все результаты (>949) - www.cplire.ru/ )

2. http://xray.sai.msu.ru/~polar/sci_rev/opros1.html
В апреле 2003 г. на форуме журнала Звездочет и на Общей конференции мы провели опрос с целью выявить наиболее интересные темы. В опросах (с 6 по 13 апреля) приняло участие 36 человек. Голоса распределились так: . Космология - 10 . Экзопланеты, образование планет - 5 . Солнечная система - 4 . Методы наблюдений, новые проекты - 4 . Звездная астрофизика, звездообразование - 4 . Черные дыры - 3 . Численное моделирование - 1 . Другой ответ - 5 . вернуться к обзору . Поставьте у себя наш баннер!
[ Сохраненная копия ]  Ссылки http://xray.sai.msu.ru/~polar/sci_rev/opros1.html -- 1.8 Кб -- 16.05.2003
[ Сохраненная копия ]  Ссылки http://astro.uni-altai.ru/astro-ph/opros1.html -- 1.7 Кб -- 27.02.2014
Похожие документы

3. Общая Астрономическая Конференция
... Сообщение форума . ... Поиск . Сообщения за день . ... Настройки Личные сообщения Подписки Кто на форуме Поиск на форуме Главная страница форума Форумы общей направленности Любые вопросы от новичков Общий форум любителей астрономии Непознанное, необъяснимое, загадочное Теоретическая астрономия Практика Астрономические наблюдения Астрономическая фотография Своими руками Товары для астрономов Астрономическое оборудование Новости магазина Телескоп Продукция Meade, Coronado, Bresser ...
[ Сохраненная копия ]  Ссылки http://www.starlab.ru/attachment.php?attachmentid=1315&stc=1&d=1155063157 -- 24.3 Кб -- 06.09.2008
Похожие документы

4. Астронет > Три года наблюдений WMAP: Результаты
... Астронет | ... Три года наблюдений WMAP: Результаты . ... последняя посвящена некоторым аспектам аппаратуры и обработки данных. ... Стандартной" сегодня считается плоская Lambda-CDM модель (пишется CDM, что означает космологическую модель, в которой плоская Вселенная заполнена -членом (темной энергией) и холодной темной материей (Cold Dark Matter)). ... Данные WMAP согласуются с моделью плоской или практически плоской Вселенной в которой свойства темной энергии близки к -члену (w=-1). ...
[ Сохраненная копия ]  Ссылки http://www.astronet.ru/db/msg/1212514 -- 27.6 Кб -- 27.02.2014
Похожие документы

5. nucl-ex/0611040Недавние результаты с RHIC и некоторые уроки для
... В теме В разделе По форуму . ... Темы, интересные всем ? ... Научная панорама ? nucl-ex/0611040Недавние результаты с RHIC и некоторые уроки для физиков-космиков . предыдущая тема следующая тема . ... 0 Пользователей и 1 Гость просматривают эту тему. ... миниобзор nucl-ex/0611040 Недавние результаты с RHIC и некоторые уроки для физиков-космиков (Recent Results from RHIC & Some Lessons for Cosmic-Ray Physicists) . ... RHIC - Релятивистский коллайдер тяжелых ионов. ...
[ Сохраненная копия ]  Ссылки http://www.astronomy.ru/forum/index.php/topic,22317.0.html -- 30.3 Кб -- 10.04.2016
Похожие документы

6. ФГОС программа. Личностные результаты
... Онлайн-подготовка к ЕГЭ . ... Результаты ЕГЭ . ... Методика использования . ... Стандарты образования . ... ТРЕБОВАНИЯ К РЕЗУЛЬТАТАМ ОСВОЕНИЯ ОСНОВНОЙ ОБРАЗОВАТЕЛЬНОЙ ПРОГРАММЫ СРЕДНЕГО (ПОЛНОГО) ОБЩЕГО ОБРАЗОВАНИЯ . ... Стандарт устанавливает требования к результатам обучающихся, освоивших основную образовательную программу среднего (полного) общего образования: . ... Личностные результаты освоения основной образовательной программы среднего (полного) общего образования должны отражать: . ...
[ Сохраненная копия ]  Ссылки http://www.college.ru/pages/106-lichnostnye-rezul-taty.html -- 49.5 Кб -- 09.04.2016
Похожие документы

7. Обсерватория ТЕСИС опубликовала результаты наблюдения активной области 1029
... Активная область 1029 в поле зрения двух телескопов: . ... Обсерватория ТЕСИС подводит итоги наблюдений группы 1029 - самой крупной активной области этого года, сформировавшейся на диске Солнца 22 октября и ставшей причиной наиболее значительного всплеска солнечной активности в текущем году . ... 25 октября 2009: . ... Галереи изображений: Формирование активной области 1029 галерея изображений с 22 по 24 октября 2009 года . ... Фильмы: Активная область 1029 глазами ТЕСИС фильм формата WMV, 5.7 МБайт...
[ Сохраненная копия ]  Ссылки http://www.tesis.lebedev.ru/info/tesis_20091104.php -- 13.8 Кб -- 01.10.2012
Похожие документы

8. В результате землетрясения в Азии сутки на Земле станут короче, полагают
... Сегодня: 10 апреля 2016 г. Подземный толчок, вызвавший сильнейшее землетрясение в Юго-Восточной Азии, вызовет ускорение вращения Земли вокруг собственной оси, что повлечет за собой уменьшение времени суток. ... Ученые отмечают, что смещение оси вращения Земли не стало неожиданным, так как подобное происходит при любой крупномасштабной природной катастрофе. ... В результате землетрясения в Азии сутки на Земле станут короче, полагают российские ученые . Астероид 2004 MN4 промахнется мимо Земли . ...
[ Сохраненная копия ]  Ссылки http://news.cosmoport.com/2004/12/29/5.htm -- 23.3 Кб -- 10.04.2016
Похожие документы

9. ОБСУЖДЕНИЕ РЕЗУЛЬТАТОВ
... Все приведенные выше рассуждения оказываются верны, если не произошло каких-либо существенных изменений орбиты двойной после вспышки сверхновой. ... Наклон плоскости орбиты к оси вращения оптической звезды, вызывает прецессию последней. ... Однако из-за большого орбитального периода рассматриваемой двойной системы (3.4 года) и следовательно большого расстояния между компонентами в периастре эти эффекты не могли существенно повлиять на параметры орбиты за характерный динамический возраст пульсара лет...
[ Сохраненная копия ]  Ссылки http://xray.sai.msu.ru/~mystery/articles/kick_h/node6.html -- 4.2 Кб -- 21.08.1996
Похожие документы

10. http://www.mccme.ru/circles/oim/mmks/works2015/basimova1re.doc
ОТЗЫВ На работу Н.Басимовой « О семействах касающихся шаров, лежащих на плоскости». ... Однако, попытка изложить в одной работе несколько результатов увеличивает вероятность появления ошибок в формулировках или доказательствах. ... В параграфе 2 задача 1 формулируется, как «Восстановите шары» и теорема 1, что эта задача имеет единственное решение. ... Параграф 2, помимо доказательства теоремы 1, содержит способ построения радиусов шаров, предложение 1 и два следствия. ... Поэтому их лучше удалить. ...
[ Текст ]  Ссылки http://www.mccme.ru/circles/oim/mmks/works2015/basimova1re.doc -- 29.0 Кб -- 12.09.2015
Похожие документы

11. Облако молодых звезд как результат столкновения галактик
... То, что похоже на голову птицы, наклонившейся над пищей, является результатом столкновения галактик: большой спиральной, чье ядро не затронуто и маленькой, находящейся в нижнем правом углу снимка. Галактики не просто гравитационно взаимодействуют - они действительно перенесли столкновение. ... Так маленькая галактика отметила свой путь через тело большой полосой молодых ярких глубых звезд. ...
[ Сохраненная копия ]  Ссылки http://www.scientific.ru/hubble/0034.html -- 4.6 Кб -- 22.12.2013
Похожие документы

12. Результаты научных работ 6
Сжатие облака газа в области звездообразования . ... Замечательный во многих отношениях радиоисточник Стрелец В2 был исследован в радиолинии HI на волне 21 см, линиях OH на частотах 1665 и 1667 МГц и линии поглощения H2CO на волне 6.2 см. Эти данные позволили создать динамическую модель облака газа, окружающего этот объект. ... Результаты по линии поглощения Н2СО (рис.1) показали, что центральная часть облака представляет собой клочковатую оболочку диаметром 9 пк с радиальным движением 20 км/сек. ...
[ Сохраненная копия ]  Ссылки http://mavr.sao.ru/hq/lrs/res6.win.html -- 3.1 Кб -- 09.04.2016
[ Сохраненная копия ]  Ссылки http://www.sao.ru/hq/lrs/res6.win.html -- 3.1 Кб -- 09.04.2016
[ Сохраненная копия ]  Ссылки http://jet.sao.ru/hq/lrs/res6.win.html -- 3.1 Кб -- 09.04.2016
Похожие документы

13. Главные научные результаты сближения "Вояджера-2" с Ураном - Астрономия и...
Астрономия и Космос Астрономия сегодня Научные исследования . ... Динамика атмосферы образует зональные течения, симметричные относительно оси вращения планеты . ... Комментарии к Главные научные результаты сближения "Вояджера-2" с Ураном . Ссылки по теме Главные научные результаты сближения "Вояджера-2" с Ураном: . Главные научные результаты сближения "Вояджера-2" с Ураном . Уран и Нептун . Главные научные результаты сближения "Вояджеров" с Сатурном . ... Астрономия и космос . ...
[ Сохраненная копия ]  Ссылки http://space.rin.ru/articles/html/344.html -- 25.1 Кб -- 09.04.2016
Похожие документы

14. Космический зонд Hayabusa, результаты миссии на Итокава
Астероиды - космические лилипуты . ... Зонд NEAR . Зонд Hayabusa . ... Страница: Японский "Сокол" , Миссия зонда "Hayabusa" , Hayabusa над Itokava ( Part #1 , Part #2 , Part #3 ), Подведение итогов: "Итокава" , Hayabusa на Земле , Первые результаты! Part #1, Part #2 ) ; . ... Первые результаты Hayabusa . ... Несмотря на ошибку, нарушившую запланированную последовательность забора грунта, и невзирая на целую серию смертельных неисправностей, японский 'Сокол' привез на Землю бесценную добычу. ...
[ Сохраненная копия ]  Ссылки http://galspace.spb.ru/index254.html -- 21.4 Кб -- 09.04.2016
Похожие документы

15. Результаты пробной щелевой спектроскопии
Next: Выводы Up: KISS (KPNO International Spectral Previous: Список выделенных кандидатов . В разное время, в течение обзора, и для разных целей авторы пробовали получать щелевые спектры ряда эмиссионных кандидатов, выделенных в процессе обработки данных. ... Был снят спектр кандидата KISS 1141+292, который показал наличие эмиссионной линии [OIII] 5007 ?, имеющей эквивалентную ширину W=70 ?, что подтвердило общую правильность избранной методики для поиска эмиссионных галактик этого класса. ...
[ Сохраненная копия ]  Ссылки http://www.sao.ru/precise/Laboratory/Dis_akn/node108.html -- 11.9 Кб -- 08.07.1999
Похожие документы

16. Metagalaxy scientific results 1994
... 1994: . Впервые определено содержание железа в газовых компонентах 7 голубых компактных карликовых галактик. Средний избыток кислорода по отношению к железу составляет [O/Fe]=0.34, что характерно для звезд гало Галактики. ... В рамках программы "Большое трио: БТА - РАТАН - VLA" на 6-м телескопе БТА завершены оптические отождествления первой и второй подвыборок (40 объектов) радиоисточников с крутыми спектрами из каталога "РАТАН-Холод". ...
[ Сохраненная копия ]  Ссылки http://www.sao.ru/Doc-k8/Science/results/ar_metagal/res1994.html -- 6.6 Кб -- 10.04.2016
[ Сохраненная копия ]  Ссылки http://mavr.sao.ru/Doc-k8/Science/results/ar_metagal/res1994.html -- 6.6 Кб -- 10.04.2016
Похожие документы

17. Результаты поступления выпускников 2008/2009
Результаты ЕГЭ выпускников 2008/2009 . ... Остальные предметы сдавали 1-2 человека, результаты на 10 баллов выше среднего по Москве. ... МГУ - поступило 6 человек . Юридический факультет - 2 человека (бюджет) . Экономический факультет - 1 человек (бюджет) . ... Высшая школа экономики - поступило 2 человека Юридический факультет - 1 человек (бюджет) . ... Российский Государственный Гуманитарный Университет (РГГУ) - всего поступило 2 человека на факультет международных отношений (бюджет) . ...
[ Сохраненная копия ]  Ссылки http://www.schools.keldysh.ru/sch1204/rus_lessons1.htm -- 5.1 Кб -- 07.03.2010
Похожие документы

18. РКК "Энергия" - Международная космическая станция
... РАКЕТНО-КОСМИЧЕСКАЯ КОРПОРАЦИЯ ЭНЕРГИЯ ИМЕНИ С.П. КОРОЛЕВА . ... ОАО РКК "Энергия" . ... История предприятия . ... История . ... Хронология полетов . ... История проекта . ... Эксперименты и исследования с 2013 года . Эксперименты и исследования (2000-2013) . ... Эксперименты и исследования | ... Выявление наличия и характера влияния факторов космического полета на активность модельного ферментного препарата по отношению к специфическому субстрату. ... 2015 ОАО "РКК "Энергия" им. С.П. Королева" . ...
[ Сохраненная копия ]  Ссылки http://www.energia.ru/ru/iss/researches/biology/10.html -- 26.5 Кб -- 10.04.2016
Похожие документы
Еще в разделе: (Показать все результаты (>1606) - www.energia.ru/ )

19. Выводы и результаты работы
... Звездные населения в NGC Содержание . Была широко и всесторонне изучена очень необычная линзовидная галактика. ... В дополнение ко внешним оболочкам, в NGC 474 были обнаружены слабые оболочки во внутренних областях галактики галактики . ... Газ из поглощенной галактики и газ из первоначального диска NCG 474, под действием приливных моментов, в сложном триаксиальном потенциале эффективно свалился в центральные области галактики и вероятно вызвал там вспышку звездообразования. ...
[ Сохраненная копия ]  Ссылки http://lnfm1.sai.msu.ru/~math/curs/node17.html -- 5.1 Кб -- 12.02.2005
Похожие документы

20. Perspective Извещение о результатах конкурса 'Перспектива'
Тема "Перспектива" . Основание для проведения конкурса . ... Правила представления работ . Правила отбора работ . Комиссия по отбору работ . Форма проведения конкурса . Работы, представленные на конкурс . Результаты конкурса . Извещение о результатах конкурса 'Перспектива'. Рассмотрев результаты работы комиссии ученого совета по оценке работ, поданных на конкурс 'Перспектива', научная дирекции приняла решении о поддержке следующих работ, поданных на конкурс. ? ...
[ Сохраненная копия ]  Ссылки http://www.iki.rssi.ru/perspect/08_comp.htm -- 9.5 Кб -- 10.10.2002
Похожие документы

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | След.


Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда

Rambler's Top100 RFBR Яндекс цитирования