Smart (marque) (current) Elliptic coordinates Generalized keyboard Hierarchical Bayes model C-SPAN Access-control list Power network design (IC) Colossus computer Ordnance Factory Board Mine Protected Vehicle Psychological testing Write (system call) Flux quantization Commutation test Canton of Obwalden Deductive system