Sort by:
Publication Type:
Open access:
Publication Date:
Periodicals:
Search results
Online since: May 2014
Authors: Wei Jun Zhu, Qing Lei Zhou, Yan Ke Zhao
Network security technology and application, 3:25-27, 2010
[6] W Zhu, Q Zhou, W Yang, et al, A Novel Algorithm for Intrusion Detection Based on RASL Model Checking, mathematical problems in engineering, vol. 2013, Article ID 621203, 10 pages, 2013.
[9] Z Duan, C Tian, L Zhang, A decision procedure for propositional projection temporal logic with infinite models, Acta Informatica, 45(1):43-78, 2008 [10] Z Duan, Temporal Logic and Temporal Logic Programming, Beijing: Science Press, 2005.
[9] Z Duan, C Tian, L Zhang, A decision procedure for propositional projection temporal logic with infinite models, Acta Informatica, 45(1):43-78, 2008 [10] Z Duan, Temporal Logic and Temporal Logic Programming, Beijing: Science Press, 2005.
Online since: May 2012
Authors: Mei Rong Tian, Zhao Ping Yang, Ji Xi Gao
Spatial and temporal patterns of net primary productivity in the source regions of Yangtze and Yellow Rivers
YANG Zhao-ping1, a, GAO Ji-xi1, b*, TIAN Mei-rong1, c
1Nanjing Institute of Environmental Sciences, Ministry of Environmental Protection, Nanjing 210042, China
ayangzp04@163.com, bgjx@nies.org, ctianmeirong007@163.com
Keywords: source regions of Yangtze and Yellow Rivers; Spatial and temporal patterns; net primary productivity (NPP); CASA carbon model.
Yang: submitted to Jour.Of Northwest Sci-Tech Univ. of Agri and For.
Yang: submitted to Chinese Journal of Applied Ecology (2008) [18] Y.G.
Yang: submitted to Jour.Of Northwest Sci-Tech Univ. of Agri and For.
Yang: submitted to Chinese Journal of Applied Ecology (2008) [18] Y.G.