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 |
|