Aaron Huber
|
763edccf11
|
Fixing merge conflict.
|
2022-06-02 09:43:04 -04:00 |
Atri Rudra
|
f539eaba8e
|
Update on Overleaf.
|
2022-06-02 13:37:51 +00:00 |
Aaron Huber
|
d0efa8b02f
|
Update of References in main.bib
|
2022-06-02 09:37:36 -04:00 |
Aaron Huber
|
55231bf45a
|
Minor changes to def 2.7, def 2.9 and the prose between them.
|
2022-06-01 11:10:09 -04:00 |
Aaron Huber
|
5b15b18555
|
Added c to T^* notation; adjustment to footnote 3 for readability.
|
2022-06-01 10:27:43 -04:00 |
Aaron Huber
|
4ed52ae2bc
|
Scaled tikz circuit figure.
|
2022-06-01 08:25:49 -04:00 |
Aaron Huber
|
c02c70bb86
|
Migrated back to default spacing for table/caption figures; added macro to adjust if needed.
|
2022-05-31 11:28:15 -04:00 |
Aaron Huber
|
4ddedbe061
|
Changed spacing back to 'normal' for newtheorem environments.
|
2022-05-31 08:37:31 -04:00 |
Aaron Huber
|
5c75ee728a
|
Decreased length of caption for Lower Bounds table; capitalized the title; adjusted spacing of captions on figures.
|
2022-05-27 09:17:57 -04:00 |
Aaron Huber
|
900820976e
|
Moved def poly degree as well as cut a few other extraneous sentences.
|
2022-05-26 10:13:59 -04:00 |
Aaron Huber
|
167623ab98
|
Adjustbox on Intensional Query Evaluation Figure for the table row with two circuits.
|
2022-05-26 07:54:24 -04:00 |
Aaron Huber
|
b063e45434
|
Fixed notation \prob_{X, 1} to \prob_{X_1} in expectation table of Intensional Query Evaluation figure [figure 2].
|
2022-05-25 10:08:38 -04:00 |
Aaron Huber
|
5a29726a36
|
Trimmed down Intensional Query Evaluation figure [fig 2].
|
2022-05-25 09:47:05 -04:00 |
Aaron Huber
|
a189cdcb64
|
Changed wording for fig. 1 (lineage polynomial semantics) caption.
|
2022-05-24 11:02:30 -04:00 |
Boris Glavic
|
1aa796641a
|
updates
|
2022-05-21 16:36:14 +02:00 |
Boris Glavic
|
347cca2f7d
|
shorter
|
2022-05-21 14:50:36 +02:00 |
Boris Glavic
|
a9d3984dbf
|
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
|
2022-05-20 19:43:18 +02:00 |
Boris Glavic
|
f2fff0d67a
|
no sync
|
2022-05-20 19:43:04 +02:00 |
Oliver Kennedy
|
62975da833
|
moving 1.6 and poly(*) to appendix
|
2022-05-19 14:45:58 -04:00 |
Aaron Huber
|
18f64450b8
|
Reworked example after Problem 1.6 to be simpler.
|
2022-05-19 09:10:18 -04:00 |
Aaron Huber
|
2a932395bd
|
Fixing merge conflict in approx_alg.tex
|
2022-05-19 07:56:46 -04:00 |
Aaron Huber
|
ad2ba158ce
|
Trying to merge
|
2022-05-19 07:50:41 -04:00 |
Aaron Huber
|
aafaf8bab8
|
Minor tweaks to S.4
|
2022-05-19 07:23:02 -04: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
|
483bdb9a19
|
Small changes, fixing bugs and typos.
|
2022-05-17 10:55:17 -04:00 |
Aaron Huber
|
86fb2bce86
|
Trying to fix merge conflict.
|
2022-05-17 09:37:18 -04:00 |
Aaron Huber
|
37bab00894
|
Small minor changes.
|
2022-05-17 09:29:45 -04:00 |
Oliver Kennedy
|
2c2a20eba2
|
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
|
2022-05-14 15:23:15 -04:00 |
Oliver Kennedy
|
e848bdf259
|
Removing autogenerated files
|
2022-05-14 15:21:00 -04:00 |
Aaron Huber
|
3511a18e54
|
Fixes to Appendix D.
|
2022-05-13 13:45:24 -04:00 |
Aaron Huber
|
dbb14420db
|
Minor tweaks on appendix D.
|
2022-05-11 10:10:51 -04:00 |
Atri Rudra
|
00dc258028
|
Update on Overleaf.
|
2022-05-05 13:30:52 +00:00 |
Aaron Huber
|
1cbcf4c927
|
Some changes to proof for Sample Monomial, probability bound for approximation algo.
|
2022-05-03 10:03:54 -04:00 |
Aaron Huber
|
ef0bc79ec8
|
Fixes based on 042822 discussion.
|
2022-05-02 11:17:01 -04:00 |
Aaron Huber
|
813a7f73c0
|
Changes to Conjecture 3.2.
|
2022-05-02 08:10:58 -04:00 |
Aaron Huber
|
78c73d91d9
|
Revision of Prop 2.4 and proof, Lemma 2.6 proof, etc.
|
2022-04-28 10:58:27 -04:00 |
Aaron Huber
|
1ca2c00cd0
|
Finished cleaning App C; started App D.
|
2022-04-27 10:45:00 -04:00 |
Aaron Huber
|
775ec53143
|
Read through/cleaning of Appendix C up to C.11.
|
2022-04-26 14:19:14 -04:00 |
Aaron Huber
|
77cdb3d83b
|
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
|
2022-04-26 09:07:43 -04:00 |
Aaron Huber
|
2208604fac
|
Reworked proof for Lem 4.8.
|
2022-04-26 09:07:15 -04:00 |
Aaron Huber
|
415f6431c6
|
Reworked proof for Lem 4.9.
|
2022-04-26 09:02:09 -04:00 |
Aaron Huber
|
d101fc8df6
|
Finished cleaning Appendix B.
|
2022-04-21 11:46:21 -04:00 |
Aaron Huber
|
e749eb8708
|
Started cleaning Appendix B.
|
2022-04-20 11:03:16 -04:00 |
Aaron Huber
|
cac0a7921b
|
Finished cleaning pass on Appendix A.
|
2022-04-20 09:45:11 -04:00 |
Aaron Huber
|
d290904845
|
Cleaning Appendix A up to Lem 1.4.
|
2022-04-19 15:20:55 -04:00 |
Aaron Huber
|
614ef89b4d
|
Cleaning Appendix A.
|
2022-04-19 10:38:52 -04:00 |
Aaron Huber
|
5ba5085f4b
|
Rewrote the 'Concurrent Work' paragraph, including a citation, and other aspects of Grohe's work, comparing/contrasting with ours.
|
2022-04-19 08:18:07 -04:00 |
Aaron Huber
|
aabae13b75
|
Added proof to Prop 2.4; added text speaking of Grohe's work; started cleaning the appendix.
|
2022-04-19 07:53:10 -04:00 |
Atri Rudra
|
dc222467df
|
Update on Overleaf.
|
2022-04-06 11:31:14 +00:00 |