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

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

• Majda A.J., Kramer P.R. - Simplified models for turbulent diffusion: Theory,
• Panasenko G.P. - Multiscale Modelling for Structures and Composites ::
• Pelz G. - Mechatronic Systems : Modelling and Simulation with HDLs ::

... Mathematical model of chemical oscillations arising in the homogeneous system of cysteine–oxigenated complexes of iron (II) . Abstract The analysis of the mathematical model of the kinetics of homogeneous oxidation of cysteine in the presence of oxygenated complexes of iron (II) with dimethylglyoxime and cytosine represented as a system of three nonlinear differential equations was carried out. ... Moscow University Chemistry Bulletin . 2013, Vol. ... 6, P. 330 . ...

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

• Moscow University Chemistry Bulletin Vol. 51, No. 2, P. 81 (2010)
• Moscow University Chemistry Bulletin Vol. 43, No. 6, P. 420 (2002)
• Moscow University Chemistry Bulletin Vol. 48, No. 1, P. 22 (2007)

... About lab . ... Selected publications . Publications . ... Online Journal "Computer graphics and multimedia" (in russian) . ... Image-based 3-D face modeling system . Publication Type . Journal Article . Year of Publication . ... Journal . EURASIP Journal on Applied Signal Processing . ... Publication Language . ... http://graphics.cs.msu.ru/en/publications/text/eurasip2005vvp.pdf . ...

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

• Image-based 3-D face modeling system | Лаборатория компьютерной графики и
• Semiautomatic Visual-Attention Modeling | Graphics and Media Lab
• Displacement and Normal Map Creation For Pairs of Arbitrary Polygonal Models

... The basic core of the COMAGMAT-5.2 (2013) program includes the algorithm that has been used in previous versions of the COMAGMAT model (ver. 3.0-3.5) designed to simulate mafic magma crystallization processes . ... Ariskin A.A., Bychkov K.A., Danyushevsky L.V., McNeill A.W., Barmina G.S., Nikolaev G.S. (2012) COMAGMAT-5: a new magma crystallization model designed to simulate mafic to ultramafic sulfide-saturated systems. ... Contact ariskin@geokhi.ru . ... Ariskin A.A., Barmina G.S., Frenkel M.Ya., ...

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

• MODELING CRYSTALLIZATION DIFFERENTIATION FOR BASALT MAGMAS, Ariskin, COMAGMAT,
• Li Romanowicz Model SAW12D
• Zhou: P1200 Mantle Model

... CompHEP Models. ... CompHEP is based on an idea of the physical model. ComHEP Models are very simular to physical models in high energy physics, like Standards Model or MSSM. ... Two of them are versions of the Standard Model (SU(3)xSU(2)xU(1)) in the unitary and t'Hooft - Feynman gauges. ... Standard Model in Feynman gauge . ... This output can be written in LaTeX format and in the form of CompHEP model files, which allows one to start calculations of processes in the new physical model. ...

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

• extra:model:main [CompHEP]
• news [CompHEP]

... Model , Rus. ... Analysis and Math.Modelling , Russian J. Numerical Anal. ... Modelling , Russian Journal Numerical Analysis and Mathematical Modelling . ... Kobelkov G.M. , Zvyagin A.V. в журнале Russian Journal of Numerical Analysis and Mathematical Modelling , издательство V S P (Netherlands) , том 30, ? ... Tretyakova Rufina M. , Andreas Meyerhans, Bocharov Gennady A. в журнале Russian Journal of Numerical Analysis and Mathematical Modelling , издательство V S P (Netherlands) , том 30, ? ...

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

• Computational Mathematics and Modeling - журнал | ИСТИНА - Интеллектуальная
• Journal of Chemical Information and Modeling - журнал | ИСТИНА -
• Mathematical modelling of natural phenomena - журнал | ИСТИНА -

The essence of VES data processing may be shown on a flexure fold model (The central part of model is shown on fig.6). 2D modeling data for the flexure fold added with NSI were processed with the IPI-2D package, but at first example deep objects resistivities were made equal to surrounding to neglect their influence. ... Full model of flexure fold with NSI and deep objects . ... Comparison of apparent resistivity fields after filtering (a) and calculated without NSI (b) . ...

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

• TES. Base model
• Anis. Page2
• Page 3. Publications

... In this poster we propose a hypothesis that within fixed assumptions about internal physics (opacity, thermodynamics, nuclear reactions) a strict relation between the surface helium abundance and the entropy of the adiabatic part of the convective zone exists for all solar models. This hypothesis is verified with models under simplified physics (Christensen­Dalsgaard 1988) and with six evolutionary models computed by Christensen­Dalsgaard (1992). ... 1990, Christensen­Dalsgaard 1991). ...

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

• Index of /ftproot/pub/local/science/models
• Index of /ftproot/pub/local/science/models/mof
• Solar modeling input physics (thermodynamics, opacity, nuclear reactions)

... Contact information . ... 119991, Moscow, GSP-1, Leninskiye Gory, MSU, 2nd Educational Building, CMC Faculty . ... Our goal is to provide researchers from many branches of science, education and industry with innovative tools and methods for solving applied problems using the latest information technologies, modern methods of computation modeling and scientific visualization. ... The uncertainty can be used in further uncertainty estimation of a computational model that uses FetchClimate. ...

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

