维普中文期刊产品整合服务
716篇 您的检索式:作者名="PEI G"
    题名 作者 年代 出处 被引量
1Hoare logic-based genetic programming显示文摘Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that combines genetic programming with Hoare logic with the aid of model checking and finite state automata, henceby proposing a brand new verification-focused formal genetic programming system that makes it possible to evolve reliable programs with mathematically-verified properties.HE Pei KANG LiShan JOHNSON Colin G YING Shi 2011Science China(Information Sciences)2011,54,3:5
2The stem cell pluripotency factor NANOG activates transcription with two unusually potent subdomains at its C terminus显示文摘Pan G Pei D 2006中国生物学文摘2006,20,7:2
3Haploinsufficiency of p18INK4c sensitizes mice to carcinogen-induced tumorigenesis显示文摘BAI F PEI X H VIRGINIA L G 2003Molecular and Cellular2003,23,4:1
4Intracellular bax translocation after transientcerebral ischemia: implications for a role of the mitochondrial apoptotic signaling pathway in ischemic neuronal death显示文摘Cao G Minnami M Pei W 2001J Cereb Blood Flow Metab2001,21,4:1
5κ-opioid receptor mediates cardioprotection of ischemic preconditioning role of PKC and KATP显示文摘WANG G Y W U S PEI J M 2001Am J Physiol2001,280,:1
6In vivo delivery of a Bcl-xL fusion protein containing the TAT protein transduction domain protects against ischemic brain injury and neuronal apoptosis显示文摘Cao G Pei W Ge H 2002J Neurosci2002,22,13:1
7Grinding of Silicon Wafers: a Review from Historical Perspectives 显示文摘Pei Z J Fisher G R Liu J 2008International Journal of Machine Tools and Manufacture2008,48,:1
8ELID grinding of silicon wa- fers: A literature review 显示文摘Liu J H Pei Z J Fisher G R 2007Int J Mach Tools Manuf2007,47,34:1
9Reevaluation of PbTel -xlx as High Performance n-type Thermoelectric material 显示文摘LaLonde A D Pei Y Snyder G J 2011Energy & Envi- ronmental Science2011,4,6:1
10查看详情显示文摘Pei Q Yu G Zhang C 0,,:1
11The spectrum of bone disease in endstage renal failure: an evolving disorder 显示文摘Sherrard OJ Hercz G Pei Y 1993Kidney Int1993,43,:1
12Scalable routing strategies for ad hoe wireless networks显示文摘IWATA A CHIANG C PEI G Y 1999IEEE J Selected Areas in Communication1999,17,8:1
13Calcium channels activatd by hydrogen peroxide mediate abscisic acid signaling in guard cells 显示文摘Pei Z M Murata Y Benning G 2000Nature2000,406,:1
14The effect of rapid solidification on the microstructure and hydrogen storage properties of V35Ti25Cr40 hydrogen storage alloy 显示文摘PEI P SONG X P LIU J CHEN G L QIN X B WANG B Y 2009Int J Hydrogen Energy2009,34,19:1
15Study of PV-Trombone Wall Installed in a Fenestrated Room with Heat Storage显示文摘Ji J Yi H Pei G 0,,:1
16Fine grinding of silicon wafers : machine configurations for spindle angle adjustments 显示文摘Sun Wangping Pei Z J Fisher G R 2005International Journal of Machine Tools and Manufacture2005,45,:1
17The extensions Ln^* of formal systems L^* and their completeness显示文摘Pei D W Wang G J 2003Information Sciences2003,152,:1
18Intracellular bax translocation after transient cerebral ischemia: implications for a role of the mitochondrial apoptotic signaling pathway in ischemic neuronal death显示文摘Cao G Minami M Pei W 2001Cereb Blood Flow Metab2001,21,:1
19Effects of agmatine on tolerance to and substance dependence on morphine in mice and rats显示文摘Li J Li X Pei G Qin B Y 1999Acta Pharmacol Sin1999,20,3:1
20Construction and dynamic test of a small-scale organic Rankine cycle显示文摘Pei G Li J Li Y Z 2011Energy2011,36,5:1
返回顶部 每页显示:
共36页 首页 上一页 第1页 下一页 末页 /36 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费