InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

Source URL: www.cloudbroker.com

• Cloud infrastructure
• IBM cloud computing
• Computing
• Cloud computing

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract

Source URL: netcomplete.ethz.ch

• Computing
• Network architecture
• Routing protocols
• Internet Standards
• Data transmission
• Internet protocols
• Internet architecture
• Computer networking
• Border Gateway Protocol
• Open Shortest Path First
• IS-IS
• Convergence

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Probability and statistics
• Probability theory
• Artificial intelligence
• Machine learning
• Computational statistics
• Graphical models
• Computational linguistics
• Natural language processing
• Conditional random field
• Probabilistic programming language
• Inference
• Support vector machine

COLLOQUIUM Najib Idrissi ETH Z¨urich Configuration Spaces and Graph Complexes

Source URL: www.uregina.ca

• Mathematics
• Geometry processing
• Algebraic topology
• Topology
• Manifold
• Structure
• Configuration space
• Space

SWIFT: Predictive Fast Reroute Thomas Holterbach ETH Zürich / CAIDA SIGCOMM 24th August 2017

Source URL: swift.ethz.ch

• Internet architecture
• Computing
• Information and communications technology
• Internet
• Internet protocols
• Computer networking
• Border Gateway Protocol
• Router

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

SWIFT: Predictive Fast Reroute∗ Thomas Holterbach Stefano Vissicchio ETH Zürich; CAIDA, UC San Diego

Source URL: nsg.ee.ethz.ch

2018 瑞士联邦理工学院及研究所 联合体 (ETH DOMAIN) 简介 任务说明

Source URL: www.ethrat.ch

Algorithmic Blockchain Channel Design Georgia Avarikioti ETH Zurich, Switzerland Yuyi Wang

Source URL: arxiv.org

• Graph theory
• Cryptocurrencies
• Mathematics
• Shortest path problem
• Lightning Network
• Minimum spanning tree
• Directed graph
• Blockchain
• Bitcoin
• Line graph
• Eulerian path