AG-66 (Lecture Theatre)
Building a Quantum Computer: Challenges and Opportunities
Software Verification: Trends and Challenges
Towards Principled Design of Human Cyber-Physical Systems
Measuring Global Financial Sector Health
The Bit-probe Complexity of Set Membership
A Matchless Match
Security of Cyber Physical Systems
On Stochastic Approximation, Stochastic Algebraic Topology and Optimization in High Dimensions
Why systems fail? - blue screen, leaked pictures, dictators, cancer - How to stop them?
Pages
