Copertina

Modular Stochastic Rewritable Petri Nets

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Capra, Lorenzo
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Performance Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Efficient Performance Analysis of Modular Rewritable Petri Nets
di: Capra, Lorenzo, et al.
Pubblicazione: (2024)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
di: Fruehwirth, Thom
Pubblicazione: (2023)

Hyperdimensional Computing for Sustainable Manufacturing: An Initial Assessment
di: Hoang, Danny, et al.
Pubblicazione: (2025)

Nominal Equational Rewriting and Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

Simulating Petri nets with Boolean Matrix Logic Programming
di: Ai, Lun, et al.
Pubblicazione: (2024)

Introducing Quantification into a Hierarchical Graph Rewriting Language
di: Mishina, Haruto, et al.
Pubblicazione: (2024)

Confluence of Conditional Rewriting Modulo
di: Lucas, Salvador
Pubblicazione: (2025)

Modular composition & polynomial GCD in the border of small, shallow circuits
di: Andrews, Robert, et al.
Pubblicazione: (2025)

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

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
di: Wang, Kevin, et al.
Pubblicazione: (2026)

Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
di: Fruehwirth, Thom
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

Generalized ODE reduction algorithm for bounded degree transformation
di: Huang, Shaoxuan
Pubblicazione: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
di: Huang, Shaoxuan
Pubblicazione: (2025)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
di: Nalbach, Jasper, et al.
Pubblicazione: (2025)

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

Symmetric Division of Linear Ordinary Differential Operators
di: Du, Lixin, et al.
Pubblicazione: (2025)

The regular multivariate quadratic problem
di: Joux, Antoine, et al.
Pubblicazione: (2025)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Frobenius method for Mahler equations
di: Roques, Julien
Pubblicazione: (2025)

Flip Graphs with Symmetry and New Matrix Multiplication Schemes
di: Moosbauer, Jakob, et al.
Pubblicazione: (2025)

On the Number of Real Types of Univariate Polynomials
di: Faroß, Nicolas, et al.
Pubblicazione: (2025)

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
di: Wood, Isaac
Pubblicazione: (2025)

Creative Telescoping
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Cooley-Tukey FFT over $\mathbb{Q}_p$ via Unramified Cyclotomic Extension
di: Kondo, Hiromasa
Pubblicazione: (2025)

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

Flip Graphs for Polynomial Multiplication
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
di: Elliott, Jesse, et al.
Pubblicazione: (2025)

Projective Delineability for Single Cell Construction
di: Nalbach, Jasper, et al.
Pubblicazione: (2025)

Probably faster multiplication of sparse polynomials
di: van der Hoeven, Joris
Pubblicazione: (2025)

Parallel Heuristic Exploration for Additive Complexity Reduction in Fast Matrix Multiplication
di: Perminov, A. I.
Pubblicazione: (2025)

Differentiation methods as a systematic uncertainty source in equation discovery
di: Khilchuk, Maria, et al.
Pubblicazione: (2025)

Recycling Algebraic Proof Certificates
di: Kaufmann, Daniela, et al.
Pubblicazione: (2025)