English
Related papers

Related papers: Automatic differentiation for solid mechanics

200 papers

Context: Previous studies demonstrate that Machine or Deep Learning (ML/DL) models can detect Technical Debt from source code comments called Self-Admitted Technical Debt (SATD). Despite the importance of ML/DL in software development,…

Software Engineering · Computer Science 2024-08-23 Emmanuel Iko-Ojo Simon , Chirath Hettiarachchi , Alex Potanin , Hanna Suominen , Fatemeh Fard

Recent work has shown that forward- and reverse- mode automatic differentiation (AD) over the reals is almost always correct in a mathematically precise sense. However, actual programs work with machine-representable numbers (e.g.,…

Machine Learning · Computer Science 2023-06-07 Wonyeol Lee , Sejun Park , Alex Aiken

Optimization algorithms with momentum, e.g., (ADAM), have been widely used for building deep learning models due to the faster convergence rates compared with stochastic gradient descent (SGD). Momentum helps accelerate SGD in the relevant…

Machine Learning · Computer Science 2020-01-24 Jiyang Bai , Yuxiang Ren , Jiawei Zhang

We explore the possibilities of using energy minimization for the numerical modeling of strain localization in solids as a sharp discontinuity in the displacement field. For this purpose, we consider (regularized) strong discontinuity…

Machine Learning · Computer Science 2025-01-14 Omar León , Víctor Rivera , Angel Vázquez-Patiño , Jacinto Ulloa , Esteban Samaniego

Presented is an algorithm based on dynamic mode decomposition (DMD) for acceleration of the power method (PM). The power method is a simple technique for determining the dominant eigenmode of an operator $\mathbf{A}$, and variants of the…

Computational Physics · Physics 2019-04-23 Jeremy A. Roberts , Leidong Xu , Rabab Elzohery , Mohammad Abdo

Automatic generation of convex relaxations and subgradients is critical in global optimization, and is typically carried out using variants of automatic/algorithmic differentiation (AD). At previous AD conferences, variants of the forward…

Optimization and Control · Mathematics 2025-01-31 Yingkai Song , Kamil A. Khan

We propose a new method, that we coined the ``morphism-trick'', to integrate custom implementations of vector-Jacobian products in automatic differentiation softwares, applicable to a wide range of semiring-based computations. Our approach…

Formal Languages and Automata Theory · Computer Science 2026-02-16 Lucas Ondel Yang , Tina Raissi , Martin Kocour , Pablo Riera , Caio Corro

This paper presents an artificial intelligence algorithm that can be used to derive formulas from various scientific disciplines called automatic derivation machine. First, the formula is abstractly expressed as a multiway tree model, and…

Artificial Intelligence · Computer Science 2018-08-16 MinZhong Luo , Li Liu

Alternating Direction Method of Multipliers (ADMM) is a popular method for solving large-scale Machine Learning problems. Stochastic ADMM was proposed to reduce the per iteration computational complexity, which is more suitable for big data…

Numerical Analysis · Computer Science 2023-04-25 Chao Zhang , Zebang Shen , Hui Qian , Tengfei Zhou , Jianya Zhou , Jianying Zhou

Finite element discretizations of problems in computational physics often rely on adaptive mesh refinement (AMR) to preferentially resolve regions containing important features during simulation. However, these spatial refinement strategies…

Computational Engineering, Finance, and Science · Computer Science 2022-09-27 Corbin Foucart , Aaron Charous , Pierre F. J. Lermusiaux

Optimizing the expected values of probabilistic processes is a central problem in computer science and its applications, arising in fields ranging from artificial intelligence to operations research to statistical computing. Unfortunately,…

Programming Languages · Computer Science 2022-12-14 Alexander K. Lew , Mathieu Huot , Sam Staton , Vikash K. Mansinghka

We present a differentiation framework for plane-wave density-functional theory (DFT) that combines the strengths of forward-mode algorithmic differentiation (AD) and density-functional perturbation theory (DFPT). In the resulting AD-DFPT…

Materials Science · Physics 2025-12-23 Niklas Frederik Schmitz , Bruno Ploumhans , Michael F. Herbst

An activation function is an element-wise mathematical function and plays a crucial role in deep neural networks (DNN). Many novel and sophisticated activation functions have been proposed to improve the DNN accuracy but also consume…

Machine Learning · Computer Science 2022-09-23 Cong Guo , Yuxian Qiu , Jingwen Leng , Chen Zhang , Ying Cao , Quanlu Zhang , Yunxin Liu , Fan Yang , Minyi Guo

Differentiable programming is revolutionizing computational science by enabling automatic differentiation (AD) of numerical simulations. While first-order gradients are well-established, second-order derivatives (Hessians) for implicit…

Computational Engineering, Finance, and Science · Computer Science 2025-05-20 Tianju Xue

In this study, novel physics-informed neural network (PINN) methods for coupling neighboring support points and their derivative terms which are obtained by automatic differentiation (AD), are proposed to allow efficient training with…

Machine Learning · Computer Science 2022-12-16 Pao-Hsiung Chiu , Jian Cheng Wong , Chinchun Ooi , My Ha Dao , Yew-Soon Ong

We decompose reverse-mode automatic differentiation into (forward-mode) linearization followed by transposition. Doing so isolates the essential difference between forward- and reverse-mode AD, and simplifies their joint implementation. In…

Programming Languages · Computer Science 2021-05-21 Roy Frostig , Matthew J. Johnson , Dougal Maclaurin , Adam Paszke , Alexey Radul

We present the classical coordinate-free formalism for forward and backward mode ad in the real and complex setting. We show how to formally derive the forward and backward formulae for a number of matrix functions starting from basic…

Machine Learning · Computer Science 2022-07-14 Mario Lezcano-Casado

Out-of-distribution states in robot manipulation often lead to unpredictable robot behavior or task failure, limiting success rates and increasing risk of damage. Anomaly detection (AD) can identify deviations from expected patterns in…

Cylindrical algebraic decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there is often a choice for the ordering placed on the variables.…

Symbolic Computation · Computer Science 2014-07-15 Zongyan Huang , Matthew England , David Wilson , James H. Davenport , Lawrence C. Paulson , James Bridge

Intelligent agents need a physical understanding of the world to predict the impact of their actions in the future. While learning-based models of the environment dynamics have contributed to significant improvements in sample efficiency…

Machine Learning · Computer Science 2020-05-20 Eric Heiden , David Millard , Hejia Zhang , Gaurav S. Sukhatme