:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sagebaum, Max, Gauger, Nicolas R.
Format:	Preprint
Publié:	2025
Sujets:	Mathematical Software 68N30 G.1.4; G.4; D.2.2
Accès en ligne:	https://arxiv.org/abs/2508.05371
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Algorithmic differentiation for domain specific languages in C++ with expression templates
par: Sagebaum, Max, et autres
Publié: (2026)

Hybrid parallel discrete adjoints in SU2
par: Blühdorn, Johannes, et autres
Publié: (2024)

Local Adjoints for Simultaneous Preaccumulations with Shared Inputs
par: Blühdorn, Johannes, et autres
Publié: (2024)

Employing Continuous Integration inspired workflows for benchmarking of scientific software -- a use case on numerical cut cell quadrature
par: Toprak, Teoman, et autres
Publié: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
par: Lauer, Alexander, et autres
Publié: (2026)

Reliability Conditions in Quadrature Algorithms
par: Adam, Gh., et autres
Publié: (2003)

AI for software engineering: from probable to provable
par: Meyer, Bertrand
Publié: (2025)

Challenges in automatic differentiation and numerical integration in physics-informed neural networks modelling
par: Daněk, Josef, et autres
Publié: (2024)

Comparison of SeDuMi and SDPT3 Solvers for Stability of Continuous-time Linear System
par: Xu, Guangda
Publié: (2023)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
par: López, Hugo A., et autres
Publié: (2024)

Concepts for Composing Finite Element Function Space Bases
par: Engwer, Christian, et autres
Publié: (2025)

BEC: Bit-Level Static Analysis for Reliability against Soft Errors
par: Ko, Yousun, et autres
Publié: (2024)

Fast GPU Linear Algebra via Compile Time Expression Fusion
par: Curtin, Ryan R., et autres
Publié: (2026)

The Distributed and Unified Numerics Environment (DUNE), Version 2.10
par: Blatt, Markus, et autres
Publié: (2025)

A randomised lattice rule algorithm with pre-determined generating vector and random number of points for Korobov spaces with $0 < α\le 1/2$
par: Nuyens, Dirk, et autres
Publié: (2023)

modOpt: A modular development environment and library for optimization algorithms
par: Joshy, Anugrah Jo, et autres
Publié: (2024)

Armadillo: An Efficient Framework for Numerical Linear Algebra
par: Sanderson, Conrad, et autres
Publié: (2025)

Towards a format for describing networks / 2. Format elements
par: Batagelj, Vladimir, et autres
Publié: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
par: Helbling, Caleb, et autres
Publié: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
par: Helbling, Caleb, et autres
Publié: (2025)

A natural language framework for non-conforming hybrid polytopal methods in Gridap.jl
par: Manyer, Jordi, et autres
Publié: (2026)

Matrix-by-matrix multiplication algorithm with $O(N^2log_2N)$ computational complexity for variable precision arithmetic
par: Paszyński, Maciej
Publié: (2024)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
par: Liu, Kuangxiangzi, et autres
Publié: (2025)

Compilation of Generalized Matrix Chains with Symbolic Sizes
par: López, Francisco, et autres
Publié: (2025)

Exploration of $k$-edge-deficient temporal graphs in linear time
par: Lahtin, Ivan, et autres
Publié: (2026)

Validation of an analyzability model for quantum software: a family of experiments
par: Díaz-Muñoz, Ana, et autres
Publié: (2026)

The ensmallen library for flexible numerical optimization
par: Curtin, Ryan R., et autres
Publié: (2021)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
par: Liyanage, Danushka, et autres
Publié: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
par: Rumpe, Bernhard, et autres
Publié: (2025)

Towards a format for describing networks / 1. Networks and knowledge graphs
par: Batagelj, Vladimir, et autres
Publié: (2025)

Practical implementation of geometric quasi-cyclic LDPC codes
par: Ball, Simeon, et autres
Publié: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
par: De Angelis, Emanuele, et autres
Publié: (2022)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
par: Kratz, Maximilian, et autres
Publié: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
par: Ehmes, Sebastian, et autres
Publié: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
par: Kratz, Maximilian, et autres
Publié: (2025)

Contract-based Verification of Digital Twins
par: Naeem, Muhammad, et autres
Publié: (2025)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
par: Chen, Xinfang, et autres
Publié: (2025)

Efficient Symbolic Computation via Hash Consing
par: Zhu, Bowen, et autres
Publié: (2025)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
par: Grahl, Johanna, et autres
Publié: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
par: Guo, Jinyao, et autres
Publié: (2025)