Optimizations for election tabulation auditing

Optimizations for election tabulation auditing

This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.

Bibliográfalaš dieđut
Váldodahkki:	Sridhar, Mayuri.
Eará dahkkit:	Ronald L. Rivest.
Materiálatiipa:	Oahppočájánas
Giella:	eng
Almmustuhtton:	Massachusetts Institute of Technology 2019
Fáttát:	Electrical Engineering and Computer Science.
Liŋkkat:	https://hdl.handle.net/1721.1/121684

Geahča maid

Leader election and renaming with optimal message complexity
Dahkki: Gelashvili, Rati
Almmustuhtton: (2014)

k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-election Audits
Dahkki: Sridhar, Mayuri, et al.
Almmustuhtton: (2022)

Road accident tabulation language (RATTLE) /
Dahkki: 404746 Harris, P., et al.
Almmustuhtton: (1971)

Programs for reading and tabulating CBCS summary Data tapes /
Dahkki: 406183 Conroy, M.
Almmustuhtton: (1974)

Auditable private ledgers
Dahkki: Vasquez, Willy R
Almmustuhtton: (2018)

Voter verifiability in homomorphic election schemes
Dahkki: Forsythe, Joy Marie
Almmustuhtton: (2007)

Revising the MIT degree audit
Dahkki: Kornblum, Jesse Dan, 1975-
Almmustuhtton: (2013)

Hardware interface and casing for electic Legos kit
Dahkki: Chang, Hyung S. (Hyung Suk)
Almmustuhtton: (2008)

Auditing technology for electronic voting machines
Dahkki: Cohen, Sharon B
Almmustuhtton: (2006)

Properties of link reversal algorithms for routing and leader election
Dahkki: Radeva, Tsvetomira
Almmustuhtton: (2013)

Tabulation Techniques for Recursive Programs
Dahkki: Bird, R
Almmustuhtton: (1980)

Building contracts compared and tabulated/
Dahkki: 194074 Powell-Smith, Vincent, et al.
Almmustuhtton: (1986)

Zippy Tabulations of Recursive Functions
Dahkki: Bird, R
Almmustuhtton: (2008)

Tabulation of infrared spectral data/
Dahkki: 257277 Dolphin, David, et al.
Almmustuhtton: (1977)

Tabulations on the DDA Study Description
Dahkki: Karsten Boye Rasmussen
Almmustuhtton: (1987-10-01)

Analyzing audit trails in the Aeolus security platform
Dahkki: Blankstein, Aaron (Aaron M.)
Almmustuhtton: (2011)

Summarizing audit trails in the Aeolus security platform
Dahkki: Jarjoui, Wissam
Almmustuhtton: (2014)

Audit trails in the Aeolus distributed security platform
Dahkki: Popic, Victoria
Almmustuhtton: (2011)

Using Recounts to Measure the Accuracy of Vote Tabulations: Evidence from New Hampshire Elections 1946-2002
Dahkki: Ansolabehere, Stephen, et al.
Almmustuhtton: (2015)

A Faunal and Floral Tabulation-Scheme
Dahkki: Albert P. Morse
Almmustuhtton: (1904-01-01)

The genomic tabulation of Kampung Tambora’s massing series
Dahkki: Denny Husin, et al.
Almmustuhtton: (2024-04-01)

Adding diversity and realism to LAVA, a vulnerability addition system
Dahkki: Sridhar, Rahul
Almmustuhtton: (2019)

The development of a digital controller for a three-phase induction motor
Dahkki: Venkatesh, Sridhar Chakravarthy
Almmustuhtton: (2006)

An algorithmic theory of caches
Dahkki: Ramachandran, Sridhar, 1977-
Almmustuhtton: (2014)

Bibliography of magnetic materials and tabulation of magnetic transition temperatures /
Dahkki: 319990 Connolly, T. F., et al.
Almmustuhtton: (1972)

Tabulation of Myeloid, Lymphoid and Intestinal Malignancies in Crohn’s Disease
Dahkki: Hugh J Freeman
Almmustuhtton: (2002-01-01)

Auditing the Election Ecosystem
Dahkki: Alvarez, R. Michael, et al.
Almmustuhtton: (2015)

Sentiment analysis on USA presidential election 2020
Dahkki: Francisco, John Radcliff Pantaleon
Almmustuhtton: (2020)

Towards practical theory : Bayesian optimization and optimal exploration
Dahkki: Kawaguchi, Kenji, Ph. D. Massachusetts Institute of Technology
Almmustuhtton: (2016)

A framework for managing & visualizing election data
Dahkki: Hartono
Almmustuhtton: (2017)

Analog circuit optimization using evolutionary algorithms and convex optimization
Dahkki: Aggarwal, Varun
Almmustuhtton: (2008)

k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-election Audits
Dahkki: Sridhar, M, et al.
Almmustuhtton: (2021)

Methodology for circuit optimization
Dahkki: Markle, Kendra L. (Kendra Lys)
Almmustuhtton: (2007)

Risk and robust optimization
Dahkki: Brown, David Benjamin, Ph. D. Massachusetts Institute of Technology
Almmustuhtton: (2008)

Collaboration in design optimization
Dahkki: Lin, Eunice, M. Eng. Massachusetts Institute of Technology
Almmustuhtton: (2018)

Interpreting and optimizing data
Dahkki: Du, George J
Almmustuhtton: (2017)

Optimizing an inverse warper
Dahkki: Marcato, Robert W. (Robert William), 1975-
Almmustuhtton: (2009)

An optimizing quad translator
Dahkki: Strong, E. Gordon.
Almmustuhtton: (2024)

Optimization problems in network connectivity
Dahkki: Panigrahi, Debmalya
Almmustuhtton: (2013)

The complexity of optimal mechanism design
Dahkki: Tzamos, Christos
Almmustuhtton: (2013)