Tag Archives: Bioinformatics

30/11/2017 – Talk by Ludovica Luisa Vissat

Title: Modelling of spatial stochastic systems and analysis of their spatio-temporal properties
Time: 13:00
Location: Meeting room, Ed. Zeta
Type: Research Result
Speaker: Ludovica Luisa Vissat
Abstract: In my talk I will give an overview of my PhD research work. We have initially developed a novel process algebra, specifically tailored for modelling ecological systems, and more generally for spatial stochastic systems. These systems can be seen as a collection of agents that can interact and are spatially located. To analyse properties of the dynamics of these stochastic systems, we worked with spatio-temporal logics and statistical model checking.

We introduced the novel Three-Valued Spatio-Temporal Logic, which extends the available analysis, looking at the spatio-temporal evolution of the satisfaction probabilities of given logical formulas, estimated through statistical model checking. I will present different case studies during the talk, to show various applications of our modelling language and spatio-temporal analysis.

23/10/2014 – Talk by Laurent Vuillon (Université de Savoie)

Title: From tilings to fibers: bio-mathematical aspects of fold plasticity
Time: 14:00
Location: Meeting room
Type: Research Result
Speaker: Laurent Vuillon (Université de Savoie)
Abstract:
Protein oligomers are made by the association of protein chains via intermolecular amino acid interactions (interaction between subunits) forming so called protein interfaces. This talk proposes mathematical concepts to investigate the shape constraints on the protein interfaces in order to promote oligomerization. First, we focus on tiling the plane (2 dimensions) by translation with abstract shapes. Using the fundamental Theorem of Beauquier-Nivat, we show that the shapes of the tiles must be either like a square or like a hexagon to tile the whole plane. Second, we look in more details at the tiling of a cylinder and discuss its relevancy in constructing protein fibers. The universality of such “building” properties are investigated through biological examples.