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

Source URL: www.pepper-project.org

James J Porter web: jamesporter.me mail: Experience Software Engineer, NovemberNovember 2015

Source URL: www.jamesporter.me

• Computing
• Software engineering
• Software
• Cross-platform software
• High-level programming languages
• Scripting languages
• Computational notebook
• JavaScript
• Web programming
• IPython
• PostgreSQL
• Python

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)

Source URL: miami.ohioboe.com

• Ohio
• Mike DeWine
• Jon A. Husted
• Richard Cordray
• Jim Renacci
• Ohio elections
• Ohio gubernatorial election

The n e w e ng l a n d j o u r na l of

Source URL: www.crypticproject.org

• Tuberculosis
• RTT
• Medicine
• Clinical medicine
• Chemistry
• Prodrugs
• Acid fast bacilli
• Antibiotic-resistant bacteria
• Tuberculosis management
• Pyrazinamide
• Multi-drug-resistant tuberculosis
• Rifampicin

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

Source URL: www.hyperelliptic.org

• Cryptography
• Elliptic curve cryptography
• Abstract algebra
• Finite fields
• Elliptic-curve cryptography
• Public-key cryptography
• Discrete logarithm records
• ECC patents

Certified Candidates May 8, 2018 Primary Election Commissioner Democratic Candidates Larry J. Dicken

Source URL: hocking.ohioboe.com

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

Source URL: www.cs.utexas.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Methods of proof
• Boolean algebra
• Mathematical proofs
• Proof complexity
• Boolean satisfiability problem

Effec%ve  Real-­‐Time  Android   Applica%on  Audi%ng   Mingyuan  Xia,  Lu  Gong,  Yuanhao  Lyu,   Zhengwei  Qi,  Xue  Liu     McGill  University,  Shanghai  J

Source URL: mxia.me

• Computing
• Computer architecture
• System software
• Alphabet Inc.
• Android
• Smartphones

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

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Mathematics
• Dynamical systems
• Moduli theory
• Algebraic geometry
• Riemann surfaces
• Lyapunov exponent
• Complex manifolds
• Translation surface
• Giovanni Forni
• Teichmller space
• Zbl

Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: jorgenavas.github.io

• Mathematics
• Abstract algebra
• Mathematical analysis
• Graph
• Graph theory
• Partial derivative
• Valuation
• Representation
• Voltage graph
• operator