Zobrazeno 1 - 10
of 2 544
pro vyhledávání: '"Zhou, Yuanyuan"'
Dafny is a popular verification language, which automates proofs by outsourcing them to an SMT solver. This automation is not perfect, however, and the solver often requires guidance in the form of helper assertions creating a burden for the proof en
Externí odkaz:
http://arxiv.org/abs/2405.16792
Carbon nanotubes (CNTs) are quasi-1D nanostructures that display both high thermal conductivity and intriguing low-dimensional phonon transport phenomena. In comparison to the advances made in the theoretical calculation of the lattice thermal conduc
Externí odkaz:
http://arxiv.org/abs/2302.11778
Autor:
Zhou Yuanyuan, Lin Wenyi
Publikováno v:
SAGE Open, Vol 14 (2024)
On the basis of agency and resource dependence theories, this paper mainly discusses the relationship between the board and financial performance of nonprofit foundations (NPFs) in China. The data used in this study were obtained from the 2017 annual
Externí odkaz:
https://doaj.org/article/9126f86004964e3e8964223238f8d105
Publikováno v:
Zhongguo quanke yixue, Vol 26, Iss 32, Pp 4070-4079 (2023)
Background China has entered a comprehensive aging society, and stroke is the primary cause of death and disability among adults in China, post-stroke cognitive impairment has become an important cause for long-term disability and quality of life dec
Externí odkaz:
https://doaj.org/article/4760162023d845eca7d40f26e8f25e92
A reliable description of surfaces structures in a reactive environment is crucial to understand materials functions. We present a first-principles theory of replica-exchange grand-canonical-ensemble molecular dynamics (REGC-MD) and apply it to evalu
Externí odkaz:
http://arxiv.org/abs/2202.01193
Publikováno v:
In Case Studies in Construction Materials July 2024 20
Autor:
Ali, Haider, Liu, Min, Ali, Sharafat, Ali, Ahmad, Ismail, Pir Muhammad, Ullah, Rizwan, Ali, Sajjad, Raziq, Fazal, Bououdina, Mohamed, Hayat, Salman, Ali, Usman, Zhou, Yuanyuan, Wu, Xiaoqiang, Zhong, Li, Zhu, Linyu, Xiao, Haiyan, Xia, Pengfei, Qiao, Liang
Publikováno v:
In Journal of Colloid And Interface Science July 2024 665:500-509
Autor:
Ma, Xue, Zhao, Bin, Guo, Pengfei, Zhang, Yalan, Zhou, Jianheng, Liu, Lang, Zhang, Yu, Zhou, Yuanyuan, Wang, Ning
Publikováno v:
In Device 21 June 2024 2(6)
Publikováno v:
In Aquaculture Reports June 2024 36