Blog de la Biblioteca de Matemàtiques i Informàtica


Deixa un comentari

SIMBa: Searching for all gene networks capable of pattern formation

simba1

Dijous 24 de msig se celebrarà una nova xerrada del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Conferenciant: Kevin Martínez Añón.
Universitat: Centre de Recerca Matemàtica (CRM), Universitat Autònoma de Barcelona (UAB).

Data: Dimecres, 24 de maig, 2023.
Hora: 13:00, pausa pel cafè; 13:20, xerrada.
Lloc: UAB i Zoom.
Idioma: Anglès.

Títol: Searching for all gene networks capable of pattern formation.

Resum: Development is the process by which the complex anatomy of multicellular organisms is built in each generation. Not many other natural processes lead to so much complexity in such a short period of time.
Morphological transformations during development are regulated by what we call gene regulatory networks, that is, the specific activatory and inhibitory interactions between gene products at a molecular level. In this talk, under the framework of reaction-diffusion models, we attempt a mathematical approach to these developmental transformations by asking ourselves a very simple question: “which gene regulatory networks are actually capable of pattern formation?” More specifically, we wonder whether the immense number of patterning gene networks that we can think of – especially when the number of genes involved in the network is very large – can all be sorted into some few fundamental classes sharing the same topological features and resulting in similar final patterns.

 

Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Playing with Mixed Boolean-Arithmetic algebra

simba1

Dijous 27 d’abril se celebrarà una nova xerrada del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Conferenciant: Arnau Gàmez i Montolio.
Universitat: Universitat de Barcelona.

Data: Dimecres, 27 d’abril, 2023.
Hora: 13:00, pausa pel cafè; 13:20, xerrada.
Lloc: UB (FMI aula B1) i Zoom.
Idioma: Anglès.

Títol: Playing with Mixed Boolean-Arithmetic algebra.

Resum: A Mixed Boolean-Arithmetic (MBA) expression is an algebraic expression composed of integer arithmetic operators, e.g. (+,-, \times) and bitwise operators, e.g. (\wedge, \vee, \oplus, \neg). State-of-the-art software protection mechanisms leverage MBA semantics-preserving transformations to obfuscate code. This possibility is motivated by the fact that the combination of operators from these different fields do not interact well together. Moreover, computer algebra systems do not support bitwise operators with symbolic variables (let alone combining them with arithmetic expressions).
In this talk, we introduce the fundamental ideas, constructions and research literature covering MBA algebra, focusing on (and motivated by) applications in program analysis and software protection. We also outline several open problems and research directions aiming to advance the theoretical formalization and tooling development for MBA algebra reasoning and manipulation.

 

Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.