ETH Zurich - PDFSEARCH.IO - Document Search Engine

ETH Zurich
Results: 3349

#	Item
1	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 Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2011-09-20 05:40:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
2	Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:02 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
3	SWIFT: Predictive Fast Reroute Thomas Holterbach ETH Zürich / CAIDA SIGCOMM 24th August 2017 Add to Reading List Source URL: swift.ethz.ch Language: English - Date: 2017-09-11 06:28:39 Internet architecture Computing Information and communications technology Internet Internet protocols Computer networking Border Gateway Protocol Router
4	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 Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Mathematical logic Logic Predicate logic Mathematics Predicate FO Atomic sentence Primitive recursive function Syntactic predicate
5	SWIFT: Predictive Fast Reroute∗ Thomas Holterbach Stefano Vissicchio ETH Zürich; CAIDA, UC San Diego Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2017-08-09 10:39:13
6	Algorithmic Blockchain Channel Design Georgia Avarikioti ETH Zurich, Switzerland Yuyi Wang Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-17 20:48:34 Graph theory Cryptocurrencies Mathematics Shortest path problem Lightning Network Minimum spanning tree Directed graph Blockchain Bitcoin Line graph Eulerian path
7	The SCION Internet Architecture An Internet Architecture for the 21st Century David Barrera, Laurent Chuat, Adrian Perrig, Raphael M. Reischuk, Pawel Szalachowski Network Security Group, ETH Zurich, Switzerland March 6, Add to Reading List Source URL: www.netsec.ethz.ch Language: English Computing Network architecture Internet architecture Internet Routing Internet Standards Internet protocols Forwarding plane Router Border Gateway Protocol Open Shortest Path First Multiprotocol Label Switching
8	A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch Add to Reading List Source URL: www.netsec.ethz.ch Language: English Domain name system Internet Internet Standards Network architecture Computing Domain Name System Security Extensions Name server Domain name Root name server WHOIS Fully qualified domain name Second-level domain
9	Internet Kill Switches Demystified Benjamin Rothenberger ETH Zürich Add to Reading List Source URL: www.netsec.ethz.ch Language: English Cryptography Internet Internet Standards Computing Public-key cryptography Key management Domain name system Routing protocols Domain Name System Security Extensions Resource Public Key Infrastructure DNS spoofing BGP hijacking
10	SWIFT: Predictive Fast Reroute∗ Thomas Holterbach Stefano Vissicchio ETH Zürich; CAIDA, UC San Diego Add to Reading List Source URL: swift.ethz.ch Language: English - Date: 2017-09-11 06:28:39