... Non-classical logics, logic in computer science. Computer science applications of modal logic, 5-9 September 2005, Independent University of Moscow . Advances in Modal Logic 2004, 9 - 11 September 2004, University of Manchester, UK . ... Advances in Modal Logic 2002, 30 September - 2 October 2002, Institut de recheche en informatique de Toulouse . ... In: Advances in Modal Logic, Volume 5. ... Advances in Modal Logic (2004), Department of Computer Science, University of Manchester, 331-343. ...

Еще в разделе: (Показать все результаты (>481) - www.mccme.ru/ )

• Labo J.-V.Poncelet: S.Lando
• Labo J.-V.Poncelet: V.B.Shehtman
• Labo J.-V.Poncelet: M.Raffinot

... On 15 May 2003 the Russian Aviation and Space Agency, S.P. Korolev Rocket and Space Corporation Energia and European Space Agency (ESA) concluded a contract to fly Spanish astronaut Pedro Duque, member of the European astronauts team as the transport spacecraft Soyuz TMA-1 flight engineer as the visiting crew VC-5 member (October 2003, ISS-7 and ISS-8 phase) to the International Space Station (ISS) and perform science research and experiments under Servantes SSM Project (ESA). ... Research Area . ...

Еще в разделе: (Показать все результаты (>1590) - www.energia.ru/ )

• S.P.Korolev RSC Energia - YAMAL-200 COMMUNICATIONS SATELLITE
• S.P.Korolev RSC Energia - A LINE OF PROSTHETIC APPLIANCES
• S.P. Korolev RSC Energia - Science News

... Report on Cosmic Call 1999 . ... Cosmic Call Sessions . ... This Report outlines methodology, hard- and software, which were developed to transmit first public Interstellar messages from Evpatoria Deep Space Center (EDSC), and describes four Cosmic Call Sessions, which were fulfilled in EDSC on May 24 and June 30 - July 1, 1999. ... Each Cosmic Call consists of two parts. ... Dutil Message, . ... The software for gathering all messages and creating the Cosmic Call stream, was written on C language. ...

Еще в разделе: (Показать все результаты (>423) - www.cplire.ru/ )

• Yulii V. Kislinskii
• Alexander V. Zaitsev
• Синтез и передача межзвездного радиопослания "Cosmic Call 2003"

... 20 , 2014, , Outlines · Cosmological impact of new stable particles: direct and indirect searches for dark matter · Cosmological patterns of particle symmetry breaking: archioles, massive PBH clusters, antimatter domains . ... They are: · Inflation · Baryosynthesis · Dark matter/energy All these phenomena imply extension of the Standard Model of Strong (QCD) and Electroweak Interactions. ... Dark Matter from Charged Particles? ... Advances in High Energy Physics, vol. ...

Еще в разделе: (Показать все результаты (>231) - master.sai.msu.ru/ )

• SAI Space Monitoring Laboratory

... Подписка на рассылку обзоров astro-ph на Subscribe.Ru . ... Astro-ph за первую половину 2003 г." . ... Нейтронные звезды и пульсары . ... Авторы проекта обзоров astro-ph . ... Самые интересные препринты astro-ph января 2003 года по материалам обзоров Архива на сайте Scientiic.Ru " . ... Authors: Paul C Hewett et al. astro-ph/0307223 Скопление галактик, спрятавшееся за М31:наблюдения RX J0046.4+4204 на XMM-Newton (A Cluster of Galaxies hiding behind M31: XMM-Newton observations of RX J0046.4+4204) . ...

Еще в разделе: (Показать все результаты (>589) - www.scientific.ru/ )

• Новости науки
• Обзоры hep-ph: тематический рубрикатор
• Best cited publications of Russian scientists

... GCR and SCR are primary cosmic rays. 10-15 years after the discovery of cosmic radiation (1919) there emerged two main avenues of investigation in the physics of cosmic rays (CR): 1) nuclear - elucidation of the origin of elementary particles and nuclear interactions; and 2) astrophysical (space physics) - solution of the problem related to the origin and variations (changes in intensity) of CR. ... Besides, the CR flux in interplanetary space is, strictly speaking, not isotropic. ...

Еще в разделе: (Показать все результаты (>9) - cgm.iszf.irk.ru/ )

