... Rosser J.B. - Simplified independence proofs. Boolean valued models of set theory . ... Название: Simplified independence proofs. ... Автор: Rosser J.B. Аннотация: . In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean algebra. ... Agreement set see "Set" . ...

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

• Liebovitch L.S. - Fractals and Chaos Simplified for the Life Sciences ::
• Greenberg H.J. - A Simplified Introduction to LaTeX :: Электронная библиотека
• Doherty J., Anderson N. - Home Network Security Simplified :: Электронная

Create user account [Комиссия, 3 семестр, 2014-2015] . login: . e-mail: . ... Use an existing account . To create an account, please think out, a login and provide your valid e-mail address in the form above. Then press the \"Create account\" button. ... Note, however, that simplified registration imposes certain restrictions on further use of the account! ... If you already have an ejudge account on this server, you may use it. If so, follow the link: Use an existing account . ...

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

• Create user account [Комиссия, 4 семестр, 2014-2015]
• Create user account [ACM ICPC 2015-2016, NEERC, Moscow Subregion, Training]
• Create user account [а?аИа?а? 2015 (аЕаЕаВаАб?б?аОаПаОаЛб?)]

... Reducing trigonometric expressions . Heuristics for trigonometric expressions . ... If some parameters appear to be the elements of the orthogonal matrix such as quark mixing Cabbibo-Kobayashi-Maskava matrix, one should declare them by the statement OrthMatrix( {{ , , }, { , , }, { , , }} ). where denote the parameters. ... If the substitution for one angle combination is defined, LanHEP offers to define the other ones for expressions consisting of parameters used in previous SetAngle statements. ...

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

Выберите категорию обращения: Общие вопросы Отчеты Рейтинги Диссертационные советы Конкурсы Ввод данных Структура организаций Пользователи Проблемы с регистрацией\входом в систему . ... Войти в систему . ... Terenin I.M. , Dmitriev S.E. , Andreev D.E. , Royall E. , Belsham G.J. , Roberts L.O. , Shatsky I.N. в журнале Molecular and Cellular Biology , издательство American Society for Microbiology (United States) , том 25, ? ...

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

• Roberts L.O. - сотрудник | ИСТИНА - Интеллектуальная Система Тематического
• Yurchuk Yu S. - сотрудник | ИСТИНА - Интеллектуальная Система Тематического
• Royall E. - сотрудник | ИСТИНА - Интеллектуальная Система Тематического

Application of the Gerchberg-Papoulis method in Doppler tomography" . Pickalov V.V. and Likhachev A.V. The simplified formulation of the Doppler tomography problem leads to a reconstruction of a function of three variables from a set of its plane integrals. The Gerchberg-Papoulis method is suggested to solve this problem. ... PostScript (in Russian) (1.83MB) . PDF (in Russian) (257KB) . ... Pickalov V.V. and Likhachev A.V. e-mail: pickalov@itam.nsc.ru ; http://www.itam.nsc.ru/lab17 ...

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

• "Speeding up the solution of coupled heat transfer problems on unstructured
• "Automatic term extraction based on feature combination"
• "A practical approach to the interaction between a computing cluster monitoring

... xpdf-arabic-2011-aug-15.tar.gz . ... application/x-gzip . xpdf-arabic.diff.gz . 2013-Mar-29 00:51:05 . ... xpdf-chinese-simplified-2011-sep-02.tar.gz . ... xpdf-chinese-simplified.diff.gz . ... xpdf-chinese-traditional-2011-sep-02.tar.gz . ... xpdf-chinese-traditional.diff.gz . ... xpdf-cyrillic-2011-aug-15.tar.gz . ... xpdf-cyrillic.diff.gz . ... xpdf-greek-2011-aug-15.tar.gz . ... xpdf-greek.diff.gz . ... xpdf-hebrew-2011-aug-15.tar.gz . ... xpdf-hebrew.diff.gz . ... xpdf-japanese.diff.gz . ...

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

