English
Related papers

Related papers: SymX: Energy-based Simulation from Symbolic Expres…

200 papers

Physics-informed learning has shown to have a better generalization than learning without physical priors. However, training physics-informed deep neural networks requires some aspect of physical simulations to be written in a…

Machine Learning · Computer Science 2020-10-06 Muhammad F. Kasim , Sam M. Vinko

This new approach allows the user to experiment with model choices easily and quickly without requiring in-depth expertise, as constitutive models can be modified by one line of code only. This ease in building new models makes SOniCS ideal…

Mathematical Software · Computer Science 2022-08-25 Arnaud Mazier , Sidaty El Hadramy , Jean-Nicolas Brunet , Jack S. Hale , Stéphane Cotin , Stéphane P. A. Bordas

Large Language Models (LLMs) perform best with well-crafted prompts, yet prompt engineering remains manual, inconsistent, and inaccessible to non-experts. We introduce Promptomatix, an automatic prompt optimization framework that transforms…

Computation and Language · Computer Science 2025-07-28 Rithesh Murthy , Ming Zhu , Liangwei Yang , Jielin Qiu , Juntao Tan , Shelby Heinecke , Caiming Xiong , Silvio Savarese , Huan Wang

Many chemical engineering systems are governed by mechanisms that switch across operating regimes, making the data-driven discovery of regime-dependent governing equations essential for predictive modeling, optimization, and control. We…

Systems and Control · Electrical Eng. & Systems 2026-05-26 Ilias Mitrai , Tongjia Liu , Gabriel E. Sanoja

Time-delay systems are an important class of dynamical systems which provide a solid mathematical framework to deal with many application domains of interest ranging from biology, chemical, electrical, and mechanical engineering, to…

Dynamical Systems · Mathematics 2009-03-28 Giordano Pola , Pierdomenico Pepe , Maria D. Di Benedetto , Paulo Tabuada

Processing and analyzing time series data\-sets have become a central issue in many domains requiring data management systems to support time series as a native data type. A crucial prerequisite of these systems is time series matching,…

Databases · Computer Science 2021-10-12 Lars Kegel , Claudio Hartmann , Maik Thiele , Wolfgang Lehner

The controls enacting logical operations on quantum systems are described by time-dependent Hamiltonians that often include rapid oscillations. In order to accurately capture the resulting time dynamics in numerical simulations, a very…

Quantum Physics · Physics 2021-09-29 Ross Shillito , Jonathan A. Gross , Agustin Di Paolo , Élie Genois , Alexandre Blais

We present a novel convex formulation that weakly couples the Material Point Method (MPM) with rigid body dynamics through frictional contact, optimized for efficient GPU parallelization. Our approach features an asynchronous time-splitting…

Robotics · Computer Science 2025-07-08 Chang Yu , Wenxin Du , Zeshun Zong , Alejandro Castro , Chenfanfu Jiang , Xuchen Han

Topology optimization (TO) can be viewed as seeking an optimal solution in the design space of a given TO problem. For weakly non-linear TO problems, e.g., compliance minimization, sensitivity-based methods typically converge well, whereas…

Optimization and Control · Mathematics 2026-03-25 Ziliang Wang , Jiahua Wu , Jun Yang , Shintaro Yamasaki

The development of accurate constitutive models for materials that undergo path-dependent processes continues to be a complex challenge in computational solid mechanics. Challenges arise both in considering the appropriate model assumptions…

Machine Learning · Computer Science 2023-02-22 Jan N. Fuhg , Craig M. Hamel , Kyle Johnson , Reese Jones , Nikolaos Bouklas

Dynamic Symbolic Execution (DSE) is a key technique in program analysis, widely used in software testing, vulnerability discovery, and formal verification. In distributed AI systems, DSE plays a crucial role in identifying hard-to-detect…

Cryptography and Security · Computer Science 2025-07-08 Ruoxi Wang , Kun Li , Minghui Xu , Yue Zhang , Kaidi Xu , Chunchi Liu , Yinhao Xiao , Xiuzhen Cheng

This study investigates the use of symbolic computation in Matrix Structural Analysis (MSA) for continuous beams, leveraging the MATLAB Symbolic Math Toolbox. By employing symbolic MSA, analytical expressions for displacements, support…

Computational Engineering, Finance, and Science · Computer Science 2024-11-07 Vagelis Plevris , Afaq Ahmad

For an educational purpose we develop the Python package AutoFreeFem which generates all ingredients for shape optimization with non-linear multi-physics in FreeFEM++ and also outputs the expressions for use in LaTex. As an input, the…

Optimization and Control · Mathematics 2024-07-17 Grégoire Allaire , Michael H. Gfrerer

The emergence of multiple sensory devices on or near a human body is uncovering new dynamics of extreme edge computing. In this, a powerful and resource-rich edge device such as a smartphone or a Wi-Fi gateway is transformed into a personal…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-12-14 Chulhong Min , Akhil Mathur , Alessandro Montanari , Utku Gunay Acer , Fahim Kawsar

Simulations of quantum chemistry and quantum materials are believed to be among the most important potential applications of quantum information processors, but realizing practical quantum advantage for such problems is challenging. Here,…

In order to comprehensively investigate the multiphysics coupling in spintronic devices, it is essential to parallelize and utilize GPU-acceleration to address the spatial and temporal disparities inherent in the relevant physics.…

Computational Engineering, Finance, and Science · Computer Science 2026-02-17 Andy Nonaka , Yingheng Tang , Julian C. LePelch , Prabhat Kumar , Weiqun Zhang , Jorge A. Munoz , Christian Fernandez-Soria , Cesar Diaz , David J. Gardner , Zhi Jackie Yao

Simulation of contact and friction dynamics is an important basis for control- and learning-based algorithms. However, the numerical difficulties of contact interactions pose a challenge for robust and efficient simulators. A…

Robotics · Computer Science 2021-09-16 Jan Brüdigam , Jana Janeva , Stefan Sosnowski , Sandra Hirche

Porous media processes involve various physical phenomena such as mechanical deformation, transport, and fluid flow. Accurate simulations must capture the strong couplings between these phenomena. Choosing an efficient solver for the…

Numerical Analysis · Mathematics 2025-10-14 Yury Zabegaev , Eirik Keilegavlen , Einar Iversen , Inga Berre

In the context of the energy transition, with increasing integration of renewable sources and cross-border electricity exchanges, power grids are encountering greater uncertainty and operational risk. Maintaining grid stability under…

Machine Learning · Computer Science 2025-09-24 Milad Leyli-abadi , Antoine Marot , Jérôme Picault

This article aims to demonstrate and discuss the applications of automatic differentiation (AD) for finding derivatives in PDE-constrained optimization problems and Jacobians in non-linear finite element analysis. The main idea is to…

Numerical Analysis · Mathematics 2025-06-03 Julian Andrej , Tzanio Kolev , Boyan Lazarov