A MODEL OF SECOND-ORDER ARITHMETIC SATISFYING AC BUT NOT DC SY-DAVID FRIEDMAN AND VICTORIA GITMAN Abstract. We show that there is a β-model of second-order arithmetic in which the choice scheme holds, but the dependent

Source URL: victoriagitman.github.io

DRE-ip: A Verifiable E-Voting Scheme without Tallying Authorities? Siamak F. Shahandashti and Feng Hao School of Computing Science, Newcastle University, UK {siamak.shahandashti,feng.hao}@ncl.ac.uk

Source URL: eprint.iacr.org

• Voting
• Politics
• Electronic voting
• Election technology
• Electoral fraud
• Punchscan
• Scantegrity
• Voting machine
• Ballot
• Bingo voting
• End-to-end auditable voting systems
• Voter-verified paper audit trail

Journal of Machine Learning ResearchSubmitted 7/16; Revised 8/16; Published 9/16 On the Consistency of the Likelihood Maximization Vertex Nomination Scheme: Bridging the Gap Between Maximum

Source URL: jmlr.org

Evaluation report of the HCPC’s Welsh Language Scheme 1. Background 1.1 The Health and Care Professions Council (HCPC) originally published our Welsh Language Scheme (the Scheme) in SeptemberThe Scheme was revis

Source URL: www.hpc-uk.org

The G¨odel Prize 2010 Laudatio for S. Arora and J.S.B. Mitchell The G¨odel Prize 2010 is awarded to Sanjeev Arora and Joseph S.B. Mitchell for their concurrent discovery of a polynomial-time approximation scheme (PTAS)

Source URL: eatcs.org

BPA/SWIP Good Practice Scheme Sexual harassment Introduction ‘Sexual harassment’ is a relative recent term, dating back only as far as the 1970s, and its definition is still evolving. Sexual harassment can be carrie

Source URL: bpa.ac.uk

Itsuku: a Memory-Hardened Proof-of-Work Scheme Fabien Coelho and Arnaud Larroche and Baptiste Colin firstname.lastname @mines-paristech.fr MINES ParisTech, PSL Research University Version 1.51 on November 29, 2017

Source URL: www.cri.ensmp.fr

Scheme for Tasting of Beer according to the GfH Advisory Group Basic Data Date of tasting: __________________________________________

Source URL: www.hopfenforschung.de

Ghosts in the machine Scheme Workshop 2016 Daniel Szmulewicz 1 Abstract

Source URL: scheme2016.snow-fort.org

• Computing
• Software engineering
• Computer programming
• Programming languages
• Functional languages
• Scripting languages
• Lisp
• Clojure
• Futures and promises
• Java virtual machine
• Vars

A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University

Source URL: repository.readscheme.org