Provable - PDFSEARCH.IO - Document Search Engine

Provable
Results: 110

#	Item
71	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
72	Towards Provable Remote Data Deletion Through Quantum Entanglement Jon Crowcroft University of Cambridge Gerard Briscoe Add to Reading List Source URL: tinytocs.org Language: English - Date: 2013-04-02 18:41:25 Applied mathematics Qubit Quantum computer Quantum entanglement Quantum no-deleting theorem Entanglement distillation Quantum information science Theoretical computer science Physics
73	Provable Learning of Overcomplete Latent Variable Models: Semi-supervised and Unsupervised Settings Animashree Anandkumar University of California Irvine, CA Add to Reading List Source URL: www.opt-ml.org Language: English - Date: 2014-12-10 11:27:52 Mathematics Linear algebra Tensors Statistical models Independent component analysis Signal processing Unsupervised learning Mixture model Singular value decomposition Algebra Machine learning Statistics
74	BMGL: Synchronous Key-stream Generator with Provable Security (Revision 1) Johan H˚ astad∗ NADA, Royal Inst. of Technology SE[removed]Stockholm, Sweden Add to Reading List Source URL: www.cosic.esat.kuleuven.be Language: English - Date: 2001-03-16 15:30:07 Cryptography Pseudorandom generator theorem Hard-core predicate Pseudorandom generator Keystream Exponential distribution Itō diffusion Pseudorandomness Theoretical computer science Mathematics
75	Pseudorandom Functions and Lattices Abhishek Banerjee1 1 Georgia Chris Peikert1 Institute of Technology Add to Reading List Source URL: www.iacr.org Language: English - Date: 2012-04-20 07:04:19 Symmetric-key algorithm Provable security Cryptography Pseudorandomness Pseudorandom function family
76	Another Look at Provable Security Alfred Menezes (joint work with Sanjit Chatterjee, Neal Koblitz, Palash Sarkar) EUROCRYPT 2012 –1 Add to Reading List Source URL: www.iacr.org Language: English - Date: 2012-04-20 14:09:49 Mathematics Mathematical proof Provable Adversary Science Cryptography Provable security Knowledge
77	Sheila White - The Lord will provide Faith is believing something which, though not provable, so takes possession of us that it is impossible afterwards to imagine living without it. Wrestling With the Angel (1977:86) Add to Reading List Source URL: enochpowell.info Language: English - Date: 2013-09-09 17:01:47 Malcolm Muggeridge Place of death missing Wheaton College Biblical criticism New Testament Gospel Jesus Historiography of early Christianity Religion Christianity Canonical Gospels
78	Areas of Specific Concern in the NIST WTC Reports Below is a series of twenty-five provable points which clearly demonstrate that the reports produced by the National Institute of Standards and Technology (NIST) on the d Add to Reading List Source URL: www.ae911truth.org Language: English - Date: 2014-10-30 20:47:41 Structural engineering Architects & Engineers for 9/11 Truth 7 World Trade Center 9/11 Truth movement National Institute of Standards and Technology Progressive collapse Tube Collapse of the World Trade Center World Trade Center controlled demolition conspiracy theories World Trade Center New York City September 11 attacks
79	Almost uniform density of power residues and the provable security of ESIGN Tatsuaki Okamoto1 and Jacques Stern2 1 2 Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:54 Mathematics Number theory Public-key cryptography Symbol RSA
80	© Ji m Di n e / S O DRAC[removed] ) The Science of Love Are there provable methods we can use to become more altruistic and compassionate? Can Buddhist compassion practices be adapted for a secular society? Add to Reading List Source URL: www.chademeng.com Language: English - Date: 2010-04-24 13:41:31 Giving Social psychology Buddhist meditation Buddhist practices Compassion Emotions Altruism Mettā Philip Zimbardo Buddhism Religion Human behavior

UPDATE