 Aaron Huber
|
2e7eff28df
|
Macro name change.
|
2021-01-29 09:57:20 -05:00 |
|
|
Aaron Huber
|
de418689ee
|
Finished revising Algorithm Section with circuit representation.
|
2021-01-29 09:52:04 -05:00 |
|
|
Aaron Huber
|
1739852d8e
|
Revised SampleMonomial proof.
|
2021-01-28 11:50:33 -05:00 |
|
|
Aaron Huber
|
dce25a1c36
|
OnePass Algo proof revised.
|
2021-01-28 10:32:16 -05:00 |
|
|
Aaron Huber
|
29d239fdb4
|
Changes to Algorithm OnePass and Lemma 4.10 proof.
|
2021-01-27 18:37:02 -05:00 |
|
Boris Glavic
|
cc7c5fdb8a
|
appendix D
|
2020-12-20 17:50:56 -06:00 |
|
|
Aaron Huber
|
cb847ede46
|
Probability macros for the appendix
|
2020-12-20 00:56:46 -05:00 |
|
 Oliver Kennedy
|
8936fe879d
|
Proof of Prop 2.1
|
2020-12-19 23:19:37 -05:00 |
|
|
Aaron Huber
|
ec1e0854f1
|
Todos for appendix and S4
|
2020-12-19 16:13:42 -05:00 |
|
|
Aaron Huber
|
4ae73a9482
|
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2020-12-19 15:04:19 -05:00 |
|
|
Aaron Huber
|
f04846020d
|
Pulled more S2 material into the appendix
|
2020-12-19 15:04:14 -05:00 |
|
|
Oliver Kennedy
|
a2bf8d6daf
|
Trimming for space
|
2020-12-19 12:59:27 -05:00 |
|
|
Oliver Kennedy
|
0e7aaa8ebe
|
Pass over S2, S3; Ended up saving a column or so
|
2020-12-19 00:45:30 -05:00 |
|
|
Aaron Huber
|
899edc4248
|
Finished porting all @atri asked in 121820 meeting
|
2020-12-18 18:23:24 -05:00 |
|
|
Aaron Huber
|
2b9999e160
|
Consolidated S2
|
2020-12-18 17:04:29 -05:00 |
|
|
Aaron Huber
|
a7c74ba380
|
Restructure Experiments Section, stated error in terms of \gamma
|
2020-12-18 10:18:47 -05:00 |
|
|
Aaron Huber
|
e9d13722af
|
Moved S2 proofs into Appendix
|
2020-12-17 17:08:48 -05:00 |
|
|
Aaron Huber
|
aa8bac2075
|
Moved unnecessary S3 defs into appendix.
|
2020-12-17 16:53:45 -05:00 |
|
|
Aaron Huber
|
7c4949ab6c
|
Moved proofs into appendix (S3, S4)
|
2020-12-17 16:40:48 -05:00 |
|
 Atri Rudra
|
6bff4061fc
|
Done till proof of Lemma 3.15
|
2020-12-14 00:28:04 -05:00 |
|
|
Atri Rudra
|
4a52573012
|
Added a app for Sec 3 details
|
2020-12-13 21:53:22 -05:00 |
|