Search for tag: "specification languages"

20 - Rolling (cont'd) Session 20

2013-04-04 08:57:15+00

From  mjp337@cornell.edu 6 plays

CAM Colloquium: Hinke Osinga - Computing Global Invariant Manifolds: Techniques and Applications ,Version 2

Friday, October 24, 2014 at 3:30pm Global invariant manifolds play an important role in organizing the behavior of a dynamical system. Together with equilibria and periodic orbits, they form the…

From  E. Cornelius 4 plays

CAM Colloquium - Raghu Pasupathy: Adaptive Sampling for Stochastic Recursions

For roughly six decades since the seminal paper of Robbins and Monro (1951), Stochastic Approximation has dominated the landscape of algorithms for solving root finding and optimization problems with…

From  E. Cornelius 3 plays

Ezra's Round Table/Systems Engineering Seminar, 3/30/2012 - Leon McGinnis: Model Based Systems Development

Friday, March 30 at 12:00pm Frank H.T. Rhodes Hall, 253 Those who design or manage large scale complex systems--such as the Mars orbiter, the Boeing 787, a global manufacturing system, a health care…

From  E. Cornelius 16 plays

IES Migrations Series: Crossing the Mediterranean: Migration, Death, and Culture

In AY 2017-2018, the Institute for European Studies launched the IES Migrations Series which conceptualizes the migration of not only people, but also images, words, ideas, technologies, objects,…

From  Pamela Hampton 50 plays

CAM Colloquium, 2014-01-31 - Guillaume Bal: High-contrast High-resolution Coupled Physics Imaging Modalities

From  E. Cornelius 3 plays