Search for tag: "formal methods"

21 Media

DrupalCamp 2018: Get on the Behat Tests Bandwagon duration 59 minutes 43 seconds DrupalCamp 2018: Get on the Behat Tests Bandwagon DrupalCamp 2018: Get on the Behat Tests Bandwagon	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… p.h.p. +49 More From Nick Tubbs 33 plays
Produce Safety Educator's Call #33 duration 1 hour 1 minute Produce Safety Educator's Call #33 Produce Safety Educator's Call #33	Produce Safety Educator's Call #33 On-Farm Readiness Review (OFRR) Program & Toolkit agricultural buildings +54 More From Gretchen Wall 55 plays
02 - 1D mechanics; Balls cones & friction… duration 47 minutes 44 seconds 02 - 1D mechanics; Balls cones & friction… 02 - 1D mechanics; Balls cones & friction Session 2	02 - 1D mechanics; Balls cones & friction Session 2 2013-01-24 08:57:50+00 ball games +89 More From mjp337@cornell.edu 64 plays
13 - Trusses on computer (part III of III)… duration 48 minutes 21 seconds 13 - Trusses on computer (part III of III)… 13 - Trusses on computer (part III of III) Session 13	13 - Trusses on computer (part III of III) Session 13 2010-09-24 18:53:52+00 reaction force +82 More From mjp337@cornell.edu 26 plays
CS2110-FA17-04 Session 04 duration 43 minutes 42 seconds CS2110-FA17-04 Session 04 CS2110-FA17-04 Session 04	CS2110-FA17-04 Session 04 2017-08-31 00:00:00+00 computing terminology +51 More From mjp337@cornell.edu 258 plays
CS2110-FA17-11 Session 11 duration 47 minutes 54 seconds CS2110-FA17-11 Session 11 CS2110-FA17-11 Session 11	CS2110-FA17-11 Session 11 2017-09-27 00:00:00+00 internet search engines +56 More From mjp337@cornell.edu 324 plays
CS2110-FA17-10 Session 10 duration 47 minutes 19 seconds CS2110-FA17-10 Session 10 CS2110-FA17-10 Session 10	CS2110-FA17-10 Session 10 2017-09-22 00:00:00+00 law +79 More From mjp337@cornell.edu 338 plays
CS2110-FA17-05 Session 05 duration 42 minutes 27 seconds CS2110-FA17-05 Session 05 CS2110-FA17-05 Session 05	CS2110-FA17-05 Session 05 2017-09-05 00:00:00+00 computing terminology +55 More From mjp337@cornell.edu 240 plays
Cornell Cup USA - Systems Engineering at NASA duration 51 minutes 36 seconds Cornell Cup USA - Systems Engineering at NASA Cornell Cup USA - Systems Engineering at NASA	Cornell Cup USA - Systems Engineering at NASA biology terminology +122 More From E. Cornelius 5 plays
CFEM Seminar - Dennis Ignatovich and Grant… duration 1 hour 42 minutes CFEM Seminar - Dennis Ignatovich and Grant… CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms	CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms abstract algebra +94 More From E. Cornelius 7 plays
ORIE Colloquium, 2013-01-24 - Joline Uichanco… duration 1 hour 2 minutes ORIE Colloquium, 2013-01-24 - Joline Uichanco… ORIE Colloquium, 2013-01-24 - Joline Uichanco (MIT): Business Analytics for Flexible Resource Allocation Under Random Emergencies	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… production and manufacturing +72 More From E. Cornelius 50 plays
Produce Safety Educator's Call #30 duration 1 hour 7 minutes Produce Safety Educator's Call #30 Produce Safety Educator's Call #30	Produce Safety Educator's Call #30 Summary of the Water Summit & ag water resources developed by PSA. operations research +65 More From Gretchen Wall 53 plays
Ezra's Round Table/Systems Engineering… duration 1 hour 13 minutes Ezra's Round Table/Systems Engineering… Ezra's Round Table/Systems Engineering Seminar, 10/19/2012 - Mamadou Seck	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… mathematical terminology +81 More From E. Cornelius 11 plays
National Science Foundation Computational… duration 1 hour 36 minutes National Science Foundation Computational… National Science Foundation Computational Sustainability Video Game Projects - 2010-12-11	National Science Foundation Computational Sustainability Video Game Projects - 2010-12-11 National Science Foundation Computational Sustainability Video Game Projects - 2010-12-11 good solution +71 More From E. Cornelius 1 plays
CAM Colloquium, 2014-03-07 - Howard C. Elman:… duration 57 minutes 34 seconds CAM Colloquium, 2014-03-07 - Howard C. Elman:… CAM Colloquium, 2014-03-07 - Howard C. Elman: Reduced Basis Collocation Methods for Partial Differential Equations with Random Coefficients	CAM Colloquium, 2014-03-07 - Howard C. Elman: Reduced Basis Collocation Methods for Partial Differential Equations with Random Coefficients group theory +116 More From E. Cornelius 21 plays
CAM Colloquium, 2017-01-27 - Peter Diamessis:… duration 1 hour 7 minutes CAM Colloquium, 2017-01-27 - Peter Diamessis:… 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	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… communication +48 More From E. Cornelius 48 plays