Columbia University Library System (current) 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