Q Guo, S White, M Boylan‐Kolchin… - Monthly Notices of …, 2011 - Wiley Online Library ... Millennium-II Simulations (MS and MS-II, respectively). These differ by a factor of 125 in mass resolution, allowing explicittesting of resolution effects on predicted galaxy properties. We have revised the treatment of the transition ... Cited by 29 - Related articles - All 3 versions
M Shi… - Automatica, 2011 - Elsevier ... for ordinary time-delay systems, an explicit formula is established for calculating the number of characteristic roots lying in the closed right-half complex plane of the first sheet of the Riemann surface, and in turn a sufficient and necessary condition is obtained for testing the BIBO ... Cited by 1 - Related articles
[PDF] from psu.eduK Claessen… - Acm sigplan notices, 2011 - portal.acm.org ... is a computation in the Gen monad, ending in an abstract type Result, which keeps track of the boolean re- sult of the testing, the classifications ... Of course, we could have used the second Term type above and specified a custom test data generator with an explicit forAll in each ... Cited by 446 - Related articles - BL Direct - All 43 versions
V Elderkin-Thompson, T Moody… - American Journal of …, 2011 - journals.lww.com ... Results: Depressed patients showed deficits in attention and processing, executive function, and immediate explicit recall. Implicit learning and episodic recall of the testing procedure, semantic and phonetic fluency, and retention of newly acquired verbal material after a delay ... Cited by 1 - Related articles - All 4 versions
[PDF] from ias.eduT Kaufman… - Property testing, 2011 - Springer ... Low Density Parity Check (LDPC) codes are linear codes defined by short constraints (a property essential for local testing of a code ... We present an explicit construction of a symmetric and transitive binary code of length n, near-linear distance n/(log log n) 2 , of constant rate and ... Cited by 7 - Related articles - All 10 versions
沪公网安备号：31010402006960 （网站）31010405000484 （蝌蝌APP）
安全保密
