... MIT OpenCourseWare (бесплатные учебные курсы Massachusetts Institute of Technology ) . ... UCSB CS140 - Parallel Scientific Computing: Winter 2007 . ... Scientific Computing for Engineers (Prof. Jack Dongarra, Department of Computer Science (CS) at the University of Tennessee, Knoxville) . Introduction to Finite Element Methods (ASEN 5007) Fall 2007 (Department of Aerospace Engineering Sciences, University of Colorado at Boulder) . ...

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

• Alexander Pozdneev at the ASMS 2008 Conference
• Alexander Pozdneev at the SIAG/LA-SIMUMAT International Summer School on
• Учебные курсы ведущих университетов мира | Кафедра автоматизации научных

Cell. ... In cells overexpressing MycN, as well as cells in which MycN was switched off, a-TOS stimulated rapid entry of Ca2? into the cytosol, compromised Ca2? buffering capacity of the mitochondria and sensitized them towards mitochondrial permeability transition and subsequent apoptotic cell death. ... 4 Mitochondrial Ca2? accumulation in NB cells with different level of MycN expression. a Accumulation of Ca2? by mitochondria in digitonin-permeabilized MycN(?) cells. ...

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

• http://www.fbm.msu.ru/about/struct/labs/lima/paper4.pdf
• http://www.fbm.msu.ru/about/struct/labs/lima/paper1.pdf

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

404. http://polit.msu.ru/pub/asp_doc/Diss_sovet/Autoreferat_Savchenko.doc

405. http://practice.msu.ru/document/2012/12/20120329000010.pdf