Filters
Influence of the interpolation sheme on the transport of particles in the particle-laden turbulent flow
The choice of the interpolation scheme for obtaining the velocity in the position of the particle could have a crucial effect on the motion of particles. This work contains the comparative study of different interpolation schemes in...
BK - Mechanika tekutin
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
The scheme of swimmings streng trening
The sheme of swwimnigs streng trening...
BH - Optika, masery a lasery
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Automated hydrostatic system at the nuclear power station Temelin
This paper deals with measurement of vertical displacements on the 1000 MW turbogenerator of the nuclear power plant Temelín. It is given an overview of regulations, purpose of measuring shifts, required accurancy and technical description of the mea...
DE - Zemský magnetismus, geodesie, geografie
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Life cycle assessment of materials - environmental aspects of production as a competitive advantage
Life Cycle assessment can serve as an effective tool for determination of environmental parameters needed for B2B communication. Environmental data are currently used in various reporting shemes in CSR and/or GRI. Effective communication of ...
CI - Průmyslová chemie a chemické inženýrství
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
The Weighted Least Square Scheme for Multidimensional Flows
This article describes the development of a high order finite volume method for the solution of transonic flows. The high order of accuracy is achieved by a reconstruction procedure similar to the weighted essentially non-oscillatory schemes (WENO). ...
BK - Mechanika tekutin
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
The Weighted Least Square Scheme for Multidimensional Flows
This article describes the development of a high order finite volume method for the solution of transonic flows. The high order of accuracy is achieved by a reconstruction procedure similar to the weighted essentially non-oscillatory schemes (WENO). ...
BK - Mechanika tekutin
- 2006 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
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
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
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
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
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
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 2 086