Harvard Computer Science professor Cynthia Dwork discussed the shortcomings of risk prediction algorithms at the Center of Mathematical Sciences and Applications’ annual Ding Shum lecture Tuesday ...

CAV 2008 is the 20th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue ...

Southeastern Louisiana University’s Department of Computer Science is hosting the third of the fall Industry Connect Distinguished Lectures at 4 p.m. Nov. 21 in the Envoc Innovation Lab, in room 2026 ...

This study compared student outcomes in developmental mathematics courses taught using (a) computer-mediated instruction using interactive multimedia software, and (b) lecture. A quasi-experimental ...