推荐同事 机构合作 中文 繁體中文 English 한국어 日本語 Português Español

美国ACCDON公司旗下品牌

021-54106218，021-33363733

chinasupport@letpub.com

登录 注册 新注册优惠

From dwarf spheroidals to cD galaxies: simulating the galaxy population in a ΛCDM cosmology

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 explicit testing of resolution effects on predicted
galaxy properties. We have revised the treatment of the transition ...
Cited by 29 - Related articles - All 3 versions

An effective analytical criterion for stability testing of fractional-delay systems

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

QuickCheck: a lightweight tool for random testing of Haskell programs

[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

Explicit and implicit memory in late-life depression

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

Symmetric LDPC codes and local testing

[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

联系我们 | 站点地图 | 友情链接 | 授权代理商 | 加入我们

© 2010-2024 中国: LetPub上海分公司    网站备案号：沪ICP备10217908号-1    沪公网安备号：31010402006960

增值电信业务经营许可证：沪B2-20211595

礼翰商务信息咨询（上海）有限公司      办公地址：上海市徐汇区漕溪北路88号圣爱大厦1803室

United States: Tel: 1-781-202-9968 Address: 400 5th Ave, Suite 530, Waltham, Massachusetts 02451