First Page | Document Content | |
---|---|---|
![]() Date: 2015-04-17 07:54:12Computer arithmetic Elementary arithmetic Binary arithmetic Binary numeral system Binary Floating point Numeral system Decimal Number Mathematics Arithmetic Linguistics | Add to Reading List |
![]() | LevPredict A fully collateralized decentralised Ethereum-based binary and multi-category prediction market model Leverj.io V0.3 April 26, 2018 ScopeDocID: 1xVwv - View Document |
![]() | Full version of an extended abstract published in CBTContour: A Practical System for Binary Transparency Mustafa Al-Bassam University College LondonDocID: 1xUXY - View Document |
![]() | Dependency Assessment: Binary Prepared by FP Complete For The Cardano Foundation July 2018DocID: 1xUPa - View Document |
![]() | Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1DocID: 1xUhq - View Document |
![]() | Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity DetectionDocID: 1xUer - View Document |