All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

2 078 (0,079s) •

Result

On Interpolants and Variable Assignments

Craig interpolants are widely used in program verification as a means of abstraction. In this paper, we (i) introduce Partial Variable Assignment Interpolants (PVAIs) as a generalization of Craig interpolants. A variable as...

IN - Informatika

  • 2014
    • •
  • D
    • •
  • Link
Result

Farkas-Based Tree Interpolation

approaches, and, strengthened with Craig interpolation using Farkas' lemma, is a central tool for efficient over-approximation. Recent advances in LRA interpolation have resulted in a range of promising interpolation ...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
    • •
  • D
    • •
  • Link
Result

Fuzzy Interpolation according to Fuzzy and Classical Conditions

We will be focused on the interpolation approach to a computation with fuzzy data. We investigate the approach to fuzzy interpolation with relaxed interpolation condition (see [5]). We show that althouigh the interpolat...

BA - Obecná matematika

  • 2010
    • •
  • Jx
Result

Multivariate interpolation using polyharmonic splines

branches of science and technology. Data interpolation has been an important part with the interpolation by polyharmonic splines in an arbitrary dimension. We show the connection of this interpolation with the interpol...

Pure mathematics

  • 2021
    • •
  • Jimp
    • •
  • Link
Result

Function spaces and interpolation

Function spaces and interpolation...

BA - Obecná matematika

  • 2001
    • •
  • M
Result

Interpolation of Fuzzy Data. Analytical Approach and Overview

We propose a general framework of the interpolation problem stemming from its classical elaboration. We introduce a notion of an interpolating fuzzy function and show, how this function can be characterized. We overview and analyze ...

BA - Obecná matematika

  • 2012
    • •
  • Jx
Result

Vector Field Interpolation with Radial Basis Functions

) interpolation of a vector field. Standard approaches for interpolation randomly select points for interpolation. Our approach uses the knowledge of vector field topology and selects points for interpolation accor...

IN - Informatika

  • 2016
    • •
  • D
Result

Concept design of interpolator module and its other functions

The report describes concept design and implementation of the new interpolator module to the MEFI CNC. Further describes concept design of the interpolator additional functions – polynomial interpolation, data compression, ...

JD - Využití počítačů, robotika a její aplikace

  • 2016
    • •
  • O
Result

Shape Preserving Spatial Interpolation Scheme

Spatial interpolation scheme based on advection - interpolation equivalence. A TVD method used for advection terms parametrization.

DG - Vědy o atmosféře, meteorologie

  • 2001
    • •
  • D
Result

A Comparison of Curve Interpolation Algorithms for Low Curvature Curves

This paper presents a comparison of two algorithms for low curvature curves. The two compared algorithms are: linear interpolation and interpolation with Bézier curves. The comparison of the interpolation accuracy is verifi...

IN - Informatika

  • 2015
    • •
  • D
  • 1 - 10 out of 2 078