SMV . The SMV system is a tool for checking finite state systems against specifications in the temporal logic CTL. The input language of SMV is designed to allow the description of finite state systems that range from completely synchronous to completely asynchronous, and from the detailed to the abstract. ... http://www.cs.cmu.edu/~modelcheck/smv.html . ... None . ... User Comments: . ... SAL Home | Other Scientific Fields | Misc . ... Copyright 1995-2001 by Herng-Jeng Jou . ...

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

• Index of /groups/cluster/CEP/RADVEL
• SAL- Other Scientific Fields - Misc - Title [SAL sample entry page]
• SAL- Other Scientific Fields - Misc - Acme

... Cultural Mediation of National History and Identity . ... Second International Conference in Tampere , Finland . ... This sense of national identity, of history and possible futures, is communicated by cultural and institutional forces and integrated, individually and collectively, into our sense of a common shared nationhood. ... Through a semiological analysis of television texts, it is demonstrated how, by a re-interpretation of Russian history, new cultural and national identities are...

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

... Package . Class . ... DimensionSet is an inquiry interface for a collection of Dimensions. Netcdf . ... This abstract class provides a skeletal implementation of the Netcdf interface. ... A Dimension object is used to contain an array length which is named for use in multiple netcdf variables. ... A concrete implementation of the Netcdf interface, this class provides connection to NetCDF version 1 files. ... Interface Netcdf - Extends set of Variable, has a DimensionSet and an AttributeSet. ...

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

• : Package ucar.multiarray
• ExtensionFileFilter
• : Class AbstractAccessor

The 7.5th European Conference on Formal Description of Slavic Languages Date Location Submission Deadline E-mail Website December 6­8, 2008 Independent University of Moscow September 1, 2008 fdsl7.5@gmail.com www.philol.msu.ru/~otipl/new/fdsl We are pleased to announce the next European Conference on Formal Description of Slavic Languages (FDSL 7.5) to be held at the Independent University of Moscow on December 6­8, 2008. ... Abstracts must be submitted to fdsl7.5@gmail.com by September 1, 2008. ...

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

• FDSL-7.5 | Call for Papers
• FDSL-7.5 | Home

List of Publications . ... Palyulin V.V., Potemkin I.I. Article " Microphase Separation in Melts of Double Comb Copolymers ", Polymer Science, Ser. ... Palyulin V.V., Potemkin I.I., Microphase separation of double-grafted copolymers (centipedes) with gradient, random and regular sequence of the branch points , Journal of Chemical Physics, 2007 , 127, 124903. ( download ) . ... Palyulin V.V., Potemkin I.I., "Microphase separation in double comb copolymer melts , . ... Palyulin V.V., Potemkin I.I., " . ...

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

• Seminar in Polymer Physics
• Publication list, Olga Shamardina

Выберите категорию обращения: Общие вопросы Отчеты Рейтинги Диссертационные советы Конкурсы Ввод данных Структура организаций Пользователи Проблемы с регистрацией\входом в систему . ... Издательство: National Herbarium Nederland/Leiden Branch . ... , Ullah C. , Unsickern S.B. , van der Merwe N.A. , Vizzini A. , Wagner H.G., Wong P.T.W, Wood A.R., Groenewald J.Z. в журнале Persoonia , издательство National Herbarium Nederland/Leiden Branch (Netherlands) , том 34, с. 167-266 DOI ...

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

• Feuerstein B. - сотрудник | ИСТИНА - Интеллектуальная Система Тематического
• Kuro-o M. - сотрудник | ИСТИНА - Интеллектуальная Система Тематического
• M-S Min - сотрудник | ИСТИНА - Интеллектуальная Система Тематического

