Unit Checking Output Tests under Constant Faults for Functional Elements / Kolyada S.S. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. ...

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

... Stepanov S.V., Shishkin A.G. Freeware static verification tools for Java code analysis are considered. Test results and an estimate for the efficiency of different tools for checking the ScopeShell system developed at the Department of Research Automation (Faculty of Computational Mathematics and Cybernetics, Moscow State University) are given. Keywords: static verification, detecting bugs in software, automated code analysis, Java programming language . PostScript (in Russian) (7.94MB) . ...

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

• "A survey of algorithms for constructing a Delaunay triangulation"

... Summ B. D., Ivanova N. I. Colloidal-Chemical Aspects of Nanochemistry: from Faraday to Progozhin . ... Many theoretical concepts of colloid chemistry can be applied successfully to nanosystems Different scale effects in colloid chemistry and physicochemical mechanics are considered and the possibility of their up to nanodimensions is analyzed. ... Moscow University Chemistry Bulletin . 2001, Vol. ... Copyright (C) Chemistry Dept., ... Copyright (C) Chemisty Department of Moscow State University . ...

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

• Moscow University Chemistry Bulletin Vol. 52, No. 4, P. 243 (2011)
• Moscow University Chemistry Bulletin Vol. 50, No. 5, P. 317 (2009)
• Moscow University Chemistry Bulletin Vol. 46, No. 3, P. 155 (2005)

... Кафедра общей экологии Биологического факультета МГУ им. М.В. Ломоносова и . ... Активные темы Список участников Поиск по форуму Помощь . ... Экологический Форум - Фундаментальная Экология : Предложения и замечания по сайту . Тема: Dyeing shoes is considered by some to be . ... Переход на форум -- Выберите форум -- О сайте "Фундаментальная экология" - Предложения и замечания по сайту Научные семинары - Научные семинары . Вы не можете публиковать новые темы в этом форуме . ...

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

• Экологический Форум - Фундаментальная Экология: considered one of a form Radar
• Экологический Форум - Фундаментальная Экология: Brogues are considered top of
• Экологический Форум - Фундаментальная Экология: check out shades made to

... Another way to fend off and detect impostors is to use call sequence checks. Call sequence checks help you protect against intruders that somehow managed to find out the password you log into your UUCP system with. ... When the attacker call your UUCP feed and steals your mail, this will increase the feeds call sequence number by one. ... If you have enabled call sequence checks, you should check your log files regularly for error messages that hint at possible attacks. ...

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

• Configuring the r Commands
• Linux Administration Made Easy: Strategies for Keeping a Secure Server
• Checking with netstat

... 13 ALLSPHINXOPTS = -d $( BUILDDIR ) /doctrees $( PAPEROPT_ $( PAPER )) $( SPHINXOPTS ) source . ... 18 @echo "Please use \`make <target>' where <target> is one of" . 19 @echo " html to make standalone HTML files" . 20 @echo " dirhtml to make HTML files named index.html in directories" . ... 23 @echo " htmlhelp to make HTML files and a HTML help project" . 24 @echo " qthelp to make HTML files and a qthelp project" . ... 64 @echo "# qcollectiongenerator $(BUILDDIR)/qthelp/allpy.qhcp" . ...

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

• allpy: 2ede0318ff95 docs/Makefile
• allpy: 6a50c2042d0e docs/Makefile
• allpy: docs/Makefile annotate

Электронная библиотека Попечительского совета . ... Becker G.F. - On the Earth Considered as a Heat Engine . ... Название: On the Earth Considered as a Heat Engine . Автор: Becker G.F. Язык: . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Caforio G., Kummel G. - Military Missions and Their Implications Reconsidered:
• Amon C., Keele A.V., Kligerman D. - Check Point Next Generation Security
• Поиск книг, содержащих \Check :: Электронная библиотека попечительского совета

PHP Manual . Prev . Next . PHP 3 <= 3.0.18, PHP 4 >= 4.0.0) checkdate -- Validate a gregorian date/time . bool checkdate ( int month, int day, int year) . Returns TRUE if the date given is valid; otherwise returns FALSE . Checks the validity of the date formed by the arguments. A date is considered valid if: . year is between 1 and 32767 inclusive . month is between 1 and 12 inclusive . Day is within the allowed number of days for the given month . ... date ...

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

• Mcrypt Encryption Functions
• aspell_check_raw
• pspell_check

Network Working Group Request for Comment #167 NIC #6784 Socket Conventions Reconsidered Athay Bhushan (MAC) Bob Metcalfe (Harvard) Joel Winett (LL) 24 May 1971 Category: C1, C3, C8 Related RFCs: #147, #129 Related Functional Documents: #1 [Page 1] RFC 167 Socket Conventions Reconsidered The current NCP Protocol says nothing about how hosts should assign socket numbers to process ports, except that the low-order bit is to specify socket gender (i.e., send or receive). ...

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

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc167.txt.pdf
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc39.txt.pdf
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc39.txt

Hide Zen home . ... GIN . ... contains: value_array @> query_array . ... An example for a Gin opclass can be found in ginarayproc.c. Datum * extractValue( Datum inputValue, uint32* nentries) Returns an array of Datum of entries of the value to be indexed. nentries should contain the number of returned entries . int compareEntry( Datum a, Datum b) Compares two entries (not the indexing values) Datum * extractQuery( Datum query , uint32* nentries, StrategyNumber n) Returns an ...

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

• Light Curve Templete/Observing Form For Visual SNe Observers.
• Zen: todo
• WebMuseum: CИzanne, Paul: Le Mont Sainte-Victoire vu des Lauves

