Depth of \alpha -completions of systems of Boolean functions / D. V. Truschin. Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2009. ... A problem of implementation of Boolean functions by \alpha -formulas is considered. ... Upper and lower polynomial estimates of Shannon functions for \alpha -supplements of finite systems of Boolean functions are obtained. Key words : Boolean function, formula, complexity, depth. ...

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

To reduce disk space requirements and increase the effective I/O throughoutput, the PC GAMESS/Firefly implements and applies multiple real-time data compression and decompression algorithms. Internally, this is called data packing. ... However, the parameters of various compression routines are set automatically to guarantee that these results are of the same level of accuracy; and thus, it is generally not recommended to disable data packing. ... E.g., the average data decompression rate is ca. ...

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

... Faculty of Physics . M.V.Lomonosov Moscow State University . 7 (495) 939-16-82 info@physics.msu.ru . ... Education . ... Research / Physics bulletin . ... Moscow University Physics Bulletin publishes original articles and brief communications from the Faculty's Divisions of Experimental and Theoretical Physics, Solid State Physics, Radiophysics and Electronics, Nuclear Physics and Geophysics. ... Eight Nobel Prize laureates have been members of the Moscow State University Physics Faculty. ...

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

• Бюллютень Новости Науки физфака МГУ

. A regular expression is a concise way of expressing any pattern of characters. You construct a regular expression by combining ordinary characters with one or more metacharacters: characters that have special meaning for the shell . Regular expressions can be used to: . specify filenames . search file contents . change file contents . Commands differ in the range of the regular expressions that they support. Check the manual page for the command for further details.

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

• Using regular expressions with the grep command
• Matching file names with regular expressions
• Examples of using regular expressions

The files containing information about Affymetrix microarrays were downloaded from the official Affymetrix site. ... Probe sequences were mapped to the genome using Blat. ... The hits found "probe alignment regions" were . ... We annotated each probe alignment region using the mRNA and EST alignments provided by UCSC, considering only . ... The textual part of the interface consists of probe information section, probe alignment section and transcription state . ... Each gene and each probe alignment . ...

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

... Limiting Forms of Internal Solitary Waves in a Continuously Stratified Fluid . ... The propagation speed of this wave is close to that of a smooth internal bore. ... The flow in midsection of solitary wave is close to the flow which is conjugate with uniform flow at infinity. ... This situation takes place for Froude numbers close to critical values which correspond to degeneration of a symmetric solitary wave to asymmetric bore. ...

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

Singularly p erturb ed problems with b oundary and internal layers Adelaida B. Vasilieva Lomonosov Moscow State University, Moscow , 119991, Russia e-mail: ABVAS@phys.msu.ru Valentin F. Butuzov Lomonosov Moscow State University, Moscow , 119991, Russia e-mail: butuzov@phys.msu.ru Nikolay N. Nefedov Lomonosov Moscow State University, Moscow , 119991, Russia e-mail: nefedov@phys.msu.ru Nonlinear singularly ...

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

• http://pont2008.cs.msu.ru/files/ru/abstracts/VasilievaButuzovNefedov.pdf

. Published since 1829 . Editor in Chief: A.S. Severtsov . Editorial Board :V.N. Pavlov (Assistant Editor), Yu.A. Dubrovsky, F.Ya. Dzerzhinsky, R.D. Zhantiev, V.G. Krivenko, M.V. Mina, E.N. Mirzoyan, O. P.Poltaruha, D.D.Sokoloff, V.G. Onipchenko, A.V. Sviridov, G.N. Simkin, M.V. Nilova (Secretary), P.S. Tomkovich.

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

• Moscow State University Botanical Server

... Enter here your expression: Process as chemical reaction (not as a phase composition). ... Preview: . ... Кнопка "Remove redundant tags" удалит избыточные тэги sup и sub. ... In the second textbox will appear HTML-code and after the word "Preview" - chemical formula. You can also edit HTML-code in it's textbox and update Preview by "Update preview" button. Button "Copy" is more comfortable than Ctrl+C. "Remove redundant tags" button will delete redundant sup and sub tags. ... HTML-code . ...

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

• Dictionary_I
• Авторский сайт Владимира Мальцева - литература
• Global Seismic Tomography: A Snapshot of Convection in the Earth

