Noticimat 44

Seminarios

Hora: 12:15 (GMT-6)

Enlace de transmisión: https://cuaieed-unam.zoom.us/j/81142421127 

Ponente: Gabor Toth ( FernUniversita ̈t in Hagen, Alemania)

Título: El modelo de campo medio para sistemas de votación de dos niveles

Resumen: Definimos el modelo de campo medio de varios grupos así como los tres regímenes del modelo. Luego analizamos sus propiedades asintóticas. En lo particular, planteamos teoremas límite para los regímenes de temperatura alta y baja. En la segunda parte de la exposición definimos los sistemas de votación de dos niveles y el concepto del déficit democrático. Utilizamos el modelo de campo medio como descripción del comportamiento de los votantes y presentamos la solución del problema de la determinación de las ponderaciones óptimas en el consejo.

 

Pueden revisar la página web del seminario en:

https://sites.google.com/sigma.iimas.unam.mx/sph/septiembre-diciembre-2021

 

Hora: 12:30 (GMT-6)

Enlace de transmisión: https://bluejeans.com/379350942

Ponente: Dr. Julio Estrada Rico (CIMAT)

Título: AI-Augmented Software Engineering: Testing automation through Machine Learning

Resumen: In this talk, I’m going to present the latest research work we develop at CIMAT and that falls into a very interesting area, which is Software Engineering, under this new concept that Gartner (a influencer company dedicated to research, consulting and technology divulgation at San Francisco US area) considers it as one of the more impacting Emerging Technologies and Trends in the radar. This new concept is AI-Augmented Software Engineering. In particular, we will talk about Testing Automation using Machine Learning and AI. Software Testing is one of the most important steps in the software development process and so is the importance of the research and technology development in this area by using artificial intelligence because of its adaptiveness and generalization.

 

Until now, with some fear of being wrong, CIMAT is the only research institute where AI-Augmented Software Engineering is actively developed in the last year. The other players are companies as Amazon, Microsoft, OutSystems, Diffblue, Functionize, IBM, Kite, Mendix and Scopemaster. There is a challenge in processing this kind of data which is instantiated into browsers like Chrome, Firefox and in mobile applications, where Java Script controls the logic. So in this talk, we are going to present one of the approaches that we can apply to build a bot able to follow a Testing plan and recorded instance over some application, take control of the application and execute the test from beginning to end without human intervention.

 

Hora: 15:30 (GMT-6)

Enlace de transmisión: https://bluejeans.com/759804451  

Ponente: Sebastián Olano (University of Michigan)

Título: Ideales de Hodge de peso

Resumen: Los ideales de Hodge son una generalización de los ideales de multiplicadores. Estos ideales aparecen al estudiar la filtración de Hodge de la gavilla de funciones holomorfas en una variedad algebraica lisa con polos en una hipersuperficie. Al estudiar además la filtración de peso, se definen de manera análoga los ideales de Hodge de peso (weighted Hodge ideals). En esta charla hablaré de algunos resultados de los ideales de Hodge de peso que se obtienen usando métodos de geometría birracional. El énfasis serán los 0-ésimos ideales de Hodge de peso, que forman una secuencia de ideales cuyo primer miembro es el ideal de adjunción y el último es un ideal de multiplicadores, así como sus aplicaciones al estudio de singularidades de una hipersuperficie.

 

Hora: 16:30 (GMT-6)

Enlace de transmisión: https://bluejeans.com/192812959

Ponente: Raquel Perales (Instituto de Matemáticas UNAM-Oaxaca)

Título: Cota superior del primer número de Betti y estabilidad de toros

