PL/SQL (current) Columbia University Library System Weight function Kernel Transaction Manager Boolean algebra (logic) Physics processing unit No. 1 Wing AAC SWLABR Open letter on artificial intelligence (2015) Gadget (machine instruction sequence) Net zero LinuxTag Plancherel theorem