Search for tag: "verification"

Systems Conversations on 9/11/2020: Alejandro Salado

+19 More
From  Michael Bell March 17, 2023 1 plays

Implementing Increased Transparency and Reproducibility in Economics

Replicability is at the core of the scientific…

From  ga.ldi ga.ldi April 01, 2020 26 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

SYSEN UG Info Session

Systems Engineering Master of Engineering…

+107 More
From  E. Cornelius May 05, 2018 4 plays

Ezra's Round Table/Systems Seminar - Richard Arthur: Impact of High-End Computation on Industry and the Workforce

The capability and affordability of computing…

From  E. Cornelius May 04, 2018 16 plays