После сопоставления локальных значений общих переменных автоматически вызывается повторное доказательство всех нейтральных акторов процесса G, за исключением акторов - представителей портов процесса (см. свойства акторов - представителей в разделе 5.2.2 ). Порядок исполнения повторных доказательств акторов в языке не определен. Согласование акторов считается успешным в том и только в том случае, если завершаются успехом все повторные доказательства . ... СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА . ...

Еще в разделе: (Показать все результаты (>781) - www.cplire.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 . ...

Еще в разделе: (Показать все результаты (>106) - 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. ...

Еще в разделе: (Показать все результаты (>88) - 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 . ...

Еще в разделе: (Показать все результаты (>564) - 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. ...

Еще в разделе: (Показать все результаты (>3002) - 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 . ...

Еще в разделе: (Показать все результаты (>72) - 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. ...

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

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

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

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

• detXY unit definition
• 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 . ...

Еще в разделе: (Показать все результаты (>1425) - 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)

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

Еще в разделе: (Показать все результаты (>288) - 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. ...

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

• Spectrum - control

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

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

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

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

Еще в разделе: (Показать все результаты (>5487) - 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. ...

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

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

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

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

• lsst.coordConv: include/coordConv/site.h Source File
• lsst.coordConv: src/coordSys.cc Source File
• lsst.coordConv: coordConv::PVT Class Reference

The nasa.gov site requires that JavaScripts be enabled in your browser. ... Contact NASA . ... The following are astronauts who are employed at NASA. Astronaut assignments and category definitions (e.g., "active" astronauts, "management" astronauts) are contained in a separate Flight Operations Directorate (FOD) policy letter. Astronaut . ... Acaba, Joseph M. 2004 . ... Aunon, Serena M. 2009 . ... Barratt, Michael R. 2000 . ... Burbank, Daniel C. 1996 . ... Cassada, Josh A. 2013 . ... 1998 . ...

Еще в разделе: (Показать все результаты (>832) - www.jsc.nasa.gov/ )

... champ name : Source ID in the format explained in the Definitions section. ra : RA in decimal degrees. ... pos_error : Source count extraction radius in arcseconds. netB : net counts in B-band. See Definitions section. error_netB : error of net counts in B-band. see Definitions section. netS : S-band net counts, defined analogously to netB . ... See Definitions section. C21 : X-ray color. ... C32 : X-ray color. See Definitions section. rateB : B-band count rate in ksec. ...

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

. Food/crop/plant production is very sensitive to climate; many zones exist .

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

• Obstacles to Evolving on the Land
• Intelligent Life On Earth?

... Bad Astronomy . ... I think I will break from my usual format of Bad Astronomy/ Good Astronomy by saying that the way we define seasons currently is not strictly bad, but I feel (in my opinion!) that it could be better. The definition of when the seasons begin is at the moment of solstice or equinox; that is, winter (in the north) starts on December 22 nd and summer starts on June 22 nd . ... Now imagine breaking up the Sun's 46 degree up-and-down yearly swing into 1 day intervals. ...

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