Search for tag: "formal methods"

Ezra's Round Table/Systems Engineering Seminar, 10/19/2012 - Mamadou Seck

Mamadou Seck (Delft Univ. of Technology) - Models in Systems Engineering Friday, October 19, 2012 at 12:00pm Frank H. T. Rhodes Hall, 253 We are confronted nowadays with situations that require…

From  E. Cornelius on March 19th, 2018 2 plays

CAM Colloquium, 2014-03-07 - Howard C. Elman: Reduced Basis Collocation Methods for Partial Differential Equations with Random Coefficients

From  E. Cornelius on June 29th, 2017 5 plays

10 - Positive psychological functioning: An enduring asset for healthy aging

Laura D. Kubzansky, Harvard University October 3, 2013 The conference aimed to close the gap between two burgeoning fields of research at the intersection of aging, emotion, and health. On the one…

From  Marshall Perryman on January 25th, 2017 141 plays