Agosto 2019

Ponente: Hagit Attiya
Institución: Technion, Israel

27/08/2019
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"

Modern replicated data stores aim to provide high availability, by immediately responding to client requests, often by implementing objects that expose concurrency and do not have a sequential specification, like multi-valued registers (MVRs).

We explore a recent model for replicated data stores that can be used to precisely specify causal consistency for such objects, and liveness properties like eventual consistency, without revealing details of the underlying implementation. The model is used to prove what is the stronger consistency model that can be supported by an eventually consistent data store implementing MVRs, for a large class of protocols. For the same class, we prove that an eventually consistent and causally consistent replicated data store must send messages of unbounded size.

We further specify the list object, modeling the core functionality of replicated data stores for collaborative text editing and allowing users to concurrently edit a shared document, inserting and deleting elements (e.g., characters or lines). A major factor determining the efficiency and practical feasibility of a collaborative text editing protocol is the space overhead of its metadata. We prove that for a large class of protocols implementing a list, this space overhead is at least linear in the number of elements deleted from the list. A protocol in this class almost matches the lower bound.

archivado en: Coloquio

Ponente: Dimitri Leemans
Institución: Universidad Libre de Bruselas, Bélgica

20/08/2019
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"

String C-group representations of finite groups, and in particular of finite simple groups, have gained a lot of interest in the last 15 years thanks to their connection with abstract regular polytopes. We will define what they are, show the link with the theory of abstract regular polytopes and give some recent results on string C-group representations of some families of groups.

 

Ponente: José Antonio Seade
Institución: IM-UNAM

06/08/2019  de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"

Las clases de Chern de una variedad compleja M son ciertos elementos distinguidos en la cohomología de M, asociadas a su haz tangente TM. Más precisamente, miden qué tanto podemos construir campos vectoriales linealmente independientes. Por ejemplo, la clase de dimensión máxima se puede identificar con los ceros de un campo vectorial y por tanto, si la variedad es compacta, básicamente es la característica de Euler. El tema que a mi me concierne es ¿qué sucede si nuestra variedad M tiene singularidades, es decir puntos donde no existe el haz tangente?
En esta plática hablaremos brevemente sobre las clases de Chern clásicas, definiremos de manera simple lo que son las variedades singulares. Presentaremos una visión general de distintos enfoques para definir clases de Chern de variedades singulares y la relación entre éstos.

 

Ponente: Manuel Domínguez
Institución: IM-UNAM

13/08/2019
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"

En esta plática estudiaremos bajo qué condiciones podemos aplicar transformaciones de Darboux estocásticas asociadas a la matriz de transición de probabilidades de una caminata aleatoria con espacio de estados en los enteros, que es una matriz tridiagonal estocástica doblemente infinita (o matriz de Jacobi). Posteriormente analizaremos la relación entre la matriz espectral de la caminata aleatoria original y las de las transformaciones de Darboux asociadas, que básicamente estarán dadas por conjugaciones por polinomios matriciales de grado 1 de transformaciones de Geronimus de la matriz espectral original.

 

¿Quien está en línea?

Tenemos 270 visitantes y ningun miembro en Línea

Go to top