... 1.1 --- a/allpy/base.py Wed Jan 26 22:25:13 2011 +0300 1.2 +++ b/allpy/base.py Mon Jan 31 18:44:23 2011 +0300 1.3 @@ -317,36 +317,33 @@ 1.4 for sequence in column: 1.5 del column[sequence] 1.6 1.7 - def _append_row_from_list(self, new): 1.8 - sequence = new.sequence 1.9 - self.sequences.append(sequence) 1.10 - for i, monomer in enumerate(new): 1.11 - if monomer: 1.12 - self._column_at(i)[sequence] = monomer 1.13 + def _merge(self, dst, new, merge): 1.14 + """Replace contents of dst with those of new...

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

• allpy: 670ae384aa37 allpy/dna.py
• allpy: 670ae384aa37 debian/compat
• allpy: 670ae384aa37 .hgtags

... Проект "Виртуальная реконструкция московского монастыря 'Всех скорбящих радости': анализ эволюции пространственной инфраструктуры на основе методов 3D моделирования" (Virtual Reconstruction of Moscow Monastery 'All Sorrow Joy': Analysis of Spatial Infrastructure Evolution on the Basis of 3D Modelling Methods) проводится при финансовой поддержке гранта РФФИ, ? ... окно работы с конкретным историческим источником в удобных информационных средах для онлайн просмотра (окно ?3). ... Работа с базой данных...

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

• Этапы реконструкции
• Библиотека электронных публикаций по виртуальной исторической реконструкции
• История

Previous releases of Apache have included a module which generates a 'clickstream' log of user activity on a site using cookies. This was called the "cookies" module, mod_cookies. In Apache 1.2 and later this module has been renamed the "user tracking" module, mod_usertrack. ... For example: CustomLog logs/clickstream "%{cookie}n %r %t" For backward compatibility the configurable log module implements the old CookieLog directive, but this should be upgraded to the above CustomLog directive. ...

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

... This topic defines site-level settings that apply to all users and webs on this TWikiSite . ... Set WEBRSSCOPYRIGHT = Copyright 2016 by contributing authors . ... Exclude web from a web="all" search: (Set to on for hidden webs; is overwritten by web preferences) . Exclude web from a web="all" search: (Set to on for hidden webs; is overwritten by web preferences) Note it is much better to use TWikiAccessControls in individual webs to control who can and can't view the contents of a web. ...

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

• %TOPICTITLE% (67 vs. 71) - TWiki

APPROXIMATE ALGORITHM FOR THE SOLUTION OF DIRECT AND INVERSE PROBLEMS OF LASER-ULTRASOUND TOMOGRAPHY IN 1D AND 2D CASES Diploma thesis abstract A.M.Shtokolov New approximate algorithms for the solution of direct and inverse problems of laserultrasound tomography for media with low deviations of acoustic impedance were developed. ... In the case of low acoustic impedance variations the reconstruction of a scattering function can be performed in Born approximation using the back-projection algorithm. ...

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

QSAR-моделирование предельно допустимых концентраций органических веществ в воздухе рабочей зоны / Торопов А. А. , Кудышкин В. О. ,Нургалиев И. Н. ,Ахмеров Р. З. , Рашидова С. Ш. // Химия в интересах устойчивого развития, 2009. ... С. 199-202. ... Установлено, что они дают удовлетворительный прогноз логарифмов предельно допустимых концентраций веществ, которые могут находиться в воздухе рабочей зоны при производстве и переработке пластмасс. ключевые слова: . ...

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

Sulimov A.V., Kutov D.K., Katkova E.V., Sulimov V.B. Application of the docking program SOL for CSAR benchmark // 244th ACS National Meeting, Philadelphia, Pennsylvania, USA, 19-23 August, 2012 . Docking program SOL and postprocessing were tested against CSAR Benchmark. ... At CSAR benchmark SOL demonstrates good performance for two target-proteins and bad one for another two proteins. ... Ключевые слова: Docking, SOL, CSAR, force field ...

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

... It contains the Binaries and Source Code. Open Source under the simplified BSD license. Proposed directory for placement: /pub/os2/apps/editors/ Your name: Martin Iturbide Email address: martin@os2world.com Program contact name: Don Radick Program contact email: (none) Program URL: http://www.os2world.com/wiki/index.php/KEd Would you like the contact email address included in listings? yes Operating System/Version: Warp 3, Warp 4, WSeB Additional requirements: Replaces: ...

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

• http://crydee.sai.msu.ru/ftproot/pub/comp/os/os2/hobbes/incoming/Lzd-v0.5-os2.txt

... The exciplexes formed when weak electron donors or acceptors are used as quenchers (DGet > -0.2 eV) possess the medium extent of electron transfer. ... Their dipole moments are supposed to depend on the solvent polarity. We considered the simplified model of the solvent effect on the electronic structure of exciplexes. ... The considerable change of the exciplex polarity and dipole moment was shown to occur at (H22o-H11o) > -0.2 eV when solvent polarity increases. ...

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

• Moscow University Chemistry Bulletin Vol. 54, No. 6, P. 330 (2013)

WRF . ... NCEP/NCAR, . ... WRF (Weather Research and Forecasting Model), , ' -35' (-35) ' -36' (-36). ... 11.12.2007 . ... 100 % . ... 400 . ... Fels S.B., Schwarzkopf M.D. The simplified exchange approximation: a new method for radiative transfer calculations // Journal of the Atmospheric sciences. ... Vol. ... Janjic Z.I. The surface layer in the NCEP Eta model. ... Janjic Z.I. Nonsingular Implementation of the Mellor-Yamada Level 2.5 Scheme in the NCEP Meso model // NCEP Office Note. ...

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

As of 1.3, the Apache source directories have been re-organised. This re-organisation is designed to simplify the directory structure, make it easier to add additional modules, and to give module authors a way of specifying compile time options or distribute binary modules. ... The non-module source files have moved from src into src/main . ... Configure . ... For example, say it is called mod_demo.c. The archive for this module should consist of two files, in a suitable directory name. ...

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

... The traditional answer to this question is unequivocal: тАЬno, public scholarship cannot and should not exist.тАЭ To popularize knowledge is to simplify, and simplification risks the loss of nuance and complexity, the very essence of scholarly knowledge. ... The public sphere can know but a distorted version of scholarly knowledge. ... You need JavaScript enabled to view it. (with Summer School-2016 in the subject line) before April 25, 2016. ... Summer School Archives . ...

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

... Projects . ... CURRENT GRANT PROJECTS . Grant project RFBR 14-01-00738-а . ... The purpose of the project is to continue joint experimental and numerical studies of sub- and supersonic flows of air plasma, carbon dioxide plasma and nitrogen plasma and heat transfer where possible nonequilibrium chemical processes in the flow and on the surface of thermal-protective materials in an extended range of conditions implemented in the induction HF plasmatrons IPG-4 (IPM RAS) and WT VAT-104 (TsAGI). ...

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

Modules | Directives | ... Apache HTTP Server Version 2.0 . Apache > HTTP Server > Documentation > Version 2.0 . ... This document describes some of the major changes between the 1.3 and 2.0 versions of the Apache HTTP Server. ... On Unix systems with POSIX threads support, Apache can now run in a hybrid multiprocess, multithreaded mode. ... Also, new calls have been added that provide additional module capabilities without patching the core Apache server. ... New module in Apache 2.0. ...

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