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

... Selection Methods . ... With each new generation the population will be more suited to its . ... generations: the maximum number of generations the program will go through, before stopping, if the solution is not within the given tolerance. population : the number of parents randomly generated in the first generation , and in each subsequent generation . prob_mut: the probability of mutation in the offspring, explained earlier. prob_cross: probability of crossover between two parents ...

... Первая страница Назад Продолжить Последняя страница Обзор Изображения . Публикации с ключевыми словами: Галактика - звездная астрономия . Публикации со словами: Галактика - звездная астрономия . ... Дальний рукав в 3 кпк от центра . Лекции по Галактической Астрономии. ... Стрелец A*: быстрые звезды вблизи центра Галактики . ... KINO.RU - фильмы, кино театры, кино, расписание кино в г. Москва | ... Дизайн квартир и дизайн интерьера . ... Нужно рекламное агентство? ...

... Development of Ideas of Structure and Evolution of Stars. Integral Features of Stars, Which Determine Their Structure, Direction and Rate of Evolutuion. ... Connection between Potential and Thermal Energy of Star. ... Structure of a Main Sequence Star. Features of Massive Stars Evolution on the Main Sequence. Internal Structure of the Sun. ... White Dwarfs, Their Features. ... Evolution from the Main Sequence of Massive Stars. ... Evolution of Small Mass Stars till White Dwarfs Sequence. ...

... DEPENDENCE OF ORDINARY WAVE ANOMALOUS ABSORPTION ON THE SOUNDING PROBLEM PARAMETERS . ... Transformation of electromagnetic wave into plasma waves plays an important role in different processes taking place in ionospheric plasma. ... According to modern point of view transformation of ordinary wave into plasma waves plays an important role in small-scale random irregularities generation when ionospheric plasma is heated by power radio wave [1,2]. ... Anomalous attenuation. ...

... The described algorithm is suitable for measurements of complex images of stars. ... a) the zero-based number of stars in the complex (multicentric) image, . b) set of preliminary coordinates - x i , y i , for all stars, index i is number of a star, . ... i - index of a star in the complex image; . ... These parameters are calculated by a nonlinear method of a least squares.The main output parameters of this algorithm are x i , y i ; where the index i is number of a star in the multicentric image. ...

... 2006: . ... Components of the systems are low mass stars and white dwarfs. For 14 pairs orbit parameters were calculated and masses and luminosities of components were determined for the first time. ... As a result of a multifrequency monitoring of the variability of a micro quasar Cyg X-3 (X-ray binary system which probably consists of a black hole and a high mass Wolf-Rayet star) a high activity period was registered for the first time in the last 4 years. ... Archive . ...

OZONE columns and profiles from ground based FTIR observations ( ESA-NIVR-KNMI project 2907 "OMI validation by ground based remote sensing: ozone columns and atmospheric profiles", 2005-2008) A.V. Shavrina, Veles A.A., Pavlenko Ya. ... The total based HITRAN absorption total ozone column values retrieved from FTIR observations are biased low with respect to OMI-DOAS data by 8-10 DU on average, where they have a relatively small standard error of about 2%. ... JGR, 2007). ... 2007) TO 11. ...

Welcome to K -corrections calculator, simple service allowing one to determine K -corrections of a galaxy, given its redshift and one or more colours. ... K -correction in choose filter.. ... Redshift . Colour choose colour.. Colour value . Calculator . ... calculate spectral energy distributions , K-corrections calculator , GALEX FUV NUV , UKIDSS YJHK , K-corrections of galaxies , spectral based k-corrections , SDSS filter set K-corrections , K correction code IDL , kcorrect IDL C , . ...