Biblioteca Digital

615 resultados para Multi-prover interactive proofs

Computationally Efficient Interactive Refinement Techniques for Polynomial Phase Signals

Relevância:

20.00% 20.00%

Publicador:

Development of a Learning Package for Interactive Learning in Enterprise Resource Planning

Relevância:

20.00% 20.00%

Publicador:

Making Trusts More Accessible: An Interactive Learning Programme

Relevância:

20.00% 20.00%

Publicador:

A New Receiver Autonomous Integrity Monitoring Strategy for Multi-Fault Exclusion with GPS and Virtual Galileo Measurements

Relevância:

20.00% 20.00%

Publicador:

Validation of an Interactive Failure Model Using Experiments

Relevância:

20.00% 20.00%

Publicador:

The Interactive Hazards of Components in a System after Repairs - a Mathematical Formulation

Relevância:

20.00% 20.00%

Publicador:

A Simulation Model for Mixed-Model Multi-Stage Assembly Lines

Relevância:

20.00% 20.00%

Publicador:

A Methodology for Analysing Interactive Failures of Components

Relevância:

20.00% 20.00%

Publicador:

Non-Interactive Auction Scheme with Strong Privacy

Relevância:

20.00% 20.00%

Publicador:

Effect of Static and Interactive Computer Based Instruction on Student Computer and Written Assessments of Learning

Relevância:

20.00% 20.00%

Publicador:

Prediction of Bead Width in the Arc Multi-pass Welding using BP Neural Network Model

Relevância:

20.00% 20.00%

Publicador:

Multi Criteria Maintenance Performance Measurement: A Conceptual Model

Relevância:

20.00% 20.00%

Publicador:

The Death of the Overreaction Anomaly: Multi-factor Explanations for Contrarian Returns

Relevância:

20.00% 20.00%

Publicador:

Factor Structure and Psychometric Properties of Frost Multi Dimensional Perfectionism Scale: An Investigation on the Basis of Australian Population

Relevância:

20.00% 20.00%

Publicador:

The NetWorkPlaceTM? Phenomenon: Applying a Multi-Disciplinary Approach to Research and Practice

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
4
5
6
7
8
...
40
41
»