Search for tag: "syntax (logic)"

What is Permissionless Consensus? - Professor Elaine Shi

From  Steven Gallow August 14, 2018 95 plays

CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms

From  E. Cornelius May 17, 2018 8 plays

ORIE Colloquium on 1/28/2013 - Ilan Lobel: Intertemporal Price Discrimination: Structure and Computation of Optimal Policies

ORIE Colloquium: Ilan Lobel (NYU) - Intertemporal…

From  E. Cornelius April 30, 2018 98 plays