 Aaron Huber
|
0dfd647927
|
Added a comment.
|
2020-07-13 11:17:58 -04:00 |
|
|
Aaron Huber
|
60fd6db07c
|
Proof of linear combination of G_1 for G_2 3-matchings.
|
2020-07-13 11:14:31 -04:00 |
|
|
Aaron Huber
|
d61967ef5c
|
Minor changes after 071020 meeting.
|
2020-07-10 13:50:13 -04:00 |
|
 Atri Rudra
|
2ff236556d
|
Minor corrects+ new comments
|
2020-07-09 15:59:57 -04:00 |
|
|
Atri Rudra
|
9c5e32f2ba
|
Responded to Q on join semantics
|
2020-07-09 15:53:53 -04:00 |
|
|
Aaron Huber
|
3a282bd4bf
|
Changes to modeling, data define sections per Atri's comments 070920
|
2020-07-09 15:26:27 -04:00 |
|
|
Atri Rudra
|
a838da405b
|
Done with pass on Sec 1
|
2020-07-09 00:33:02 -04:00 |
|
|
Atri Rudra
|
db5449b733
|
Done with pass on Sec 1.2
|
2020-07-09 00:23:09 -04:00 |
|
|
Aaron Huber
|
98d0f7b7b2
|
Some small changes.
|
2020-07-08 16:48:37 -04:00 |
|
|
Aaron Huber
|
76838de40d
|
Forgot to erase a comment.
|
2020-07-08 13:38:29 -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
|
f8c9ceaef8
|
fix
|
2020-07-03 12:50:52 -04:00 |
|
|
Aaron Huber
|
813d52469b
|
Started rewriting section 1.2
|
2020-07-03 11:45:43 -04:00 |
|
|
Atri Rudra
|
85332ceb3a
|
Done with pass on Sec 1
|
2020-07-02 22:12:25 -04:00 |
|
|
Atri Rudra
|
33ba6d3aac
|
Done with pass on Sec 1.2
|
2020-07-02 16:58:19 -04:00 |
|
|
Atri Rudra
|
e8a5817336
|
NOT done with pass yet.
Am in middle of Sec 1.2. Will finish my pass later tonight
|
2020-07-02 16:23:46 -04:00 |
|
|
Atri Rudra
|
f32ea5e393
|
Done with Sec 1.1
|
2020-07-02 16:18:44 -04:00 |
|
|
Atri Rudra
|
a0f1fbea51
|
Started with my pass on Sec 1
|
2020-07-02 16:15:35 -04:00 |
|
|
Aaron Huber
|
9df39097c8
|
Added probability notation to notation section
|
2020-07-02 12:06:59 -04:00 |
|
|
Aaron Huber
|
b8d2ca529d
|
More changes for the translation/notation/background section
|
2020-06-30 20:08:32 -04:00 |
|
|
Aaron Huber
|
9c52805d69
|
More work on background/notational/translation section
|
2020-06-30 15:31:06 -04:00 |
|
|
Aaron Huber
|
432a3fb7e9
|
Corrections 062620 Oliver
|
2020-06-29 12:04:05 -04:00 |
|
|
Aaron Huber
|
d5904f7f40
|
Oliver Comments
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2020-06-26 23:14:56 -04:00 |
|
|
Aaron Huber
|
49afd1aa76
|
Notes from 062620
|
2020-06-26 23:14:44 -04:00 |
|
 Oliver Kennedy
|
767f3676bf
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-06-26 17:28:07 -04:00 |
|
|
Oliver Kennedy
|
0d58ec08b7
|
Oliver's notes
|
2020-06-26 17:27:52 -04:00 |
|
|
Aaron Huber
|
79903caaa3
|
Latest Version
|
2020-06-26 12:59:24 -04:00 |
|
|
Aaron Huber
|
6e8a7e8027
|
More changes from 062320 suggestions
|
2020-06-24 11:58:14 -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 |
|
|
Atri Rudra
|
29afac852e
|
Done with pass
|
2020-06-23 10:57:17 -04:00 |
|
|
Atri Rudra
|
a1a8e7edfb
|
Done till Sec 2.1
|
2020-06-23 10:30:36 -04:00 |
|
|
Atri Rudra
|
de85ce5dc8
|
Started pass on Sec 2
|
2020-06-23 10:16:57 -04:00 |
|
|
Atri Rudra
|
61751a28c6
|
Made pass on Sec 1
|
2020-06-23 09:57:35 -04:00 |
|
|
Aaron Huber
|
023fdf6750
|
Lemma 1 and Lemma 2 of poly write up
|
2020-06-23 09:46:38 -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
|
9c59544bef
|
Proof for \tilde{Q}(p,...p)
|
2020-06-15 18:38:10 -04:00 |
|
|
Aaron Huber
|
3e3ec84622
|
Started texing poly reformation write up.
|
2020-06-12 11:45:15 -04:00 |
|
|
Aaron Huber
|
a892a91480
|
Test push.
|
2020-06-09 17:27:07 -04:00 |
|
|
Aaron Huber
|
e8dc43e66b
|
Started description and analysis of David's scheme.
|
2020-05-08 11:05:13 -04:00 |
|
|
Aaron Huber
|
166bf05a6a
|
Comments from 050120 meeting.
|
2020-05-01 14:17:17 -04:00 |
|
|
Aaron Huber
|
0054717121
|
Started sop.
|
2020-05-01 11:43:07 -04:00 |
|
|
Aaron Huber
|
c9cef7ac03
|
Notes on potential bugs.
|
2020-04-30 11:57:49 -04:00 |
|
|
Aaron Huber
|
fa503b469b
|
Some minor changes.
|
2020-04-29 15:57:52 -04:00 |
|
|
Aaron Huber
|
ac2679081c
|
Lemma 5 for T_1, and Lemma 6 for eq(97).
|
2020-04-29 12:17:10 -04:00 |
|
|
Aaron Huber
|
b1f82a318f
|
More changes
|
2020-04-27 17:02:58 -04:00 |
|