Cover Image

Simplest Mechanism Builder Algorithm (SiMBA): An Automated Microkinetic Model Discovery Tool

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Servia, Miguel Ángel de Carvalho, Kuok, King, Hii, Hellgardt, Klaus, Zhang, Dongda, Chanona, Ehecatl Antonio del Rio
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

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

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Algorithms for Recursive Block Matrices
by: Watt, Stephen M.
Published: (2024)

An Automatic Pipeline for the Integration of Python-Based Tools into the Galaxy Platform: Application to the anvi'o Framework
by: Cumbo, Fabio, et al.
Published: (2026)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
by: Blake, Sam
Published: (2026)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
by: Qin, Simin, et al.
Published: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
by: Deng, Siyuan, et al.
Published: (2024)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)

Symbolic Discovery of Stochastic Differential Equations with Genetic Programming
by: de Vries, Sigur, et al.
Published: (2026)

LMFD: Latent Monotonic Feature Discovery
by: Toussaint, Guus, et al.
Published: (2025)

Towards Practical Automatic Piano Reduction using BERT with Semi-supervised Learning
by: Wong, Wan Ki, et al.
Published: (2025)

On Automating Proofs of Multiplier Adder Trees using the RTL Books
by: Manjrekar, Mayank
Published: (2025)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
by: Hota, Amela, et al.
Published: (2024)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
by: Jiang, Nan, et al.
Published: (2024)

A Local Search Algorithm for MaxSMT(LIA)
by: He, Xiang, et al.
Published: (2024)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
by: Kovács, Zoltán, et al.
Published: (2024)

Automated Data-Driven Discovery of Material Models Based on Symbolic Regression: A Case Study on Human Brain Cortex
by: Hou, Jixin, et al.
Published: (2024)

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions
by: Caruso, Xavier, et al.
Published: (2026)

Hahn series and Mahler equations: Algorithmic aspects
by: Faverjon, C., et al.
Published: (2024)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
by: Dasu, Vishnu Asutosh, et al.
Published: (2026)

Discovery of Green's function based on symbolic regression with physical hard constraints
by: Gu, Jianghang, et al.
Published: (2024)

Modular Algorithms For Computing Gröbner Bases in Free Algebras
by: Hofstadler, Clemens, et al.
Published: (2025)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
by: Kera, Hiroshi, et al.
Published: (2025)

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules
by: Caruso, Xavier, et al.
Published: (2023)

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
by: Barket, Rashid, et al.
Published: (2025)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
by: Ariño-Morera, Belén, et al.
Published: (2024)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
by: Yang, Jing, et al.
Published: (2024)

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

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
by: Muller, Jean-Michel, et al.
Published: (2024)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)