... 2 · ­ , , · ­ · ­ , 03.12.2015 . ... 14 03.12.2015 · · · 03.12.2015 . ... Verifier Uni ve rsi ty of Te x as 2013 Anteater Uni ve rsi ty of Il l i noi s 2011 FlowChecker Uni ve rsi ty of North Carol i na 2010 VERMONT Network disjoint Port #02 Port #03 h2 h3 s1 Port #01 h1 Port #04 h4 main: disjoint() := Forall[x, out_x, y, out_y: !R(x, out_x) or !R(y, out_y) or x[p] == out_y[p] and out_x[p] == y[p] or x VERMONT proxy CLI Packets are delivered through the control plane We can block them! ...

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

... About lab . ... MSU Graphics & Media Lab (Video Group) . The filter is intended for high quality recovering visual quality of video compressed using conventional block-transform-based codecs (for example, video ripped from DVD, VideoCD or after decompressing by H.261, H.263, H.264, DivX, XviD, etc). ... Hard blockiness suppression is applied in case of extremely low bitrate when entirely flat single color blocks are appeared on the frame. ... Decompressed frame . ... Frame after Smart Deblocking . ...

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

• Smart removal of blocking effects from video | Лаборатория компьютерной графики
• Core sample modelling | Graphics and Media Lab
• Core sample modelling | Лаборатория компьютерной графики и мультимедиа

... SHORT COMMUNICATIONS Variability of the EEG Autocorrelation Structure in Adolescents with Schizophrenia Spectrum Disorders J. G. Byeona, A. Ya. ... The variability of the EEG autocorrelation structure was shown to be higher in patients with the greatest trend in the frontal leads. ... The increased variability of the EEG autocorrelation structure in schizophrenia is most pronounced in the frontal areas of the brain cortex. ... Functional Variability of the EEG Autocorrelation Structure, Zh. ...

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

• Analysis of change-point synchronization in multi-channel EEG
• Change-point detection algorithm performance with real EEG

PIPELINES' STUDIES -- NEW PROBLEM FOR GEOPHYSICS. ... From the century's beginning many thousand kilometers of various pipes and cables were stacked in ground on depth up to 5-6 meters. ... On our opinion to these methods resistivity sounding (fig.2) and profiling, potential of cathodic protection study and pipe tracing with magnetic antenna should be added. ... At studies of horizontal magnetic field's component with the help of magnetic antenna, directed normally to a pipe axis, maximum Fig.3. ...

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

• http://geophys.geol.msu.ru/shevnin/publ/173.pdf
• http://geophys.geol.msu.ru/berd/IPSE719.pdf

Заведующий кафедрой Head of the Chair . ... История кафедры . ... В 1966 г. для расширения ведущихся на кафедре научных работ в НИИ Ядерной физики МГУ был создан отдел физики плазмы (ОФП), в 1989 году переименованный в отдел микроэлектроники (ОМЭ). ... Сегодня по различным научным направлениям, ведущимся по специальностям, преподаваемым на кафедре атомной физики, физики плазмы и микроэлектроники, работает около 100 научных сотрудников, среди которых 12 докторов наук и около 50 кандидатов наук. ...

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

... Electronic journal Issue 4. 10 september 2004 Ulrich M. Sustainable Management of Natural Resources Introduction. ... To learn about the dynamics of natural resource management and the tragedy of the commons by means of a direct experience in the simulation game «NEW COMMONS GAME». ... 2) Tragedy of the commons and management of natural resources. ... The simulation game was followed by a short debriefing on the dynamics of the tragedy of the commons and natural resource management. ...

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

• http://e-journal.spa.msu.ru/uploads/vestnik/2004/vipusk_4._sentjabr_2004_g./briedis.pdf
• http://e-journal.spa.msu.ru/uploads/vestnik/2004/vipusk_4._sentjabr_2004_g./paliulis_chlivickas.pdf

... Variables representing the environmental conditions were `food' and `infection'. ... APPENDIX 1 An example of optimal life -history traits values (for a = 1.7 and m = 0.9) t 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 ... 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 z Et 2.3 2.5 2.7 2.8 3.0 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.8 3.9 4.0 4.0 4.1 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 4.2 ...

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

• http://ecology.genebee.msu.ru/3_SOTR/CV_Terekhin_publ/2004_Birthweight_JEvolBio.pdf
• http://ecology.genebee.msu.ru/3_SOTR/CV_Terekhin_publ/2002_Host_manip_IJP.pdf
• http://ecology.genebee.msu.ru/3_SOTR/CV_Terekhin_publ/2007_Bonferroni_JOB.doc

Volume Functions of Historical Texts and the Amplitude Correlation Principle Anatoliy T. Fomenko* *Department of Mathematics and Mechanics, Moscow University, Leninskie Gory Moscow, 119889, U.S.S.R. and Svetlozar ... Santa Barbara, California 93106, U.S.A. Abstract: A new empirico-statistical model is suggested to distinguish dependent narrative texts from independent narrative texts by means of their ... A qualitative definition of rich and poor texts is intuitively clear (Figure 3). ...

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

• http://hbar.phys.msu.ru/gorm/ahist/antikythera1.pdf

A Short Course in Differential Geometry and Topology A.T. Fomenko and A.S. Mishchenko sP A Short Course in Differential Geometry and Topology A.T . ... Partition of Unity 2.4.1 Functional separability 2.4.2 Partition of unity 3 CONTENTS 51 52 54 Smoot h Manifolds (General Theory ) 57 3.1 Concept of a Manifold 59 3.1.1 Main definitions 59 3.1.2 Functions of change of coordinates. ... Frenet formulae 4.1.2 Theory of spatial curves. ... Examples and illustrations are included throughout the chapter. ...

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

• http://higeom.math.msu.su/bedlewo2009/Schedule.ps
• Topology section

... VaST is a software tool for finding variable objects on a series of astronomical images. ... VaST performs object detection and aperture photometry using SExtractor on each image, cross-matches lists of detected stars, performs magnitude calibration with respect to the first (reference) image and constructs a lightcurve for each object. ... VaST FITS image viewer ./pgfv . ... Part I" PZP, vol. ... K. V. Sokolovsky, S. A. Korotkiy; "New Variable Stars Discovered by the NMW Survey" PZP, vol. ...

131. http://www.kosmofizika.ru/model/obrazec.doc

132. APPLICATIONS: Theoretical Physics | Moscow University Supercomputing Center

133. http://genphys.phys.msu.su/rus/sci/photonics/PDF/6.pdf

134. НТБ НИИЯФ МГУ