Biblioteca Digital

34 resultados para Cook-Levin SAT SAT-solver

Inverse kinematics: a review of existing techniques and introduction of a new fast iterative solver

Relevância:

20.00% 20.00%

Publicador:

An accelerated 3D Navier-Stokes solver for flows in turbomachines

Relevância:

20.00% 20.00%

Publicador:

Application of a Navier-Stokes solver to the study of open rotor aerodynamics

Relevância:

20.00% 20.00%

Publicador:

Acceleration of a 3D Euler solver using commodity graphics hardware

Relevância:

20.00% 20.00%

Publicador:

Acceleration of a 3-D Euler solver using commodity graphics hardware

Relevância:

20.00% 20.00%

Publicador:

Acceleration of a 2D Euler solver using graphics hardware

Relevância:

20.00% 20.00%

Publicador:

Mammography phantom studies using 3D electrical impedance tomography with numerical forward solver

Relevância:

20.00% 20.00%

Publicador:

Towards a fully parallel integrated geometry kernel, mesh generator, flow solver and post-processor

Relevância:

20.00% 20.00%

Publicador:

An adjoint linearised Euler solver in the frequency domain for jet noise modelling

Relevância:

20.00% 20.00%

Publicador:

Implementation of the BML laminar flamelet concept within a compressible density based URANS/LES flow solver

Relevância:

20.00% 20.00%

Publicador:

A Navier-stokes solver using edge-based smoothing

Relevância:

20.00% 20.00%

Publicador:

Numerical investigation of transonic compressor rotor flow using an implicit 3D flow solver with one-equation Spalart-Allmaras turbulence model

Relevância:

20.00% 20.00%

Publicador:

Progress in the experimental validation of a solution-adaptive 3D Navier-Stokes solver

Relevância:

20.00% 20.00%

Publicador:

Recent improvements to an unstructured mesh 3D Navier-Stokes solver aimed at extending the range of geometric capability

Relevância:

20.00% 20.00%

Publicador:

The development of a solution-adaptive 3D Navier-Stokes solver for turbomachinery

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
»