Io - PDFSEARCH.IO - Document Search Engine

Io
Results: 17950

#	Item
141	Hardware Digital Signatures Lionello Lunesu Enuma Technologies Limited Why? Add to Reading List Source URL: blog.enuma.io Language: English - Date: 2018-08-08 01:49:05 Cryptography Digital Signature Standard Elliptic curve cryptography Elliptic Curve Digital Signature Algorithm Digital Signature Algorithm Digital signature Cryptographic software Key Bitcoin
142	V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
143	PROTEIN QUANTITATION FROM WHOLE BLOOD ON POLYESTER-TONER LASER-PRINTED MICROFLUIDIC DISCS WITH CELL PHONE IMAGE ANALYSIS Brandon L. Thompson1, Yiwen Ouyang1,5, Jingyi Li1, Shannon T. Krauss1, Nishant Shukla2, Bryan G. Ke Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Blood Anatomy Hematology Histology Hematocrit Serum albumin Albumin Serum Blood plasma Microfluidics
144	Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang Hao Lü Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Business Economy Business process Groupware Workflow Business process management Workflow technology Scientific workflow system
145	a14f44bf-b97b-4a03-803c-8e46742ad291 Add to Reading List Source URL: www.adjoint.io Language: English - Date: 2018-10-16 07:58:32 Economy Cryptocurrencies Money Finance Blockchains Alternative currencies Decentralization Ethereum Treasury management Smart contract Digital currency Asset and liability management
146	A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 C Data types Software engineering Computing Computer programming Pointer Compatibility of C and C++ Const Typedef
147	Bytom Global Dev Competition Preliminary Preliminary Rules Add to Reading List Source URL: bytom.io Language: English - Date: 2018-10-08 07:32:28 Cryptocurrencies Computing Digital media Research Information Blockchain Knowledge Electronic submission
148	PDF Document Add to Reading List Source URL: atomicwallet.io - Date: 2018-10-16 08:23:33
149	Published as a conference paper at ICLRDYNAMIC N EURAL P ROGRAM E MBEDDINGS FOR P RO GRAM R EPAIR arXiv:1711.07163v3 [cs.AI] 25 Feb 2018 Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Software engineering Computing Computer programming Programming languages Source code Syntax ALGOL 68 Artificial neural network Exception handling Semantics For loop

UPDATE