... Actor Prolog supports so-called repeated proving of sub-goals. ... Logical actors are a name of these repeatedly proved sub-goals. ... A logic program consists of sub-goals that must be proven in the course of an execution of the program (like a usual imperative program consists of commands to be executed). ... There are some logical actors in the outside world from the standpoint of the ideology of Actor Prolog , and a program interacts with these external actors. ...

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

• features Coming Soon to a Channel 50 Near You
• Report on Cosmic Call 1999
• Actor Prolog User Guide. Residents.

... It was done. ... Agenda of the RadioAstron teleconference August 25, 2010 Corrections to the Agenda 1 2 3 N. Kardashev N. Kardashev N. Babakin Project status Present status of tests of science payload in LA Brief review of Pushchino TS verifications with Venus Express: current status and outlook Current status and activities related to TS in South Africa and in New Zealand Action items L.Gurvits S.Likhachev S.Gulyaev M.Popov 4 5 Chairman: N.Kardashev List of ...

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

• Appendix C: RMOH revision history

... 7.03.2001 . ... Credit: AMOS, AEOS ; Courtesy Compton GRO Science Support Center Explanation: On 2000 June 4, the 17-ton Compton Gamma-Ray Observatory returned to Earth after 9 years in orbit -- ending its remarkable voyage of discovery. ... March 2001 . ... 1999 2000 . ... NASA Web Site Statements, Warnings, and Disclaimers . ... Publications with keywords: orbit - satellite - compton - gro . Publications with words: orbit - satellite - compton - gro . ... Compton Observatory In Orbit . ...

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

• Comet Hale-Bopp Returns
• Stardust Capsule Returns to Earth
• Астронет > Stardust Capsule Returns to Earth

... These files are then FTP'ed to the FTP Server and the client is notified of the link to access the files. ... If the files are of a format supported for viewing in the Web Browser e.g., Search and Retrieval of AXAF Data Archive 411 Archive Server Web Server Applet SQL Server FTP Server Workaround Ideal Binary Stream of File Contents Binary Stream of File Contents 4GL Binary Stream FTP files Re­create files client application (cgi­script ) Data Archive Archive...

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

• http://www.stecf.org/conferences/adass/adassVII/reprints/zografoup.ps.gz
• Contents
• No Title

... ISC Kosmotras . ... Cluster Launch of Dnepr LV 22 August 2013 KOMPSAT-5 Launch 21 November 2013. ... Being the 8th commercial launch for Dnepr, this is also its first 'return to flight' mission since the failure encountered on July 27, 2006 during liftoff from Baikonur. In parallel with the successful completion of its first launch campaign in 2007, ISC Kosmotras continues preparations for the next two Dnepr launch missions scheduled to fly from Baikonur and Yasny launch bases. ... Dnepr Program . ...

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

... Date of positions of observation Reference files of of period for satellites obser- Content liles entry J1 J2 J3 J4 vation Data * Y M D ----------------------------------------------------------------------------------------------------------------------- 1891-1978 1370 1467 1175 1269 phot rel 17 sites Arlot (1982) Content Data - jg0001 01/07/09 1998-1998 2 7 4 3 CCD rel Pulkovo Kisseleva & Izmailov (2000) Content Data - jg0002 01/03/01 1998-1998 3 8 mer abs El Leoncito HISP.- ...

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

... This information is used by rochesterastronomy for the operation of the service, to maintain quality of the service, and to provide general statistics regarding use of the rochesterastronomy Web site. ... The rochesterastronomy Web site use "cookies" to help you personalize your online experience. ... For example, if you personalize rochesterastronomy pages, or register with rochesterastronomy site or services, a cookie helps rochesterastronomy to recall your specific information on subsequent...

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

Next: Observational Zoo of Binaries Up: No Title Previous: Contents . In the early 1980s, our understanding of binary star evolution љ based on the pioneer work by Paczynski (1971)[ 150 ], Tutukov and Yungelson (1973)[ 195 ], van den Heuvel and Heise (1972)[ 201 ], allowed us to construct a general evolutionary scenario љ which successfully explained the genesis of well-studied normal stars and offered potential explanation for new X-ray sources discovered in space experiments. ...

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

• Page contents
• Contents
• Table of Contents of Zombeck's Handbook of Space Astronomy and Astrophysics

