Distributed Computing Prof. R. Wattenhofer HomeDetective Advanced Features We have been developing a novel housing platform, called

Source URL: www.tik.ee.ethz.ch

• Online advertising
• Digital marketing
• Marketing
• World Wide Web
• Pay per click search engines
• Photo sharing
• Social networking services

Distributed Computing Prof. R. Wattenhofer Advanced Housing Search Looking for houses and apartments is not as much fun as it could be. Websites like Homegate

Source URL: www.tik.ee.ethz.ch

E M S C B – Milestone No. I Turaya.Crypt – Secure Linux Hard-Disk Encryption DESIGN SPECIFICATION based on European Multilaterally Secure Computing Base (EMSCB)

Source URL: www.emscb.de

• Cryptography
• Disk encryption
• Cryptographic software
• Dm-crypt
• Symmetric-key algorithm
• Comparison of disk encryption software
• AES implementations

Lecture 29, Thurs May 4: Experimental Realizations of QC In this course, we’ve had 28 lectures about the theory of quantum computing and information. So it behooves us to take one lecture to survey the current state of

Source URL: www.scottaaronson.com

• Quantum information science
• Theoretical computer science
• Quantum mechanics
• Quantum computing
• Superconducting quantum computing
• Qubit
• Quantum simulator
• Quantum teleportation
• Quantum algorithm
• Trapped ion quantum computer
• Quantum supremacy
• D-Wave Systems

Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK.

Source URL: qav.comlab.ox.ac.uk

A Decentralised Big Data and Machine Learning Network Powered by a Computing-Centric Blockchain by The DxChain Team () Last Updated: June 20, 2018 Versiondraft)

Source URL: www.dxchain.com

• Computing
• Blockchains
• Cryptocurrencies
• Free software
• Data management
• Bitcoin
• Cross-platform software
• Ethereum
• Apache Hadoop
• Bitcoin network
• Big data
• Smart contract

Under consideration for publication in Formal Aspects of Computing Bisimulations in Calculi Modelling Membranes Roberto Barbuti1 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 and Angelo Troina2 1 Dipartimento

Source URL: pages.di.unipi.it

• Theoretical computer science
• Logic in computer science
• Mathematics
• Formal methods
• Bisimulation
• Mathematical logic
• Petri net
• Rewriting

Inferring Mechanics of Web Censorship Around the World John-Paul Verkamp Minaxi Gupta School of Informatics and Computing, Indiana University

Source URL: www.usenix.org

• Computing
• Information and communications technology
• Internet architecture
• Information Age
• Firewall software
• Internet censorship
• Computer network security
• Great Firewall
• Content-control software
• Localhost
• Firewall
• Router

ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK

Source URL: www.cs.ox.ac.uk

• Complexity classes
• Differential equations
• Systems science
• Control theory
• Hybrid system
• Systems theory
• NL
• Reachability
• P
• Mathematics

Distributed Computing Prof. R. Wattenhofer Audio Source Separation with Deep Learning Source separation is an established research field in signal processing. Most people have

Source URL: www.tik.ee.ethz.ch

• Educational technology
• Online education
• Open educational resources
• Education
• Technology
• Sound recording
• Cybernetics
• Learning
• Machine learning
• Stereophonic sound
• Andrew Ng
• Udacity