... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ­ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } «», «bbb» -- , : · ­ , , · ­ , , · ­ , · ­ . ... 1977 ­ LTL, · , 1981 ­ (CTL), · , , 1981 , , 1982 ­ model checking ( ), · , 1986 ­ model checking ( ), · , 1989 ­ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

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

... Individual SELEX products, aptamers, are small molecules (40­100 nt) that have a unique three-dimensional structure, which provides for their specific and high-affinity binding to targets varying from low-molecular-weight ligands to proteins. ... Selection of aptamers binding with a target is the key step in SELEX, as aptamers account for only a small fraction of the initial library (one aptamer per 109 to 1013 molecules) [6]. ... Fourth, modification can increase the aptamer affinity for a target. ...

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

• http://rnp-group.genebee.msu.su/pdfs/febsz.pdf
• http://rnp-group.genebee.msu.ru/pages/pdf/biochem2002_1.pdf

Regular Maps and Their Groups H. R. Brahana American Journal of Mathematics, Vol. ... In the one case the number of regions of the map is equal to twice the order of the group and in the other the number of regions is equal to the, order of the group divided by the number of sides of a region. ... The Group of a Regular Map. ... Noting that there exists no group of order 40 and degree 8, we have the result that there exists no regular map of ten 4-sided regions on - a surface of genus two. ...

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

• http://dfgm.math.msu.su/files/papers-sym/0503389v1.pdf

... Many protein families contain homologous proteins that have a common biological function but different specificity. Given a multiple sequence alignment of a family divided into specificity groups, SDPpred predicts a set of alignment positions ( SDP, Specificity-Determining Positions ) that determine differences in the functional specificity. ... 2004) Automated selection of positions determining functional specificity of proteins by comparative analysis of orthologous groups in protein families. ...

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

• SDPlight

... The model was then employed to assess the dependence of the association rate constant on the dimensions of the lumen. ... This small (10.5 kDa) protein diffuses in the lumen, a relatively narrow closed space between the thylakoid membranes, oxidizing cytochrome f (Cyt f ) in the membrane complex and then reducing the PS I reaction center. ... However, these works did not consider the diffusion of Pc molecules in the thylakoid lumen or their interaction with the b6 f and PS I membrane-bound complexes...

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

... Basic Linux . ... PCMCIA . Sound . ... CLEVO 8750 running X Window . ... BIOS: Phoenix (256Kb Flash ROM, PnP 1.0a, APM 1.2, LBA) LCD: TFT 13.3" 1024x768 . ... PCMCIA: GL9382; 2x Type II or 1x Type III PC Card slots (with ZV support) . ... Battery: Ni-Mh or Li-Ion . ... Nor X Window neither PCMCIA worked. ... For CLEVO 8750, I found at least two RRs at which X Window works: 62Hz and 70Hz. ... To enable the mouse when working on console use GPM with "-dev/psaux -t ps2" options. ...

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

... Cell Biol.. ... After nocodazole treatment (20 µ), the number of microtubules attached to the centrosome decreased by 20% after 10 min of treatment, remained the same after 20 min of treatment, and increased after 60 min of nocodazole treatment slightly above the control level. ... EXPERIMENTAL Cell cultures. ... The result is that in the course of 60-min treatment with nocodazole the number of microtubules attached to the centrosome increases and even becomes 1.5 times as high as their normal level...

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

• http://cellmotility.genebee.msu.ru/html/articles/vorobjev83.pdf
• http://cellmotility.genebee.msu.ru/html/articles/Yuko2006_gtc_990.pdf
• http://cellmotility.genebee.msu.ru/html/articles/alieva2000.pdf

... UNИX . ... Conferences . Immutable Page . Comments . ... Attachments . More Actions: Raw Text Print View Render as Docbook Delete Cache ------------------------ Check Spelling Like Pages Local Site Map ------------------------ Rename Page Copy Page Delete Page ------------------------ My Pages Subscribe User ------------------------ Remove Spam Revert to this revision Package Pages Sync Pages ------------------------ Load Save SlideShow . ...

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

• ForkLanguage - UNИX
• FrBrGeorge - UNИX
• FrBrGeorge/NagiosMap - UNИX

... The Informativeness of Coherence Analysis in EEG Studies A. P. Kulaichev UDC 612.821.6 Translated from Zhurnal Vysshei Nervnoi Deyatel'nosti imeni I. P. Pavlova, Vol. ... KEY WORDS: coherence, spectral analysis, EEG non-stationarity, amplitude modulation. ... In particular, the two fundamental differences between EEG signals and most other physical signals are not considered: a) fundamental non-stationarity; b) amplitude modulation at all frequency ranges. ... Coherence in technical addenda. ...

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

... 2 · ­ , , · ­ · ­ , 03.12.2015 . ... 14 03.12.2015 · · · 03.12.2015 . ... Verifier Uni ve rsi ty of Te x as 2013 Anteater Uni ve rsi ty of Il l i noi s 2011 FlowChecker Uni ve rsi ty of North Carol i na 2010 VERMONT Network disjoint Port #02 Port #03 h2 h3 s1 Port #01 h1 Port #04 h4 main: disjoint() := Forall[x, out_x, y, out_y: !R(x, out_x) or !R(y, out_y) or x[p] == out_y[p] and out_x[p] == y[p] or x VERMONT proxy CLI Packets are delivered through the control plane We can block them! ...

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

• http://lvk.cs.msu.su/~dimawolf/ArchEVM/Lection12.pdf
• http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_et_al_eucass2011_monitoring.doc
• http://lvk.cs.msu.su/~bahmurov/course_advanced_networks/ITU_OTN_Tutorial.pdf

... Study of the nature and magnitude of buffer capacity in various soils, information on mechanisms of buffer reactions is required to predict the rates of further acidification and to estimate the critical loads. ... The problem of estimation of soil sustainability to acid deposition is considered. ... The uncertainty in the estimated critical load values can be rather large due to uncertainty in critical chemical values for the soil as for a receptor, assessment method and data. ...

253. Кафедра теории упругости.