Resumen: Gracias a Gromov y Gallot sabemos que dada una dimensión fija $n$ existe un número $varepsilon(n)> 0$ de modo que cualquier variedad riemanniana cerrada $(M, g)$ de dimensión $n$ que satisfaga $ extrm{Ric} _g extrm{diam}(M, g)^2 geq - varepsilon(n)$ tiene primer número Betti menor o igual que $n$. En el caso de igualdad, $ extrm{b} _1(M) = n$, Cheeger y Colding demostraron que $M$ tiene que ser biholder a un toro plano. Este es el resultado de estabilidad correspondiente al resultado de rigidez demostrado por Bochner, a saber, las variedades riemannianas cerradas con curvatura de Ricci no negativa y primer número de Betti igual a su dimensión tienen que ser un toro.

En esta charla generalizamos primero el resultado de Gromov y Gallot, y luego el de Cheeger y Colding, a espacios $RCD(K, N)$; noción sintética de variedades riemannianas que satisfacen $ extrm{Ric} geq K$ y $ extrm{dim} leq N$ e incluye a dichas variedades, sus límites de Gromov-Hausdorff y a los espacios de Alexandrov.

 

Hora: 11:30 (GMT-6)

Enlace de transmisión: https://bluejeans.com/857216379

Ponente: Francisco Javier Gurrola Ramos

Asesores: Dr. Oscar Dalmau Cedeño, Dr. Arturo Hernández Aguirre

Título: Eliminación de ruido en imágenes y súper-resolución utilizando redes neuronales profundas.

Resumen: La eliminación de ruido de imágenes es un problema importante en el área del procesamiento de imágenes de bajo nivel. Su principal objetivo es recuperar una imagen limpia, la cual ha sido corrompida por ruido procedente de alguna fuente. En esta charla se expondrán los modelos de redes neuronales profundas propuestos para éste problema, y los resultados obtenidos de su aplicación a imágenes de diferentes dominios como lo son imágenes naturales, patrones de franjas de interferometría óptica, e imágenes de resonancia magnética de cerebro.

Por otro lado, súper-resolución se refiere al proceso de recuperación imágenes en alta resolución a partir de imágenes en baja resolución. En general, este problema es muy desafiante e intrı́nsecamente mal planteado, ya que siempre hay múltiples imágenes de alta resolución correspondientes a una sola imagen de baja resolución. Se presentarán algunos resultados preliminares de super-resolución en imágenes naturales.

 

Hora: 10:00 (GMT-6)

Enlace de transmisión: meet.google.com/zom-yrnz-ern 

Ponente: Dr. Pedro Luis del Ángel Rodríguez (CIMAT-Guanajuato)

Título: Variaciones sobre un tema de Euler

Resumen: Recordaremos el celebrado teorema de Euler sobre la clasificación de los sólidos platónicos y veremos cómo, trabajando sobre sus ideas, se puede definir la homología simplicial à la Poincaré, así como la cohomología simplicial para, refinando el análisis, producir la cohomología de De Rham (nos limitaremos al caso de superficies de Riemann compactas) y, refinando aún más, obtener la descomposición de Hodge para la cohomología de una superficie de Riemann. Si el tiempo lo permite, comentaremos el teorema de Torelli, como consecuencia de la descomposición de Hodge.

 

Hora: 15:00 (GMT-6)

Enlace de transmisión: https://bluejeans.com/486860608

Ponente: Dora Elisa Alvarado Carrillo

Asesor: Dr. Oscar Dalmau Cedeño

Título: Análisis automático de retina en imágenes de fondo de ojo mediante técnicas de Machine Learning

Resumen: En esta plática hablaremos del análisis automático de retina en fotografías de fondo de ojo mediante técnicas de Machine Learning. En particular, discutiremos las subtareas de segmentación de vasos sanguíneos y clasificación de severidad de retinopatía diabética. La charla estará centrada en presentar algunas estrategias de aprendizaje profundo híbrido que hemos desarrollado en estas subtareas.

Hora: 18:00 (GMT-6)

Enlace de transmisión: https://bluejeans.com/940494036

Ponente: Saúl Domínguez Casasola (egresado de la Maestría en Modelación y Optimización de Procesos)

Título: Optimización del diseño de plantas mediante programación entera mixta

 

Para mayor información de próximas sesiones consulte:

