Author Search Results

Zhang Xian

Zhang Xian or Xian Zhang may refer to:

*Zhang Xian (deity), Chinese deity, enemy of the eclipse-creating Tiangou and protector of unborn infants and male children *Zhang Xian (poet) (990–1078), Chinese poet from the Song Dynasty *Xian Zhang (conductor) (born 1973), Chinese-American conductor *Zhang Xian (volleyball) (born 1985), Chinese female volleyball player Provided by Wikipedia

Verification of timed process algebra and beyond

by ZHANG XIAN
Published 2012

Get full text

Theses and Dissertations

Poly[(μ2-4,4′-bipyridine-κ2N:N′)(μ2-2,2-dimethylcyclopentane-1,3-dicarboxylato-κ4O1,O1′:O3,O3′)cadmium]

by Zhang, Xian-Fa, Gao, Shan, Ng, Seik Weng
Published 2011

Get full text
Get full text

Article

Adjustment Behaviour Of Leverage In Chinese Firms: An Empirical Analysis Of Overall Firms, State-Owned And Non State-Owned Enterprises

by Mirza, Sultan Sikandar, ur Rehman, Ajid, Zhang, XianZhi
Published 2016

Get full text
Get full text
Get full text

Article

Gateway design for LAN interconnection via ISDN

by ZHANG, Xian-Yu, DENG, Robert H.
Published 1990

Get full text
Get full text

text

Towards verification of computation orchestration

by Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian
Published 2013

Get full text
Get full text

Article

Verifying stateful timed CSP using implicit clocks and zone abstraction

by SUN, Jun, LIU, Yang, DONG, Jin Song, ZHANG, Xian
Published 2009

Get full text
Get full text

text

Towards verification of computation orchestration

by DONG, Jin Song, LIU, Yang, SUN, Jun, ZHANG, Xian
Published 2014

Get full text
Get full text

text

Island-based evolutionary computation with diverse surrogates and adaptive knowledge transfer for high-dimensional data-driven optimization

by ZHANG, Xian-Rong, GONG, Yue-Jiao, CAO, Zhiguang, ZHANG, Jun
Published 2024

Get full text
Get full text

text

Specifying and verifying sensor networks: An experiment of formal methods

by DONG, Jin Song, SUN, Jing, SUN, Jun, TAGUCHI, Kenji, ZHANG, Xian
Published 2008

Get full text
Get full text

text

Impact of microsecond-pulsed plasma-activated water on papaya seed germination and seedling growth

by Xi, Deng-Ke, Zhang, Xian-Hui, Yang, Si-Ze, Yap, Seong Shan, Ishikawa, Kenji, Hori, Masura, Yap, Seong Ling
Published 2022

Get full text

Article

Towards formal modelling and verification of pervasive computing systems

by LIU, Yan, ZHANG, Xian, LIU, Yang, DONG, Jin Song, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
Published 2014

Get full text
Get full text

text

Formal analysis of pervasive computing systems

by LIU, Yan, ZHANG, Xian, DONG, Jin Song, LIU, Yang, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
Published 2012

Get full text
Get full text

text

Thallium isotopic compositions as tracers in environmental studies: a review

by Zhong, Qiaohui, Qi, Jianying, Liu, Juan, Wang, Jin, Lin, Ke, Ouyang, Qi'en, Zhang, Xian, Wei, Xudong, Xiao, Tangfu, El-Naggar, Ali, Rinklebe, Jörg
Published 2022

Get full text

Article

Robust RNAi enhancement via human Argonaute-2 overexpression from plasmids, viral vectors and cell lines

by Börner, Kathleen, Niopek, Dominik, Cotugno, Gabriella, Kaldenbach, Michaela, Pankert, Teresa, Willemsen, Joschka, Zhang, Xian, Schürmann, Nina, Streetz, Konrad, Kräusslich, Hans-Georg, Mockenhaupt, Stefan, Serva, Andrius, Grimm, Dirk, Hiet, Marie-Sophie, Wiedtke, Ellen, Binder, Marco, Castoldi, Mirco, Starkuviene, Vytaute, Erfle, Holger, Bartenschlager, Ralf, Boutros, Michael, Gilbert, Daniel F.
Published 2014

Get full text
Get full text

Article