Jonathan - PDFSEARCH.IO - Document Search Engine

Jonathan
Results: 11063

#	Item
11	Jonathan McGlone University of Michigan Libraries, Michigan Publishing 839 Greene St 1210 Buhr Bldg, Ann Arbor MIhttp://jmcglone.com Add to Reading List Source URL: jmcglone.com Language: English - Date: 2018-10-02 12:02:39 Publishing Academic publishing Knowledge Electronic publishing Open access Library science Library publishing University of Michigan Library Scholarly communication Ann Arbor Michigan Digital preservation Institutional repository
12	Experience with Z Developing a Control Program for a Radiation Therapy Machine Jonathan Jacky , Jonathan Unger, Michael Patrick and Ruedi Risler Radiation Oncology Box Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:56 Health Computing Medical physics Formal methods Theoretical computer science Therapy Information and communications technology Radiation therapy Z notation Computer Software
13	Query-efficient Partitions for Dynamic Data Nikos Vasilakis Yash Palkhiwala Jonathan M. Smith Add to Reading List Source URL: nikos.vasilak.is Language: English - Date: 2017-12-19 12:23:46 Data management Information retrieval Information science Search algorithms Hashing Distributed data storage Database management systems NoSQL Hash function Consistent hashing Partition R-tree
14	Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting†∗ Jonathan Bootle1 , Andrea Cerulli1 , Pyrros Chaidos1∗∗ , Jens Groth1 , and Christophe Petit2 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2016-03-08 12:29:47 Cryptography Computational complexity theory Complexity classes Randomized algorithms Zero-knowledge proof Analysis of algorithms NP Commitment scheme Probabilistically checkable proof IP Logarithm XTR
15	Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:47 Computing Models of computation Software engineering Control engineering Cognition State Control theory Lookup table Variable Dependent and independent variables
16	Bulletproofs: Short Proofs for Confidential Transactions and More Benedikt B¨ unz∗1 , Jonathan Bootle†2 , Dan Boneh‡1 , Andrew Poelstra§3 , Pieter Wuille¶3 , and Greg Maxwellk 1 Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2018-06-28 10:34:47 Cryptography Cryptocurrencies Alternative currencies Bitcoin Decentralization Cryptographic protocols Non-interactive zero-knowledge proof Zero-knowledge proof Proof of knowledge NP Soundness IP
17	Formal Specication of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky Michael Patrick Jonathan Unger Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 17:16:24 Radiobiology Radiation therapy Radioactivity Medical prescription Health Medicine Physics
18	Under review as a conference paper at ICLRM ETA L EARNING S HARED H IERARCHIES Jonathan Ho, Xi Chen, Pieter Abbeel UC Berkeley, Department of Electrical Engineering and Computer Science Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-10-26 20:31:00 Machine learning Artificial intelligence Learning Statistical randomness Q-learning Metalearning Reinforcement learning Artificial neural network Meta learning Multi-armed bandit Markov decision process Feature learning
19	CLINICAL NEUTRON THERAPY SYSTEM Control System Specication PART II: User Operations Jonathan Jacky1 Ruedi Risler Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 17:07:43 Physics Medical physics Accelerator physics Experimental physics Radiation therapy Medicine Particle accelerators Fast neutron therapy Neutron Cyclotron Beamline Computer terminal
20	Short Accountable Ring Signatures Based on DDH Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth, and Christophe Petit Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-09-01 06:28:04 Cryptography Public-key cryptography Digital signature IP Soundness Group signature Post-quantum cryptography Designated verifier signature Computational complexity theory

UPDATE