Sage Journals: Discover world-class research

Retricted access

Other

First published 1997-07

Development,Analysis,and Verification of a Parallel Hybrid Dataflow Computer Architectural Framework and Associated Load-Balancing Strategies and Algorithms via Parallel Simulation

J. Robert Heath, Balasubramanian Sivanesa

SIMULATION

Retricted access

Research article

First published 2010-6

Hybrid-dynamical modelling,characterization,and experimental verification of a free-wheeling clutch

H Richter, R E Maynard

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2009-12

Quantitative Real-Time Polymerase Chain Reaction for the Verification of Genomic Imbalances Detected by Microarray-Based Comparative Genomic Hybridization

Shihui Yu, Matthew Kielt, Andrew L. Stegner [...]

Genetic Testing and Molecular Biomarkers

Retricted access

Research article

First published 2016-12

A hybrid Bayesian hierarchical model combining cohort and case–control studies for meta-analysis of diagnostic tests: Accounting for partial verification bias

Xiaoye Ma, Yong Chen, Stephen R Cole [...]

Statistical Methods in Medical Research

Open access

Research article

First published 2018-2

Hybrid modeling and verification of disk-stacked shock absorber valve

Jingli Xu, Jinli Chu, Hongwei Ma

Advances in Mechanical Engineering

Retricted access

Research article

First published 2017

Monitoring with Parametrized Extended Life Sequence Charts

Ming Chai, Bernd-Holger Schlingloff

Fundamenta Informaticae

Retricted access

Research article

First published 2014-5

Model predictive control of a hybrid autonomous underwater vehicle with experimental verification

Leo V Steenson, Stephen R Turnock, Alexander B Phillips [...]

Proceedings of the Institution of Mechanical Engineers,Part M: Journal of Engineering for the Maritime Environment

Retricted access

Research article

First published 2023-08-24

RETRACTED: Hybrid Optimized Verification Methodology using Deep Reinforcement Neural Network

N. Bhuvaneswary, J. Deny, A. Lakshmi

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2018-11

Hybrid excitation synchronous machine adaptive speed region control and experimental verification

Mingming Huang, Yang Zhang, Quanzhen Huang [...]

International Journal of Applied Electromagnetics and Mechanics

Search results