... В четверг, 14 апреля 2016 г., состоится семинар кафедры астрофизики. Повестка дня . ... Начало в 11 час.15 мин. Ауд. ... В четверг, 31 марта 2016 г., состоится семинар кафедры астрофизики . ... В четверг, 24 марта 2016 г. , состоится семинар кафедры. ... В четверг, 17 марта 2016 г. , состоится заседание кафедры. ... ОСП НИИ ПММ Национального исследовательского Томского государственного университета) . ... Copyright 2016 Астрономия в Санкт-Петербургском университете . ...

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

• The Stellar Content and Distance to the Nearby Blue Compact Dwarf Galaxy
• Scientific rationale | Radiation mechanisms of astrophysical objects: classics
• X-Ray WWW Server

. Parent Directory . English pages Международная олимпиада Астрономического Общества . Российская олимпиада школьников по астрономии и физике космоса . Олимпиады ННЦ - Открытые Московские областные олимпиады . Московские городские астрономические олимпиады школьников . Петербургские городские астрономические олимпиады школьников . Полезная информация для любителей астрономии . Back to Подмосковный филиал МГУ им. М.В.Ломоносова . Michael G. Gavrilov - 1996, 1997, 1998, 1999.

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

• Contents of Russian pages of /univer
• Contents of /univer
• Content of impurities in CdSe powder

. Parent Directory . chapter1 . chapter2 . chapter3 Apache/1.3.42 Server at www.college.ru Port 80

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

• Index of /physics/courses/op25part2/content/chapter1/section
• Index of /physics/courses/op25part1/content
• Index of /physics/courses/op25part1/content/chapter3/section

THE NAUTICAL ASTRONOMICAL ALMANAC (in Russian-English) . NAA-2 provides an easy access to useful navigational publications aboard a ship. ... In conformity with the STCW95 Code provisions, every watch officer, chief mate and master should be able to use classic methods of nautical astronomy, so they will surely appreciate the new ?Nautical astronomical almanac? available. ... Ph.D. M.L. Sveshnikov (editor-in-chief), . ... Ph.D. N.I. Glebova , . ... THE NAUTICAL ASTRONOMICAL ALMANAC . ...

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

• Included content
• NAY 2005 (contents)
• AY2016 (contents)

Astronomy Discussion Forums . Forums: . ... Discussion Forums . ... You Bicker Instead Of Answering My Content Posts . Forum List | ... Post Message | ... Posted by M.W.Pearson on November 5, 2002 01:02:55 UTC . ... Login to Post . ... www.astronomy.net . About Astronomy Net | Advertise on Astronomy Net | ... Forum posts are Copyright their authors as specified in the heading above the post. "dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET" . ...

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

• CDRom Contents - an Astronomy Net XEphem Forum Message
• Communications For Your Astronomy Event - an Astronomy Net Article
• Space Exploration: Shuttle Astronauts Return Safely - an Astronomy Net

... List of courses | LIST and CONTENTS of COURSES . ... Introduction . ... Application: . ... Alumni: . List of Alumni . ... Alumni reports . ... At least one semester of Advanced Calculus and one semester of Linear Algebra are necessary prerequisites to all our courses, including Elementary ones. For additional prerequisites to Intermediate and Advances courses please consult the course description. ... Non-Euclidean geometry . ... Ergodic Theory of Dynamical Systems . ... Advanced courses . ...

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

• Algebraic Geometry (Spring 2003)
• Von Neumann Algebras and $L^2$-invariants (Fall 2002)

This section of library contains information about "classic" Star Catalogs. ... For a Henry Draper Catalog 272149 stars have received a total of 531,211 identifications in 7 сatalogs: . 270456 - in Astrographic Catalogue ( "Carte du Ciel", 4M), . 251943 - in Guide Stars Catalog (GSC), . ... A file with information on the components of 1788 of multiple systems in catalog HDEC (3681 component, or a combination thereof, with 4054 recording). ... A file with information about 21971 variable stars. ...

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

... VaST is a software tool for finding variable objects on a series of astronomical images. ... VaST performs object detection and aperture photometry using SExtractor on each image, cross-matches lists of detected stars, performs magnitude calibration with respect to the first (reference) image and constructs a lightcurve for each object. ... VaST FITS image viewer ./pgfv . ... Part I" PZP, vol. ... K. V. Sokolovsky, S. A. Korotkiy; "New Variable Stars Discovered by the NMW Survey" PZP, vol. ...

57. Content

58. http://www.winer.org/Downloads/Winer_IRS_Prelim.pdf

59. Contents Frame

60. AAL Homepage