... Gabbay D.M., Hogger C.J., Robinson J.A. - Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming . ... Название: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming . Авторы: Gabbay D.M., Hogger C.J., Robinson J.A. Аннотация: . ... Volume 5 focuses on logic programming. ... Abduction and constraint logic programming 287-288 . ... Abductive logic programming [ALP] 269 . ... Abstract logic programming language 198 . ...

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

• Schmidt O.Yu. - Abstract theory of groups :: Электронная библиотека
• Loomis L.H. - An introduction to abstract harmonic analysis :: Электронная
• Robinson A. - Introduction to model theory and to the metamathematics of

. Phys. Fluids A6, 297-305, 1994.

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

• Photo album: Japan: Kyoto and Nara, August 1997
• Photo album: Italy: Florence and Rome, September 1999
• Feature enhancement: normalizing

... Molecular structure and dynamics of the dimeric human small heat shock protein HSPB6. ... ATP-independent small heat-shock proteins (sHSPs) are an essential component of the cellular chaperoning machinery. ... We addressed the three-dimensional structure and functional properties of HSPB6 in a hybrid study employing X-ray crystallography, solution small-angle X-ray scattering (SAXS), mutagenesis, size-exclusion chromatography and chaperoning assays. ...

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

• Three-dimensional structure of alpha-crystallin domain dimers of human small
• Quaternary structure of human small heat shock protein HSPB6 (Hsp20) in crowded

... Second Harmonics of Non-Linear SH and P-SV Normal Waves in Monocrystal Germanium Plate Waveguide . K.Kurennaya, V.A.Shpack (Department of Elasticity Theory and Computational Mathematics, Donetsk National University, Donetsk, Ukraine) . e-mail: storozhev@matfak.dongu.donetsk.ua . ... The amplitude-frequency dependences and distribution in depth of power flows of traveling normal waves are investigated for second harmonics in a waveguide from a cubic crystal of germanium with free flat edges. ...

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

О лаборатории . ... Лаборатория теоретической биофизики . ... This script allows one to visualize normal modes, calculated with GROMACS package, using PyMol . ... This will produce an object named ?obj-ID?, contaning 20 frames of the system oscillating along selected normal mode. Also the normal modes list is printed once again. ... 1 комментарий " Normal modes visualization for PyMol " . ... I made a modified version for visualizing quasi-harmonic modes. ... 2011 ERG Research Group . ...

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

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

... Подсказки к ChemSketch. 1. а) Первый рис. ... Для рисования структурной формулы выберите инструмент Draw normal (5я слева кнопка в третей строчке верхнего меню) - Атомы выбираются из левого меню (и вставляются щелчком мыши), связи протягиваются при удерживании левой кнопки мыши - Что бы превратить одинарную связь в двойную, щелкните по этой связи; следующие щелчки вернут ее в одинарную - Для установления заряда служит инструмент Increment Charge - предпоследняя кнопка снизу в левом меню. ...

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

• http://kodomo.cmm.msu.ru/~is_rusinov/projects/MolDynam/ModellerFiles/pp5.txt
• http://kodomo.cmm.msu.ru/~is_rusinov/projects/MolDynam/ModellerFiles/pp2.txt
• http://kodomo.cmm.msu.ru/~is_rusinov/projects/MolDynam/ModellerFiles/pp4.txt

... Feature of exciplexes with complete and partial electron transfer formed are analyzed. ... For exciplexes with complete charge transfer (the degree of charge transfer z>0.8 and the energy gap between CT- and LE-states in vacuum (driving force of electron transfer) (H220 - H110) < -0.3 eV), the main contribution to the exciplex energy gives the energy of electron transfer. ... Exciplex energy is substantially lower than that of LE-state even when (H220 - H110) > 0. ...

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

• DSC and X-ray Diffraction Study of the Fluorofullerene Solvates.
• Moscow University Chemistry Bulletin Vol. 48, No. 2, P. 86 (2007)
• Moscow University Chemistry Bulletin Vol. 49, No. 4, P. 264 (2008)

