Proof compression - PDFSEARCH.IO - Document Search Engine

Proof compression
Results: 11

#	Item
1	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action
2	AND-compression of NP-complete problems: Streamlined proof and minor observations Holger Dell Saarland University Cluster of Excellence, MMCI ∗ September 23, 2014 Add to Reading List Source URL: www.holgerdell.com Language: English
3	A Practical Limit of Security Proof in the Ideal Cipher Model : Possibility of Using the Constant As a Trapdoor In Several Double Block Length Hash Functions Donghoon Chang Center for Information Security Technologies(CI Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-12-21 12:10:24 Block cipher Hash function One-way compression function Merkle–Damgård construction Cryptography Cryptographic hash functions Collision attack
4	Introduction Articles of Proof Compression Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 09:46:49 Automated theorem proving Logic in computer science Mathematical logic Proof assistant Logic for Computable Functions Coq Mathematical proof HOL Light Theorem Mathematics Logic Theoretical computer science
5	The Ignition of Methane and Coal Dust by Air Compression - The Experimental Proof Wei Lin Thesis submitted to the Faculty of the Virginia Polytechnic Institute and State University Add to Reading List Source URL: scholar.lib.vt.edu Language: English - Date: 1997-05-09 09:05:55 Fuel gas Greenhouse gases Atmosphere Earth Anaerobic digestion Methane Dust explosion Atmosphere of Earth Coal Fuels Chemistry Energy
6	Progress. Proof. Promise. PDF compression, OCR, web optimization using a watermarked evaluation copy of CVISION PDFCompressor ONE is a grassroots organization backed by more than 2.5 million people who fight extreme Add to Reading List Source URL: one-org.s3.amazonaws.com Language: English - Date: 2012-11-19 17:16:11 AIDS HIV HIV/AIDS in China HIV/AIDS in Ghana HIV/AIDS Health Medicine
7	A Note on the security proof of Knudsen-Preneel construction of a hash function Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2012-06-20 11:26:04 One-way compression function Hash function Collision attack Collision resistance Provably secure cryptographic hash function GOST Cryptographic hash functions Cryptography Hashing
8	March 7, [removed]LAB MANUAL 1607 Add to Reading List Source URL: www.dot.state.mn.us Language: English - Date: 2012-01-04 09:19:17 Science Technology Proof test Chemistry Container compression test Materials science Tests Universal testing machine
9	PharmaSUG[removed]CC02 Beep, Beep, Beep, Back It Up! A Fool Proof Approach to Archiving with no Copying Kristen Reece Harrington, BS, Rho® Inc., Chapel Hill, NC, USA ABSTRACT Add to Reading List Source URL: www.pharmasug.org Language: English - Date: 2013-05-05 15:32:09 Archive formats Data compression Proprietary software WinZip SAS Zip Path Folder Tar Software Computing System software
10	Approaching full production for CRAM Since our proof-‐of-‐principle publication of reference-‐based sequence read data compression in 20 Add to Reading List Source URL: www.ebi.ac.uk Language: English - Date: 2012-08-03 12:18:19 Cram Software Information Computing Data compression Lossless data compression Lossy compression