Kavli Affiliate: Long Zhang | First 5 Authors: Jianyu Zhang, Long Zhang, Yixuan Wu, Feng Yang, | Summary: Formal Methods (FMs) are currently essential for verifying the safety and reliability of software systems. However, the specification writing in formal methods tends to be complex and challenging to learn, requiring familiarity with various intricate formal specification […]
Kavli Affiliate: Cheng Peng | First 5 Authors: Emma A. Pappas, Rong Zhang, Cheng Peng, Robert T. Busch, Jian-Min Zuo | Summary: Previous studies on natural samples of pampaloite (AuSbTe) revealed the crystal structure of a potentially cleavable and/or exfoliable material, while studies on natural and synthetic montbrayite (Sb-containing Au$_2$Te$_3$) claimed various chemical compositions for […]
Kavli Affiliate: Gang Su | First 5 Authors: Yuan Gao, Chuandi Zhang, Junsen Xiang, Dehong Yu, Xingye Lu | Summary: Supersolid is an exotic quantum state of matter that hosts spontaneously the features of both solid and superfluidity, which breaks the lattice translational symmetry and U(1) gauge symmetry. Here we conduct inelastic neutron scattering (INS) […]
Kavli Affiliate: Gang Su | First 5 Authors: Yuan Gao, Chuandi Zhang, Junsen Xiang, Dehong Yu, Xingye Lu | Summary: Supersolid is an exotic quantum state of matter that spontaneously hosts the features of both solid and superfluid, which breaks the translation and U(1) gauge symmetries. Here we study the spin dynamics in the triangular-lattice […]
Kavli Affiliate: Gang Su | First 5 Authors: YuanDong Wang, Zhen-Gang Zhu, Gang Su, , | Summary: To control the magnon transport in magnetic systems is of great interest in magnonics. Due to the feasibility of electric field, how to generate and manipulate magnon with pure electrical method is one of the most desired goals. […]
Kavli Affiliate: Zheng Zhu | First 5 Authors: Zirui Wang, Chen Yao, Yangtao Ge, Guowei Shi, Ningbo Yang | Summary: So far, planetary surface exploration depends on various mobile robot platforms. The autonomous navigation and decision-making of these mobile robots in complex terrains largely rely on their terrain-aware perception, localization and mapping capabilities. In this […]
Kavli Affiliate: Yi Zhou | First 5 Authors: Sanghyun Son, Matheus Gadelha, Yang Zhou, Zexiang Xu, Ming C. Lin | Summary: We present a differentiable representation, DMesh, for general 3D triangular meshes. DMesh considers both the geometry and connectivity information of a mesh. In our design, we first get a set of convex tetrahedra that […]
Kavli Affiliate: Gang Su | First 5 Authors: Ze Liu, Zhi-Fan Zhang, Zhen-Gang Zhu, Gang Su, | Summary: The geometric properties of parameter space are mostly described by Berry curvature and quantum metric, which is the imaginary and real part of quantum geometric tensor, respectively. In this work, we calculate the dressed Berry curvature and […]
Kavli Affiliate: Gang Su | First 5 Authors: Ze Liu, Zhi-Fan Zhang, Zhen-Gang Zhu, Gang Su, | Summary: The geometric properties of parameter space are mostly described by Berry curvature and quantum metric, which are the imaginary and real part of quantum geometric tensor, respectively. In this work, we calculate the dressed Berry curvature and […]
Kavli Affiliate: Yi Zhou | First 5 Authors: Shaocong Ma, James Diffenderfer, Bhavya Kailkhura, Yi Zhou, | Summary: Deep learning has been widely applied to solve partial differential equations (PDEs) in computational fluid dynamics. Recent research proposed a PDE correction framework that leverages deep learning to correct the solution obtained by a PDE solver on […]