... Nappe . ... Nappe, emplacement models . ... Nappe, Morcles, mineral fibers in strain analysis for . ... Natural deformation, rheologic models and . ... Newtonian . ... Newtonian fluid, continuum model for . ... Noncoaxial deformation . ... Noncoaxial deformation, vs coaxial deformation . ... Noncohesive fault rocks . ... Nonmaterial foliation . ... Normal fault . ... Normal fault, extension on, kinematic model of . ... Normal fault, kinematic models of . ... Normal fault, strike slip faults and . ...

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

• Dictionary_L
• Dictionary_R

... Class . ... FIELD | ... METHOD . DETAIL: FIELD | ... java.lang.Object methods.ClientMethod methods.Normalize . public class Normalize . ... Klientskij' klass metoda normalizacii. ... package private) java.lang.String[] . ... Fields inherited from class methods. ... Field Detail java.lang.String[] dataids . Constructor Detail public Normalize (java.awt.Frame parent, DesktopManager dm, java.io.File header) . Method Detail public void start () . ... start in class ClientMethod . ...

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

• ClientMethod

... Online Services | ... Construct your query and output by sequental openings of needed fields. One output field must be selected (not be blank) at least. ... Query parameters: . Select for output . ... Energy (keV) . ... Y D H M S MS US NS PS FS AS EV KEV MEV or Stable . ... Energy of the ?-ray (keV) . ... Energy parameters of nucleus (B , Alpha energy, N, P separation energy) . ... Neutron separation energy (keV) . Proton separation energy (keV) . ... Excited energy(keV) . ...

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

... About lab . ... Online Journal "Computer graphics and multimedia" (in russian) . ... Displacement and Normal Map Creation For Pairs of Arbitrary Polygonal Models Using GPU and Subsequent Model Restoration . ... http://graphics.cs.msu.ru/en/publications/text/gc2007ti.pdf . ...

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

• Selected completed projects | Graphics and Media Lab
• Fast automatic single-view 3-d reconstruction of urban scenes | Graphics and
• GML C++ Camera Calibration Toolbox | Graphics and Media Lab

... Bogachev Vladimir I. , Prato Giuseppe Da , Michael Roeckner , Shaposhnikov Stanislav V. в журнале Annali della Scuola Normale Superiore di Pisa , том 14, ? ... Bogachev V.I. , Krylov N.V. , Roeckner M. в журнале Annali della Scuola Normale Superiore di Pisa , том 24, ? ... Lobo M/ , Perez M.E. , Oleinik O.A. , Shaposhnikova T.A. в журнале Annali della Scuola Normale Superiore di Pisa , том 25, ? ...

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

• Melnikova N.V. - сотрудник | ИСТИНА - Интеллектуальная Система Тематического
• Annales Scientifiques de l'Ecole Normale Superieure - журнал | ИСТИНА -
• Goldobin E. - сотрудник | ИСТИНА - Интеллектуальная Система Тематического

. [ Войти ] . Главная -> Фильмы -> Normal Adolescent Behavior . Пользователи . Демо . Деньги . Фильмы . Форум . Normal Adolescent Behavior . США 2007 . отметить . Мелодрама . Драма .

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

• Almost Normal - Фильмы - Kinfo.ru
• Goodbye to the Normals - Фильмы - Kinfo.ru
• Normal, Ohio - Фильмы - Kinfo.ru

