Boris Glavic
|
aaebbc7912
|
sec 3
|
2020-12-18 11:23:13 -06:00 |
|
Aaron Huber
|
a8c399325e
|
Ported some defs from S4 to S2; capitalized variables.
|
2020-12-18 11:39:38 -05:00 |
|
Aaron Huber
|
e9d13722af
|
Moved S2 proofs into Appendix
|
2020-12-17 17:08:48 -05:00 |
|
Aaron Huber
|
fe14d240b6
|
Fixed end of lemma 3.5 proof.
|
2020-12-16 17:25:37 -05:00 |
|
Aaron Huber
|
ac684a8d47
|
Made a pass on S2.
|
2020-12-16 12:38:21 -05:00 |
|
Aaron Huber
|
b4d0814133
|
Fixed typo in section 2.
|
2020-12-16 09:54:46 -05:00 |
|
Aaron Huber
|
88f2d50b4f
|
Resolving conflicts
|
2020-12-15 18:48:44 -05:00 |
|
Aaron Huber
|
ccc2f2ef0b
|
Minor cosmetic changes
|
2020-12-15 18:46:36 -05:00 |
|
Oliver Kennedy
|
9e101082c7
|
Minor typo fixes
|
2020-12-15 17:46:35 -05:00 |
|
Boris Glavic
|
29f1c618fe
|
outsources old backgrdount to old-background.tex
|
2020-12-13 23:43:20 -06:00 |
|
Boris Glavic
|
7033730314
|
background
|
2020-12-13 23:30:09 -06:00 |
|
Boris Glavic
|
77c7fa7f06
|
RA
|
2020-12-13 14:51:55 -06:00 |
|
Boris Glavic
|
b299433144
|
RA
|
2020-12-13 10:11:29 -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 |
|
Aaron Huber
|
d9abe760a0
|
Moved definitions, lemmas, etc. to background/notation section.
|
2020-12-11 20:19:45 -05:00 |
|
Aaron Huber
|
aaf920e9a3
|
More work on lemmas 3, 4, and lin sys.
|
2020-12-04 13:14:12 -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
|
9f2a1cc70c
|
First draft of Introduction.
|
2020-11-16 12:10:35 -05:00 |
|
Aaron Huber
|
15e06595e7
|
Added the IntroOutline to the Repo
|
2020-11-11 15:45:38 -05: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
|
f5482e2770
|
In the middle of Oliver's 091420 suggestions
|
2020-09-16 16:27:50 -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
|
caef645be3
|
Started incorporating algo fixes suggested 082120.
|
2020-08-21 20:16:58 -04:00 |
|
Aaron Huber
|
5b8b354c9c
|
Started incorporating Oliver's 081420 suggestions
|
2020-08-20 14:01:56 -04:00 |
|
Aaron Huber
|
2cc520e533
|
Finished implementing Oliver's suggestions 071820.
|
2020-07-20 21:18:14 -04:00 |
|
Aaron Huber
|
fdf08f5c53
|
Started fixing Oliver's suggestion 071820.
|
2020-07-20 15:50:44 -04:00 |
|
Oliver Kennedy
|
1352029372
|
A few comments.
|
2020-07-16 21:41:43 -04:00 |
|
Aaron Huber
|
5dc171e1ad
|
Changed to one column.
|
2020-07-14 11:45:57 -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
|
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 |
|
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
|
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
|
61751a28c6
|
Made pass on Sec 1
|
2020-06-23 09:57:35 -04:00 |
|
Aaron Huber
|
3e3ec84622
|
Started texing poly reformation write up.
|
2020-06-12 11:45:15 -04:00 |
|