Considering the effects and implications of changing only a single vote per machine.
43 Considering the effects and implications of changing only a single vote per machine.ica Vote Act, precincts across the U.S. are upgrading their polling processes. Some precincts are choosing to purchase electronic voting machines, and some commentators advocate using e-voting machines as the standard. The use of direct-recording electronic voting… (More)
1 The authors are undergraduates at Yale University. We thank the Faculty of Engineering and the Office of New Haven and State Affairs for hosting the Voting in an e-Democracy symposium and the Yale Undergraduate Debates on Technology and Society which prompted us to prepare this analysis. Abstract We examine the effects of a type of electoral fraud easily… (More)
Hydrology and density feedbacks control the ecology of intermediate hosts of schistosomiasis across habitats in seasonal climates",Looking for hotspots of marine metacommunity connectivity: a methodological framework" A theoretical analysis of the geography of schistosomiasis in Burkina Faso highlights the roles of human mobility and water resources… (More)
To date, work on formalizing connectionist computation in a way that is at least Turing-complete has focused on recurrent architectures and developed equivalences to Turing machines or similar super-Turing models, which are of more theoretical than practical significance. 1 We instead develop connectionist computation within the framework of information… (More)
The aim of this work is to address the question of whether we can in principle design rational decision-making agents or artificial intelligences embedded in computable physics such that their decisions are optimal in reasonable mathematical senses. Recent developments in rare event probability estimation, recursive bayesian inference, neural networks, and… (More)
The original flocking model proposed and simulated by Reynolds  and recently analytically verified to be convergent in a modified form by Tanner et. al. demands tracking and combining the movement parameters of a potentially large number of neighboring agents. We investigate an alternative simplification of the verified model wherein only two nearest… (More)