output
20122026
most citedContemporary Symbolic Regression Methods and their Relative Performance

144 citations

Showing 2023Show all

7 papers · 1 filter

math.OC2023★ 15 cited

Discrete Adjoint Method for Variational Integration of Constrained ODEs and its application to Optimal Control of Geometrically Exact Beam Dynamics

Matthias Schubert, Rodrigo T. Sato Martín de Almagro, Karin Nachbagauer +2

Direct methods for the simulation of optimal control problems apply a specific discretization to the dynamics of the problem, and the discrete adjoint method is suitable to calcula…

cs.SE2023★ 4 cited

PASDA: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases

Johann Glock, Josef Pichler, Martin Pinzger

Equivalence checking is used to verify whether two programs produce equivalent outputs when given equivalent inputs. Research in this field mainly focused on improving equivalence…

astro-ph.CO2023★ 20 cited

A precise symbolic emulator of the linear matter power spectrum

Deaglan J. Bartlett, Lukas Kammerer, Gabriel Kronberger +6

Computing the matter power spectrum, , as a function of cosmological parameters can be prohibitively slow in cosmological analyses, hence emulating this calculation is desira…

cs.CE2023

Multi-criteria Optimization of Workflow-Based Assembly Tasks in Manufacturing

Florian Holzinger, Andreas Beham

Industrial manufacturing is currently amidst it's fourth great revolution, pushing towards the digital transformation of production processes. One key element of this transformatio…

math.NA2023★ 9 cited

Heat diffusion blurs photothermal images with increasing depth

Peter Burgholzer, Günther Mayr, Gregor Thummerer +1

In this tutorial, we aim to directly recreate some of our "aha" moments when exploring the impact of heat diffusion on the spatial resolution limit of photothermal imaging. Our obj…

cs.CV2023★ 12 cited

Nuclear Pleomorphism in Canine Cutaneous Mast Cell Tumors: Comparison of Reproducibility and Prognostic Relevance between Estimates, Manual Morphometry and Algorithmic Morphometry

Andreas Haghofer, Eda Parlak, Alexander Bartel +18

Variation in nuclear size and shape is an important criterion of malignancy for many tumor types; however, categorical estimates by pathologists have poor reproducibility. Measurem…

math.CV2023★ 2 cited

Walsh's Conformal Map onto Lemniscatic Domains for Polynomial Pre-images II

Klaus Schiefermayr, Olivier Sète

We consider Walsh's conformal map from the exterior of a set consisting of compact disjoint components onto a lemniscatic domain. In particular, w…