171![A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the](https://www.pdfsearch.io/img/a5aee081700b20db726bccf6a69bc873.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
172![James J Porter web: jamesporter.me mail: Experience Software Engineer, NovemberNovember 2015 James J Porter web: jamesporter.me mail: Experience Software Engineer, NovemberNovember 2015](https://www.pdfsearch.io/img/743dc3c4193d5897b63730be3f168722.jpg) | Add to Reading ListSource URL: www.jamesporter.meLanguage: English - Date: 2018-03-04 15:55:01
|
---|
173![November 6, 2018 – General Election Candidates Governor & Lieutenant Governor Mike DeWine & Jon Husted (Republican) Constance Gadell-Newton & Brett R. Joseph (Green) Travis M. Irvine & J. Todd Grayson (Libertarian) November 6, 2018 – General Election Candidates Governor & Lieutenant Governor Mike DeWine & Jon Husted (Republican) Constance Gadell-Newton & Brett R. Joseph (Green) Travis M. Irvine & J. Todd Grayson (Libertarian)](https://www.pdfsearch.io/img/d4c026988aae5807a99155d0ce720065.jpg) | Add to Reading ListSource URL: miami.ohioboe.comLanguage: English - Date: 2018-09-21 11:45:36
|
---|
174![The n e w e ng l a n d j o u r na l of The n e w e ng l a n d j o u r na l of](https://www.pdfsearch.io/img/58e4b03b59813ac2f55a2d79372179d4.jpg) | Add to Reading ListSource URL: www.crypticproject.orgLanguage: English - Date: 2018-09-27 23:39:20
|
---|
175![The Certicom Challenges ECC2-X Daniel V. Bailey, Brian Baldwin, Lejla Batina, Daniel J. Bernstein, Peter Birkner, Joppe W. Bos, Gauthier van Damme, Giacomo de Meulenaer, Junfeng Fan, Tim Güneysu, Frank Gurkaynak, Thors The Certicom Challenges ECC2-X Daniel V. Bailey, Brian Baldwin, Lejla Batina, Daniel J. Bernstein, Peter Birkner, Joppe W. Bos, Gauthier van Damme, Giacomo de Meulenaer, Junfeng Fan, Tim Güneysu, Frank Gurkaynak, Thors](https://www.pdfsearch.io/img/443c607dcccb83d14e128710f144bc7c.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2009-09-22 19:00:54
|
---|
176![Certified Candidates May 8, 2018 Primary Election Commissioner Democratic Candidates Larry J. Dicken Certified Candidates May 8, 2018 Primary Election Commissioner Democratic Candidates Larry J. Dicken](https://www.pdfsearch.io/img/704627400dcf52d4703b71cb738fb42c.jpg) | Add to Reading ListSource URL: hocking.ohioboe.com- Date: 2018-03-01 13:30:45
|
---|
177![The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden](https://www.pdfsearch.io/img/efef8f21674d6dab76148348ecb1be74.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-06 02:05:36
|
---|
178![Effec%ve
Real-‐Time
Android
Applica%on
Audi%ng
Mingyuan
Xia,
Lu
Gong,
Yuanhao
Lyu,
Zhengwei
Qi,
Xue
Liu
McGill
University,
Shanghai
J Effec%ve
Real-‐Time
Android
Applica%on
Audi%ng
Mingyuan
Xia,
Lu
Gong,
Yuanhao
Lyu,
Zhengwei
Qi,
Xue
Liu
McGill
University,
Shanghai
J](https://www.pdfsearch.io/img/8d5e4e90fa6fcfdde8a0f2bb0be283d1.jpg) | Add to Reading ListSource URL: mxia.meLanguage: English - Date: 2017-02-08 07:01:32
|
---|
179![Grivaux, Julien; Hubert, Pascal Loci in strata of meromorphic quadratic differentials with fully degenerate Lyapunov spectrum. (English) Zbl J. Mod. Dyn. 8, No. 1, Summary: We construct expl Grivaux, Julien; Hubert, Pascal Loci in strata of meromorphic quadratic differentials with fully degenerate Lyapunov spectrum. (English) Zbl J. Mod. Dyn. 8, No. 1, Summary: We construct expl](https://www.pdfsearch.io/img/de3ad2caf20b288c75b0f62af6534d5d.jpg) | Add to Reading ListSource URL: jgrivaux.perso.math.cnrs.frLanguage: English - Date: 2018-03-18 08:56:23
|
---|
180![Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2](https://www.pdfsearch.io/img/0315a6b8da1025425f6017f13572d910.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|