Search for tag: "formal methods"

DrupalCamp 2018: Get on the Behat Tests Bandwagon

If you work in Drupal and keep your ears open, you have probably heard of "Behat" testing. Behavioral testing is the best way to ensure the functionality of your Drupal site using basic…

From  Nick Tubbs 28 plays

Produce Safety Educator's Call #33

On-Farm Readiness Review (OFRR) Program & Toolkit

From  Gretchen Wall 55 plays

02 - 1D mechanics; Balls cones & friction Session 2

2013-01-24 08:57:50+00

From  mjp337@cornell.edu 28 plays

ORIE Colloquium, 2013-01-24 - Joline Uichanco (MIT): Business Analytics for Flexible Resource Allocation Under Random Emergencies

ORIE Colloquium: Joline Uichanco (MIT) - Business Analytics for Flexible Resource Allocation Under Random Emergencies Thursday, January 24, 2013 at 4:15pm Frank H. T. Rhodes Hall, 253 In this work we…

From  E. Cornelius 38 plays

Produce Safety Educator's Call #30

Summary of the Water Summit & ag water resources developed by PSA.

From  Gretchen Wall 52 plays

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 4 plays

National Science Foundation Computational Sustainability Video Game Projects - 2010-12-11

National Science Foundation Computational Sustainability Video Game Projects - 2010-12-11

From  E. Cornelius 1 plays

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

From  E. Cornelius 7 plays

CAM Colloquium, 2017-01-27 - Peter Diamessis: Fast Discontinuous Element-Based Pressure Solvers and Keeping Things Non-Divergent: Remembering Sumedh Joshi as an Applied Mathematician and Human Being

Abstract: Sumedh Joshi was a brilliant and very promising young Applied Mathematician and wonderful person who, unfortunately, passed away suddenly and too soon in late August 2016, 3 months…

From  E. Cornelius 34 plays

CAM Colloquium - 2017-01-27: Peter Diamessis - Remembering Sumedh Joshi.mp4

From  E. Cornelius 13 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 170 plays

11 - Negative affect predicting general health: What we know, and where to go from here

Susan T. Charles, University of California, Irvine October 3, 2013 The conference aimed to close the gap between two burgeoning fields of research at the intersection of aging, emotion, and…

From  Marshall Perryman 34 plays

CNF NanoCourses 2004 – Section 3.1: Thin Film Process Inte

From  David Botsch 213 plays

CNF NanoCourses 2004 – Section 3.6: CMP (Daniel Woodie)

From  David Botsch 80 plays