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 30 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 58 plays

13 - Trusses on computer (part III of III) Session 13

2010-09-24 18:53:52+00

From  mjp337@cornell.edu 25 plays

CS2110-FA17-04 Session 04

2017-08-31 00:00:00+00

From  mjp337@cornell.edu 257 plays

CS2110-FA17-11 Session 11

2017-09-27 00:00:00+00

From  mjp337@cornell.edu 319 plays

CS2110-FA17-10 Session 10

2017-09-22 00:00:00+00

From  mjp337@cornell.edu 334 plays

CS2110-FA17-05 Session 05

2017-09-05 00:00:00+00

From  mjp337@cornell.edu 240 plays

Cornell Cup USA - Systems Engineering at NASA

From  E. Cornelius 3 plays

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

From  E. Cornelius 2 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…

From  E. Cornelius 48 plays

Produce Safety Educator's Call #30

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

From  Gretchen Wall 53 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 11 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 18 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 44 plays