... We compare two different rule systems, one based on the TREAT match algorithm and the other on LEAPS, a lazy matching algorithm. ... September, 1991 Table 5 Maximum Counts Program Element manners TREAT : database a-memory conflict set LEAPS : database a-memory stack waltz TREAT : database a-memory conflict set database LEAPS : a-memory stack waltzdb TREAT : database a-memory conflict set database LEAPS : a-memory stack weaver TREAT : database a-memory ...

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

• http://sp.cs.msu.ru/specsem/pcd/kb-planning.pdf
• Курс Формальная спецификация и верификация программ
• RAMPA - CASE for portable parallel programs development

... Rod unfortunately was not able to come to Garmisch this year, but has been in touch with the Russian Internet community in Seoul, Sharm el Sheikh, Nairobi, and the United States, and has sent a special letter to Vladislav Petrovich. ... ICANN is working with regional associations and the Internet Society in a global training program that is raising the security awareness and skills of those DNS operators in regions where resources for such training are limited. ...

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

• Институт Проблем Информационной Безопасности

Publications by Ilya Livshits (1975) . ... Открытые магнитные поля на Солнце и характеристики солнечного ветра у Земли // 2011, Астрономический журнал, том 88, ? ... Кацова М.М., Лившиц И.М., Сикора Ю. Вращение Солнца как звезды по полному излучению короны в зеленой линии // 2009, Астрономический журнал, ? ... Contrast of Coronal Holes and Parameters of Associated Solar Wind Streams // 2009, Solar Physics. ... o V.N. Obridko , B.D. Shelting , I.M. Livshits , A.B. Askerov . ... И.М.Лившиц, М.А.Лившиц. ...

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

Symbolic circuit-matrix processor and evaluator . Authors: Filaretov V.V., Shein D.V. (Ulyanovsk State Technical University, Russia) . SYMBOL is a symbolic-algebra package which in contrast to REDUCE, MACSYMA, MAPLE, MATHEMATICA, MathLAB, MathCAD and other known multi-purpose systems is especially intended for analysis of any lumped, linear, time-invariant circuit. ... English documentation: . ... Symbolic circuit processor . ... Symbolic matrix processor . ... Complex evaluator . ...

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

• Specification

... Supercomputing Technologies in Science, Education and Industry Almanac Series . ... AREA: Structure and Dynamics of Atomic-Molecular Systems, Physical Chemistry . ... AREA: Condensed Matter Physics, Physical Chemistry, Structure and Dynamics of Atomic-Molecular Systems, Engineering Sciences and Mechanical Engineering . ... AREA: Inorganic Chemistry, Physical Chemistry, Structure and Dynamics of Atomic-Molecular Systems . ... Research Computing Center (RCC) of Lomonosov Moscow State University . ...

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

• APPLICATIONS: Theoretical Physics | Moscow University Supercomputing Center
• APPLICATIONS: Physicochemical Biology | Moscow University Supercomputing Center

... Partial reaction, angular correlation) . ... Diff.cross section d/dA for thick target) . ... Partial differential cross section d/dA) . Partial diff. cross section d/dA * 4pi/Sigma) . ... Partial diff. cross section d/dA rel. to 90 deg) . ... S-factor for partial diff. cross section) . ... Partial diff. gamma em. cross section d/dA)(Diff.partial gamma-emission cross section) . ... Fission-product yield (assumed cumulative))(Fission product yield, assumed by compiler as cumulative) . ...

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

... OLIVER GRAYDON QUANTUM OPTICS The quest for higher dimensionality Using a clever design of polarization optic, Italian researchers have successfully created four-level `ququart' quantum states using the polarization and orbital angular momentum of single photons. ... In recent years it has become popular to use states that have definite values of orbital angular momentum (OAM) as qudits1. ... L|-2o + |R|+2o)/2 where the and o subscripts denote polarization and OAM states, respectively. ...

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

• Publications :: Quantum Information Laboratory
• Directions :: Quantum Information Laboratory

S .. ... Genomes (xls file, 150 KB) . List of analyzed genomes: 139 full genomes, 35 masked genomes, 33 CDS of genomes . ... Verification of downloaded genome data: genome size in bp is shown, occurencies of each word of 1-7 letters and its complement are compared for all genomes . ... Contrasts of words of 1-7 letters in full genomes according the method of Karlin et al. ... Words of 1-7 letters in full genomes that are under/over-represented in 50% or more genomes from a wide taxonomic group . ...

149. Anna Kotomina

150. http://distance.ffl.msu.ru/cdo/conf08/programm_1.doc