• Sayan spectrographic cosmic ray complex Irkutsk 2000 meters
• Sayan spectrographic cosmic ray complex Irkutsk 475 meters
• Cosmic ray variations sites

http://hubblesite.org/newscenter/archive/releases/1996/22/text/ Probing the mysterious heart of the Crab Nebula, the tattered remains of a stellar cataclysm witnessed more than 900 years ago, astronomers using NASA's Hubble Space Telescope have found that the Crab is even more dynamic than previously understood, based on a cosmic "movie" assembled from a series of Hubble observations. ... Because of this flickering, the neutron star is also called a "pulsar." ...

Еще в разделе: (Показать все результаты (>237) - www.astro.louisville.edu/ )

• http://www.astro.louisville.edu/shared_skies/archive/select/ic/ic348/20121109/ic348_wikipedia_20130415.pdf
• http://www.astro.louisville.edu/shared_skies/documents/shared_skies_student_projects.pdf
• Index of /shared_skies/archive/select/unusual/coma_cluster

... Удивите ваших близких таким неожиданным и интересным подарком, ведь необычные подарки покоряют с первого взгляда. ' title=' Светильник подвесной MARIMI pendant nickel 5x20W 230V Massive 40655/17/10 - MassiveСветильник подвесной MARIMI pendant nickel 5x20W 230V Massive 40655/17/10' border='0' align='left' width='120' style='margin-right: 20px;' hspace='7' vspace='5'/> . ...

Еще в разделе: (Показать все результаты (>56) - astrokuban.info/ )

• Коврики в салон FORD Galaxy 2007->, мв., 5 шт. (текстиль, серые) -
• Наушники Sennheiser - Sennheiser - Sennheiser Кабель КОСМОС
• Очки солнцезащитные - Persol - Persol Девелопер Ricoh D1773020 тип К для Ricoh

Habble cosmic telescope. ... It became possible to study all occurrences on Mars (for example the season changings of the polar "hat" of Mars), on Jupiter satellites, ets. ... The scientists saw the details of the galaxy gas nebulas, the most dense central parts of the ball star congestions and galaxies to proof the existance in the cores of many galaxies invisible objects with the mass of hundred millions and milliards of the Sun's mass (evidently black holes). ...

Еще в разделе: (Показать все результаты (>98) - www.space.vsi.ru/ )

• lotsofgalaxiеse
• venerae
• starse

X-ray astronomy primarily involves the study of plasmas with thermal temperatures in the range of 1E6 to 1E8 K. Such plasmas radiate the bulk of their energy in the X-ray regime, from ca. 0.1 to 10 keV. ... Apart from X-ray continuum emission, produced through processes such as e.g. thermal bremsstrahlung, a significant fraction of the total emissivity of hot thermal plasmas can arise from line emission. ... XMM's science objectives are described here in two parts: . General science objectives . ...

Еще в разделе: (Показать все результаты (>3309) - xmm.vilspa.esa.es/ )

• Background Analysis
• Creating the mod-8 map

... THE SIMPLEST MODEL. ... 13, Moscow 119992, Russia E-mail: san@sai.msu.ru Abstract: The analysis of the simplest model shows that an asteroid ­ rubble pile evolves, depending on the parameter V2d (where V is the average velocity of fragments and d is the average distance between fragments), either as a conglomerate of "independent mutually gravitating clusters" (when V2d < fm, where f is the gravitational constant and m is the average mass of a fragment) or as a "receding cluster" (when V2d > fm). ...

Еще в разделе: (Показать все результаты (>101) - selena.sai.msu.ru/ )

• http://selena.sai.msu.ru/San/Publications/m44_56_leikin_sanovich.pdf
• Vladimir V. Busarev
• Aleksei A. Berezhnoi

The Official Publication of the Amateur Astronomers Association of Princeton Director Ludy D'Angelo (609) 882-9336 Assistant Director Jeff Bernardis (609) 466-4238 jeffbernardis@gmail.com Treasurer Michael Mitrano (609)-737-6518 michael.mitrano@att.net Program Chairman John Church (609) 799-0723 j.church@mindspring.com Secretary Editors Larry Kane Bryan Hubbard and Michael Wright (609) ... At the last meeting of the year in June, we were gathered at the State Museum Planetarium in Trenton. ...

Еще в разделе: (Показать все результаты (>102) - www.princetonastronomy.org/ )

