Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu

Source URL: www.scottaaronson.com

• Quantum information science
• Theoretical computer science
• Quantum mechanics
• Quantum logic gate
• Quantum circuit
• Toffoli gate
• Qubit
• Quantum computing
• Controlled NOT gate
• Quantum error correction
• Quantum teleportation
• GottesmanKnill theorem

Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.

Source URL: rjoshi.org

• Computing
• Computer architecture
• Concurrent computing
• Formal methods
• Theoretical computer science
• Cache coherency
• Instruction set architectures
• Concurrency
• TLA+
• Model checking
• Cache coherence
• Specification language

A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

Source URL: www.cs.utexas.edu

• Transaction processing
• Computing
• Fault-tolerant computer systems
• Data management
• Application checkpointing
• Data
• Rollback
• Database transaction
• Checkpoint
• Communication protocol
• Two-phase commit protocol

A Path Layer for the Internet: Enabling Network Operations on Encrypted Protocols Mirja K¨uhlewind∗ , Tobias B¨uhler∗ , Brian Trammell∗ , Stephan Neuhaus† , Roman M¨untener† , and Gorry Fairhurst‡ ∗ ETH

Source URL: nsg.ee.ethz.ch

• Computing
• Network architecture
• Data transmission
• Internet Standards
• Internet protocols
• Computer networking
• Network performance
• Units of information
• Transmission Control Protocol
• QUIC
• Network address translation
• User Datagram Protocol

VasiliosMavroudis  mavroud.is Research Interests Privacy Attacks & Countermeasures, AI Safety & Adversarial Machine Learning, Consensus Protocols & Market Microstructure

Source URL: mavroud.is

• Computing
• Security engineering
• Prevention
• Crime prevention
• National security
• Cryptography
• Information governance
• Secure communication
• Privacy
• Internet of things
• Information security
• Internet privacy

Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed

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

• Network architecture
• Distributed computing
• Gossip protocol
• PRISM model checker
• Computing
• Application software
• Distributed data storage
• Software
• Game theory

Synthesis of Protocols and Discrete Controllers Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Idress Mohammed Husien

Source URL: cgi.csc.liv.ac.uk

• Music
• Applied mathematics
• Cybernetics
• Theoretical computer science
• Mathematics
• Genetic algorithms
• Model checking
• Simulated annealing
• Control theory
• Synthesizer
• Crossover
• Algorithm

Clique Gossiping Yang Liu, Bo Li, Brian D. O. Anderson, and Guodong Shi∗ Abstract This paper proposes and investigates a framework for clique gossip protocols. As complete subnet-

Source URL: arxiv.org

Peregrine: A Tool for the Analysis of Population Protocols ? Michael Blondin[0000−0003−2914−2734] , Javier Esparza[0000−0001−9862−4919] , and Stefan Jaax[0000−0001−5789−8091] Technische Universit¨ at M

Source URL: www7.in.tum.de

Alberta Biodiversity Monitoring Institute www.abmi.ca Wetland Field Data Collection Protocols (Abridged Version)

Source URL: ftp.public.abmi.ca