Cover Image

Accelerated Relaxation Engines for Optimizing to Minimum Energy Path

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Simon, Sandra Liz, Kaistha, Nitin, Agarwal, Vishal
Format:	Preprint
Published:	2024
Subjects:	Computational Engineering, Finance, and Science Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Simplest Mechanism Builder Algorithm (SiMBA): An Automated Microkinetic Model Discovery Tool
by: Servia, Miguel Ángel de Carvalho, et al.
Published: (2024)

Constraint-Guided Symbolic Regression for Data-Efficient Kinetic Model Discovery
by: Servia, Miguel Ángel de Carvalho, et al.
Published: (2025)

Grammar-based Ordinary Differential Equation Discovery
by: Yu, Karin L., et al.
Published: (2025)

Rule-Based Spatial Mixture-of-Experts U-Net for Explainable Edge Detection
by: Dogga, Bharadwaj, et al.
Published: (2026)

Engineering-Oriented Symbolic Regression: LLMs as Physics Agents for Discovery of Simulation-Ready Constitutive Laws
by: Wu, Yue, et al.
Published: (2026)

Role of Data-driven Regional Growth Model in Shaping Brain Folding Patterns
by: Hou, Jixin, et al.
Published: (2024)

Neuro-Symbolic ODE Discovery with Latent Grammar Flow
by: Yu, Karin, et al.
Published: (2026)

Practical Modelling with Bigraphs
by: Archibald, Blair, et al.
Published: (2024)

Towards Automatic Transformations of Coq Proof Scripts
by: Magaud, Nicolas
Published: (2024)

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
by: De Luca, Marco, et al.
Published: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
by: Jayasena, Aruna, et al.
Published: (2023)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
by: Kutsia, Temur, et al.
Published: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
by: Orvalho, Pedro, et al.
Published: (2025)

A Spline-Based Stress Function Approach for the Principle of Minimum Complementary Energy
by: Key, Fabian, et al.
Published: (2025)

SCL(FOL) Revisited
by: Bromberger, Martin, et al.
Published: (2023)

A Novel Shortest Path Query Algorithm Based on Optimized Adaptive Topology Structure
by: Fang, Xiao, et al.
Published: (2024)

GIPPO: A Graph-based, Iterative, Printing-Path Optimization Slicer for Architected Lattices
by: Fucile, Pierpaolo, et al.
Published: (2025)

LATTE: Lightweight Attention-based Traffic Accident Anticipation Engine
by: Zhang, Jiaxun, et al.
Published: (2025)

GeoSSA: Geometric Sparrow Search Algorithm for UAV Path Planning and Engineering Design Optimization
by: Wei, Junhao, et al.
Published: (2026)

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
by: Garg, Abhibhav, et al.
Published: (2025)

Active Learning Enhanced Surrogate Modeling of Jet Engines in JuliaSim
by: Abdelrehim, Anas, et al.
Published: (2025)

Hierarchical Rank-One Sequence Convexification for the Relaxation of Variational Problems with Microstructures
by: Köhler, Maximilian, et al.
Published: (2024)

Minimum Carbon Trusses: Constructible Multi-Component Designs with Mixed-Integer Linear Programming
by: Schemmer, Zane Hallowell, et al.
Published: (2026)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
by: Kaminski, Roland, et al.
Published: (2024)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
by: Dzafic, Izudin, et al.
Published: (2025)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
by: Gorna, Karolina, et al.
Published: (2026)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)

Proceedings 13th International Workshop on Developments in Computational Models
by: Alves, Sandra, et al.
Published: (2024)

Brain-Inspired Physics-Informed Neural Networks: Bare-Minimum Neural Architectures for PDE Solvers
by: Markidis, Stefano
Published: (2024)

A Layered Swarm Optimization Method for Fitting Battery Thermal Runaway Models to Accelerating Rate Calorimetry Data
by: Bhatnagar, Saakaar, et al.
Published: (2024)

PyHexTop: a compact Python code for topology optimization using hexagonal elements
by: Agarwal, Aditi, et al.
Published: (2023)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)

Intelligent Optimization of Mine Environmental Damage Assessment and Repair Strategies Based on Deep Learning
by: Cheng, Qishuo
Published: (2024)

CICDWOA: A Collective Cognitive Sharing Whale Optimization Algorithm with Cauchy Inverse Cumulative Distribution for 2D/3D Path Planning and Engineering Design Problems
by: Wei, Junhao, et al.
Published: (2026)

Approximation Algorithms for the UAV Path Planning with Object Coverage Constraints
by: Wang, Jiawei, et al.
Published: (2025)

Broadband Thermoelectric Energy Harvesting for Wearable Biosensors Using Plasmonic Field-Enhancement and Machine-Learning-Guided Device Optimization
by: Moradi, Hamidreza, et al.
Published: (2025)

Solving unification in the description logic $\mathcal{FL}_\bot$
by: Morawska, Barbara, et al.
Published: (2024)

Rings with common division, common meadows and their conditional equational theories
by: Bergstra, Jan A, et al.
Published: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Saturating Sorting without Sorts
by: Georgiou, Pamina, et al.
Published: (2024)