Anthony Di Franco

Learn More
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)
The original flocking model proposed and simulated by Reynolds [1987] 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)
Despite large incentives, correctness in software remains an elusive goal. Declarative programming techniques, where algorithms are derived from a specification of the desired behavior, offer hope to address this problem, since there is a combinatorial reduction in complexity in programming in terms of specifications instead of algorithms, and arbitrary(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)
  • 1