English
Related papers

Related papers: Accurate and efficient protocols for high-throughp…

200 papers

A long-standing research problem in security protocol design is how to efficiently verify security protocols with tamper-resistant global states. In this paper, we address this problem by first proposing a protocol specification framework,…

Cryptography and Security · Computer Science 2014-03-11 Li Li , Jun Pang , Yang Liu , Jun Sun , Jin Song Dong

Density functional theory (DFT) is a fundamental method for simulating quantum chemical properties, but it remains expensive due to the iterative self-consistent field (SCF) process required to solve the Kohn-Sham equations. Recently, deep…

Computational Physics · Physics 2025-10-23 Seongsu Kim , Nayoung Kim , Dongwoo Kim , Sungsoo Ahn

Density functional theory (DFT) underpins modern atomistic simulations of transition-metal surfaces. It can predict key properties linked to catalytic performance, such as adsorption energies and barrier heights, enabling new paradigms in…

Materials Science · Physics 2026-03-23 Benjamin X. Shi , Timothy C. Berkelbach

The recent progress of linear-scaling or O(N) methods in the density functional theory (DFT) is remarkable. We expect that first-principles molecular dynamics (FPMD) simulations based on DFT can now treat more realistic and complex systems…

Materials Science · Physics 2014-11-11 Michiaki Arita , David R. Bowler , Tsuyoshi Miyazaki

DFT calculations have become widespread in both chemistry and materials, because they usually provide useful accuracy at much lower computational cost than wavefunction-based methods. All practical DFT calculations require an approximation…

Chemical Physics · Physics 2022-03-15 Eunji Sim , Suhwan Song , Stefan Vuckovic , Kieron Burke

Polymers are a versatile class of materials with widespread industrial applications. Advanced computational tools could revolutionize their design, but their complex, multi-scale nature poses significant modeling challenges. Conventional…

A solid-state quantum emitter is one of the indispensable components for optical quantum technologies. Ideally, an emitter should have a compatible wavelength for efficient coupling to other components in a quantum network. It is therefore…

Quantum Physics · Physics 2024-05-08 Chanaprom Cholsuk , Sujin Suwanna , Tobias Vogl

Noncollinear (NC) magnetism and spin-orbit coupling (SOC) are indispensable for predictive ab initio materials simulations with pronounced relativistic effects and magnetic frustration, yet they significantly increase the cost of…

Simulating the unitary dynamics of a quantum system is a fundamental problem of quantum mechanics, in which quantum computers are believed to have significant advantage over their classical counterparts. One prominent such instance is the…

Quantum Physics · Physics 2024-09-04 John M. Martyn , Yuan Liu , Zachary E. Chin , Isaac L. Chuang

Accurate prediction of rarefied gas flows is important for space vehicle design, particularly in rarefied regimes where the Navier-Stokes equations are no more valid. While the direct simulation Monte Carlo (DSMC) method acts as a numerical…

Fluid Dynamics · Physics 2025-07-01 Joonbeom Kim , Eunji Jun

The marriage of density functional theory (DFT) and deep learning methods has the potential to revolutionize modern computational materials science. Here we develop a deep neural network approach to represent DFT Hamiltonian (DeepH) of…

Materials Science · Physics 2023-01-02 He Li , Zun Wang , Nianlong Zou , Meng Ye , Runzhang Xu , Xiaoxun Gong , Wenhui Duan , Yong Xu

Granular materials are of critical interest to many robotic tasks in planetary science, construction, and manufacturing. However, the dynamics of granular materials are complex and often computationally very expensive to simulate. We…

Robotics · Computer Science 2023-06-05 David Millard , Daniel Pastor , Joseph Bowkett , Paul Backes , Gaurav S. Sukhatme

Accurate and efficient prediction of multi-scale flows remains a formidable challenge. Constructing theoretical models and numerical methods often involves the design and optimization of parameters. While gradient descent methods have been…

Computational Physics · Physics 2026-02-10 Tianbai Xiao

A thorough in situ characterization of materials at extreme conditions is challenging, and computational tools such as crystal structural search methods in combination with ab initio calculations are widely used to guide experiments by…

Materials Science · Physics 2018-11-14 Maximilian Amsler , Vinay I. Hegde , Steven D. Jacobsen , Chris Wolverton

Efficient hybrid DFT simulations of solid state materials would be extremely beneficial for computational chemistry and materials science, but is presently bottlenecked by difficulties in computing Hartree-Fock (HF) exchange with plane wave…

Chemical Physics · Physics 2024-10-30 Yuanheng Wang , Diptarka Hait , Pablo A. Unzueta , Juncheng Harry Zhang , Todd J. Martínez

The machine learning based approaches efficiently solve the goal of searching the best materials candidate for the targeted properties. The search for topological materials using traditional first-principles and symmetry-based methods often…

Materials Science · Physics 2025-09-23 Zodinpuia Ralte , Ramesh Kumar , Mukhtiyar Singh

Modern signal processing (SP) methods rely very heavily on probability and statistics to solve challenging SP problems. SP methods are now expected to deal with ever more complex models, requiring ever more sophisticated computational…

Density Functional Theory (DFT) is the de facto workhorse for large-scale electronic structure calculations in chemistry and materials science. While plane-wave DFT implementations remain the most widely used, real-space DFT provides…

The dominant paradigm in computational materials discovery relies on heavily parameterized deep architectures, including message-passing graph networks and equivariant models, that require millions of DFT-labeled training structures and…

Materials Science · Physics 2026-05-19 Pranoy Ray , Surya R. Kalidindi

This is a technical report that extends and clarifies the results presented in [1]. The model identification problem for asymptotically stable linear time invariant systems is considered. The system output is affected by an additive noise…

Optimization and Control · Mathematics 2018-09-05 Marco Lauricella , Lorenzo Fagiano
‹ Prev 1 8 9 10 Next ›