Results 251 to 254 of about 1,182,071 (254)

Reliability enhancing mechanism for train positioning based on cyclic check cross coding inductive loop wire for medium-low speed maglev

2017
Wei Nai, Decun Dong, Shaoyin Wang
exaly  

An extended variant of atoms loop check for positive logic programs

New Generation Computing, 1997
exaly  

Consistency check on volume and triad operator quantization in loop quantum gravity: II

Classical and Quantum Gravity, 2006
exaly  

Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference

Xiaoxing Ma, Taolue Chen
exaly