English
Related papers

Related papers: Are interpolations in metallicity reliable?

200 papers

An important component of a number of computational modeling algorithms is an interpolation method that preserves the positivity of the function being interpolated. This report describes the numerical testing of a new positivity-preserving…

Numerical Analysis · Mathematics 2022-06-17 T. A. J. Ouermi , Robert M. Kirby , Martin Berzins

The article "Interpolation and SAT-Based Model Checking" (McMillan, 2003) describes a formal-verification algorithm, which was originally devised to verify safety properties of finite-state transition systems. It derives interpolants from…

Software Engineering · Computer Science 2024-03-14 Dirk Beyer , Nian-Ze Lee , Philipp Wendler

Statistically resolving the underlying haplotype pair for a genotype measurement is an important intermediate step in gene mapping studies, and has received much attention recently. Consequently, a variety of methods for this problem have…

Machine Learning · Computer Science 2007-10-29 Matti Kääriäinen , Niels Landwehr , Sampsa Lappalainen , Taneli Mielikäinen

Matrices resulting from the discretization of a kernel function, e.g., in the context of integral equations or sampling probability distributions, can frequently be approximated by interpolation. In order to improve the efficiency, a…

Numerical Analysis · Mathematics 2021-12-10 Steffen Börm

We derive stellar ages, from evolutionary tracks, and metallicities, from Stromgren photometry, for a sample of 5828 dwarf and sub-dwarf stars from the Hipparcos Catalogue. This stellar disk sample is used to investigate the age-metallicity…

Astrophysics · Physics 2009-11-07 Sofia Feltzing , Johan Holmberg , Jarrod R. Hurley

This paper contains a review of available methods for establishing improved interpolation inequalities on the sphere for subcritical exponents. Pushing further these techniques we also establish some new results, clarify the range of…

Analysis of PDEs · Mathematics 2014-01-30 Jean Dolbeault , Maria J. Esteban , Michal Kowalczyk , Michael Loss

Time delay estimation has long been an active area of research. In this work, we show that compressive sensing with interpolation may be used to achieve good estimation precision while lowering the sampling frequency. We propose an…

Information Theory · Computer Science 2013-06-12 Karsten Fyhn , Marco F. Duarte , Søren Holdt Jensen

Various algebraic multigrid algorithms have been developed for solving problems in scientific and engineering computation over the past decades. They have been shown to be well-suited for solving discretized partial differential equations…

Numerical Analysis · Mathematics 2018-05-08 Xuefeng Xu , Chen-Song Zhang

Image interpolation has been used spaciously by customary interpolation techniques. Recently, Kriging technique has been widely implemented in simulation area and geostatistics for prediction. In this article, Kriging technique was used…

Computer Vision and Pattern Recognition · Computer Science 2013-02-07 Firas Ajil Jassim , Fawzi Hasan Altaany

In this paper, we present an interpolation framework for structure-preserving model order reduction of parametric bilinear dynamical systems. We introduce a general setting, covering a broad variety of different structures for parametric…

Numerical Analysis · Mathematics 2021-07-13 Peter Benner , Serkan Gugercin , Steffen W. R. Werner

In this work, we have investigated various style transfer approaches and (i) examined how the stylized reconstruction changes with the change of loss function and (ii) provided a computationally efficient solution for the same. We have used…

Computer Vision and Pattern Recognition · Computer Science 2018-07-17 Ram Krishna Pandey , Samarjit Karmakar , A G Ramakrishnan

The polynomial kernels are widely used in machine learning and they are one of the default choices to develop kernel-based classification and regression models. However, they are rarely used and considered in numerical analysis due to their…

The electronic properties of interfaces between two different solids can differ strikingly from those of the constituent materials. For instance, metallic conductivity, and even superconductivity, have been recently discovered at interfaces…

Materials Science · Physics 2009-11-13 H. Dias Alves , A. S. Molinari , H. Xie , A. F. Morpurgo

This paper considers the problem of interpolating signals defined on graphs. A major presumption considered by many previous approaches to this problem has been lowpass/ band-limitedness of the underlying graph signal. However, inspired by…

Information Theory · Computer Science 2017-05-09 Mahdi Boloursaz Mashhadi , Maryam Fallah , Farokh Marvasti

In this paper we consider interpolation in model spaces, $H^2 \ominus B H^2$ with $B$ a Blaschke product. We study unions of interpolating sequences for two sequences that are far from each other in the pseudohyperbolic metric as well as…

Complex Variables · Mathematics 2020-09-07 Pamela Gorkin , Brett D. Wick

Leveraging 2.5D interposer technology, we advocate the integration of untrusted commodity components/chiplets with physically separate, entrusted logic components. Such organization provides a modern root of trust for secure system-level…

Cryptography and Security · Computer Science 2019-06-07 Mohammed Nabeel , Mohammed Ashraf , Satwik Patnaik , Vassos Soteriou , Ozgur Sinanoglu , Johann Knechtel

We present new convergence estimates of generalized empirical interpolation methods in terms of the entropy numbers of the parametrized function class. Our analysis is transparent and leads to sharper convergence rates than the classical…

Numerical Analysis · Mathematics 2026-02-24 Yuwen Li

We establish an observability inequality from space-time measurable sets for a class of strongly coupled parabolic systems consisting of two equations, where the observation acts on a single-component. The model is motivated by parabolic…

Optimization and Control · Mathematics 2026-04-16 Xiaoyu Fu , Gengsheng Wang , Huaiqiang Yu , Xiaomin Zhu

In this paper we present an efficient algorithm for bivariate interpolation, which is based on the use of the partition of unity method for constructing a global interpolant. It is obtained by combining local radial basis function…

Numerical Analysis · Mathematics 2014-08-04 Roberto Cavoretto

The main experimental works, where dipole polarizabilities of charged pions have been determined, are considered. Possible reasons for the differences between the experimental data are discussed. In particular, it is shown that the account…

High Energy Physics - Phenomenology · Physics 2018-06-20 L. V. Fil'kov , V. L. Kashevarov
‹ Prev 1 4 5 6 7 8 10 Next ›