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

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

• http://lvk.cs.msu.su/~sveta/4-2wireshark.pdf
• http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_et_al_eucass2011_monitoring.doc

Open Conference Systems . ... Conference Content Search . All Authors Title Abstract Index terms Full Text . ... January February March April May June July August September October November December 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 0 . ... By default only papers containing all terms in the query are returned (i.e., AND is implied) . Combine multiple words with OR to find papers containing either term; e.g., education OR research . ...

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

Laboratory of Ferroelectricity . Information . ... Members . ... The laboratory of physics of ferroelectrics is known to scientific community by works on investigation of critical phenomena in ferroelectric crystals. For years of working There were developed and applied for study precision methods of investigations elastic, dielectric, thermal properties of defferent type of ferroelectrics near phase transition points. There ware prepared about 20 Ph.D. thesises in the laboratory. ...

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

• Department of General Physics and magneto-ordered matter. Physics Faculty of

... It was necessary to construct quite a different type of parachute to be light, compact, encased in a parapack and reliable. At first most parachute designers considered it to be hardly possible for a canopy to open in the air without the aid of some special devices, such as an umbrella spokes, compressed air or powder explosive charges. ... Later on a great number of different parachute systems were worked out and introduced by Russian parachute designers Nikolai Lobanov, Igor Glushkov and others. ...

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

Russian Journal of Electrochemistry, Vol. 37, No. 12, 2001, pp. ... CHRONICLE Yurii Aleksandrovich Chizmadzhev An outstanding Russian scientist, the corresponding member of the Russian Academy of Sciences Yurii Aleksandrovich Chizmadzhev marked his 70th birthday on December 15, 2001. ... In the Chizmadzhev laboratory, prime attention was devoted to an electroporation phenomenon, i.e. to the origination and development of micropores under the action of electric field. ...

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

• Boris B. Damaskin
• Selected Articles

Russian] . The Geophysical department at MSU Geological faculty . The laboratory of near-surface electrical prospecting . ... TES technology for 2D resistivity sounding data processing, visualization and interpretation (unpublished article). ... Resistivity sounding ( in Russian ) . ... IPI2win & IPI_res3 (Windows) ver. 3.0.1a; 7-Jan-2003 . TRF_2D (Windows) [in English and in Russian] . ... 119899, Russia, Moscow, Moscow State University, Geological Faculty, Department of Geophysics. ...

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

• Researchs

... Anti thrombin DNA aptamers were immobilized on silica microspheres, placed inside microwells on the distal tip on an imaging optical fiber, coupled to a modified epifluorescence microscope through its proximal tip. ... It should be mentioned that since thrombin is not a DNA binding protein, the possibility to elicit thrombin­aptamer complexes clearly demonstrates the power of SELEX technology. ... Specificity of aptamer coated beads for F thrombin binding was assessed with bovine serum albumin. ...

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

• http://rnp-group.genebee.msu.ru/pages/pdf/biochem2003.pdf
• http://rnp-group.genebee.msu.su/pdfs/febsz.pdf
• http://rnp-group.genebee.msu.su/pdfs/MolBio6_00KopylovLO.pdf

... Structure of Data . ... Catalog . ... The SAI OCL Catalog site provides several VO-enabled modes of operation: . VO-enabled catalog data analysis from a browser . ... Endpoint URL is http://ocl.sai.msu.ru/catalog/conesearch/ . ... VO-enabled catalog analysis from a browser . Presently, this recipe works with Firefox (Windows, MacOS, Linux), Internet Explorer (Windows) and Opera (Windows) browsers with Java plugin 1.6 installed. ... Main TOPCAT window with SAI OCL catalog loaded will appear. ...

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

XAFS spectroscopy is widely used in physics, materials science, chemistry (especially in catalysis and coordination chemistry), biology, geochemistry and environmental science. ... This is an interface to the Glimpse -based search engine which enables you to find published papers in different fields of x-ray absorption spectroscopy -- XAFS, EXAFS, XANES, NEXAFS, SEXAFS, XEOL, and EXAFS-like phenomena in photoemission, electron-energy-loss spectra and so on. ... Database Search Form . ...

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