... На этой странице собрана информация о докладах на общеуниверситетском семинаре "Глобус" в весеннем семестре 2005 года. What follows is the list of talks at the IUM general seminar "Globus" delivered during spring semester, 2005. ... 13.01.2005, 15:40 . ... As for provability , the satisfiability problem for various modal or temporal logics for reasoning on automata or concurrent systems is equivalent to the existence of winning strategies in associated games. ...

. [AUTO] [KOI-8R] [WINDOWS] [DOS] [ISO-8859] . HTML . Get Source . Программа курса . Лекция 1 . Лекция 2 . Лекция 3 . Лекция 4 . Лекция 5 . Лекция 6 . Лекция 7 . Лекция 8 . Лекция 9 . Лекция 10 . Вопросы к зачету . Вопросы к 27.05.97 . Результаты зачета 16 мая 1997 г.

... Recent Topics . ... MAO main . ... Message from the General Secretary to the IAU membership . ... Тема: Message from the General Secretary to the IAU membership . ... IAU Directory for World Astronomy and NameExoWorlds contest . ... The IAU Directory for World Astronomy ( directory.iau.org/ ) has been created not only for astronomy clubs and organisations, but also more generally for associations having an interest in astronomy (history, culture, etc.) ... www.iau.org/ . ... MAO NASU . ...

... IAU General Assembly XXVII - Joint Discussion #12 . ... IAU General Assembly XXVII . ... Recent observational and theoretical results show that the period between recombination and the end of the reionization era is very dynamic in terms of star and galaxy formation. ... Formation of the first galaxies . ... Joint Discussion 12 was part of the scientific programme of the XXVII General Assembly of the International Astronomical Union, which took place in Rio de Janeiro, Brazil, August 3-14 2009. ...

... How to ingest general/static calibration files . How to change names of already ingested calibration files . General or static calibration files are usually delivered together with a pipeline installation. ... For safety: copy all general/static calibration files into e.g. $DFO_CAL_DIR/gen_newnames and work there . ... Fix header keywords : use modhead and/or replacekey and verify with dfits . ... Hint when using modhead . ... Rename : use renameProducts to create new names . ...

... Gallery . The 2003 fires . Mount Stromlo after the fires by Jason PhilliтАж . A general view of the Stromlo site . Sidebar Left . Sidebar Top . No Sidebar . Sidebar Bottom . Sidebar Right . View full size . Title: A general view of the Stromlo site . Description: House 16 and Bachelor's Quarters in the foreground. Courtesy Snowy Mountains Helicopters . ... A general view of the Stromlo site House 16 and Bachelor's Quarters in the foreground. ...

... Space flight . Crew training . ... Space camp . ... mastering the theoretical principles of astronautics; . studying the main components of a manned space complex - transporting spacecrafts (of the types "Soyuz", "Shuttle", ASS (Aviation Space System), etc.), orbital complexes (of the ISS (International Space Station) type), launching complex, Flight Control Center (FCC), search and rescue complex; . ... acquiring theoretical knowledge and initial practical skills of work in spacesuits; . ...

... Consequently, it is inappropriate to expand and in ordinary spherical harmonics. The proper expansion expresses both and simultaneously in terms of a particular order of generalized spherical harmonics. ... Generalized spherical harmonics start at , and for each , . ... Generalized spherical harmonics obey a sum rule analogous to a familiar one for ordinary spherical harmonics, but it includes an explicit phase factor which depends on the orientation of the two lines of sight. ...

