'Next breakthrough' presentation slideshows

952 views • 73 slides

Some background on nonequilibrium and disordered systems S.N. Coppersmith

596 views • 43 slides

Connecting Business and IT

Connecting Business and IT. Finally (?) deliver on lots of promises?. Today. 10 Years Later. Technology. Operating model. X-Engineering. Corporate Re-Engineering. TQM. Biz Applications. ERP, CRM, SCM. MRP, MRP II. Finance, HR.

436 views • 28 slides

Proofs and Programs

Proofs and Programs. Wei Hu 11/01/2007. Outline. Motivation Theory Lambda calculus Curry-Howard Isomorphism Dependent types Practice Coq. Motivation - Why Learn Coq. Helps understand PL theory better Good for CS615 (sadly, not quals) Coq is becoming popular

383 views • 19 slides

E lectric D ipole M oment of the Deuteron Experiment:

10/14/2003 Y.k. Semertzidis. E lectric D ipole M oment of the Deuteron Experiment:. EDM Violates T-Symmetry: Connected to CP-Violation and the Matter-Antimatter Asymmetry of the Universe. EDMs are Excellent Probes of Physics Beyond the SM. . EDM Collaboration.

219 views • 11 slides