Manipulation in Games Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland

Source URL: disco.ethz.ch

• Game theory
• Mechanism design
• Social choice theory
• Nash equilibrium

Programm ETH Zertifikat in Angewandten Erdwissenschaften (CAS) 45. Blockkurs, März 2015 ETH Seminarzentrum Monte Verità, Ascona

Source URL: www.zlg.ethz.ch

Design of Parallel and High Performance Computing HS 2013 Markus P¨ uschel, Torsten Hoefler Department of Computer Science ETH Zurich

Source URL: spcl.inf.ethz.ch

• Index of standards articles
• Standards
• Index of Abkhazia-related articles

Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689

Source URL: se.inf.ethz.ch

• Logic
• Philosophy
• Abstraction
• Logic in computer science
• Proof theory
• Formal languages
• Syntax
• Formal methods
• Mathematical proof
• Mathematical logic
• Eiffel
• Formal proof

¨ ETH Zurich Computer Science Department Prof. Marc Pollefeys Prof. Luc Van Gool

Source URL: www.cvg.ethz.ch

• Artificial intelligence
• Statistics
• Machine learning
• Nonparametric statistics
• Statistical classification
• Feature detection
• Learning
• Histogram
• Naive Bayes classifier
• Outline of object recognition
• K-means clustering
• Bag-of-words model

¨ ETH Zurich, D-INFK HS 2014, 4. NovemberProf. Ueli Maurer

Source URL: www.crypto.ethz.ch

0 Visiting Student Handbook International Affairs International Students Office (IStO)

Source URL: www.ifr.kit.edu

• Academia
• Education
• States of Germany
• Karlsruhe Institute of Technology
• Karlsruhe
• Helmholtz Association of German Research Centres
• Hermann von Helmholtz
• Baden-Wrttemberg
• Academic term
• ETH Zurich

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

Source URL: www.crypto.ethz.ch

Die Empa ist das interdisziplinäre Forschungsinstitut des ETH-Bereichs für Materialwissenschaften und Technologieentwicklung. Als Brücke zwischen Forschung und Praxis erarbeitet sie Lösungen für die vorrangigen Hera

Source URL: www.energienetz-gsg.ch

Design of Parallel and High Performance Computing HS 2013 Markus P¨ uschel, Torsten Hoefler Department of Computer Science ETH Zurich

Source URL: spcl.inf.ethz.ch

• Algebra
• Computing
• Mathematics
• Software optimization
• Parallel computing
• Roofline model
• Software testing
• Matrix multiplication
• NC
• Matrix
• Lookup table
• Matrix multiplication algorithm