Zobrazeno 1 - 9
of 9
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
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:
Phys. Rev. B 100, 174106 (2019)
We introduce a massively parallel replica-exchange grand-canonical sampling algorithm to simulate materials at realistic conditions, in particular surfaces and clusters in reactive atmospheres. Its purpose is to determine in an automated fashion equi
Externí odkaz:
http://arxiv.org/abs/1908.11118
Autor:
Mi, Wenhui, Shao, Xuecheng, Su, Chuanxun, Zhou, Yuanyuan, Zhang, Shoutao, Li, Quan, Wang, Hui, Zhang, Lijun, Miao, Maosheng, Wang, Yanchao, Ma, Yanming
Orbital-free density functional theory (OF-DFT) is a promising method for large-scale quantum mechanics simulation as it provides a good balance of accuracy and computational cost. Its applicability to large-scale simulations has been aided by progre
Externí odkaz:
http://arxiv.org/abs/1507.07373
This paper has been published in Bulletin of the Chemical Society of Japan, which can be viewed at the following URL: http://doi.org/10.1246/bcsj.20150110 Cs2SnI6, a variant of perovskite CsSnI3, is expected for a photovoltaic material. Based on a si
Externí odkaz:
http://arxiv.org/abs/1503.01458
Note: This paper has been published in Physical Chemistry Chemical Physics, which can be viewed at the following URL: http://doi.org/10.1039/C5CP03102H Cs2SnI6, a rarely studied perovskite variant material, is recently gaining a lot of interest in th
Externí odkaz:
http://arxiv.org/abs/1502.06199
We present an efficient and convenient scheme to entangle multiple optical fields via electromagnetically induced transparency in an atomic ensemble. The atomic spin wave, produced through electromagnetically induced transparency in the Lambda-type c
Externí odkaz:
http://arxiv.org/abs/1305.0132
We present a proof-of-principle way to generate nondegenerate multipartite continuous-variable entanglements via atomic spin wave induced by the strong coupling and probe fields in the Lambda-type electromagnetically induced transparency configuratio
Externí odkaz:
http://arxiv.org/abs/1201.6577