Archive for September 2013

Supervisory Meetings – September 2013   Leave a comment

04/09/2013

>> Before Meeting

Tasks accomplished

  • Continued working on more examples.
  • Tried understanding lemmas from JVLC paper.
  • Submitted Chapters 3, 4 and 5 for Supervisors comments.

>> After Meeting

Summary:

John and Gem helped me understand 1) Lemma which links concrete syntax and abstract syntax (lemma 4.1 in JVLC paper), theoretically needs to be proved for our project. 2) Lemmas for adding and removing of curves. In our case, we need to extend it to vertices and edges.

Action Plans – Mithileysh

  • Continue writing thesis.
  • Work on more examples to understand lemmas.
  • Extend the lemmas to our project.

Action Plans – Supervisors

  • Gem: Extend lemma 4.1 of JVLC paper and let me know how to prove it mathematically.
  • Feedback and comments on Chapter 3, 4 and 5.

—————————————————————————————————————————————————————–

11/09/2013

>> Before Meeting

Tasks accomplished

  • Continued working on more examples.
  • Tried understanding lemmas from JVLC paper.

>> After Meeting

Summary:

Lemmas for proving isomorphism were discussed (lemma 4.1 of jvlc paper).

Action Plans – Mithileysh

  • Continue writing thesis.
  • Work on more examples to understand lemmas.
  • Extend the lemmas to our project.

Action Plans – Supervisors

  • Feedback and comments on Chapter 3, 4 and 5.

—————————————————————————————————————————————————————–

18/09/2013

>> Before Meeting

Tasks accomplished

  • Tried to prove lemmas and extend them for our project

>> After Meeting

Action Plans – Mithileysh

  • Continue writing thesis.
  • Work on more examples to understand lemmas.
  • Continue working extending the lemmas to our project.

Action Plans – Supervisors

  • Assistance in lemmas.

—————————————————————————————————————————————————————–

Advertisements

Posted September 5, 2013 by mithileysh in Supervisory Meetings