Sage Journals: Discover world-class research

Retricted access

Research article

First published 1995-11

Simulation and Verification of Protocol Using Deductive Machine

R. Lai, X. Li

SIMULATION

Retricted access

Research article

First published 1962-6

Methods of Load Verification of Tension and Compression Testing Machines

Applied Mechanics Group, B. Swindells, R. C. Debnam

Proceedings of the Institution of Mechanical Engineers

Free access

Research article

First published 2015-10

A Machine Vision System for Tool Positioning and Its Verification

Prasant Kumar Mahapatra, Rishabh Thareja, Mandeep Kaur [...]

Measurement and Control

Open access

Research article

First published 2023-06

Structured Verification of Machine Learning Models in Industrial Settings

Sai Rahul Kaminwar, Jann Goschenhofer, Janek Thomas [...]

Big Data

Retricted access

Research article

First published 2023-6

Profile design and simulation verification of hard whirling tool for ZC1 worm machining

Yaxin Yu, Xiaoyan Ji, Sheng Dai [...]

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Free access

Research article

First published 2000-7

Collaborative virtual cutting verification and remote robot machining through the Internet

R-S Lee, J-P Tsai, J-N Lee [...]

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Free access

Research article

First published 2020-12

Multi-domain integrated modeling and verification for the ball screw feed system in machine tools

Zaiwu Mei, Liping Chen, Jianwan Ding

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 2022-3

Automatic verification method of progressive image model matching information based on machine learning

Jie Yuan, Yuan Ji, Zhou Zhu [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2014-12-16

Machine-generated algorithms,proofs and software for the batch verification of digital signature schemes

Joseph A. Akinyele, Matthew Green, Susan Hohenberger [...]

Journal of Computer Security

Free access

Review article

First published 2014-7

Study of self-calibration and multilateration in machine tool volumetric verification for laser tracker error reduction

Sergio Aguado, Jorge Santolaria, David Samper [...]

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Search results