... 4) Percolation probability: [pic] , where L is linear size of lattice. ... The presence of obstacles in a system leads to: - increase of the critical concentration value; this effect grows with increase of the full area of obstacles and falls with increase of the linear size of ones. - increase of the critical exponent ( value; this effect increase with growth both of linear size of obstacles and of their full area. - increase of the growth rate of ...

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

... Vladimir C. Borisov Ph.D., associate professor, Management Theory and Technology Department, School of Public Administration, Lomonosov Moscow State University. ... Elena S. Ulina graduate student, Management Theory and Technology Department, School of Public Administration, Lomonosov Moscow State University. ... The relevance of the research is determined by the growing need for the development of information exchange systems and internal communications in bodies of executive authority of Russia. ...

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

download:rn-070607 ]] . ... 4.4.92: n_comphep can't read the QCD Scale expression. 4.4.92: n_comphep writes down redundant information from session.dat to prt. 4.4.91: Three bugs in generation of session.dat with s_comphep . ... 4.4.90: Several bugs in generation of session.dat with s_comphep . ... 4.4.90: A new improved version of num_batch.pl . 4.4.90: Diagram viewing is available in n_comphep (a new option in the main menu) . ... 4.4.90: A new format of the initial state in session.dat. ...

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

• download:rn-070702 [CompHEP]
• download:rn-080423 [CompHEP]

... Expression of NMDA receptors in multipotent stromal cells of human adipose tissue under conditions of retinoic acid-induced differentiation. ... The system of NMDA glutamate receptors in human adipose tissue multipotent stromal cells and SH-SY5Y human neuroblastoma cells was used as a model for studies of NMDA receptor expression during neurodifferntiation. Glutamate NMDA receptors were detected in multipotent stromal cells of human adipose tissue. ...

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

• Expression, purification and some properties of fluorescent chimeras of human
• Silencing AML1-ETO gene expression leads to simultaneous activation of both

О лаборатории . ... Лаборатория теоретической биофизики . ... Here orig1 is the starting value of internal coordinate and zero corresponds to this value in current geometry. disp1 means step of scanning (degrees for angles and Angstroms for bonds). ndisp1 points number of steps in PES scan. vect1 ? ... Нет комментариев " Scanning PES ab initio and in MM " . ... OPLS-AA patch for different types of molecules . ... Scanning PES ab initio and in MM . ... 2015 ERG Research Group . ...

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

• Firefly ERG Research Group: Лаборатория теоретической биофизики
• MDAnalysis ERG Research Group: Лаборатория теоретической биофизики
• Using Firefly/GAMESS-US efficiently ERG Research Group: Лаборатория

A quantum gas in an external field at finite temperatures. An exact expression for density and exited states" . Polyakov E.A., Vorontsov-Velyaminov P.N. A general expression for the density of a quantum system at finite temperature is obtained in the form of the variational derivative of the canonical partition function. ... From the low-temperature data, 10 states in a harmonic field and all 5 bound states in the Morse potential are reproduced with high accuracy. ...

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

• "Parallel processes at the stages of petaflops modeling"
• "Geometric interpretation of propositional formulas"
• "On cubature formulas exact for Haar polynomials in the case of two-variable

... help . find changesets by author, revision, files, or words in the commit message Merge Tools To merge files Mercurial uses merge tools. ... There are some internal merge tools which can be used. ... If it is the name of a tool in the merge-tools configuration, its configuration is used. ... If the filename of the file to be merged matches any of the patterns in the merge-patterns configuration section, the first usable merge tool corresponding to a matching pattern is used. ...

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

• Функции белка UbiC
• Help: resolve
• Help: hgweb

... Publications . ... Vetchanin E. V. , Kilin A. A. Free and controlled motion of a body with moving internal mass though a fluid in the presence of circulation around the body . ... In this paper, we study the free and controlled motion of an arbitrary two-dimensional body with a moving internal material point through an ideal fluid in presence of constant circulation around the body. ... Computer Science, 2015, vol. 25, no. 4, pp. ... Institute of Computer Science Izhevsk, 2005 - 2016 . ...

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

Comparative deep sequencing survey of alternative splicing in human and mouse D. Pervouchine, S. Djebali, A. Breschi, J. Lagarde, T. Gingeras, R. GuigС We perform comparative analysis of alternative splicing by using RNA-seq data in 16 human cell lines and 30 mouse tissues. ... Despite having biologically different samples the variability of splice junction usage is to large extent conserved between human and mouse. ...

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

• http://mccmb.belozersky.msu.ru/2015/proceedings/abstracts/47.pdf
• http://mccmb.belozersky.msu.ru/2015/proceedings/abstracts/79.pdf
• http://mccmb.belozersky.msu.ru/2015/proceedings/abstracts/35.pdf

... 104 Rf . 105 Db . 106 Sg . ... 100 Fm . 101 Md . 102 No . 103 Lr ...

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

• CDFE - Centre for Photonuclear Experiments Data - Home page

Cell Biology International 27 (2003) 293­294 Cell Biology International www.elsevier.com/locate/jnlabr/ycbir Short communication Microtubule dynamics in living cells : direct analysis in the internal cytoplasm Ivan A. Vorobjev a a,* , Irina B. Alieva a, Ilya S. Grigoriev b, Gary G. Borisy c Laboratory of Cell Motility, A.N. Belozersky Institute, Moscow State University, Moscow, Russia b Department of ... These data demonstrate that MT growth is impeded at the cell margin. ...

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

• picture2