Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
99 | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer |
Boosting interpolation with dynamic localized abstraction and redundancy removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(1), pp. 3:1-3:20, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Interpolant, abstraction, redundancy removal |
85 | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer |
Stepping forward with interpolants in unbounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2006 International Conference on Computer-Aided Design, ICCAD 2006, San Jose, CA, USA, November 5-9, 2006, pp. 772-778, 2006, ACM, 1-59593-389-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
71 | Hisamoto Hiyoshi, Kokichi Sugihara |
Improving the Global Continuity of the Natural Neighbor Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part III, pp. 71-80, 2004, Springer, 3-540-22057-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
71 | Ghislain Franssens |
A new non-polynomial univariate interpolation formula of Hermite type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 10(3-4), pp. 367-388, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
univariate Hermite interpolation, Multipoint Taylor series, 41A58, 26E05, 65D05, 65D15, 41A30 |
65 | Thomas A. Grandine, Thomas A. Hogan |
A Parametric Quartic Spline Interpolant to Position, Tangent and Curvature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 72(1-2), pp. 65-78, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
AMS Subject Classification 41A05, 65D05, 41A15, 41A25, 65D17, 41A29 |
57 | Hisamoto Hiyoshi, Kokichi Sugihara |
A Sequence of Generalized Coordinate Systems Based on Voronoi Diagrams and Its Application to Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Geometric Modeling and Processing 2000, Hong Kong, China, April 10-12, 2000, pp. 129-137, 2000, IEEE Computer Society, 0-7695-0562-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multidimensional data interpolation, spatial surface, Voronoi diagram |
57 | Muhammad Sarfraz 0001 |
Rational Spline Interpolation Preserving the Shape of the Monotonic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: Computer Graphics International Conference, CGI 1997, Hasselt and Diepenbeek, Belgium, June 23-27, 1997, pp. 238-, 1997, IEEE Computer Society, 0-8186-7825-9. The full citation details ...](Pics/full.jpeg) |
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 |
51 | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
Interpolant Generation for UTVPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 167-182, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Tatyana Sorokina, Andrew J. Worsey |
A multivariate Powell-Sabin interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 29(1), pp. 71-89, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 41A05, Secondary 41A15, 65D05, 65D07, 41A10 |
51 | Azizan Saaban, Abd. Rahni Mt. Piah, Ahmad Abdul Majid |
Range Restricted C2 Interpolant to Scattered Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: 4th International Conference on Computer Graphics, Imaging and Visualization (CGIV 2007), August 14-16, 2007, Bangkok, Thailand, pp. 183-188, 2007, IEEE Computer Society, 0-7695-2928-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
51 | João Marques-Silva 0001 |
Improvements to the Implementation of Interpolant-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 367-370, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
51 | Hisamoto Hiyoshi, Kokichi Sugihara |
Generalization of an Interpolant Using Voronoi Diagrams in Two Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 1999 Shape Modeling International (SMI '99), 1-4 March 1999, Aizu, Japan, pp. 154-161, 1999, IEEE Computer Society, 0-7695-0065-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
43 | Christopher Lynch, Yuefeng Tang |
Interpolants for Linear Arithmetic in SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 156-170, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Zbynek Sír, Bert Jüttler |
Spatial Pythagorean Hodograph Quintics and the Approximation of Pipe Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA Conference on the Mathematics of Surfaces ![In: Mathematics of Surfaces XI, 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings, pp. 364-380, 2005, Springer, 3-540-28225-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Valerio Pascucci, Kree Cole-McLaughlin |
Parallel Computation of the Topology of Level Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 38(1), pp. 249-268, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Topology, Level sets, Isosurfaces, Betti numbers, Genus |
43 | Chyi-Cheng Lin, Yu-Tai Ching |
A note on computing the saddle values in isosurface polygonization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 13(7), pp. 342-344, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Topology consistency, Saddle value, Volume visualization, Marching cubes |
43 | Jesús M. Carnicer |
Multivariate convexity preserving interpolation by smooth functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 3(4), pp. 395-404, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Subject classification 41A05, 26A51, 65D05, 41A29 |
43 | Yi Li, Weidong Chen 0002, Dongming Lu, Lei Zhao 0011 |
Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings, pp. 353-362, 2006, Springer, 3-540-47242-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Natural Neighbor Coordinate, Laplace interpolant, electromagnetic tracker calibration, virtual reality |
43 | George Drettakis, Eugene Fiume |
Structured Penumbral Irradiance Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 2(4), pp. 299-312, 1996. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Gabriel Acosta, Thomas Apel, Ricardo G. Durán, Ariel L. Lombardi |
Anisotropic error estimates for an interpolant defined via moments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 82(1), pp. 1-9, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
anisotropic finite elements, interpolation error estimate |
37 | Ranjit Jhala, Kenneth L. McMillan |
Interpolant-Based Transition Relation Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 39-51, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | |
Visualization of Positive and Monotone Data by Rational Quadratic Spline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVIC ![In: Visual Informatics: Bridging Research and Practice, First International Visual Informatics Conference, IVIC 2009, Kuala Lumpur, Malaysia, November 11-13, 2009, Proceedings, pp. 436-447, 2009, Springer, 978-3-642-05035-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Visualization, Interpolation, Positivity, Monotonicity, Shape Preserving |
28 | Hassan Goldani-Moghaddam, Wayne H. Enright |
Efficient Contouring on Unstructured Meshes for Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 34(4), pp. 19:1-19:25, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Visualization, PDE, contour, unstructured mesh, scattered data |
28 | Alex Brooks, Alexei Makarenko, Ben Upcroft |
Gaussian Process Models for Indoor and Outdoor Sensor-Centric Robot Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 24(6), pp. 1341-1351, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Johan Karlsson, Tryphon T. Georgiou, Anders Lindquist |
Weight selection for gap robustness with degree-constrained controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4127-4134, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun |
Accelerating Interpolation-Based Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 428-442, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Gianpiero 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](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-8, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Simon Hubbert, Stefan Müller 0008 |
Thin plate spline interpolation on the unit interval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 45(1-4), pp. 167-177, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Univariate interpolation, Numerical computation |
28 | Kenneth L. McMillan |
Interpolants and Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, pp. 89-90, 2007, Springer, 978-3-540-69735-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Roland Opfer |
Multiscale kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 25(4), pp. 357-380, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
wavelets, data compression, radial basis functions, multiresolution, refineable functions, scattered data approximation |
28 | Azizan Saaban, Abd. Rahni Mt. Piah, Ahmad Abdul Majid |
Positivity-Preserving Scattered Data Interpolating Surface using C1 Piecewise Cubic Triangular Patches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: Third International Conference on Computer Graphics, Imaging and Visualization (CGIV 2006), 26-28 July 2006, Sydney, Australia, pp. 490-495, 2006, IEEE Computer Society, 0-7695-2606-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Ming Li 0017, Xiao-Shan Gao, Jin-San Cheng |
Generating Symbolic Interpolants for Scattered Data with Normal Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(6), pp. 861-874, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Hermite interpolation surface, Bézier curve, sweeping curve, solid modelling |
28 | Tao Ju, Scott Schaefer, Joe D. Warren |
Mean value coordinates for closed triangular meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 24(3), pp. 561-566, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
barycentric coordinates, surface deformation, volumetric textures, mean value coordinates |
28 | Abd. Rahni Mt. Piah, Tim N. T. Goodman, Keith Unsworth |
Positivity-Preserving Scattered Data Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA Conference on the Mathematics of Surfaces ![In: Mathematics of Surfaces XI, 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings, pp. 336-349, 2005, Springer, 3-540-28225-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Kenneth L. McMillan |
Applications of Craig Interpolation to Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 15-16, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Kenneth L. McMillan |
Applications of Craig Interpolants in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 1-12, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | David 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](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 10(5), pp. 548-563, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan |
Abstractions from proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 232-244, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
counterexample analysis, software model checking, predicate abstraction |
28 | Kenneth L. McMillan |
Applications of Craig Interpolation to Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 22-23, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Kenneth L. McMillan |
Craig Interpolation and Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, pp. 336, 2003, Springer, 3-540-40325-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Shmuel Rippa |
An algorithm for selecting a good value for the parameter c in radial basis function interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 11(2-3), pp. 193-210, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | A. C. Faul, M. J. D. Powell |
Proof of convergence of an iterative technique for thin plate spline interpolation in two dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 11(2-3), pp. 183-192, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Thomas A. Foley |
Weighted Bicubic Spline Interpolation to Rapidly Varying Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 6(1), pp. 1-18, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Jens Markus Melenk, Barbara I. Wohlmuth |
On residual-based a posteriori error estimation in hp-FEM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 15(1-4), pp. 311-331, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
hp-FEM, Clément interpolant, polynomial inverse estimates, adaptivity, a posteriori error estimation |
22 | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
The interpolant existence problem for weak K4 and difference logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.11255, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Kaiqi Chen, Eugene Lim, Kelvin Lin, Yiyang Chen, Harold Soh |
Behavioral Refinement via Interpolant-based Policy Diffusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.16075, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Nanye 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.08740, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Kumar Abhishek 0001, Colin J. Brown, Ghassan Hamarneh |
Multi-sample ζ-mixup: richer, more realistic synthetic samples from a p-series interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Big Data ![In: J. Big Data 11(1), pp. 43, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Giacomo Elefante |
A barycentric trigonometric Hermite interpolant via an iterative approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 439, pp. 115597, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Yasmina Khiar, Esmeralda Mainar, Eduardo Royo-Amondarain, Beatriz Rubio |
On the accurate computation of the Newton form of the Lagrange interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.14483, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding |
Formal synthesis of neural Craig interpolant via counterexample guided deep learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 163, pp. 107298, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Vincent Marguet, Florin Stoican, Ionela Prodan |
On the application of the Schoenberg quasi-interpolant for complexity reduction in trajectory generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2023, Bucharest, Romania, June 13-16, 2023, pp. 1-6, 2023, IEEE, 978-3-907144-08-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Kumar Abhishek 0001, Colin J. Brown, Ghassan Hamarneh |
Multi-Sample ζ-mixup: Richer, More Realistic Synthetic Samples from a p-Series Interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.03323, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Giacomo Elefante |
A barycentric trigonometric Hermite interpolant via an iterative approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.00469, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding |
Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022, pp. 116-125, 2022, IEEE, 978-1-6654-8877-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | D. Barrera Rosillo, Salah Eddargani, Abdellah Lamnii |
Uniform algebraic hyperbolic spline quasi-interpolant based on mean integral values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods ![In: Comput. Math. Methods 3(6), November 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Otheman Nouisser, Benaissa Zerroudi |
Modified Shepard's method by six-points local interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. Comput. ![In: J. Appl. Math. Comput. 65(1-2), pp. 651-667, February 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | S. Bouhiri, Abdelleh Lamnii, M. Lamnii, Ahmed Zidna |
Quasi-interpolant operators in Bernstein basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 186, pp. 80-90, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Hongyan Liu 0001, Jin Huang, Wei Zhang |
Numerical algorithm based on extended barycentric Lagrange interpolant for two dimensional integro-differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 396, pp. 125931, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Jean-Paul Berrut, Giacomo Elefante |
A linear barycentric rational interpolant on starlike domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.09246, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Da Xu |
Uniform l1 behavior of the first-order interpolant quadrature scheme for some partial integro-differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 117, pp. 107097, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Andrea Raffo, Silvia Biasotti |
Weighted quasi-interpolant spline approximations: Properties and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 87(2), pp. 819-847, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Jean-Paul Berrut, Giacomo Elefante |
Bounding the Lebesgue constant for a barycentric rational trigonometric interpolant at periodic well-spaced nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 398, pp. 113664, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Deyun Zhong, Liguan Wang, Bi Lin |
A Fast Solution for the Generalized Radial Basis Functions Interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 80148-80159, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Domingo Barrera, Catterina Dagnino, María J. Ibáñez, Sara Remogna |
A trivariate near-best blending quadratic quasi-interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 176, pp. 25-35, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Francesca Pitolli |
On the Numerical Solution of Fractional Boundary Value Problems by a Spline Quasi-Interpolant Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 9(2), pp. 61, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Andrea Raffo, Silvia Biasotti |
Data-driven quasi-interpolant spline surfaces for point cloud approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 89, pp. 144-155, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto |
Reducing Interpolant Circuit Size Through SAT-Based Weakening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(7), pp. 1524-1531, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Enza Pellegrino, Laura Pezza, Francesca Pitolli |
Quasi-Interpolant Operators and the Solution of Fractional Differential Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.16114, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Joseph A. Fiordilino, Mohammad Ali Pakzad |
A discrete Hopf interpolant and stability of the finite element method for natural convection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 89(322), pp. 629-643, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | M. Derakhshan, M. Zarebnia |
On the numerical treatment and analysis of two-dimensional Fredholm integral equations using quasi-interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 39(2), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Doug L. James |
Phong deformation: a better C0 interpolant for embedded deformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 39(4), pp. 56, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Ting Gan, Bican Xia, Bai Xue 0001, Naijun Zhan, Liyun Dai |
Nonlinear Craig Interpolant Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, pp. 415-438, 2020, Springer, 978-3-030-53287-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | S. 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](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 164, pp. 46-62, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Emine Celik, Eric J. Olson, Edriss S. Titi |
Spectral Filtering of Interpolant Observables for a Discrete-in-Time Downscaling Data Assimilation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Dyn. Syst. ![In: SIAM J. Appl. Dyn. Syst. 18(2), pp. 1118-1142, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto |
Logic Synthesis for Interpolant Circuit Compaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(2), pp. 380-384, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Andrea Raffo, Silvia Biasotti |
Weighted Quasi Interpolant Spline Approximations: Properties and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.11826, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Andrea Raffo, Silvia Biasotti |
Weighted Quasi Interpolant Spline Approximation of 3D point clouds via local refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.04003, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Ting Gan, Bican Xia, Bai Xue 0001, Naijun Zhan |
Nonlinear Craig Interpolant Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.01297, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Jean Sidon |
Local and global error estimates for Berrut's rational interpolant at well-spaced nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 241, pp. 79-85, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Mehdi Kamandar |
Automatic color image contrast enhancement using Gaussian mixture modeling, piecewise linear transformation, and monotone piecewise cubic interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Image Video Process. ![In: Signal Image Video Process. 12(4), pp. 625-632, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Xiang Fang, Stephen Mann |
A Quartic Clough-Tocher Interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISIGRAPP (1: GRAPP) ![In: Proceedings of the 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2018) - Volume 1: GRAPP, Funchal, Madeira, Portugal, January 27-29, 2018., pp. 199-206, 2018, SciTePress, 978-989-758-287-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Yusuke Imoto, Daisuke Tagami |
A truncation error estimate of the interpolant of a particle method based on the Voronoi decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSIAM Lett. ![In: JSIAM Lett. 8, pp. 29-32, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Mark Ainsworth, Manuel A. Sánchez |
Computing the Bézier Control Points of the Lagrangian Interpolant in Arbitrary Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 38(3), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | A. 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](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 71(2), pp. 529-543, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Bishoksan Kafle, John P. Gallagher |
Interpolant tree automata and their application in Horn clause verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 104-117, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Chongyang 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](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 59, pp. 71-78, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | André Pierro de Camargo |
Erratum: "On the numerical stability of Floater-Hormann's rational interpolant". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 72(1), pp. 153-154, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | André Pierro de Camargo |
On the numerical stability of Floater-Hormann's rational interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 72(1), pp. 131-152, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen |
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, pp. 195-212, 2016, Springer, 978-3-319-40228-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Gianpiero 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](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 25-32, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Xuli Han |
Shape-preserving piecewise rational interpolant with quartic numerator and quadratic denominator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 251, pp. 258-274, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto |
Optimization techniques for craig interpolant compaction in unbounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 46(2), pp. 135-162, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Wenwu Gao, Zongmin Wu |
Approximation orders and shape preserving properties of the multiquadric trigonometric B-spline quasi-interpolant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 69(7), pp. 696-707, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Javier Sánchez-Reyes, Jesús Miguel Chacón |
A polynomial Hermite interpolant for C2 quasi arc-length approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 62, pp. 218-226, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Abderrahim Azouani, Eric J. Olson, Edriss S. Titi |
Continuous Data Assimilation Using General Interpolant Observables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 24(2), pp. 277-304, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Cheng-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](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(12), pp. 1846-1858, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Chafik 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](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 62(3), pp. 445-468, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Len Bos, Stefano De Marchi, Kai Hormann, Jean Sidon |
Bounding the Lebesgue constant for Berrut's rational interpolant at general nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 169, pp. 7-22, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Paola Baratella |
A Nyström interpolant for some weakly singular nonlinear Volterra integral equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 237(1), pp. 542-555, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|