[CST-2] GOOD LUCK & BET

[M.Y.W.Y. Becker]

Good luck everybody, it's the last exam in our lives!

I just can't resist to place a bet on the last exam questions:

VLSI: PLAs/Manchester carry for subtraction

Types: polymorphic lambda calculus - construct weird datatype

OptComp: Decompilation with control flow analysis and type reconstruction

Info&Coding: conditional probability & Nyquist's sampling theorem

SpecVer: build a parity checker and verify it

NLP: active chart parsing

TopCon: Petri nets and Security Protocol Language

Vision: disambiguation of colour information (=write some random stuff on 
wavelets)