... calg:dubna07:abstracts ]] . THEP . ... 03/ 062007 18:10 kryukov 03/ 062007 18:09 kryukov 03/ 062007 18:09 kryukov 03/ 062007 18:08 kryukov 03/ 062007 18:08 kryukov 03/ 062007 18:07 kryukov 03/ 062007 18:06 kryukov 03/ 062007 18:06 kryukov 03/ 062007 18:05 kryukov 03/ 062007 17:54 kryukov 03/ 062007 17:49 kryukov 03/ 062007 17:49 kryukov 03/ 062007 17:45 kryukov 03/ ... calg/dubna07/abstracts.1180879766.txt.gz ТЗ Last modified: 03/062007 18:09 by kryukov . ...

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

• Description of particles
• [FedStor] Fwd: [sc-papers] CFP: SC16 tech papers: abstracts due March 27
• [Comphep-common] width and branching ratios in batch mode

... Plugin Installation Instructions . ... There are two different ways to do that: either by using the inline %IFDEFINED{"string" then="..." else="..."}% tag that returns the then or else argument depending on the string being defined, that is non-empty. ... Similar extensions have been done before but are either only available as an integral part of TWiki-4.0 (see TWiki:TWiki04/IfStatements ) or unmaintained (see TWiki:Plugins/ConditionalPlugin ). ... TWikiGuest has no write access to IfDefinedPlugin ...

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

• IfDefinedPlugin - TWiki - TWiki
• %TOPICTITLE% (15 vs. 16) - TWiki
• %TOPICTITLE% (1 vs. 2) - TWiki

The Isaac Newton Institute (Instituto Isaac Newton) for astronomical research (INI) was founded in 1978 by Gonzalo Alcaino. The main office is located in the eastern outskirts of Santiago (Chile). ... The Moscow branch was the first one established outside Chile. ... Besides the above named branches, the Chilean staff of the Isaac Newton Institute is involved in collaboration with astronomers of the Observatory of Rome in several research projects using data secured from telescopes in Chile. ...

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

• Be/X-ray binaries and candidates
• ADS Abstract Service Results
• Seminars

... Женский клуб . Активное долголетие . ... Издательство МГУ . ... МГУ им.Ломоносова . ... Выпускники МГУ . ... Долголетие и омоложение . Дайв-Клуб МГУ . ... Ученые Миланского университета сделали очень уникальное и важное открытие. ... Этот особый коктейль состоит из аминокислот - валина, аминоизокапроновой кислотой и изолейцина. Возможность увеличивать срок жизни с помощью этого коктейля аминокислот доказано в лабораторных условиях на здоровых мышах среднего возраста мужского пола. ...

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

... Description . Catalog . ... In the Catalog, we publish equatorial (ЮБ 2000 , ЮД 2000 ) and galactic (l,b) coordinates of cluster centers derived as the position of overdensity in 2MASS catalog (Koposov et al. ... Distances, color-excesses and ages are the mean-square values calculated using all available evaluations from different color-magnitude diagrams. ... There are individual pages for every cluster where all available plots and parameters are published. ... 2002). ...

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

• SAI Open Star Clusters (SAI OCL) Catalog

. You can get a short description of each ftp command by typing help followed by the command you want to know more about and pressing the <RETURN> key. For example: ftp> help open open connect to remote tftp ftp> . If you find this description is too brief you will find a much fuller one for each command in the Unix Programmer's Manual pages for ftp .

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

• Checking the description of a command
• Description of different types of shell
• DESCRIPTION

... Technique of supervision of solar atmosphere active formations with the Multichannel Flare Spectrograph. Consider in details now a method of observations of fast processes in solar chromosphere with Multichannel Flare Spectrograph (MFS) installed in Ondrejov Observatory (Czech Republic). ... The working spectral range lies between IR CaII 8542 A and K CaII 3870 A. To observe solar image on the spectrograph's slit a lens, narrow-band H-alpha filter (4) ("Daystar") and CCD-chamber are used. ...

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

• Description of Data
• HSFA 2 technical description Technical Details
• Anna Mel'nik - Description of the catalog

