LIVE ON STAGE RECORDED FOR BROADCAST KEN LAYNE • JEREMY CORBELL • DOC DANIELS THE MOJAVE PHONE BOOTH • BRENDAN MA ZE

Source URL: www.desertoracle.com

Aperio: High Integrity Elections for Developing Countries Aleks Essex1 , Jeremy Clark2 , and Carlisle Adams1 1 University of Ottawa

Source URL: users.encs.concordia.ca

TPM Genie Attacking the Hardware Root of Trust For Less Than $50 Introduction Jeremy Boone @uffeux

Source URL: cansecwest.com

THE  ETHICS  OF  TECHNOLOGY     JEREMY  TILL  

Source URL: jeremytill.s3.amazonaws.com

Practical Governmental Voting with Unconditional Integrity and Privacy Nan Yang and Jeremy Clark Concordia University

Source URL: fc17.ifca.ai

Communication pubs.acs.org/JACS Optically Selective Two-Photon Uncaging of Glutamate at 900 nm Jeremy P. Olson,† Hyung-Bae Kwon,‡,∥ Kevin T. Takasaki,‡ Chiayu Q. Chiu,§ Michael J. Higley,§ Bernardo L. Sabatini,

Source URL: higleylab.org

Mean field and fluid approaches to Markov chain analysis Jeremy T. Bradley ∗ Department of Computing, Imperial College London, UK Representing the explicit state space of performance models has inheren

Source URL: www1.isti.cnr.it

Better I/O Through Byte-Addressable, Persistent Memory Jeremy Condit Edmund B. Nightingale Microsoft Research

Source URL: www.frostnet.net

Namecoin for Tor Onion Service Naming (And Other Darknets) Jeremy Rand Lead Application Engineer, The Namecoin Project https://www.namecoin.org/ OpenPGP: 5174 0B7C 732D 572A55E1 F8F7 BF85

Source URL: www.namecoin.org

δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

Source URL: scungao.github.io

• Theoretical computer science
• Computability theory
• Computational complexity theory
• Theory of computation
• Constructivism
• Fourier analysis
• Formal methods
• Computable number
• Computable analysis
• Computable function
• NC
• Modulus of continuity