https://seminarioegresadosua.eventos.cimat.mx 

 

Hora: 10:00 (GMT-6)

Enlace de transmisión: https://bluejeans.com/922049725?src=calendarLink 

Ponente: Matthew Kahle (Ohio State University)

Título: Configurations spaces of particles: homological solid, liquid, and gas.

Resumen: Configuration spaces of points in the plane are well studied and the topology of such spaces is well understood. But what if you replace points by particles with some positive thickness, and put them in a container with boundaries? It seems like not much is known. To mathematicians, this is a natural generalization of the configuration space of points, perhaps interesting for its own sake. But is also important from the point of view of physics––physicists might call such a space the "phase space" or "energy landscape" for a hard-spheres system. Since hard-spheres systems are observed experimentally to undergo phase transitions (analogous to water changing into ice), it would be quite interesting to understand topological underpinnings of such transitions.

We have just started to understand the homology of these configuration spaces, and based on our results so far we suggest working definitions of "homological solid, liquid, and gas". This is joint work with a number of collaborators, including Hannah Alpert, Ulrich Bauer, Robert MacPherson, and Kelly Spendlove.

Hora: 12:30hrs

Modalidad: Virtual

Ponente: Ronitt Rubinfeld, MIT.

Titulo: Locality in Computation

 

Consider a setting in which  inputs to and outputs from a computational problem are so large,  that there is not time to read them in their entirety. However, if one is only interested in small parts of the output at any given time, is it really necessary to solve the entire computational problem? Is it even necessary to view the whole input? We survey recent work in the model of "local computation algorithms" which for a given input, supports queries by a user to values of specified bits of a legal output. The goal is to design local computation algorithms in such a way that very little of the input needs to be seen in order to determine the value of any single bit of the output. Though this model describes sequential computations, techniques from local distributed algorithms have been extremely important in designing efficient local computation algorithms. In this talk, we describe results on a variety of problems for which sublinear time and space local computation algorithms have been developed -- we will give special focus to finding maximal independent sets and generating random objects.

 

Para realizar el registro: https://tinyurl.com/3e45mduc 

 

Aviso de privacidad: 

https://www.cimat.mx/sites/default/files/Transparencia/Datos_personales/Aviso_SIMPLIFICADO_Ciclo_fronteras0521.pdf 

Valentina Muñoz Porras, Carmen Mares Orozco, Dennis Olvera Torres y Marco Figueroa Ibarra ofrecerán clases de matemáticas a las niñas y niños de la Escuela Primaria "Amado Nervo", ubicada en la colonia Valenciana, Guanajuato, Gto. 

Horario: 8:30 a 10:30 am.

 

Se dará continuidad al Curso "Pensamiento Matemático PROBEPI-CIESAS", dirigido a estudiantes de distintas áreas que desean realizar el examen de ingreso a la maestría. Este curso se realiza en colaboración con el Centro de Investigaciones y Estudios Superiores en Antropología Social. 

Participan: Rocío González Sánchez, Carmen Mares Orozco, Alma Ortega Gil, Dennis Olvera Torres y Ricardo Candás Vega.

Graduados

Nuestras felicitaciones para:

 

Juan Daniel Molina Muñoz quien obtuvo el grado de Doctor en Ciencias con Orientación en Probabilidad y Estadística con la presentación y defensa de su tesis Cuantificación Bayesiana de la Incertidumbre en EDO: Aplicación en la Modelación Matemática de Invernaderos.

El Jurado estuvo integrado por el Dr. Rogelio Ramos Quiroga (CIMAT), Presidente; el Dr. Gerardo Hernández Dueñas (UNAM), Secretario; el Dr. Sergio Pérez Elizalde (COLPOS), Vocal; el Dr. Aarón Iván  Vélez Ramírez (UNAM), Vocal; y el Dr. José Andrés Christen Gracia (CIMAT), Vocal y Director de la Tesis.

Dr. Antonio Capella Kort ( UNAM-CIMAT), Lector Especial