 Oliver Kennedy
|
6d2a684189
|
Minor adjustments
|
2021-04-10 00:19:16 -04:00 |
|
Boris Glavic
|
3a68fe6822
|
updates
|
2021-04-09 15:12:46 -05:00 |
|
 Aaron Huber
|
9dade793f7
|
Small fixes to Appendix C
|
2021-04-09 11:48:10 -04:00 |
|
|
Oliver Kennedy
|
345d95b651
|
Read through: Space, grammar, notation fixes
|
2021-04-07 01:02:46 -04:00 |
|
 Atri Rudra
|
6b918517ef
|
Added notation for int mult complexity
|
2021-04-06 10:40:05 -04:00 |
|
|
Boris Glavic
|
1481e3b1f9
|
up
|
2021-04-06 09:16:09 -05:00 |
|
|
Boris Glavic
|
37196c454b
|
boris bad intro
|
2021-04-02 12:00:56 -05:00 |
|
|
Aaron Huber
|
9fc77e005b
|
typo fixes
|
2021-04-01 15:28:02 -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
|
7f77653e1b
|
Finished my first past implementing Reviewer Suggestions.
|
2021-03-10 13:28:04 -05:00 |
|
|
Aaron Huber
|
39b176f045
|
More adjustments to save space; currently ~8.5 pages over.
|
2021-03-09 11:43:38 -05:00 |
|
|
Aaron Huber
|
4a55032435
|
Changed to ICDT format.
|
2021-03-06 20:34:18 -05:00 |
|
|
Aaron Huber
|
c77ae26066
|
Finished all @atri 030421 and 030521 changes.
|
2021-03-05 16:42:12 -05:00 |
|
|
Aaron Huber
|
22ab0d9607
|
Changes: OnePass Alg now upholds reduced circuit invariant, argument updated for SampleMonomial Runtime Analysis, text explaining reduced cirucit.
|
2021-03-02 12:27:26 -05:00 |
|
|
Aaron Huber
|
ff1431a195
|
Added new SampleMonomial proof with Cost function.
|
2021-02-23 10:45:58 -05:00 |
|
|
Aaron Huber
|
d4717bc249
|
Finished @atri 021821 suggestions modulo element Qs.
|
2021-02-11 12:33:57 -05:00 |
|
|
Aaron Huber
|
ba6010daa8
|
Finished rewrite of SampMon; started Iterative solution of OnePass
|
2021-02-08 13:44:50 -05:00 |
|
|
Aaron Huber
|
3b6dbf35d9
|
More revision of OnePass per @atri 020421 comments/feedback
|
2021-02-05 11:43:01 -05:00 |
|
|
Aaron Huber
|
2e7eff28df
|
Macro name change.
|
2021-01-29 09:57:20 -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 |
|
|
Aaron Huber
|
814a0278fd
|
Changes to S 2.4 (from etrees to circuits)
|
2021-01-27 17:28:53 -05:00 |
|
|
Oliver Kennedy
|
02b7c4fa2c
|
Misc clarifications
|
2020-12-20 17:13:52 -05:00 |
|
|
Aaron Huber
|
9aaf254977
|
Conformed S2 to notation convention for probabilities.
|
2020-12-19 23:19:02 -05:00 |
|
|
Aaron Huber
|
41f1d6dd38
|
Used macros for probability notation S1
|
2020-12-19 22:36:51 -05:00 |
|
|
Oliver Kennedy
|
a2bf8d6daf
|
Trimming for space
|
2020-12-19 12:59:27 -05:00 |
|
|
Boris Glavic
|
61b46da038
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-19 00:21:03 -06:00 |
|
|
Boris Glavic
|
923cba6a34
|
merged bib + wrote related work
|
2020-12-19 00:19:27 -06:00 |
|
|
Oliver Kennedy
|
e45be8b1c5
|
Finishing S4.
|
2020-12-19 01:15:50 -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 |
|
|
Oliver Kennedy
|
2b200bfd0e
|
Minor tweaks
|
2020-12-18 16:21:19 -05:00 |
|
|
Oliver Kennedy
|
abc401dc33
|
Intro pass
|
2020-12-18 16:14:11 -05:00 |
|
|
Atri Rudra
|
8993b36ccc
|
added some minor macros
|
2020-12-18 12:10:48 -05:00 |
|
|
Aaron Huber
|
afea147ae3
|
Finished Experiments
|
2020-12-15 10:55:07 -05:00 |
|
|
Boris Glavic
|
ece02d0b1d
|
poly
|
2020-12-14 22:34:12 -06:00 |
|
|
Atri Rudra
|
28bcd103bf
|
Done in Sec 4 till definition of gamma
|
2020-12-14 11:47:18 -05:00 |
|
|
Boris Glavic
|
8255ac56bb
|
macors
|
2020-12-13 23:33:29 -06:00 |
|
|
Boris Glavic
|
d80d1f5373
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-13 23:30:44 -06:00 |
|
|
Boris Glavic
|
7033730314
|
background
|
2020-12-13 23:30:09 -06:00 |
|
|
Oliver Kennedy
|
ff71aa617e
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-13 17:46:33 -05:00 |
|
|
Oliver Kennedy
|
d6825c38c6
|
More intro polish
|
2020-12-13 17:45:44 -05:00 |
|
|
Boris Glavic
|
9c638e6f4c
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-13 14:55:29 -06:00 |
|
|
Boris Glavic
|
77c7fa7f06
|
RA
|
2020-12-13 14:51:55 -06:00 |
|
|
Atri Rudra
|
b4db64933c
|
made some macro changes
|
2020-12-13 13:05:43 -05:00 |
|
|
Atri Rudra
|
78b88510dd
|
Changed all thm etc. to have same counter
|
2020-12-13 12:49:27 -05:00 |
|
|
Boris Glavic
|
81405337ff
|
macros
|
2020-12-13 10:10:22 -06:00 |
|
|
Boris Glavic
|
1074db700e
|
ra
|
2020-12-13 10:09:49 -06:00 |
|
|
Boris Glavic
|
f0b28d6f64
|
pdb def
|
2020-12-13 00:50:08 -06:00 |
|
|
Boris Glavic
|
470b8b4aff
|
abstract
|
2020-12-11 18:50:53 -06:00 |
|