## Programs for Cheap!Add to your list(s) Download to your calendar using vCal - Jennifer Hackett (Nottingham)
- Friday 06 March 2015, 16:00-17:00
- CS 245.
If you have a question about this talk, please contact Neel Krishnaswami. Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be careful not to let me see the operator’s definition. I will tell you an optimization theorem that the operator satisfies. As an added bonus, I will also give you a proof of correctness for the optimisation, along with a formal guarantee about its effect on performance. The purpose of this paper is to explain these tricks. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- CS 245
- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsJane Langdale Applied Topology Colloquium analysis## Other talksTBC Energy release and transport in solar eruptive events The science of the large scale heliosphere and the missions that made it possible Hidden Markov Model in Multiple Testing on Dependent Data View fusion vis-à-vis a Bayesian interpretation of Black-Litterman for portfolio allocation Plasmonic Electronic Paper |