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

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

• Index of /groups/cluster/CEP/RADVEL
• SAL- Other Scientific Fields - Misc - Title [SAL sample entry page]
• SAL- Other Scientific Fields - Chemistry, Biology Related - HMMER

... Plugin Installation Instructions . ... WikiRing Consultants This plugin will help you to write readable markup (TWikiMarkup, HMTL, ...) within TWiki by allowing tags and arguments to be formatted on multiple lines. ... Basically, there are two ways of glueing and recombining lines by either removing all whitespaces between two lines using %*~~ or by removing all whitespaces and separateing lines with a single space using %~~~ . ... lib/TWiki/Plugins/GluePlugin.pm . ... TWiki:Plugins/GluePlugin . ...

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

• GluePlugin - TWiki - TWiki - (printable)

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

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

... x264 is an open source codec of standard MPEG4 AVC/H.264, developed by programmers from all over the world. ... Accumulated during previous frames' compressions statistic is actively used by codec to improve effectiveness of adaptive models. ... These parameters are used only before encoding start, so, our improvements are more significant for short sequences. ... 3 Results of codec x264 modification on "flower" sequence . ... 5 Results of codec x264 modification on "flower" sequence, low bitrates ....

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

• x264 codec improvement | Лаборатория компьютерной графики и мультимедиа
• Road monitoring | Graphics and Media Lab
• Road monitoring | Лаборатория компьютерной графики и мультимедиа

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

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

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

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

... Войти в систему . ... Toshchakov S.V. , Korzhenkov A.A. , Samarov N.I. , Mazunin I.O. , Mozhey O.I. , Shmyr I.S. , Derbikova K.S. , Taranov E.A. , Dominova I.N. , Bonch-Osmolovskaya E.A. , Patrushev M.V., Podosokorskaya O.A. , Kublanov I.V. в журнале Standards in genomic sciences , издательство Michigan State University and the Genomic Standards Consortium (East Lansing, MI, United States) , том 10, ? ...

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

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

QSplitter implements a splitter widget. ... QSplitter  ( Orientation, QWidget * parent=0, const char * name=0 )  . ... A splitter lets the user control the size of child widgets by dragging the boundary between the children. ... Use setResizeMode () to specify that a widget should keep its size when the splitter is resized. QSplitter normally resizes the children only at the end of a resize operation, but if you call setOpaqueResize ( TRUE ), the widgets are resized as often as possible. ...

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

• Qt Toolkit - QLayout Class
• Qt Toolkit - QChildEvent Class
• Qt Toolkit - QValidator Class

. Nhunt: program for nucleic acid sequence similarity search . Download . User manual . Application examples . License . News . About . Authors publications . Contacts . Web interface . At present you can download poster from MCCMB'11 conference and my term work (in Russian) with description of main program algorithms. Funding: Ministry of Education and Science of the Russian Federation (State Contract No. 07.514.11.4006). Copyright 2010-2011 Yury Pekov

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

... Services . ... Services Web-development . Portfolio . ... Client : ACDI-CIDA . Launching date: 15.05.2002 . Short description: . ... URL: http://www.acdi-cida.ru . ... Client : Dashteam project . ... Specialized catalogue of russian agroresources on the Net "Agrorus" is a project of the Foundation for Agrarian Development Research (FADR). Development of the catalogue, originally supported by Eurasia Foundation, was started in 1997. ... URL: Site design was updated by client . ...

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

• Abstracts
• An International Consensus on Calcareous Paleosol Classification

NGS Data Analysis with Unipro UGENE Olga Golosova, Yuriy Vaskin, German Grekhov, Yuliya Algaer UNIPRO, Lavrentieva ave. ... That is where Unipro UGENE NGS framework comes in play. ... Moreover, the UGENE toolkit allows one to automate common tasks by creating workflows with the integrated tools using the UGENE Workflow Designer. Analysis of NGS data with UGENE may start, for example, from quality control of raw NGS data, received from a sequencing facility, with the integrated FastQC [3] tool. ...

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

• http://mccmb.belozersky.msu.ru/2015/proceedings/abstracts/26.pdf
• http://mccmb.belozersky.msu.ru/2013/abstracts/abstracts/23.pdf
• http://mccmb.belozersky.msu.ru/2015/proceedings/abstracts/37.pdf

... A. Kulikovsky, O. Shamardina, A model for PEM fuel cell impedance: oxygen flow in the channel triggers spatial and frequency oscillations of the local impedance . ... O. Shamardina, M.S. Kondratenko, A.V. Chertovich, A.A. Kulikovsky, A simple transient model for a high temperature PEM fuel cell impedance . ... O. Shamardina, A. Chertovich, A.A. Kulikovsky, A.R. Khokhlov, A simple model of a high temperature PEM fuel cell . ... Book of abstracts, vol. 2, part 1, p. 600 . ... Book of abstracts, p. 140...

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

• Seminar in Polymer Physics
• Publications
• Marat O. Gallyamov: CURRICULUM VITAE

... Apache HTTP Server Version 2.0 . ... A single control process launches the number of child processes indicated by the NumServers directive at server startup. ... For each child process, Apache assesses the number of idle threads and creates or destroys threads to keep this number within the boundaries specified by MinSpareThreads and MaxSpareThreads . ... The User and Group directives are used to set the privileges of the Apache child processes. ... Maximum number of threads per child process . ...

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

• mpmt_os2 - Apache HTTP Server
• Long Description

... Natalya V. Raguzova and Sergei B. Popov . ... We present a compilative catalogue of Be/X-ray binaries and candidates in the Galaxy and in the Large and Small Magellanic Clouds. This catalogue contains 160 sources and provides information on names and spectral types of optical components, distances, on spin characteristics of neutron stars, and on orbital and X-ray properties of binary systems. ... Be/X-Ray Binaries and candidates in the Galaxy . Galactic sources: comments to the Table 1 . ...

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

• Contents
• Principal Evolutionary States of Normal Stars
• Seminars

... rfbr:rest:jobschema ]] . ... 08/122010 15:11 demichev [Атрибуты описания заданий] 08/122010 15:10 demichev [JSON Schema для описания заданий] 08/122010 15:09 demichev [JSON Schema для описания заданий] 08/122010 15:06 demichev [JSON Schema для описания заданий] 08/122010 15:06 demichev [Атрибуты описания заданий] 08/122010 15:00 demichev 08/122010 14:50 demichev 07/122010 13:27 demichev created Go Next revision . ... rfbr/rest/jobschema.1291809978.txt.gz ћ Last modified: 08/122010 15:06 by demichev ...

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

• fcp:rest:jobschema [THEP]
• Description of particles

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

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

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

CATALOGUE OF SPACE STORMS . based on the list of selected geomagnetic disturbed days with mean daily Ap>20 in 1997-2009 . ... Description of the Catalogue . NN - number of event . ... 3d Map of Solar Events - Map of the solar events on the solar surface (see Map description ) occurred from four to two days before the geomagnetic disturbed day . 3d List of Solar Events - Solar Events occurred from four to two days before the geomagnetic disturbed day (obtained from Solar Event Reports ). ...

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

• 3d Map Description
• 1d Map 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. ...

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

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

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

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

• Laboratory-chair of Discrete mechanics on a microscopic scale