Concept
Cubic Hermite spline
Related publications (163)
Interpolation and Quantifiers in Ortholattices
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We study quantifiers and interpolation properties in orthologic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based pro ...
Cham2024Interpolation and Quantifiers in Ortholattices
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...
2024Retraction-based numerical methods for continuation, interpolation and time integration on manifolds
The goal of this thesis is the development and the analysis of numerical methods for problems where the unknown is a curve on a smooth manifold. In particular, the thesis is structured around the three following problems: homotopy continuation, curve inter ...
EPFL2023Plug-and-play adaptive surrogate modeling of parametric nonlinear dynamics in frequency domain
Jürg Alexander Schiffmann, Phillip Huwiler, Davide Pradovera
We present an algorithm for constructing efficient surrogate frequency-domain models of (nonlinear) parametric dynamical systems in a non-intrusive way. To capture the dependence of the underlying system on frequency and parameters, our proposed approach c ...
2023Adaptive isogeometric methods with C-1 (truncated) hierarchical splines on planar multi-patch domains
Isogeometric analysis is a powerful paradigm which exploits the high smoothness of splines for the numerical solution of high order partial differential equations. However, the tensor-product structure of standard multivariate B-spline models is not well s ...
WORLD SCIENTIFIC PUBL CO PTE LTD2023Region Extraction in Mesh Intersection
Annalisa Buffa, Pablo Antolin Sanchez, Emiliano Cirillo
Region extraction is a very common task in both Computer Science and Engineering with several applications in object recognition and motion analysis, among others. Most of the literature focuses on regions delimited by straight lines, often in the special ...
2023Comparison of Three Imputation Methods for Groundwater Level Timeseries
This study compares three imputation methods applied to the field observations of hydraulic head in subsurface hydrology. Hydrogeological studies that analyze the timeseries of groundwater elevations often face issues with missing data that may mislead bot ...
MDPI2023Benign Overfitting in Deep Neural Networks under Lazy Training
Volkan Cevher, Grigorios Chrysos, Fanghui Liu, Zhenyu Zhu
This paper focuses on over-parameterized deep neural networks (DNNs) with ReLU activation functions and proves that when the data distribution is well-separated, DNNs can achieve Bayesoptimal test error for classification while obtaining (nearly) zero-trai ...
2023Non-intrusive data-driven reduced-order modeling for time-dependent parametrized problems
Jan Sickmann Hesthaven, Junming Duan
Reduced-order models are indispensable for multi-query or real-time problems. However, there are still many challenges to constructing efficient ROMs for time-dependent parametrized problems. Using a linear reduced space is inefficient for time-dependent n ...
San Diego2023Through-Plane Super-Resolution With Autoencoders in Diffusion Magnetic Resonance Imaging of the Developing Human Brain
Meritxell Bach Cuadra, Erick Jorge Canales Rodriguez, Gabriel Girard, Hamza Kebiri
Fetal brain diffusion magnetic resonance images (MRI) are often acquired with a lower through-plane than in-plane resolution. This anisotropy is often overcome by classical upsampling methods such as linear or cubic interpolation. In this work, we employ a ...
FRONTIERS MEDIA SA2022