Aaron Huber
|
46cff2029a
|
Small ToDo note edit.
|
2020-11-25 16:40:13 -05:00 |
|
Aaron Huber
|
c70afe6b18
|
Outline and more description of BI to TI + Q reduction
|
2020-09-23 13:37:09 -04:00 |
|
Aaron Huber
|
53641f74f2
|
Started description of converting BI to Q + TI
|
2020-09-22 17:01:14 -04:00 |
|
Aaron Huber
|
c1192863ea
|
Finished implementing Oliver's 091420 suggestions
|
2020-09-17 13:51:57 -04:00 |
|
Aaron Huber
|
0a19a6b852
|
More changes per Oliver 091420 pass.
|
2020-09-16 22:40:41 -04:00 |
|
Aaron Huber
|
f5482e2770
|
In the middle of Oliver's 091420 suggestions
|
2020-09-16 16:27:50 -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
|
f8b4779759
|
More corrections up to Lemma 13.
|
2020-09-04 18:32:40 -04:00 |
|
Aaron Huber
|
3994dcb02a
|
Started corrections Atri 090220 pass; Section 3
|
2020-09-04 12:12:07 -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
|
9b6b695ade
|
Changes to Variance Calculations based on generalizing v.
|
2019-08-14 09:46:34 -04:00 |
|
Aaron Huber
|
0af40b80a1
|
More fixes per Atri's suggestions
|
2019-08-07 11:57:07 -04:00 |
|