Brain Research Group >> Research >> Change-point analysis ... << previous next >> . ... When detection of the change-points in alpha band power was performed as in the previous subsection, more than one change-point per second was obtained in average. ... The hypothesis of the hierarchy of EEG segmental descriptions (Kaplan 1998) (see subsection 7.3.2) is a theoretical reason for introducing the adjustment of the change-point detection probability. ...

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

• EEG feature extraction
• Nonparametric approaches to the description of EEG piecewise stationary

... A regular expression (regex) is a powerful way of specifying a complex search. MySQL uses regular Henry Spencer's inplementation of regular expressions. ... MySQL uses the extended version. This is a simplistic reference that skips the details. To get more exact information, see Henry Spencer's regex(7) manual page that is included in the source distribution. ... A regular expression describes a set of strings. The simplest regexp is one that has no special characters in it. ...

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

• A Description of NNTP
• Terms Used to Describe Modules - Apache HTTP Server
• mod_disk_cache - Apache HTTP Server

... PHYSICS AND METAPHYSICS OF SPACE-TIME”. ... Turygin, "Theory of Direct Interparticle Interaction", Moscow, Energoatomizdat, 1986; Yu.S. Vladimirov, "Dimension of Physical Space-Time and Unification of Interactions", Moscow University Press, 1987; Yu.S. Vladimirov, "Space-Time: Evident and Hidden Dimensions, Moscow, Nauka, 1989; Yu.I. Kulakov, Yu.S. Vladimirov and A.V. Karnaukhov, "Introduction to Physical Structures Theory and Binary Geometrophysics", Moscow, Archimedes, 1992). ...

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

. "The system X-Com for metacomputing support: architecture and technology" . Filamofitsky M.P. Several approaches to organization of distributed computing with Internet are considered. A description of architecture and main features of system X-Com created at Research Computing Center of Moscow State University is given. PostScript (in Russian) (1.45MB) . PDF (in Russian) (536KB) . PostScript. zip (in Russian) (508KB) . PDF. zip (in Russian) (463KB) . Filamofitsky M.P. e-mail: voevodin@parallel.ru

Еще в разделе: (Показать все результаты (>174) - num-meth.srcc.msu.ru/ )

• "Information-computing Internet-center "Aeromechanics". First line: the "Shock"
• "Application of the Quickhull algorithm's principles to the double description
• "TreeDL: a language for description of graph structures and operations on them"

... Determine type of branching, explain 3. Determine architectural model (use key from Halle et al. ... Determine phyllotaxis type and formula of spiral phyllotaxis (if applicable), explain 5. Write detailed description of leaf of each plant species (see plan below). ... Plan of leaf description: 1. General characters (leaf as a whole): (a) symmetry (symmetrical / asymmetrical); (b) stipules (present / absent, deciduous / not); (c) base (sheath / no, ligule /no, auricles /no) 2. ...

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

• Materials of A. Shipunov
• Systema Naturae
• Index of /shipunov/school/biol_154/textbook/pics

New GCVS Versions for Three Southern Constellations Peremennye Zvezdy (Variable Stars) 27, No. ... We are currently working on a version of the General Catalogue of Variable Stars (GCVS) revised taking into account the new data accumulated since the 4th GCVS edition. ... It will contain all stars of the 4th GCVS edition plus a complete catalogue of the stars added to the GCVS in the Name Lists of Variable Stars Nos. ...

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

• General Catalogue of Variable Stars: Description

miniSTRY OF HEALTHCARE AND SOCIAL DEVELOPMENT RF NORTHERN RESEARCH CENTER NORTH-WEST BRANCH RAMS federal service for hydrometeorology and environment monitoring (rosgidromet) MINISTRY OF HEALTHCARE AND SOCIAL DEVELOPMENT OF ARKHANGELSK REGION territorial administration of federal service for consumers' rights protection Surveillance and human well-being in arkhangelsk region NORTHERN STATE MEDICAL UNIVERSITY [pic] NEWSLETTER of the All-Russian Science-and-Practice ...

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