README for XFree86 on OS/2 : Checking Compatibility of Video Hardware . ... Edit your CONFIG.SYS file to contain the following line somewhere: DEVICE=Y:\XFree86\lib\xf86sup.sys Of course replace ``Y:'' with the correct drive letter. ... Refer to section Adding Variables to CONFIG.SYS below. ... Start a full screen OS/2 CMD session and enter the following command: [C:\] Y:\XFree86\bin\SuperProbe . ... SuperProbe can identify many more video cards than are supported by XFree86. ...

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

• Introductory Note about the release 3.3.6
• Image: Dreaming about things on display. After checking, they appeared to be
• Sergey Ayukov | Сергей Аюков homepage

... Alders ( Alnus Mill.) are the common trees in Europe and Asia, and there are some taxonomically interesting forms on the border of the area. ... We have checked mentioned hypotheses using multivariate methods based on classic morphometrics data and two variants of geometric morphometrics of alder leaf. ... On the contrary, A. barbata must be considered as separate species. Our data show that the results of geometric morphometrics and classic morphometrics could be significantly different. ...

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

... Distances between sequences . It is considered that the space, where all amino acids and sequences are analysed, is a metric one. ... When the distance between amino acids is entered, it is rather easy to consider such measure as pair distance between sequences in any position of alignment (in fact, this distance is just a distance between two amino acids). As distance is an additional quantity, pair distance between sequences on all alignment positions can be easily defined. ...

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

• About authors ot this complex

... Probing the kinetic and mass terms of the Lagrangian . ... LanHEP is able to check the correctness of the hermitian conjugate terms in the Lagrangian. ... When LanHEP is used to generate CompHEP model files, the information about particles propagators is taken from the particle declaration, where particle mass and width (for Breit-Wigner's propagators) are provided. ... When the CheckMasses statement is used, LanHEP creates the file named masses.chk (in the directory where LanHEP was started). ...

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

• Reduce program
• [Comphep-common] COMPHEP for excited leptons - confirmation about the checks
• [RU-NGI] [Ru-ngi] [EGEE-SA1-RU] Fwd: Fw: (Urgent) please check the reported

... Journals . Memoirs of the Faculty of Physics . Moscow University Physics Bulletin . ... The conference papers from the School-Seminar ?Waves-2014? will be submitted for publishing in the Memoirs of the Faculty of Physics journal. ... Moscow University Physics Bulletin was founded in 1946 by Lomonosov Moscow State University and the Faculty of Physics. ... World-known physicists working at the Faculty of Physics (including 8 Nobel laureates) used to be and are the authors of the journal. ...

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

... On Double Waves of Homogeneous Systems of 4 Quasilinear Equations . ... The study of autonomous homogeneous overdetermined system with two dependent variables and three independent variables is considered in the presentation. The research is separated in two parts. In the first part we classify all systems, which have solutions with functional arbitrariness. ... Full analysis of double waves for two dimensional equations of rigid plastic body is given. ...

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

... Berezhnoy A.A., Kozlova E.A., Shevchenko V.V. Sternberg State Astronomical Institute, Moscow University, Russia, Moscow, Universitetski pr., 13, 199992. katk@sai.msu.ru According to the data from "Lunar Prospector" [1] the areas of high hydrogen content in the lunar south pole region coincide with the areas of such craters as Faustini (87.2є S, 75.8є E), Cabeus (85.2є S, 323є E) and other crates. ... We estimate the total permanently shadowed area in the lunar northern polar region at 28 260,2 km2. ...

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

• Бережной А.А.
• Aleksei A. Berezhnoi

. Maximum RPM: Taking the Red Hat Package Manager to the Limit . Prev . Appendix C. Concise RPM Command Reference . Next . RPM's check signature mode is used to verify a package's signature: . Format: rpm --checksig <options> <packagefile> + . or . Format: rpm -K <options> <packagefile> + . The following option can be used on any check signature command: . --nopgp ? Skip any PGP signatures (size and MD5 only). Prev . Home . Next . Add Signature Mode . Up . Initalize Database Mode

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

• Using RPM to Install Packages
• Relocatable Wrinkles: Things to Consider
• Support - Frequently Asked Questions - Apache HTTP Server

... Другие названия журнала: BULLETIN-RUSSIAN ACADEMY OF SCIENCES PHYSICS , BULLETIN-RUSSIAN ACADEMY OF SCIENCES, PHYSICS , Bull. ... Physics , Bulletin of the Russian Academy of Science, Physics, , Bulletin of Russian Academy of Sciences. ... Physics , Bulletin of the Russian Academy of Sciences Physics , Bulletin of the Russian Academy of Sciences, Physics , Bulletin of the Russian Academy of Sciences-Physics , Bulletin of the Russian Academy of Sciences. ...

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

• Moscow University Chemistry Bulletin - журнал | ИСТИНА - Интеллектуальная
• Materials Research Bulletin - журнал | ИСТИНА - Интеллектуальная Система
• Advances in Space Research (includes Cospar Information Bulletin) - журнал |

THE STRUCTURES OF TIME. ... The essence of time is considered in the observing of the present, which is the attribute of united existence. The time is considered as the self-organizing reality, the elements of which are determined as the structures of time. ... 272]. ... B , , , 11-05, , , , 11-10 (, , , 5 ). ... 272­274]. ... 273]. , ? ... 1986. ... 1979. ... 2003. 3. , . ... 2. der Zweifel . ... 1999. ... http://www.chronos.msu.ru/ 7. « , » ­ «» . ... 1996. 10. http://ru.wikipedia.org/wiki 11. ...

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

• Russian Interdisciplinary Temporology Seminar
• TIME AS PROCESS FUNCTION
• М. Алле (M. Allais)