Функциями называется разновидность предикатов , предназначенная для имитации подпрограмм - функций, возвращающих выходное значение . ... В ходе трансляции предложения , имитирующего объявление функции , . ... An) = E :- Конъюнкция. , оно преобразуется к виду . ... Ссылки: вызов функции 6.2.1 , заголовок предложения 6 , значение терма 3 , метапеременная 3 , объявление функции 6.1.3 , подцель предложения 6.2 , предложение 6 , простой атом 6.1.1 , терм 3 , терм или выражение 3.2.1 . Следующий: 6.2. ...

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

... Четвертый Грантовый конкурс "Научный музей в XXI веке" . Фонд Дмитрия Зимина "Династия" при поддержке ассоциаций научно-технических и естественно-научных музеев российского комитета ИКОМ в 2009-2010 гг. проводит Четвертый Грантовый конкурс "Научный музей в 21 веке". Подробности . ... 27 октября стартует новый совместный проект Фонда Дмитрия Зимина "Династия" и РИА Новости - цикл открытых публичных лекций мировых звезд науки, доступных в любой точке России по Интернету. ...

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

... There has been a heated public discussion in the past few years about whether our ninth planet is really deserving of the name. Since Pluto orbits a star, and is much less luminous, it certainly satisfies the definition we have above. The problem is actually not with Pluto, but with a very large number of other bodies in our Solar System which also satisfy this definition, but which are not called planets. Perhaps the most notable of these is Ceres, the largest asteroid. ... Planet . ...

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

• ASP: Pluto By Any Definition?

... Content Model: Optional list header (LH), followed by one or more terms (DT) and definitions (DD). A definition list is a list of terms and corresponding definitions. Definition lists are typically formatted with the term on the left with the definition following on the right or on the next line. ... The definition list element can take the COMPACT attribute, which suggests that a compact rendering be used, and is appropriate if the list elements are small and/or the entire list is large. ...

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

Next: Wavelength calibration Up: Reduction using Standard Previous: Order Definition: Methods . ... The algorithm accepts frame which can be mildly contaminated by particle hits, bad columns, order gaps due to absorption lines, as found in FLAT or STD . ... the interorder background is roughly constant over the frame. the slope of the orders is in the range ]0., ... For a background estimate without previous order definition, consider the echelle command BACKGROUND/SMOOTH . ... LOAD/TAB order :X :Y . ...

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

• Order Definition: Methods STD and COM
• Sky background definition
• Definition of Tables

... Though Flint knows the interface definitions (i.e. number, type and intent of each argument) of standard FORTRAN functions, it is desirable for users to build and use a file (or files) describing the interfaces to their own library. ... The format is: flint -o file .. ... While these interface definitions could be input along with normal source files, preceding the interface file with the -l (library) switch has the advantage that the source of this file does not appear in the listing file. ...

Еще в разделе: (Показать все результаты (>2830) - www.atnf.csiro.au/ )

• Imaging and Image Velocity Definitions - INVERT and VELSW
• tHermes key definitions
• Definitions of Of stars, WR stars, and LBVs

... Forum . ... Recent Topics . ... MAO main . Info . Definition of Polarization Angle . ... От: "Claus Leitherer" . ... Тема: Definition of Polarization Angle . ... Please take note of the attached IAU recommendation concerning the definition . of the polarization angle in astronomical measurements. ... www.mao.kiev.ua/images/postbyemail/Polarization.pdf . ... Board Categories MAO main - Info - MAO - news - Flame Technical - Technical Support(Forum)(Техподдержка(Форум)) . ... MAO NASU . ...

Еще в разделе: (Показать все результаты (>66) - www.mao.kiev.ua/ )

... Us . ... Merging Calls . ... Call Status . ... The Agent will be warned after three hours (Triage) or after six hours (Team Level) of inactivity, and again if still unedited. ... When the User replies, calls move to this status. The Agent will be warned after two days of inactivity, and again every day thereafter. ... Thinks they solved the problem, but want to leave the call open for a bit. ... The Agent will be warned after ten (business) days of inactivity, and again every day thereafter. ...

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

• HSP Instrument Definition Team Reports
• Chapter 2: Header Keyword Definitions
• Chapter 3: Table Definitions

... A baseline vector is oriented from telescope 1 to telescope 2, i.e. the baseline coordinates are the coordinates of station 2 minus the coordinates from station 1. In the aperture plane, the coordinate increases to the East, and the coordinate increases to the North. ... In PEARL, a map on the sky is allocated with the -coordinate corresponding to RA, which increases to the left (East). The relationship between visibility and map is then . ...

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

• ESO - Are there order definition frames with spatial information, i.e. using 9
• ESO - Observing conditions: definitions
• Capturing the Ultra High Definition Universe (annotated)

... A structure definition is provided: . type, public :: EllipseT real(single) ::& xAmp,& yAmp,& phase,& ! ... eg 'pixels', 'detxy', 'tanxy' logical(bool) :: isCircle end type EllipseT . ... interface initializeEllipseT subroutine initializeEllipseTScalar(ellipse) type(EllipseT), intent(out) :: ellipse end subroutine initializeEllipseTScalar subroutine initializeEllipseTVector(ellipse) type(EllipseT), intent(out) :: ellipse(:) end subroutine initializeEllipseTVector end interface . ...

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

• detXY unit definition
• Definitions

... This is the HTML 4.0 Frameset DTD, which should be used for documents with frames. ... ENTITY % HTML.Version "-//W3C//DTD HTML 4.0 Frameset//EN" -- Typical usage: <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN" "http://www.w3.org/TR/REC-html40/frameset.dtd"> <html> <head> ... </head> <frameset> ... </frameset> </html> --> <!ENTITY % HTML.Frameset "INCLUDE"> <!ENTITY % HTML4.dtd PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> %HTML4.dtd; . ...

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

