MICHAEL - PDFSEARCH.IO - Document Search Engine

MICHAEL
Results: 62683

#	Item
21	A New Family of Pairing-Friendly Elliptic Curves Michael Scott and Aurore Guillevic MIRACL.com Université de Lorraine, CNRS, Inria, LORIA, Nancy, France WAIFI 2018, Bergen, Norway, June 14–16 Add to Reading List Source URL: caramba.inria.fr Language: English - Date: 2018-10-18 08:05:03 Geometry Mathematics Space Analytic number theory Elliptic curve Group theory Curve
22	The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-01-15 12:55:59 Computer security Security engineering Prevention Security Crime prevention Cryptography Information governance National security Password Operating system Protection ring Capability-based security
23	THE “3D WIKI”: BLENDING VIRTUAL WORLDS AND WEB ARCHITECTURE FOR REMOTE COLLABORATION Michael Roberts1, Nicolas Ducheneaut1, Trevor F. Smith2 1 Palo Alto Research Center andSolutions, Inc. Add to Reading List Source URL: trevor.smith.name Language: English - Date: 2012-11-23 14:19:46 Virtual reality Computing Software Game design Second Life Avatar Virtual world Open Wonderland Server Social software Session Virtual world framework
24	Disentangling the Latent Space of (Variational) Autoencoders for NLP Gino Brunner, Yuyi Wang, Roger Wattenhofer, and Michael Weigelt ETH Zurich, Switzerland Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-08-16 03:26:09 Machine learning Artificial intelligence Artificial neural networks Learning Computational linguistics Autoencoder Unsupervised learning Computational statistics Feature learning Vae K-means clustering Deep learning
25	July 24, 2018 The Honorable Marsha Blackburn, Chair The Honorable Michael Doyle, Ranking Member U.S. House Committee on Energy and Commerce Subcommittee on Communications and Technology 2125 Rayburn House Office Building Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-07-24 14:23:03 Law Government Privacy Privacy of telecommunications Telephony Terms of service Federal Communications Commission Media regulation Electronic Privacy Information Center Data retention Ajit Pai Internet privacy
26	Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract Add to Reading List Source URL: kumarde.com Language: English - Date: 2018-08-16 10:08:06 Linguistics Phonetics Phonology Human communication Human behavior Language Computer accessibility Speech recognition Amazon Alexa Phoneme Amazon Echo Alexa
27	July 10, 2018 The Honorable Marsha Blackburn, Chairman The Honorable Michael Doyle, Ranking Member House Committee on Energy and Commerce Subcommittee on Communications and Technology 2322 Rayburn House Office Building Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-07-10 17:07:47 Privacy of telecommunications Law Customer proprietary network information Telemarketing Telephony Privacy Government Terms of service Electronic Privacy Information Center Internet privacy Federal Communications Commission CPNI
28	Verifying the LTL to B¨ uchi Automata Translation via Very Weak Alternating Automata Simon Jantsch1 and Michael Norrish2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2018-05-17 00:58:55 Finite automata Temporal logic Model checking Theoretical computer science Formal methods Mathematical logic Linear temporal logic Computation tree logic Alternating finite automaton Generalized Bchi automaton Bchi automaton
29	Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Computational complexity theory Randomized algorithms Complexity classes Probabilistically checkable proof Proof theory IP NP NEXPTIME Soundness PCP theorem Commitment scheme
30	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