Next: In-Line Documentation Up: Program Development Previous: Program Development . ... Though you should program in standard FORTRAN, two extensions will generally be needed by the programmer. Firstly Miriad uses both upper and lower case character strings (Fortran-77 strictly supports only upper case characters. ... Secondly Miriad tasks should use the maxdim.h include file where appropriate. ... Next: In-Line Documentation Up: Program Development Previous: Program Development Miriad manager . ...

... This chapter describes the PEPSYS package for general photometric reductions. The function of photometric reductions is to measure and remove, so far as possible, the instrumental signature from the data. ... The package contains two main parts: a planning program and a reduction program. The planning program interacts with the user to find out the goals of the observing program, and then produces a schedule of the observations needed to meet those goals efficiently. ... ASCII source files . ...

... Archives . ... mini-Workshop on Computational AstroStatistics [announcement] . ... Posted by chasc . For general comments. ... Comment ( RSS ) | ... Comments RSS . ... General comments . ... Algorithms arXiv Astro Bad AstroStat Bayesian CHASC Cross-Cultural Data Processing Fitting Frequentist Galaxies gamma-ray High-Energy Imaging Jargon Job Languages MC MCMC Meta Methods Misc News Nuggets Objects Optical Physics Quotes Spectral Stars Stat Timing Uncertainty X-ray . ... Chandra Blog . ...

General Information . ... The conference is organized by the Sternberg Astronomical Institute (SAI) of Moscow University and the IAU Working group "Site-testing Instruments" . ... Use of site data in telescope operation and adaptive optics. ... Recent conferences on this subject (2007, 2008) demonstrated great interest of the community, hence the need for a new meeting. ... Unlike previous recent conferences, this meeting will cover all aspects of site monitoring for optical/IR astronomy. ...

... General debugging: . hvps . ... Debugging ground switch not lifting . 28may12 : ground switch opening during run. 190154 sh1,2 - Schematic diagram hvps control . 190153 sh1,3 - control assembly hvps. shows location cables,tbX, etc. 190235 sh1-5 - schematic diagram hvps control main board . 190235 sh3 lattice fpga chip . ... 190374 logic diagram for lattice cominatorial logic. 190152 sh 1-12 System supervisor chassis sh 1-12 . ... Debugging Ground switch: . ... fpga logic on 190374 . ...

IV съезд Астрономического Общества . ... Одобрить деятельность межведомственной комиссии по программе "Астрономия", созданной по рекомендации III Съезда АстрО. ... Отчетный доклад и другие материалы IV Съезда АстрО опубликовать в Бюллетене АстрО N 6. ... Поручить Правлению рассмотреть на ближайших заседаниях предло- жение Европейского АстрО о проведении съезда ЕАО 2000 г. в России совместно со съездом АстрО (JENAM-2000) и принять решение по этому вопросу. ... IV СЪЕЗДА АСТРОНОМИЧЕСКОГО ОБЩЕСТВА . ...

... Сегодня: 10 апреля 2016 г. Американская корпорация General Dynamics, производитель самолетов Gulfstream, купит самолетостроительную компанию Galaxy Aerospace за $330 млн. Как сообщает информационное агентство Bloomberg, General Dynamics также вероятно выиграет заказ стоимостью около $2 млрд. от Executive Jet Inc. на поставку 50 самолетов Galaxy и комплектующих к ним. ... Galaxy является совместным предприятием Hyatt Corp. и Israel Aircraft Industries Ltd., которой владеет израильское правительство. ...

STEP INTO THE BLUE - MEADE INSTRUMENTS PRODUCT GUIDE . ... Telescopes . ... Superb optical performance coupled with time proven computerized pointing and tracking has made the LX200 ACF series a best-seller in the high-performance telescope class. ... Meade's revolutionary LS LightSwitchтДв series of telescopes use advanced technologies to do what no other consumer telescopes have done before: take all the hassle out of using a telescope. ... LightBridge Series . ... General Accessories . ...

General Knowleges about Astrometry. ... Universal Tool, Meridian Tool, Meridian Circle, Vertical, Photografic Zenithal Telescope, Astrolabe, Zenith Telescope, Horizontal Meridian Circle, etc. Meridian Principle of Objects' Coordinates Determination. ... Absolute and Relative Methods of Coordinates Determination. ... Photografic Method in Astrometry. Telescopes for Position Observations by Photografic Method. ... Basis and Theory of Photografic Method of Coordinates Determination. ...