ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

Source URL: www.crypto.ethz.ch

• Computational complexity theory
• Complexity classes
• IP
• Proof of knowledge
• NP
• Soundness
• Interactive proof system
• PSPACE
• Zero-knowledge proof
• Probabilistic complexity theory
• Mathematical proof
• Quadratic residue

GNSS for Deformation and Geohazard Monitoring in the Swiss Alps P. Limpach(1,3), A. Geiger(1), H. RaetzoInstitute of Geodesy and Photogrammetry, ETH Zurich, Switzerland

Source URL: www.bsf-swissphoto.com

• Satellite navigation systems
• Geography
• Navigation
• Wireless
• Geodesy
• Avionics
• Satellite navigation
• Deformation monitoring
• U-blox
• GLONASS
• Aletsch Glacier

Lineare Algebra Endliche Arithmetik Walter Gander ETH Z¨ urich

Source URL: www.cvg.ethz.ch

• Computer arithmetic
• Mathematics
• Arithmetic
• Mathematical analysis
• IEEE 754-1985
• Single-precision floating-point format
• Double-precision floating-point format
• Denormal number
• Rounding
• Pi
• Precision
• Approximations of

Commission  2   Analysis  and  design   Chair:   Sigrist   Lucerne  School  of  Engineering  and  

Source URL: www.fib-international.org

• Construction
• Real estate
• ETH Domain
• Fib
• ETH Zurich
• Concrete
• Matter
• International Federation for Structural Concrete

Microsoft PowerPoint - ETH Risk Day presentation SeptemberNEU.ppt.pptx

Source URL: www.ccfz.ch

• Actuarial science
• Risk
• Financial risk
• Academia
• Economy
• Wolfgang Krger
• Value at risk
• Social vulnerability

ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

Source URL: www.crypto.ethz.ch

ETH-Japan Workshop Engelberg Advertising Randomized derivative-free optimization Sebastian Stich ETH Z¨

Source URL: sstich.ch

• Mathematical optimization
• Mathematical analysis
• Analysis
• Convex analysis
• Operations research
• Convex function
• Derivative

Destroying networks for fun (and profit) Nick Shelly∗§, Brendan Tschaen†, Klaus-Tycho Förster∗, Michael Chang‡, Theophilus Benson†, Laurent Vanbever∗ ∗ ETH Zürich, ‡Princeton University, †Duke Unive

Source URL: users.cs.duke.edu

• Graph connectivity
• Emerging technologies
• Network architecture
• Computing
• SIGCOMM
• Stress testing
• Software-defined networking
• Algorithm
• Reachability
• OpenFlow
• Mathematics
• Academia

Programm ETH Z ÜR I C H S.1/4

Source URL: www.lnoc.ch

¨ ETH Zurich, D-INFK HS 2015, 23. NovemberProf. Ueli Maurer

Source URL: www.crypto.ethz.ch