Biblioteca Digital

66 resultados para Automated proof

em Cambridge University Engineering Department Publications Database

A proof of the branching number bound for normal manifolds

Relevância:

20.00% 20.00%

Publicador:

A method and software tool for automated gearbox synthesis

Relevância:

20.00% 20.00%

Publicador:

Automated computational modelling for solid mechanics

Relevância:

20.00% 20.00%

Publicador:

Automated lower-bound analysis of slabs

Relevância:

20.00% 20.00%

Publicador:

Automated analysis of populations of ionotropic receptors, imaged by atomic force microscopy

Relevância:

20.00% 20.00%

Publicador:

Automated modelling of viscoelastic flow using FEniCS

Relevância:

20.00% 20.00%

Publicador:

The tail sensitivity problem, proof testing, and structural reliability theory

Relevância:

20.00% 20.00%

Publicador:

An approach to automated synthesis of solution principles for micro-sensor designs

Relevância:

20.00% 20.00%

Publicador:

Automated B-spline curve representation with MDL-based active contours

Relevância:

20.00% 20.00%

Publicador:

An approach to automated synthesis of solution principles for transducer designs

Relevância:

20.00% 20.00%

Publicador:

Automated weld tracking

Relevância:

20.00% 20.00%

Publicador:

DOLFIN: Automated finite element computing

Relevância:

20.00% 20.00%

Publicador:

Optimisations for quadrature representations of finite element tensors through automated code generation

Relevância:

20.00% 20.00%

Publicador:

Automated modelling of evolving discontinuities

Relevância:

20.00% 20.00%

Publicador:

Automated code generation for discontinuous Galerkin methods

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
4
5
»