Antoine Spicher

From MGS to Global Transformations





5 comments:

  1. Hi Antoine -- thanks for a very substantial presentation! One quick point of clarification. On slide 40, you have 0--3 cells. Does it stop there, or can you have n-D hypercells?

    ReplyDelete
    Replies
    1. Antoine Spicher27 March 2020 at 14:07

      Dear Susan, the mathematical object used here is abstract cellular complexes. Formally, it is a ranked partial order on the set of topological cells. In this context, the order relationship is interpreted as cells being incident or not, and the rank corresponds to the dimension of the cell. So to clearly answer, there is no theoretical limitation to the dimension.

      Delete
  2. Slide 33: A program is a set of rules. As the structure dynamically changes, there is the opportunitiy for new rules to come into effect / be applicaple (eg, in the case of embryo development -- as the embryo develops more, "higher level" processes start to occur. Are there any thoughts on how to make these *rules* dynamic/emergent? As you say on slide 5, "the structure of the state is needed to specify the evolution function" -- here I'm thinking not just specify as in select what's applicable here, but specify as in new state structure => new evolution function.

    ReplyDelete
    Replies
    1. Antoine Spicher27 March 2020 at 15:39

      What you propose has been investigated in chemical computing (see Higher-Order Chemical Programming Style by J. -P. BanĂ¢tre, P. Fradet, Y. Radenac). In these works, rules are considered as first citizen data so that rules can be transformed as any other data. The programs is dynamic and rules can be generated by the program itself. At the moment, we do not have implemented higher-order features in MGS or in Global Transformations but it is an interesting suggestion of course.

      Delete
  3. Antoine Spicher27 March 2020 at 15:38

    What you propose has been investigated in chemical computing (see Higher-Order Chemical Programming Style by J. -P. BanĂ¢tre, P. Fradet, Y. Radenac). In these works, rules are considered as first citizen data so that rules can be transformed as any other data. The programs is dynamic and rules can be generated by the program itself. At the moment, we do not have implemented higher-order features in MGS or in Global Transformations but it is an interesting suggestion of course.

    ReplyDelete

Because this is an academic event, please comment using your real (academic) name.