Commit Graph

997 Commits (master)

Author SHA1 Message Date
Atri Rudra 7cc07ae2b7 Update on Overleaf. 2022-06-10 21:25:36 +00:00
Aaron Huber 25af5eef31 Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea 2022-06-10 11:21:55 -04:00
Aaron Huber 9792f760e5 Fixed a few typos. 2022-06-10 11:21:50 -04:00
Atri Rudra 880472d7f0 Update on Overleaf. 2022-06-10 15:20:59 +00:00
Atri Rudra 8271735896 Update on Overleaf. 2022-06-10 02:57:35 +00:00
Atri Rudra ce39974c49 Update on Overleaf. 2022-06-09 18:48:34 +00:00
Aaron Huber 22acf1ddc2 Changed the position of the N to S arrow in Intensional Evaluation Figure. 2022-06-08 23:20:17 -04:00
Atri Rudra 3363910fbf Update on Overleaf. 2022-06-08 16:32:48 +00:00
Aaron Huber 960bcf9b8b Touch up on appendix Lemma 3.9 proof. 2022-06-08 09:22:02 -04:00
Atri Rudra ff97b62569 Update on Overleaf. 2022-06-08 03:30:23 +00:00
Aaron Huber debe26d72b Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea 2022-06-07 22:49:22 -04:00
Atri Rudra 9f6754399d Update on Overleaf. 2022-06-08 02:49:16 +00:00
Aaron Huber 6cbb6e550c Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea 2022-06-07 22:49:03 -04:00
Atri Rudra 74644cf4c1 Update on Overleaf. 2022-06-08 02:49:03 +00:00
Atri Rudra 684c88fd86 Update on Overleaf. 2022-06-08 02:48:54 +00:00
Atri Rudra d3043b7d70 Update on Overleaf. 2022-06-08 02:48:31 +00:00
Aaron Huber c18cd5500a Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea 2022-06-07 22:48:09 -04:00
Atri Rudra bf28d14470 Update on Overleaf. 2022-06-08 02:48:02 +00:00
Aaron Huber f88cc1ca0b Further changes to S.4/Fig.3 example. 2022-06-07 22:47:50 -04:00
Aaron Huber d8b870b595 Reclaimed a few lines in S.1. 2022-06-07 11:45:50 -04:00
Aaron Huber c82fbbdcca Revised example for S.4, adding fill color to appropriate nodes of circuit figure [fig. 3]. 2022-06-07 10:40:08 -04:00
Aaron Huber 5a18732c08 Addressing the deterministic database issue. 2022-06-07 10:10:19 -04:00
Aaron Huber 07ea722712 Revised S.4 example and corresponding Fig. 3. 2022-06-07 09:32:14 -04:00
Atri Rudra f8fd864a28 Update on Overleaf. 2022-06-07 08:02:26 +00:00
Aaron Huber b47be44de4 Fixed typo. 2022-06-06 09:19:50 -04:00
Aaron Huber f81dbde5b5 Reworked sampmon example over figure 3. 2022-06-06 09:18:55 -04:00
Aaron Huber b8d6319afa Changed color to be darker for fig 3 circuit positive sum labels. 2022-06-06 08:41:00 -04:00
Atri Rudra 054c8951da Update on Overleaf. 2022-06-06 12:11:48 +00:00
Oliver Kennedy 71f7c3259f
Minor cleaning 2022-06-05 13:15:51 -04:00
Atri Rudra 8d4467f7c4 Update on Overleaf. 2022-06-04 21:05:55 +00:00
Aaron Huber 157c8025d4 Another revision of the example in the prior two commits. 2022-06-04 09:34:55 -04:00
Aaron Huber cead0a457e Revised the example of prior commit. 2022-06-04 09:13:06 -04:00
Aaron Huber 5620bb0129 Added example in Algorithm Idea of S.4. 2022-06-04 08:46:31 -04:00
Atri Rudra 5cd5940b29 Update on Overleaf. 2022-06-04 02:54:57 +00:00
Aaron Huber 62d3856d4c Changed p_{t, \textbf{W}_t} to p_{t, j} for j = W_t. 2022-06-03 16:30:29 -04:00
Aaron Huber cd17e7933b Annotated circuit figure and added prose in S.4 to describe OnePass and SampMonomial informally. 2022-06-03 16:25:03 -04:00
Aaron Huber e581f6b9ab Changed SQL in S.3 to subscripts. 2022-06-03 14:13:41 -04:00
Atri Rudra 23033230db Update on Overleaf. 2022-06-03 18:09:33 +00:00
Oliver Kennedy 09c4cf7e39
Smoothing some rough edges in the intro 2022-06-03 13:20:56 -04:00
Oliver Kennedy 923d98fbd1
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea 2022-06-03 12:23:06 -04:00
Oliver Kennedy 80c8d86dd5
Removing autogenerated file 2022-06-03 12:22:50 -04:00
Aaron Huber 6cb3850ea9 Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea 2022-06-03 12:12:22 -04:00
Atri Rudra 345fb77740 Update on Overleaf. 2022-06-03 16:12:09 +00:00
Aaron Huber bca52a1af5 Misc. changes; change X to U in intro example, adjust appendix for S.3 and S.4 changes, etc. 2022-06-03 12:11:54 -04:00
Aaron Huber a34d900345 Small tweak to S.3. 2022-06-03 09:14:56 -04:00
Aaron Huber 852f7e3d23 Small tweaks to S.2. 2022-06-03 08:30:49 -04:00
Aaron Huber dd3ff9b9bf Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea 2022-06-03 07:52:51 -04:00
Aaron Huber a9c92baad3 Fixed glitch with \begin{footnotesize} 2022-06-03 07:52:28 -04:00
Atri Rudra 71ffbf95fa Update on Overleaf. 2022-06-02 22:37:38 +00:00
Aaron Huber 5c517cadc5 Fixing references change in merge conflict. 2022-06-02 09:45:34 -04:00