• Laboratory of Mathematical Physics | CMC MSU
• Laboratory of Mathematical Physics
• Research Laboratory of Computational Modeling Tools

... Ph.D., Professor, School of Public Administration, Lomonosov Moscow State University. ... The article analyses the impact of the average height on success of the national soccer team. ... However, the average height of national team s players negatively correlated with the national football team s success (r=0.58; p<0.05). The article shows polynomial regression dependence between the average height and the team s results: optimum average height of a football team is 178 180 cm. ...

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

... Mathematical models and methods in VLSI design . ... General models and statements about the complexity of combinatorial tasks, methods for development of fast algorithms (method of dynamic programming, ?divide and conquer?, ?method of model extension?) are considered. ... Mathematical models of contemporary electronic circuits are considered and basic approaches to solving task of logic synthesis, as well as tasks of VLSI modules placement and interconnection routing are described. ...

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

• Master program "Mathematical Models of Complex Systems" | Магистерское и
• Master programљ"Decision Engineering in Economics and Finance" | Магистерское и
• Mathematical Models of Complex Systems: Theory, Algorithms, Applications |

.

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

The PC GAMESS v. 5.2 SMP scaling results for the model MP4-SDQ job with 290 AOs total, 111 occupied orbitals, 52 core orbitals, 179 virtual orbitals, and no symmetry. ... time, s . MFlops . scaling . ... 1.00 . ... These are the most demanding steps with sixth order (N 6 ) scaling. ... MFlop estimates were calculated using flops count for N 6 steps only. ... Back to the PC GAMESS/Firely Benchmarks page . ...

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

• PC GAMESS/Firefly DOCUMENTATION - P2P communication interface; dynamic load

Welcome to the site of the Laboratory of Mathematical Models of Quantum Scattering Processes . ... It develops mathematical models of ionizing collisions in atomic, molecular, and condensed matter physics. Main areas of current research activity include single and multiple ionization by electron, ion, and photon impact, ionization processes in strong laser pulses, and laser-assisted ionizing collisions. ... Research | ... c) Laboratory of mathematical models of quantum scattering processes, 2012 . ...

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

... Laboratory of Mathematical Methods of Image Processing . ... Ringing effect . Modeling . ... The behavior of ringing effect produced by different image processing algortihms can be different. ... The necessary step for the development of ringing detection and suppression algorithms is creating the ringing database with ringing effect introduced by various image processing algorithms. ... We use the following image processing algorithms and methods that produce synthetic ringing effect: . ...

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

• View publication | Laboratory of Mathematical Methods of Image Processing

О лаборатории . ... Лаборатория теоретической биофизики . ... For lipid bilayer modelling the whole toolchain was built: from creating membranes to MD trajectory analysis. ... We use OPLS-AA with some includings; ?includings? are overlays on the standart GROMACS forcefield files. ... 4 комментариев " Lipid membrane MD modeling with GROMACS " . Python membrane generator for MD simulations ERG Research Group: Лаборатория теоретической биофизики написал (Февраль 14th, 2012 4:11 пп) . ...

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

• comcon1 ERG Research Group: Лаборатория теоретической биофизики
• membrane ERG Research Group: Лаборатория теоретической биофизики
• gromacs ERG Research Group: Лаборатория теоретической биофизики

RNA Tertiary Structure Modelling . ... Two steps to fold coarse-grained model of RNA tertiary structure . ... fill in RNA secondary structure form with CT format (also with pseudoknots); . ... push "Finish Step #1" button to obtain secondary and intermediate* structures. * intermediate structure is the structure with minimum of "free energy" contains formed helixes and stacking, but without tertiary interactions . RNA secondary structure form . ... some useful RNA secondary structure databases: . ...

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

• TmrnaEnglish - Projects - TWiki
• %TOPICTITLE% (1 vs. 2) - TWiki

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

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

Model page И.Л. Алексеева "Категории национального в исламском дискурсе нового времени: "миллет" и умма"" . Model page М.В. Дмитриева 'Влияние православных традиций на формирование протонациональных и национальных дискурсов в русской культуре XIX-XX вв.' Программы курсов М.В. Дмитриева по этническим и национальным традициям в христианских культурах. Model page М.В. Дмитриева: 'Этнос, конфессия, национализм в истории Восточной Европы". ...

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

• An Estimation of the National Economy's Losses Caused by the Priority in
• Model pages и материалы проекта
• История

... Input parameters Key parameters: - sqrt(s), GeV N events ­ total number of events A number of target/projectile B min, B max ­ impact parameters (in fm) for all events Choice of parton-hadron conversion scenario (AMPT model, AMPT with string and others) Parameters for Lund fragmentation Quenching flag (on\off) K short decay flag, other flags Output parameters Output file: ampt.dat, containts: Event number Impact parmeter Total number of participants n. in proj. ...

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

• http://lav01.sinp.msu.ru/~igor/seminar/golovin_111214.pdf