• Long description for the illustration of a pixel's definition
• Dynamic HTML in Communicator
• Conformance: requirements and recommendations

spaceweb@oulu.fi - last update: 1 July 1998, 1200 UT (RR) . ... Relates the wave number k to the wave frequency. ... From the equation of motion , m d v /dt = q( v x B ) one can calculate that, in a presence of magnetic field B , a charged particle is accelerated in direction perpendicular to both v (perp) and B . ... The angle a between magnetic field B and velocity vector of a charged particle, v ., i.e., sin a = v(perp) / v(total), where v(perp) refers to the velocity component perpendicular to B . ...

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

• Discontinuities and shocks [Oulu]

Next: Procedure for Dealing with Up: scientific Previous: Code of Good Practice . ... Any practice or conduct that seriously deviates from the ethical standards embodied in the Code of Good Practice for Scholarly and Scientific Research for proposing, conducting and publishing scientific research constitutes Scientific Misconduct, and if proven renders the offending member liable to the Observatory's disciplinary procedures. ...

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

• Spectrum - control

... Survey processing . ... ESO - Public Surveys . ... The Survey Areas Definition Tool is part of the VISTA Data Flow System Project (a separate project to the VISTA Project) and was delivered to ESO for use with VISTA and (later) VST. ... The SADT and can be found via the ESO SADT page and includes inter alia . ... The Y overlap value set in SADT controls how the Y edges of adjacent tiles overlap. ... Y overlap 0/60 efficiently uses the one time covered regions to make a 2x covered region . ...

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

• VISTA - Visible and Infrared Survey Telescope for Astronomy

The HyperNews Linux KHG Discussion Pages . Forum: The Linux Kernel Hackers' Guide . Re : Linux SMP Scheduling (Angela) . Date: Mon, 16 Mar 1998 16:34:54 GMT . From: Felix Rauch < rauch@inf.ethz.ch > . The definition of NO_PROC_ID can be fount by, e.g., the following command: . find . -name "*.[ch]" -print | xargs grep NO_PROC_ID | grep #define . (assuming you are in the Linux-source-directory). This will show that NO_PROC_ID is defined as follows: . #define NO_PROC_ID 0xFF .

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

• SMP: Two Definitions?
• Signals ID definitions
• Converting Modules from Apache 1.3 to Apache 2.0 - Apache HTTP Server

Each Apache module is described using a common format that looks like this: . Status: status . ... This indicates how tightly bound into the Apache Web server the module is; in other words, you may need to recompile the server in order to gain access to the module and its functionality. ... A module with "Extension" status is not normally compiled and loaded into the server. ... Modules which are not included with the base Apache distribution ("third-party modules") may use the "External" status. ...

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

• Definitions of terms used to describe Apache directives
• Source Re-organisation

... Общероссийская неделя "Астрономия на тротуаре" - 15-17 апреля . ... Товары для любителей астрономии ? Доска объявлений (продам) (Модераторы: zlyden , Denk36 ) . Только для частных объявлений о продаже и обмене астрономического оборудования и аксессуаров. ... Тема / Автор . Ответов / Просмотров . Последний ответ . ... Автор timur555 ? ... 565 Ответов . 46 295 Просмотров . ... Правила раздела "Доска объявлений" . Автор Pluto ? ... 495 Ответов . 27 503 Просмотров . ...

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

• Продаю ...+.... - Доска объявлений (продам)
• Объявления - Астрономия и общество
• Астрофорум - астрономический портал

... Регулярно поступают просьбы от зарубежных посетителей с просьбой представить материалы сайта на английском языке. ... Александр Красников. Если Вы интересуетесь историей развития космонавтики и ракетостроения в СССР и России, и у вас есть материалы по этой тематике, которые Вы хотели бы увидеть на этом сайте - пишите о ваших предложениях на адрес kai@aha.ru . ... Вы имеете фотографии, которые подошли бы к материалам на сайте? ... Александр Красников kai@aha.ru . ...

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

... РАКЕТНО-КОСМИЧЕСКАЯ КОРПОРАЦИЯ ЭНЕРГИЯ ИМЕНИ С.П. КОРОЛЕВА . ... ОАО РКК "Энергия" . ... РКК 'Энергия': грузовой корабль 'Прогресс МС-02' причалил к МКС . ... РКК 'Энергия': грузовой корабль 'Прогресс МС-02' отправился к МКС . ... Сегодня, 27 марта, транспортный грузовой корабль (ТГК) новой модификации "Прогресс МС-02" разработки и производства РКК "Энергия" в составе головного блока транспортирован на общую сборку с ракетой-носителем "Союз-2.1". ... 2015 ОАО "РКК "Энергия" им. С.П. Королева" . ...

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

• ОАО РКК "Энергия" - Закупки
• РКК "Энергия" - Новости

lsst.tcc љ 1.2.2-3-g89ecb63 . ... Files . ... include . tcc . basics.h . ... 3 љ Basic definitions. ... 6 љ The units used are degrees and seconds, . ... 33 љ RotType_Begin = 0, // invalid value used for range checking . ... 38 љ RotType_Mount = 4, // angle of rotator w.r.t. its mount, in controller units, with no wrap . 39 љ RotType_End = 4 // invalid value used for range checking . ... 48 љ WrapType_Begin = -1, // invalid value used for range checking . ... Definition: basics.h:99 . ...

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

• lsst.coordConv: include/coordConv/site.h Source File
• lsst.coordConv: include/coordConv/coord.h Source File
• lsst.coordConv: src/coordSys.cc Source File