Biblioteca Digital

738 resultados para Approximate Model Checking

A Fluid Flow Based Model to Predict Liquid Metal Induced Embrittlement Crack Propagation Rates

Relevância:

20.00% 20.00%

Publicador:

Influence of Intraocular Pressure on Geometrical Properties of a Linear Model of the Eyeball: Effect of Optical Self-adjustment

Relevância:

20.00% 20.00%

Publicador:

Development of a Chip Flow Model for Turning Operations

Relevância:

20.00% 20.00%

Publicador:

A Model for Improving E-Security in Australian Universities

Relevância:

20.00% 20.00%

Publicador:

Maximum Likelihood Estimation of the Fractional Differencing Parameter in an ARFIMA Model Using Wavelets

Relevância:

20.00% 20.00%

Publicador:

Rainfall, Mosquito Density and the Transmission of Ross River Virus: A Time-Series Forecasting Model

Relevância:

20.00% 20.00%

Publicador:

A Mathematical Model of Dynamic Glioma-Host Interactions: Receptor-Mediated Invasion and Local Proteolysis

Relevância:

20.00% 20.00%

Publicador:

Modelling of Infectious Spreading in Heterogeneous Polymer Oxidation II. Refinement of Stochastic Model and Calibration Using Chemiluminescence of Polypropylene

Relevância:

20.00% 20.00%

Publicador:

Model Consistency and Data Specification in Property DCF Studies

Relevância:

20.00% 20.00%

Publicador:

Extending the Bayesian Mixture Model to Incorporate Spatial Information in Analysing Sheep CAT Scan Images

Relevância:

20.00% 20.00%

Publicador:

A Model of Traffic Crashes in New Zealand

Relevância:

20.00% 20.00%

Publicador:

The Choice of a Low Temperature Pyrolysis Model at the Microscopic Level for use in a Macroscopic Formulation

Relevância:

20.00% 20.00%

Publicador:

On the Cramer-Rao Bound for Model-Based Spectral Analysis

Relevância:

20.00% 20.00%

Publicador:

Time Series Model Based on Global Structure of Complete Genome

Relevância:

20.00% 20.00%

Publicador:

Health Promoting School Model

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
4
5
6
7
8
...
49
50
»