... Research Statement Summary The Lambek calculus was introduced in 1958 for linguistic purposes, but it enjoys a very natural algebraic interpretation. ... On this powerset one can naturally define three operations--multiplication, left and right division. ... Subsets of the free semigroup are naturally called formal languages. ... For the original Lambek calculus, the languages generated by these grammars are exactly context-free languages (M. Pentus 1992). ...

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

• Labo J.-V.Poncelet: A.Shen
• Conference "Combinatorial Methods in Physics and Knot Theory" (Moscow, February
• Labo J.-V.Poncelet: N.Vereshchagin

... Asteroid . ... In case you didn't hear about it, which you probably didn't: On Jan. 7, an asteroid 1,000 feet across -- nearly three times the current diameter of Marlon Brando -- barely missed the Earth, which is most likely your planet of residence. ... What if this asteroid had hit the Earth? ... As it happens, the American Astronomical Society was holding a conference in Washington AT THE VERY SAME TIME as the asteroid nearly hit the Earth. ...

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

• Winer Observatory Operations
• Winer Observatory Command and Control
• Winer Observatory

. Number . Task . Pri . Author . Created By Tool . Created On . Modified On . Completed . Modified By . Assigned To . Link To . Magic . Description

Еще в разделе: (Показать все результаты (>2) - genphys.phys.msu.su/ )

• To Do List History

. F IGURE . 4. Kinematic diagrams for (a) all Galactic GCs, (b) thick-disk clusters, and (c) halo clusters. The dot sizes are proportional to the weights assigned. The straight lines are rms regression fits and their slopes yield the rotational velocity of the corresponding subsystem, V rot . discussion in the text | previous figure | next figure .

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

Wednesday, February 15th, 2012 . ... Monday, February 13th, 2012 . ... Сделать это можно использую Map Tools проекта SOPAC (http://sopac NULL .ucsd NULL .edu/maps/) . ... Wednesday, February 8th, 2012 . ... You are currently browsing the Лаборатория лазерной интерферометрии blog archives for February, 2012. ... Наши публикации . ... Публикации за 2010 . Публикации за 2011 . Публикации за 2012 . ... February 2012 . ... Лаборатория лазерной интерферометрии is proudly powered by WordPress . ...

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

• Uncategorized Лаборатория лазерной интерферометрии

... APT Activities and Science Results 3. ... APT Secretary Philip Edwards (ISAS) reviewed the aims of the APT (http://www.vsop.isas.ac.jp/apt/DefinitionAndAims.html). ... The Australia Telescope Compact Array, and Ceduna, Hartebeesthoek, Kashima, Mopra, Parkes, and Shanghai telescopes of the Asia-Pacific Telescope participated in these observations. ... In the absence of Tetsuo Sasao, Philip Edwards briefly described results of the APT 22 GHz observations conducted from October 1st to 5th, 1997. ...

Еще в разделе: (Показать все результаты (>7) - www.vsop.isas.ac.jp/ )

• VLBApls acknowledgements
• Radio Astronomy Group / ISAS, JAXA

Blackholes Discussion Forum . Forums: . ... black hole pump? - sleepvark - September 3, 2014 - 21:13 UTC . ... WHAT IS Fe1 neagative?This is dark matter..... - theoracle - January 27, 2009 - 19:11 UTC . ... hbar=e^2/e0c - garrydenke - June 7, 2005 - 14:05 UTC . ... black hole theory - astronomy124 - February 24, 2005 - 04:47 UTC . ... www.astronomy.net . ... Forum posts are Copyright their authors as specified in the heading above the post. "dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET" . ...

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

• Rest Mass - an Astronomy Net Blackholes Forum Message
• Battle Point Astronomical Association - BPAA, AstroGuide Listing
• All Photons Experience This Worm Hole - an Astronomy Net Blackholes Forum

... The term Plug-and-Play (PnP) has various meanings. ... In the sense used in this HOWTO, the configuration is only that of configuring PnP bus-resources and letting the device drivers know about it. ... For the case of Linux, it is often just a driver giving a command to set the bus-resources in it's device or determining how the BIOS has set them. ... Linux still is not really a PnP operating system and seems to mainly rely on and device drivers and the PnP BIOS to configure bus-resources for...

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

• Low Level Operators and Bit Fields
• Comedi Reference
• Pointers

Instrument . ... Scanning TV-sensor with on-board data recording system for global coverage mode . ... recording, direct transmission . ... IR-radiometer for global coverage and direct data transmission modes . ... The scientific instrument package onboard the Meteor-3 spacecraft provides for regular instant acquisition of images of cloudiness and Earth surface in visible and infra-red bands, data on air temperature and humidity, sea surface temperature and clouds temperature. ...

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

International Q-Days and D-Days ---------------------------------------------------------------------------- Classification of Days (deduced from Kp indices) The selection of the quietest days (Q-days) and most disturbed days (D-days) of each month is deduced from the Kp indices on the basis of three criteria for each day: 1. ... In order to indicate such a situation, selected days which do not satisfy certain absolute criteria are marked as follows. ...

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

• http://www.wdcb.ru/stp/data/cosmic.ray/Neutron_Monitors(hourly_values)/P/2009P/2009THAI/0902THAI.C0P
• http://www.wdcb.ru/stp/data/cosmic.ray/Neutron_Monitors(hourly_values)/P/2010P/2010THAI/1002THAI.C0P
• http://www.wdcb.ru/stp/data/cosmic.ray/Neutron_Monitors(hourly_values)/C/2010C/2010C/2010thai/1002THAI.C0C

... Bad Astronomy . ... On Thursday, February 15th 2001 (and replayed on March 19), the Fox TV network aired a program called ``Conspiracy Theory: Did We Land on the Moon?'', hosted by X-Files actor Mitch Pileggi. ... Dust around the lander . ... However, it appeals to our common sense: when the sky is black here on Earth, we see stars. ... Bad: The program claims that when the top half of the lander took off from the Moon to bring the astronauts back into orbit, there was no flame from the rocket. ...

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

nearneighbor - A Nearest neighbor gridding algorithm nearneighbor [ xyzfile ( s ) ] -G out _ grdfile -I x _ inc [ m|c ][/ y _ inc [ m|c ]] -N sectors -R west / east / south / north [ r ] -S search _ radius [ m|c|k|K ] [ -E empty ] [ -F ] [ -H [ nrec ] ] [ -L flag ] [ -V ] [ -W ] [ -: ] [ -bi [ s ][ n ] ] nearneighbor reads arbitrarily located (x,y,z[,w]) triples [quadruplets] from standard ... Default is quadrant search, i.e., sectors = 4]. ... H Input file(s) has Header record(s). ...

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

• Natalya Raguzova Home Page
• Banknotes at SunSITE Czech Republic

... Our tours this year include: Yuri Gagarin Cosmonaut Training Center at Star City, Bauman Moscow State Technical University Orevo Laboratory, Russian Mission Control Center (TsUP), Rocket and Space Corporation Energia, Lavochkin Scientific and Industrial Association, Energomash Scientific and Industrial Association, Scientific and Industrial Association "Zvezda", Khrunichev State Research & Production Space Center, Monino Air Force Museum. Bauman Moscow State Technical University . Moscow) . ...

Еще в разделе: (Показать все результаты (>17) - ysc.sm.bmstu.ru/ )

• SpaceDTP-2005 review
• News Archieve - Ysc_Sdtp_Community
• BMSTU YSC - News

Interball-Tail Magnetic field measurements . Magnetic field measurements on-board the Interball Tail Probe are carried out by the FM-3I and MIF instruments. ... FM-3 M2 magnetometer failed in February 1996, FM-3 M1 and MIF are working until now. Data presented here are the combination of the data of all magnetometers. First of all FM-3 M1 data are used, if they are absent, MIF data used and if data of both magnetometer are absent, FM-3 M2 data presented. ...

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

• APEX/Intro
• VEGA pr-7
• IZMIRAN - Laboratory for ionosphere discontinuity investigation: The

... Exposure Time Calculator (ETC) . Survey processing . ... VISTA is a 4-m class wide field survey telescope for the southern hemisphere, equipped with a near infrared camera (1.65 degree diameter field of view at VISTA's nominal pixel size) containing 67 million pixels of mean size 0.34 arcsec and available broad band filters at Z,Y,J,H,K s and a narrow band filter at 1.18 micron. A wide field visible camera, if constructed, could also be used on VISTA. ... Tile . ... ESO VISTA Public Surveys . ...

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

... February 22 2001 09:00 (Moscow time) . The station "Mir" and cargo vehicle «Progress л 1-5» operations scheduled for 21-22 February completed. The onboard "Mir" and the cargo ship systems checked out, orbit radiomonitoring performed. ... The Station remains pressurized, the onboard systems perform nominal. ... The Station and the cargo ship onboard systems further checkout and the orbit radiomonotoring are scheduled for 22-23 Feb. ...

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

... RAS members working in ISSP . ... The Institute of Solid State Physics (ISSP) was formed by the USSR Academy of Sciences on February 15, 1963, with a view to realize an efficient combination and interaction between fundamental research in condensed matter physics and materials science. ... Main Directions of Scientific Research Institute of Solid State Physics RAS (ISSP RAS) . ... Address: Institute of Solid State Physics RAS, Chernogolovka, Moscow District, 2 Academician Ossipyan str., ...

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

• International Astronomy Olympiad: General Rules for National Astronomy...
• V International Astronomy Olympiad, Problems to solve (in English)
• LHPP ISSP RAS

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

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