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 |
|
Boris Glavic
|
30e7e2a651
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-11 14:22:08 -06:00 |
|
Boris Glavic
|
941c0a39fd
|
macros
|
2020-12-11 14:20:15 -06:00 |
|
Aaron Huber
|
0b397d728d
|
Incorporated Boris' suggestions.
|
2020-12-08 12:54:22 -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
|
12c65e6301
|
Cleaned up macros and files a bit.
|
2020-12-03 11:23:53 -05:00 |
|
Aaron Huber
|
c20aec43fa
|
Incorporated all of Oliver's 113020 suggestions.
|
2020-12-03 10:32:09 -05:00 |
|
Aaron Huber
|
28c45f3770
|
Finished implementing @atri Element 112420 suggestions.
|
2020-11-25 16:35:05 -05:00 |
|
Aaron Huber
|
4749bd3652
|
More work on 'safe' queries over BIDB
|
2020-10-01 14:38:40 -04:00 |
|
Aaron Huber
|
f53e0bd69f
|
Started algo 1 for BIDB
|
2020-09-30 10:24:24 -04:00 |
|
Aaron Huber
|
3932ca3040
|
Finished proof of BI --> Q(TI) reduction; finished analysis of approximating general BI.
|
2020-09-24 23:05:19 -04:00 |
|
Aaron Huber
|
53641f74f2
|
Started description of converting BI to Q + TI
|
2020-09-22 17:01:14 -04:00 |
|
Aaron Huber
|
f5482e2770
|
In the middle of Oliver's 091420 suggestions
|
2020-09-16 16:27:50 -04:00 |
|
Aaron Huber
|
9b20a5f195
|
Small changes to tikz drawings.
|
2020-09-12 17:58:14 -04:00 |
|
Aaron Huber
|
038eeeb76d
|
Finished another iteration of Figure 2.
|
2020-09-12 14:25:15 -04:00 |
|
Aaron Huber
|
c6ff46b193
|
More work on figure 2.
|
2020-09-11 21:48:28 -04:00 |
|
Aaron Huber
|
78d482067c
|
Adjustments to subgraph patterns and to figures.
|
2020-09-11 16:40:00 -04:00 |
|
Aaron Huber
|
6a7f874152
|
Figure 1 completed. Started figure 2.
|
2020-09-10 22:14:25 -04:00 |
|
Aaron Huber
|
c24180fbd7
|
Finished drawing subgraph patterns. Started first figure in Section 3 definitions.
|
2020-09-09 17:20:43 -04:00 |
|
Aaron Huber
|
e655bf5c6a
|
Added some pictures for single edge and two path patterns.
|
2020-09-09 12:11:05 -04:00 |
|
Aaron Huber
|
5a3eb6fc5c
|
5 1/2 pages through @atri 090320 pass.
|
2020-09-07 17:03:22 -04:00 |
|
Aaron Huber
|
0af0e48c97
|
Finished up to page 4 on 1st pass Atri 090320 pass.
|
2020-09-07 12:30:07 -04:00 |
|
Aaron Huber
|
770dcbe2e0
|
Finished page 2 of Atri 090220 pass.
|
2020-09-04 21:08:02 -04:00 |
|
Aaron Huber
|
3994dcb02a
|
Started corrections Atri 090220 pass; Section 3
|
2020-09-04 12:12:07 -04:00 |
|
Aaron Huber
|
483d856680
|
Added definitions to Section 2 per Oliver's request.
|
2020-09-01 19:01:33 -04:00 |
|
Aaron Huber
|
e82c3e5bdf
|
Revised SampleMonomial correctness proof.
|
2020-08-25 13:10:25 -04:00 |
|
Aaron Huber
|
13bcc07ec3
|
Polishing algo pseudo code.
|
2020-08-25 11:18:08 -04:00 |
|
Aaron Huber
|
856be5ddff
|
More polishing pseudo code approx algos
|
2020-08-22 10:16:43 -04:00 |
|
Aaron Huber
|
caef645be3
|
Started incorporating algo fixes suggested 082120.
|
2020-08-21 20:16:58 -04:00 |
|
Aaron Huber
|
fe1cd90a14
|
Started a rewrite of Approx. Alg.
|
2020-08-12 17:41:09 -04:00 |
|
Aaron Huber
|
70c5e26ddf
|
Started the 1 \pm \epsilon approx alg.
|
2020-08-05 16:08:40 -04:00 |
|
Aaron Huber
|
c72691900e
|
Minor changes.
|
2020-08-05 09:45:30 -04:00 |
|
Aaron Huber
|
ff81e092d3
|
Finished implementing Atri's changes 073120.
|
2020-08-04 15:30:57 -04:00 |
|
Aaron Huber
|
b3c492c97b
|
Finished determinant calculation for linear system in proving lemma 3.
|
2020-07-22 15:39:53 -04:00 |
|
Aaron Huber
|
cc0163b9a0
|
More work on setting up the linear system.
|
2020-07-21 17:09:29 -04:00 |
|
Aaron Huber
|
360bb98903
|
Started developing linear system.
|
2020-07-21 12:16:46 -04:00 |
|
Aaron Huber
|
fdf08f5c53
|
Started fixing Oliver's suggestion 071820.
|
2020-07-20 15:50:44 -04:00 |
|
Aaron Huber
|
81abd633e6
|
Changes per Atri's suggestions 071820.
|
2020-07-20 12:50:13 -04:00 |
|
Atri Rudra
|
0d102c67e3
|
Made my pass
|
2020-07-18 23:15:35 -04:00 |
|
Aaron Huber
|
0f88083d62
|
Linear combination for G_3 added.
|
2020-07-13 19:16:19 -04:00 |
|
Aaron Huber
|
3a282bd4bf
|
Changes to modeling, data define sections per Atri's comments 070920
|
2020-07-09 15:26:27 -04:00 |
|
Aaron Huber
|
127b009271
|
Rewrote data defintion based on 070320 discussion.
|
2020-07-08 13:08:35 -04:00 |
|
Aaron Huber
|
885d002fbf
|
Modeling and Semantics Section redone using evaluation expression notation
|
2020-07-07 15:37:18 -04:00 |
|
Aaron Huber
|
9df39097c8
|
Added probability notation to notation section
|
2020-07-02 12:06:59 -04:00 |
|
Aaron Huber
|
9c52805d69
|
More work on background/notational/translation section
|
2020-06-30 15:31:06 -04:00 |
|
Aaron Huber
|
bad5590f2f
|
RA to poly translation; corrections 062320
|
2020-06-23 19:33:28 -04:00 |
|
Aaron Huber
|
33fc3d74d6
|
Started translation, notation section
|
2020-06-23 15:49:19 -04:00 |
|
Aaron Huber
|
1fa25f9e4b
|
Lemmas 1 and 2 of polywriteup.
|
2020-06-22 15:45:34 -04:00 |
|
Aaron Huber
|
39907db711
|
Changes completed from 061720 Atri comments.
|
2020-06-19 14:55:07 -04:00 |
|
Aaron Huber
|
49188a6c2c
|
Changes to Poly formulation.
|
2020-06-18 15:19:59 -04:00 |
|
Aaron Huber
|
48afe29b9c
|
More poly-formulation.
|
2020-06-17 10:58:02 -04:00 |
|
Aaron Huber
|
3e3ec84622
|
Started texing poly reformation write up.
|
2020-06-12 11:45:15 -04:00 |
|
Aaron Huber
|
e8dc43e66b
|
Started description and analysis of David's scheme.
|
2020-05-08 11:05:13 -04:00 |
|
Aaron Huber
|
0054717121
|
Started sop.
|
2020-05-01 11:43:07 -04:00 |
|
Aaron Huber
|
6d33fe6de1
|
Changes suggested 042420.
|
2020-04-27 13:03:14 -04:00 |
|
Aaron Huber
|
af16a820ed
|
Proof sketch to S_2 having no double counting.
|
2020-04-24 12:06:20 -04:00 |
|
Aaron Huber
|
2cb84b6204
|
Rewritten proof for \lambda(j, j'), j \neq j'
|
2020-04-20 12:37:19 -04:00 |
|
Aaron Huber
|
4f00796b93
|
Corrections.
|
2020-04-17 12:06:13 -04:00 |
|
Atri Rudra
|
f2a5ee8d6f
|
Changed Aaron's comment background to cyan
|
2020-04-16 22:15:26 -04:00 |
|
Aaron Huber
|
38648e9ecd
|
Added expectation proof for k-way product.
|
2020-04-16 17:26:58 -04:00 |
|
Aaron Huber
|
7f44d527bc
|
More proving lemma 2.
|
2020-04-15 18:49:49 -04:00 |
|
Aaron Huber
|
e78cb83be7
|
Ordering requirement to omit symmetric functions
|
2020-04-09 10:43:06 -04:00 |
|
Aaron Huber
|
257aa9dbdb
|
Changes via 040320 meeting.
|
2020-04-06 11:35:13 -04:00 |
|
Aaron Huber
|
6fe8a72497
|
Formal proofs for Lemma 2
|
2020-04-03 10:47:13 -04:00 |
|