 Atri Rudra
|
ff97b62569
|
Update on Overleaf.
|
2022-06-08 03:30:23 +00:00 |
|
Atri Rudra
|
71ffbf95fa
|
Update on Overleaf.
|
2022-06-02 22:37:38 +00:00 |
|
Atri Rudra
|
f539eaba8e
|
Update on Overleaf.
|
2022-06-02 13:37:51 +00:00 |
 Oliver Kennedy
|
212b915809
|
Trimming. Down by ~1 column so far.
|
2022-05-18 17:51:12 -04:00 |
 Aaron Huber
|
b839349c51
|
Minor grammar fixes for S.3
|
2022-05-17 11:00:19 -04:00 |
|
Aaron Huber
|
580e6876fb
|
Fixed lemma 4.8 proof per @atri 030722 comments.
|
2022-03-08 20:26:18 -05:00 |
|
Atri Rudra
|
e5ca8a4b24
|
Done with S3 pass
|
2021-09-18 01:05:31 -04:00 |
|
Aaron Huber
|
26faebbdf5
|
Started rebuttal doc. Started adjusting S3 in appendix.
|
2021-09-16 11:47:02 -04:00 |
|
Atri Rudra
|
c527482dd8
|
Missed commenting out an errant result
|
2021-09-15 17:16:56 -04:00 |
|
Atri Rudra
|
247a30c714
|
Done with pass on S3
|
2021-09-15 17:15:53 -04:00 |
|
Aaron Huber
|
aebe234c9b
|
Finished pass on S3
|
2021-09-09 11:42:30 -04:00 |
|
Aaron Huber
|
950d06ccfb
|
Finished pass on S.3.
|
2021-09-02 17:01:17 -04:00 |
|
Aaron Huber
|
c384d5f21b
|
Changes addressing reviewer comments.
|
2021-08-30 22:50:21 -04:00 |
|
Aaron Huber
|
d466b2eaa8
|
Addressed @atri's Intro comments.
|
2021-08-27 13:58:03 -04:00 |
|
Aaron Huber
|
53581b2e40
|
Partial pass on S.3 with notes.
|
2021-08-25 12:36:08 -04:00 |
|
Aaron Huber
|
f96cd34cf5
|
Added Corollary to show that our results hold with respect to Step One.
|
2021-08-20 09:30:24 -04:00 |
Boris Glavic
|
40cac20325
|
multi
|
2021-04-10 13:11:35 -05:00 |
|
Atri Rudra
|
2577788aac
|
Done with pass on S3
|
2021-04-09 00:02:33 -04:00 |
|
Aaron Huber
|
2678d1210e
|
Removed more from S3 to appendix.
|
2021-04-06 13:03:08 -04:00 |
|
Aaron Huber
|
2b94d8246e
|
Removed proofs from S3
|
2021-04-06 12:17:17 -04:00 |
|
Aaron Huber
|
9f53fe0aca
|
Implemented @atri's 032721 suggestions.
|
2021-03-29 18:37:20 -04:00 |
|
Aaron Huber
|
35161963d5
|
Small notational changes in lemma 3.10 and preceding definitions of App B
|
2021-03-25 16:22:55 -04:00 |
|
Aaron Huber
|
dcb42fe340
|
Incorporated Virginia's 3-path observation into Lem 3.15.
|
2021-03-25 11:52:59 -04:00 |
|
Aaron Huber
|
7f77653e1b
|
Finished my first past implementing Reviewer Suggestions.
|
2021-03-10 13:28:04 -05:00 |
|
Oliver Kennedy
|
02b7c4fa2c
|
Misc clarifications
|
2020-12-20 17:13:52 -05:00 |
|
Atri Rudra
|
196e23db8e
|
Done with S3 pass
|
2020-12-20 00:22:12 -05:00 |
|
Aaron Huber
|
7c062ec1c5
|
Added macros for S3 probability notation
|
2020-12-19 23:43:42 -05:00 |
|
Oliver Kennedy
|
fd767a507b
|
Try this one neat trick to save 2 pages :)
|
2020-12-19 16:46:26 -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
|
5321761acf
|
Trimming about all that I can trim through rephrasing+spacing cheats
|
2020-12-19 14:02:12 -05:00 |
|
Oliver Kennedy
|
e45be8b1c5
|
Finishing S4.
|
2020-12-19 01:15:50 -05:00 |
|
Oliver Kennedy
|
ac34a521f2
|
a few more tweaks
|
2020-12-19 00:57:52 -05:00 |
|
Oliver Kennedy
|
0e7aaa8ebe
|
Pass over S2, S3; Ended up saving a column or so
|
2020-12-19 00:45:30 -05:00 |
|
Boris Glavic
|
cc989e88bc
|
sec 3
|
2020-12-18 12:06:13 -06: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 |
|
Aaron Huber
|
e13373cf21
|
Small changes Sec 3
|
2020-12-16 22:09:57 -05:00 |
|
Aaron Huber
|
afea147ae3
|
Finished Experiments
|
2020-12-15 10:55:07 -05:00 |
|
Atri Rudra
|
6bff4061fc
|
Done till proof of Lemma 3.15
|
2020-12-14 00:28:04 -05:00 |
|
Atri Rudra
|
9822665991
|
Started pass on Sec 3
|
2020-12-13 11:32:55 -05:00 |
|
Aaron Huber
|
98ac2ced8f
|
Incorporated all of @atri Riot 120920 suggestions.
|
2020-12-09 12:20:44 -05:00 |
|
Aaron Huber
|
d21244a4e7
|
More touch up on the 2-col format.
|
2020-12-08 15:45:41 -05:00 |
|
Aaron Huber
|
a8331ef52e
|
Small adjustments to approx algo.
|
2020-12-08 11:59:46 -05:00 |
|
Aaron Huber
|
f20577dead
|
Finished restructuring mult p and single p arguments.
|
2020-12-07 15:12:39 -05:00 |
|
Aaron Huber
|
aaf920e9a3
|
More work on lemmas 3, 4, and lin sys.
|
2020-12-04 13:14:12 -05:00 |