... K an (abstract) simplicial complex on the set [m] = {1, . ... zm) D / j I K Define the moment-angle complex ZK = { BI Dm } It is invariant under the co ordinatewise action of the standard torus Tm = on Cm. 2 (z1, . ... Now assume K is the underlying complex of a complete simplicial fan (a starshap ed sphere). ... A fan = {1, . ... Manifolds ZK corresp onding to complete regular simplicial fans are total spaces of holomorphic principal bundles over toric varieties with fibre a complex torus. ...

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

• http://higeom.math.msu.su/people/taras/talks/2013novosibirskGD-talk.pdf
• http://higeom.math.msu.su/people/taras/talks/2014sanya-talk.pdf
• http://higeom.math.msu.su/people/taras/talks/2013mexico-talk.pdf

... Changed: . ... text/html . ... Returns the URL to a TWiki script, providing the web and topic as "path info" parameters. ... Input: Return: ( 'Web', 'Topic' ) ( 'Web', 'Topic' ) ( '', 'Topic' ) ( 'Main', 'Topic' ) ( '', '' ) ( 'Main', 'WebHome' ) ( '', 'Web/Topic' ) ( 'Web', 'Topic' ) ( '', 'Web.Topic' ) ( 'Web', 'Topic' ) ( 'Web1', 'Web2.Topic' ) ( 'Web2', 'Topic' ) ( 'Main', 'Web2.Topic' ) ( 'Main', 'Topic' ) ( 'TWiki', 'Web2.Topic' ) ( 'TWiki', 'Topic' ) Note: Function renamed from getWebTopic . ...

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

• PatternSkinElements - TWiki - TWiki
• %TOPICTITLE% ( vs. 1) - TWiki
• PatternSkinElements - TWiki - TWiki - (printable)

The Linux System Administrators' Guide . ... This chapter describes the important parts of a standard Linux directory tree, based on the FSSTND filesystem standard. ... This chapter is loosely based on the Linux filesystem standard , FSSTND, version 1.2 (see the bibliography), which attempts to set a standard for how the directory tree in a Linux system is organized. ... The intention is not to describe every file, but to give an overview of the system from a filesystem point of view. ... Home . ...

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

• The Client Side of NIS
• Kernel msqid_ds structure
• Converting Modules from Apache 1.3 to Apache 2.0 - Apache HTTP Server

In our model for RNA secondary structure formation we assume that each of the candidate helices (see definition in the main text) may exist in two states. A helix can be completely zipped, or it can be completely decayed. ... The following schema is used to estimate the effective transition constants between zipped and decayed states: . ... To determine the kinetic constants, we use the transition state theory, which is often used in chemical kinetics (Figure 2). ... Transition . ...

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

• SDPsite - Algorithm Format requirements

... Publications . Journals . ... Ivanov A. P. , Erdakova N. N. On a mechanical lens . ... Abstract pdf (548.99 Kb) . In this paper, we consider the dynamics of a heavy homogeneous ball moving under the influence of dry friction on a fixed horizontal plane. ... pdf (548.99 Kb) Journal Info . ... http://mipt.ru/science/trudy/ . ... Ivanov A. P. , Shuvalov N. D. , Ivanova T. B. On detachment conditions of a top on an absolutely rough support . ... Institute of Computer Science Izhevsk, 2005 - 2016 . ...

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

. Название публикации . Long-term normalization of blood pressure in SHR and 1-kidney 1-clip rats by synthetic precursor of stable PAF analogue without systemic effects in normotensive rats . Авторы . S.I. Malekin, S.V. Kotelevtsev, S.A. Gavrilova, O.E. Fadyukova, A.V. Golubeva, M.I. Grinchenko, V.B. Koshelev, Y.V. Kotelevtsev, P. Hamet, S.N. Orlov . Дата . 31.12.2009 23:00:00 . Название журнала . Pathophysiology. Купить нет на складе . 2009 ФФМ МГУ, 2009

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

Filename completion is only available if the the environment variables EDITOR and/or VISUAL are set to either emacs , gmacs or vi . For example: EDITOR=emacs . ... To complete a file or directory name with emacs or gmacs set press the ESC key twice. ls -l on<ESC><ESC> line_help . If the filename is not completed enter more characters until the filename can be uniquely identified. ... To complete a file or directory name with vi set press the \ (backward slash) key. ls -l on\ line_help . ...

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

• Filename completion
• Filename completion with the C shell
• Filename completion with the TC shell