• http://www.princetonastronomy.org/newsletters/10_2007sidereal.pdf
• http://www.princetonastronomy.org/newsletters/08_2004sidereal.pdf
• http://www.princetonastronomy.org/newsletters/octnewsletter.pdf

... Exposure Time Calculator (ETC) . Survey processing . ... VISTA is a 4-m class wide field survey telescope for the southern hemisphere, equipped with a near infrared camera (1.65 degree diameter field of view at VISTA's nominal pixel size) containing 67 million pixels of mean size 0.34 arcsec and available broad band filters at Z,Y,J,H,K s and a narrow band filter at 1.18 micron. A wide field visible camera, if constructed, could also be used on VISTA. ... Tile . ... ESO VISTA Public Surveys . ...

Еще в разделе: (Показать все результаты (>28) - www.vista.ac.uk/ )

• VISTA - Images of Mirrors
• VISTA Exposure Time Calculator Help v1.0
• Publications about VISTA

The new view on the population of Galactic open clusters A.E.Piskunov1, N.V.Kharchenko2, S.RЖser3, E.Schilbach3, R.-D.Scholz4 1 2 3 4 Institute of Astronomy, Moscow, Russia Main Astronomical ... Observatory, Kiev, Ukraine Astronomisches Rechen-Institut, Heidelberg, Germany Astrophysikalisches Institut Potsdam, Germany What are open clusters and what do they teach us Groups of Population I ... Cluster complexes: OCC-1 = Gould's Belt cluster complex? ...

Еще в разделе: (Показать все результаты (>3) - www.gpad.ac.ru/ )

University Satellites and . Space Science Education . ... It is necessary to select a topic interesting from scientific point of view and simple enough to allow students understand and participate in all stages of experiment from measurements via data analysis to physical inference. ... Solar modulation effects and physical characteristics and analysis of the major solar events are possible only by joining data from space-born and surface particle and radiation detectors. ...

Еще в разделе: (Показать все результаты (>6707) - cosmos.msu.ru/ )

• UNIVERSAT-2008: University Satellites in Space Sciences Education, Zvenigorod,
• UNIVERSAT-2009: University Satellites in Space Sciences Education, Zvenigorod,

... Meade Instruments Corporation . ... Autostar Computer Controllers . 497 Autostar . ... One of the most important advances in telescope control in the past 25 years, the Meade #497 Autostar Computer Controller turns the ETX into an automatic celestial object locating system. ... The #497 Autostar Computer Controller plugs into the control panel of ETX-90EC, ETX-105EC, and ETX-125EC telescopes and enables automatic location of more than 30,000 celestial objects. ... about meade | ... Meade 4M | ...

Еще в разделе: (Показать все результаты (>2455) - www.meade.com/ )

• Meade Instruments Corporation - What You Can See
• Meade Instruments - Telescopes, Solar Telescopes, Binoculars, Spotting Scopes
• Meade Series 4000 Broadband Nebular Filters

... MASTER Net is 56 square degrees per 1 exposition . ... 06 Dec 2015: GRB 151205B: MASTER-NET early optical observations GCN18665 . ... 18 Nov 2015: GRB 151118A: MASTER-NET optical observations GCN18613 . ... 12 Nov 2015: GRB 151112A: MASTER-NET optical limit GCN18591 . ... 07 Nov 2015: GRB 151107A: MASTER-NET optical observations GCN18565 . ... 31 Oct 2015: Five OTs detected by Global Robotic MASTER Net ATel8232 . ... 02 Oct 2015: GRB 151001B: MASTER-NET early optical observations GCN18380 . ...

Еще в разделе: (Показать все результаты (>223) - observ.pereplet.ru/ )

This is a progress report on the 2dF QSO Redshift Survey as was presented at the Second Coral Seas Cosmology Meeting on Dunk Island, September 1999. Three talks about the survey were presented at the conference. The others were.... QSO Clustering and Large-Scale Structure , Scott Croom et al . QSO Evolution and the Luminosity Function , B.J. Boyle et al . | << - Meeting Proceedings | Talk Overview - >> | . Robert J. Smith, ">rsmith@mso.anu.edu.au Last modified: Fri Sep 24 11:39:02 EST 1999 .

Еще в разделе: (Показать все результаты (>7) - www.2dfquasar.org/ )

• 2dF QSO Redshift Survey (2QZ)