The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Interpolant with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1995 (15) 1996-1999 (23) 2000-2004 (27) 2005-2006 (24) 2007-2008 (30) 2009 (18) 2010-2012 (16) 2013-2016 (20) 2018-2020 (19) 2021-2024 (19)
Publication types (Num. hits)
article(129) incollection(1) inproceedings(81)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 159 occurrences of 120 keywords

Results
Found 211 publication records. Showing 211 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
99Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer Boosting interpolation with dynamic localized abstraction and redundancy removal. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interpolant, abstraction, redundancy removal
85Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer Stepping forward with interpolants in unbounded model checking. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
71Hisamoto Hiyoshi, Kokichi Sugihara Improving the Global Continuity of the Natural Neighbor Interpolation. Search on Bibsonomy ICCSA (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
71Ghislain Franssens A new non-polynomial univariate interpolation formula of Hermite type. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF univariate Hermite interpolation, Multipoint Taylor series, 41A58, 26E05, 65D05, 65D15, 41A30
65Thomas A. Grandine, Thomas A. Hogan A Parametric Quartic Spline Interpolant to Position, Tangent and Curvature. Search on Bibsonomy Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF AMS Subject Classification 41A05, 65D05, 41A15, 41A25, 65D17, 41A29
57Hisamoto Hiyoshi, Kokichi Sugihara A Sequence of Generalized Coordinate Systems Based on Voronoi Diagrams and Its Application to Interpolation. Search on Bibsonomy GMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF multidimensional data interpolation, spatial surface, Voronoi diagram
57Muhammad Sarfraz 0001 Rational Spline Interpolation Preserving the Shape of the Monotonic Data. Search on Bibsonomy Computer Graphics International The full citation details ... 1997 DBLP  DOI  BibTeX  RDF rational spline interpolation, monotonic data shape preservation, curve representation, cubic numerators, quadratic denominators, data visualisation, positivity, convexity, monotonicity, shape preservation, scientific data, rational interpolant
51Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Interpolant Generation for UTVPI. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
51Tatyana Sorokina, Andrew J. Worsey A multivariate Powell-Sabin interpolant. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 41A05, Secondary 41A15, 65D05, 65D07, 41A10
51Azizan Saaban, Abd. Rahni Mt. Piah, Ahmad Abdul Majid Range Restricted C2 Interpolant to Scattered Data. Search on Bibsonomy CGIV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51João Marques-Silva 0001 Improvements to the Implementation of Interpolant-Based Model Checking. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Hisamoto Hiyoshi, Kokichi Sugihara Generalization of an Interpolant Using Voronoi Diagrams in Two Directions. Search on Bibsonomy Shape Modeling International The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
43Christopher Lynch, Yuefeng Tang Interpolants for Linear Arithmetic in SMT. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Zbynek Sír, Bert Jüttler Spatial Pythagorean Hodograph Quintics and the Approximation of Pipe Surfaces. Search on Bibsonomy IMA Conference on the Mathematics of Surfaces The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Valerio Pascucci, Kree Cole-McLaughlin Parallel Computation of the Topology of Level Sets. Search on Bibsonomy Algorithmica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Topology, Level sets, Isosurfaces, Betti numbers, Genus
43Chyi-Cheng Lin, Yu-Tai Ching A note on computing the saddle values in isosurface polygonization. Search on Bibsonomy Vis. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Topology consistency, Saddle value, Volume visualization, Marching cubes
43Jesús M. Carnicer Multivariate convexity preserving interpolation by smooth functions. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Subject classification 41A05, 26A51, 65D05, 41A29
43Yi Li, Weidong Chen 0002, Dongming Lu, Lei Zhao 0011 Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration. Search on Bibsonomy ISCIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Natural Neighbor Coordinate, Laplace interpolant, electromagnetic tracker calibration, virtual reality
43George Drettakis, Eugene Fiume Structured Penumbral Irradiance Computation. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF primary and global illumination, interpolant degree reduction, interpolation, sampling, Rendering, structure, radiosity, mesh simplification, experimental study, irradiance, penumbra, discontinuity meshing, backprojection
37Gabriel Acosta, Thomas Apel, Ricardo G. Durán, Ariel L. Lombardi Anisotropic error estimates for an interpolant defined via moments. Search on Bibsonomy Computing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF anisotropic finite elements, interpolation error estimate
37Ranjit Jhala, Kenneth L. McMillan Interpolant-Based Transition Relation Approximation. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28 Visualization of Positive and Monotone Data by Rational Quadratic Spline. Search on Bibsonomy IVIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Visualization, Interpolation, Positivity, Monotonicity, Shape Preserving
28Hassan Goldani-Moghaddam, Wayne H. Enright Efficient Contouring on Unstructured Meshes for Partial Differential Equations. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Visualization, PDE, contour, unstructured mesh, scattered data
28Alex Brooks, Alexei Makarenko, Ben Upcroft Gaussian Process Models for Indoor and Outdoor Sensor-Centric Robot Localization. Search on Bibsonomy IEEE Trans. Robotics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Johan Karlsson, Tryphon T. Georgiou, Anders Lindquist Weight selection for gap robustness with degree-constrained controllers. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun Accelerating Interpolation-Based Model-Checking. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Simon Hubbert, Stefan Müller 0008 Thin plate spline interpolation on the unit interval. Search on Bibsonomy Numer. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Univariate interpolation, Numerical computation
28Kenneth L. McMillan Interpolants and Symbolic Model Checking. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Roland Opfer Multiscale kernels. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF wavelets, data compression, radial basis functions, multiresolution, refineable functions, scattered data approximation
28Azizan Saaban, Abd. Rahni Mt. Piah, Ahmad Abdul Majid Positivity-Preserving Scattered Data Interpolating Surface using C1 Piecewise Cubic Triangular Patches. Search on Bibsonomy CGIV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Ming Li 0017, Xiao-Shan Gao, Jin-San Cheng Generating Symbolic Interpolants for Scattered Data with Normal Vectors. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Hermite interpolation surface, Bézier curve, sweeping curve, solid modelling
28Tao Ju, Scott Schaefer, Joe D. Warren Mean value coordinates for closed triangular meshes. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF barycentric coordinates, surface deformation, volumetric textures, mean value coordinates
28Abd. Rahni Mt. Piah, Tim N. T. Goodman, Keith Unsworth Positivity-Preserving Scattered Data Interpolation. Search on Bibsonomy IMA Conference on the Mathematics of Surfaces The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Kenneth L. McMillan Applications of Craig Interpolation to Model Checking. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Kenneth L. McMillan Applications of Craig Interpolants in Model Checking. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28David F. Wiley, Martin Bertram 0001, Bernd Hamann On a Construction of a Hierarchy of Best Linear Spline Approximations Using a Finite Element Approach. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan Abstractions from proofs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF counterexample analysis, software model checking, predicate abstraction
28Kenneth L. McMillan Applications of Craig Interpolation to Model Checking. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Kenneth L. McMillan Craig Interpolation and Reachability Analysis. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Shmuel Rippa An algorithm for selecting a good value for the parameter c in radial basis function interpolation. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28A. C. Faul, M. J. D. Powell Proof of convergence of an iterative technique for thin plate spline interpolation in two dimensions. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Thomas A. Foley Weighted Bicubic Spline Interpolation to Rapidly Varying Data. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
28Jens Markus Melenk, Barbara I. Wohlmuth On residual-based a posteriori error estimation in hp-FEM. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hp-FEM, Clément interpolant, polynomial inverse estimates, adaptivity, a posteriori error estimation
22Agi Kurucz, Frank Wolter, Michael Zakharyaschev The interpolant existence problem for weak K4 and difference logic. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Kaiqi Chen, Eugene Lim, Kelvin Lin, Yiyang Chen, Harold Soh Behavioral Refinement via Interpolant-based Policy Diffusion. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Nanye Ma, Mark Goldstein, Michael S. Albergo, Nicholas M. Boffi, Eric Vanden-Eijnden, Saining Xie SiT: Exploring Flow and Diffusion-based Generative Models with Scalable Interpolant Transformers. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Kumar Abhishek 0001, Colin J. Brown, Ghassan Hamarneh Multi-sample ζ-mixup: richer, more realistic synthetic samples from a p-series interpolant. Search on Bibsonomy J. Big Data The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Giacomo Elefante A barycentric trigonometric Hermite interpolant via an iterative approach. Search on Bibsonomy J. Comput. Appl. Math. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Yasmina Khiar, Esmeralda Mainar, Eduardo Royo-Amondarain, Beatriz Rubio On the accurate computation of the Newton form of the Lagrange interpolant. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding Formal synthesis of neural Craig interpolant via counterexample guided deep learning. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Vincent Marguet, Florin Stoican, Ionela Prodan On the application of the Schoenberg quasi-interpolant for complexity reduction in trajectory generation. Search on Bibsonomy ECC The full citation details ... 2023 DBLP  BibTeX  RDF
22Kumar Abhishek 0001, Colin J. Brown, Ghassan Hamarneh Multi-Sample ζ-mixup: Richer, More Realistic Synthetic Samples from a p-Series Interpolant. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Giacomo Elefante A barycentric trigonometric Hermite interpolant via an iterative approach. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning. Search on Bibsonomy DSA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22D. Barrera Rosillo, Salah Eddargani, Abdellah Lamnii Uniform algebraic hyperbolic spline quasi-interpolant based on mean integral values. Search on Bibsonomy Comput. Math. Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Otheman Nouisser, Benaissa Zerroudi Modified Shepard's method by six-points local interpolant. Search on Bibsonomy J. Appl. Math. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22S. Bouhiri, Abdelleh Lamnii, M. Lamnii, Ahmed Zidna Quasi-interpolant operators in Bernstein basis. Search on Bibsonomy Math. Comput. Simul. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Hongyan Liu 0001, Jin Huang, Wei Zhang Numerical algorithm based on extended barycentric Lagrange interpolant for two dimensional integro-differential equations. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Jean-Paul Berrut, Giacomo Elefante A linear barycentric rational interpolant on starlike domains. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
22Da Xu Uniform l1 behavior of the first-order interpolant quadrature scheme for some partial integro-differential equations. Search on Bibsonomy Appl. Math. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Andrea Raffo, Silvia Biasotti Weighted quasi-interpolant spline approximations: Properties and applications. Search on Bibsonomy Numer. Algorithms The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Jean-Paul Berrut, Giacomo Elefante Bounding the Lebesgue constant for a barycentric rational trigonometric interpolant at periodic well-spaced nodes. Search on Bibsonomy J. Comput. Appl. Math. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Deyun Zhong, Liguan Wang, Bi Lin A Fast Solution for the Generalized Radial Basis Functions Interpolant. Search on Bibsonomy IEEE Access The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Domingo Barrera, Catterina Dagnino, María J. Ibáñez, Sara Remogna A trivariate near-best blending quadratic quasi-interpolant. Search on Bibsonomy Math. Comput. Simul. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Francesca Pitolli On the Numerical Solution of Fractional Boundary Value Problems by a Spline Quasi-Interpolant Operator. Search on Bibsonomy Axioms The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Andrea Raffo, Silvia Biasotti Data-driven quasi-interpolant spline surfaces for point cloud approximation. Search on Bibsonomy Comput. Graph. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto Reducing Interpolant Circuit Size Through SAT-Based Weakening. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Enza Pellegrino, Laura Pezza, Francesca Pitolli Quasi-Interpolant Operators and the Solution of Fractional Differential Problems. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
22Joseph A. Fiordilino, Mohammad Ali Pakzad A discrete Hopf interpolant and stability of the finite element method for natural convection. Search on Bibsonomy Math. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22M. Derakhshan, M. Zarebnia On the numerical treatment and analysis of two-dimensional Fredholm integral equations using quasi-interpolant. Search on Bibsonomy Comput. Appl. Math. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Doug L. James Phong deformation: a better C0 interpolant for embedded deformation. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Ting Gan, Bican Xia, Bai Xue 0001, Naijun Zhan, Liyun Dai Nonlinear Craig Interpolant Generation. Search on Bibsonomy CAV (1) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22S. Bouhiri, Abdelleh Lamnii, M. Lamnii, Ahmed Zidna A C̃2 spline quasi-interpolant for fitting 3D data on the sphere and applications. Search on Bibsonomy Math. Comput. Simul. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Emine Celik, Eric J. Olson, Edriss S. Titi Spectral Filtering of Interpolant Observables for a Discrete-in-Time Downscaling Data Assimilation Algorithm. Search on Bibsonomy SIAM J. Appl. Dyn. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto Logic Synthesis for Interpolant Circuit Compaction. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Andrea Raffo, Silvia Biasotti Weighted Quasi Interpolant Spline Approximations: Properties and Applications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Andrea Raffo, Silvia Biasotti Weighted Quasi Interpolant Spline Approximation of 3D point clouds via local refinement. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Ting Gan, Bican Xia, Bai Xue 0001, Naijun Zhan Nonlinear Craig Interpolant Generation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Jean Sidon Local and global error estimates for Berrut's rational interpolant at well-spaced nodes. Search on Bibsonomy J. Approx. Theory The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Mehdi Kamandar Automatic color image contrast enhancement using Gaussian mixture modeling, piecewise linear transformation, and monotone piecewise cubic interpolant. Search on Bibsonomy Signal Image Video Process. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Xiang Fang, Stephen Mann A Quartic Clough-Tocher Interpolant. Search on Bibsonomy VISIGRAPP (1: GRAPP) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Yusuke Imoto, Daisuke Tagami A truncation error estimate of the interpolant of a particle method based on the Voronoi decomposition. Search on Bibsonomy JSIAM Lett. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Mark Ainsworth, Manuel A. Sánchez Computing the Bézier Control Points of the Lagrangian Interpolant in Arbitrary Dimension. Search on Bibsonomy SIAM J. Sci. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22A. Serghini, Ahmed Tijini New approach to study splines by blossoming method and application to the construction of a bivariate C1 quartic quasi-interpolant. Search on Bibsonomy Comput. Math. Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Bishoksan Kafle, John P. Gallagher Interpolant tree automata and their application in Horn clause verification. Search on Bibsonomy VPT@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Chongyang Deng, Shankui Zhang, Yajuan Li, Wenbiao Jin, Yi Zhao A tighter upper bound on the Lebesgue constant of Berrut's rational interpolant at equidistant nodes. Search on Bibsonomy Appl. Math. Lett. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22André Pierro de Camargo Erratum: "On the numerical stability of Floater-Hormann's rational interpolant". Search on Bibsonomy Numer. Algorithms The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22André Pierro de Camargo On the numerical stability of Floater-Hormann's rational interpolant. Search on Bibsonomy Numer. Algorithms The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Xuli Han Shape-preserving piecewise rational interpolant with quartic numerator and quadratic denominator. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto Optimization techniques for craig interpolant compaction in unbounded model checking. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Wenwu Gao, Zongmin Wu Approximation orders and shape preserving properties of the multiquadric trigonometric B-spline quasi-interpolant. Search on Bibsonomy Comput. Math. Appl. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Javier Sánchez-Reyes, Jesús Miguel Chacón A polynomial Hermite interpolant for C2 quasi arc-length approximation. Search on Bibsonomy Comput. Aided Des. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Abderrahim Azouani, Eric J. Olson, Edriss S. Titi Continuous Data Assimilation Using General Interpolant Observables. Search on Bibsonomy J. Nonlinear Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Chafik Allouch, Paul Sablonnière, Driss Sbibih A collocation method for the numerical solution of a two dimensional integral equation using a quadratic spline quasi-interpolant. Search on Bibsonomy Numer. Algorithms The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Len Bos, Stefano De Marchi, Kai Hormann, Jean Sidon Bounding the Lebesgue constant for Berrut's rational interpolant at general nodes. Search on Bibsonomy J. Approx. Theory The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Paola Baratella A Nyström interpolant for some weakly singular nonlinear Volterra integral equations. Search on Bibsonomy J. Comput. Appl. Math. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 211 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license