A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “linear interpolation” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Quantifier Elimination and Craig Interpolation, Quantitatively
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Overparameterization and generalization error: weighted trigonometric interpolation
2020 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Yuege Xie, Hung-Hsu Chou, Holger Rauhut, Rachel Ward

0

citations
Discriminative feature modeling for statistical speech recognition
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Speech Recognition and Synthesis Open access

Zoltán Tüske

1

citations
Application of oriented methods for computing shortest paths and principal curvatures on triangle surfaces
2023 Journal of Physics Conference Series conference-paper Computer Science Computational Geometry and Mesh Generation Open access

Nikolai D. Botkin, Laszlo Kovacs, Stefan Raith, A. Volf

0

citations

5 results