... 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. ...

... НЕПРЕРЫВНОГО МАТЕМАТИЧЕСКОГО ОБРАЗОВАНИЯ . ... Кружок ?Олимпиады и математика? ... Московская математическая олимпиада . Заочный математический конкурс . ... Устные математические олимпиады . Олимпиады по программированию . Математический праздник . Математические регаты . ... Математические бои . Олимпиада по геометрии им. И.Ф.Шарыгина . ... Программа ?Math in Moscow? Научные конкурсы . Творческий конкурс . ... График олимпиад . ... XXVII Математический праздник . ...

The word "algebra" comes from a phrase (in bold below) in the title of an Arab book " Kitab al muhtasar fi hisab al gabr w'al muqubalah ." ... When Al-Khorezmi's book on the new system reached Europe, the Europeans called its use "algorism" or "algorithm," a corruption of the author's name. Today "algorithm" means method of calculation, and the rise of computers has led to extensive work on developing efficient computer algorithms. ...

SiD Tracking using VXD Nick Sinev, University of Oregon Plan Motivation Track reconstruction algorithm Performance for single tracks Does it have any limits ? With backgrounds To do Motivation Tracking in SiD is a challenge, especially pattern recognition. ... Limitations caused by reconstruction speed consideration In the presence of high number of background hits, number of 3-point combinations used as track seed became enormous if we consider all combinations. ...

ABSOLUTE PROPER MOTIONS OF 331 OPEN CLUSTERS . ... The proper motions of stars in the fields of 331 open clusters were taken from Four-Million Star Catalog (4M-catalog) of positions and proper motions (Volchkov et al. ... The absolute proper motions for 21 young open clusters have been derived by comparison of precise relative proper motions of individual stars and their corresponding absolute proper motions. ... Sign of proper motions in RA . ... 0.0001 arcsec/yr . ... rms error in RA proper motion . ...

... It is precisely these values that are displayed as O – C. In case computed positions of minor planet for all or some part of moments are found without accounting for perturbations, the corresponding moments are followed by asterisk (without perturbations are computed positions for all minor planets if moments of their observations lie outside the basic interval of 16 months or for ordinary ... The coordinate system and type of computed positions are indicated in status bar. ...

Warning: This is a collection of pointers (growing since 1994) about me, not a home page! ... My PostgreSQL page (locale support, GiST, tsearch2) . ... OpenFTS full text search engine . ... AstroNet (in Russian) - Knowledge Base on Astronomy . ... nature.web.ru (in Russian) - Scientific network . ... Oren Etzioni's Home Page (Web Clustering) . ... Richard K. Belew home page (AI in search engines) . ... Sabine Mayer home page - staircase join-enhanced PostgreSQL 7.3.3 . ... oleg@sai.msu.su ...

... Another significant contribution to the crystal energy of metals is the electron-ion interaction or the electron bandstructure energy (E BS ) which is defined by the interaction of valence electrons and the Brillouin zone (BZ) planes. ... The program BRIZ has been developed for 3D visualization of Brillouin zone configurations and intersections of BZ planes with a Fermi sphere[4]. ... 1.75 (electrons/atom). ... 4] Degtyareva V.F., Smirnova I.S.: BRIZ: a vizualization program for Brillouin zone ? ...

... 90-day forecast for X, Y, UT1-UTC. ... 6-year base period (~2190 points).For UT1-UTC and LOD tidal variations in the Earth rotation IERS Convention 2000 model excluded, then included and predictions are performed for differences. Trend of the second order modeled for all, except LOD. ... Autocorrelation function estimated from 6-year base period (~2190 points), last 200 are points used for prediction. For UT1-UTC and LOD predictions are performed for differences. ...

... We reconsider the problem of the difference between the abundances of carbon and oxygen in galactic planetary nebulae (PN) derived from the intensities of the recombination and collisionally excited lines. ... The intensities of the forbidden [OIII] lines, the CII, CIII and CIV recombination lines and the CIII]$\,\lambda\,$1909 UV intercombination doublet for different values of the mean electron temperature $T_0$ in PNe and the {\em rms} temperature variation $\mbox{\bm $t^2$}$, are calculated. ...

... FTP access the basic models is here . ... Below, we put short descriptions of the used SED models for the photometric redshifts providing by the current server . ... The uniqueness of this model consists in expanding to the near IR (NIR) of Rocca-Volmerange and Guiderdoni's (1988) atlas of synthetic spectra with a revised stellar library, which includes parameters of cool stars. ... Homepage of the GISSEL model). ... Another model used earlier is the model of synthetic spectra of Poggianti (1997). ...

... The HSL Algorithm for Reducing NICMOS Polarimetry Observations . ... The preflight Thermal Vacuum tests revealed that each polarizer has a unique polarizing efficiency, and that the position angle offsets differ from the nominal positions of 0, 120 & 240. ... I also present estimates of the NICMOS Instrumental Polarization, and discuss both the sensitivity of the Grisms to polarized light and the accuracy of NICMOS imaging polarimetry for faint and low polarization objects. ...