Noticimat 38

Resumen: Inundaciones causadas por tsunamies, desbordamiento de ríos o incontrolables precipitaciones son catástrofes naturales que hoy en día son un tema de preocupación a nivel mundial. Debido a esto es necesario implementar medidas preventivas para actuar de la mejor manera posible en situaciones de emergencia.
Una de las posibles soluciones es la simulación matemática del evento, para lo cual se utilizan ecuaciones de aguas someras, que son ecuaciones hiperbólicas no lineales que son obtenidas a partir de una simplificación de las ecuaciones de Navier-Stokes. La solución numérica de estas ecuaciones es imprescindible para poder modelar la simulación, sin embargo, la solución de estas ecuaciones requiere del conocimiento previo de algunos parámetros como: condiciones iniciales, condiciones de frontera, batimetría y coeficiente de fricción.
Existen manuales y tablas que permiten estimar dichos parámetros, sin embargo
son tablas engorrosas que al final del día requieren del criterio de un experto por mera experiencia. Así, en esta charla se plantea un modelo variacional para estimar los valores de los parámetros necesarios para resolver las ecuaciones de aguas someras en 1D.

Resumen: Las Entidades Nombradas (EN), normalmente nombres propios, son el “quién”, el “qué”, el “cuándo” y el “dónde” de los eventos. El reconocimiento de las EN se refiere a la tarea de identificar automáticamente la palabra o secuencias de palabras que corresponden a menciones de EN en el texto. Esta tarea es uno de los primeros pasos en diversos sistemas de extracción de información. Las EN suelen ser también parte fundamental del marco de trabajo en una amplia variedad de sistemas de Procesamiento de Lenguaje Natural, incluyendo Machine Translation, Summarization, Question-Answering, etc. A finales de los 90’s y principios del 2000 existieron diversos foros de evaluación para Reconocimiento de EN, y debido a la alta efectividad de los sistemas (F-measure de 88% incluso en escenarios de idiomas cruzados), esta tarea fue considerada resuelta. Todo esto cambió con el amplio uso de los medios sociales y los sitios de micro-blogging. La gramática informal, la forma de escribir no-estándar, la jerga del vocabulario y los typos frecuentes, combinados con la inmensa diversidad de temas que se pueden cubrir en los datos de medios sociales, hicieron emerger nuevos retos para las herramientas de procesamiento de texto, incluyendo los sistemas reconocedores de EN.
En esta plática presentaré nuestros esfuerzos en curso para resolver la tarea de reconocimiento de EN en textos de medios sociales y plataformas de microblogging, incluyendo Reddit, YouTube, Twitter, y StackExchange. Discutiré la necesidad de modelar el texto a diferentes niveles para lograr robustez ante el ruido de la informalidad, asimismo motivaré la necesidad de combinar el aprendizaje máquina tradicional para reconocimiento de EN con el músculo de las arquitecturas del Aprendizaje Profundo. Este sistema obtuvo el primer lugar en la tarea de “Novel and Emerging Entity Recognition”, en el marco de una de las conferencias líderes en PLN: “Empirical Methods in Natural Language Processing (EMNLP)@Workshop on Noisy User Generated Text”, Copenhague Denmark 2017.

Resumen: El objetivo de la plática es mostrar en el ejemplo del monopolo magnético como se aplican los conceptos básicos de la geometría no conmutativa a situaciones físicas. Estos conceptos incluyen, entre otros, espacios cuánticos homogéneos, haces vectoriales no conmutativos, cálculos diferenciales covariantes, integración no conmutativa, operador de Dirac, cálculo de índices y la teoría emergente de las estructuras no conmutativas de Kähler.

Resumen: La teoría de esquemas fue desarrollada principalmente por Alexander Grothendieck como respuesta a la necesidad que tenían los geómetras algebraicas de principios y mediados del siglo XX, de tener espacios algebro-geométricos más generales y con estructuras más ricas que simplemente considerar ceros de funciones polinomiales sobre los complejos o sobre un campo algebraicamente cerrado.  Estas necesidades fueron muchas veces motivadas por las ideas de A. Weil, quien había usado, con cierto éxito, a la geometría algebraica para resolver problemas aritméticos, en donde se vio con la necesidad de trabajar  con objetos geométricos asociados a estructuras algebraicas más generales que las polinomiales. Grothendieck generalizó el concepto de variedad algebraica de tal manera que un esquema es un objeto algebro-geométrico con la propiedad de que cualquier anillo (conmutativo y con uno) puede considerarse como el anillo de coordenadas (o como el anillo de funciones) de un esquema. De pronto todos los anillos conmutativos y con uno encontraron un sentido geométrico, no importando lo abstracto que estos pudieran ser. Esto representó una gran ventaja, en particular, para el estudio de estructuras provenientes de la teoría de números o para los algebristas, pero también para los amantes de la geometría sobre los complejos, por ejemplo, los esquemas brindaron un mejor entendimiento de algunas propiedades geométricas de variedades, como la idea que tenían ya incluso los Griegos, respecto a los puntos de tangencia como puntos 'gordos' que contenían información sobre cómo se intersectan dichos objetos; además se han usado para estudiar singularidades, degeneraciones, espacios moduli, etc.  Sin embargo, este acercamiento tiene su costo, la teoría es a veces difícil y abstracta, pero su poder ha sido tal (se han demostrado teoremas de suma importancia) que bien merece la pena hacer un esfuerzo para entenderla y usarla.
En esta plática daré un panorama general de la teoría de esquemas, ilustrando algunos de sus usos e ideas principales.

Resumen: Describiremos la formulación axiomática de Atiyah y Segal de una Teoría Cuántica de Campos, describiremos cómo se origina la misma y daremos una reseña rápida del impacto que ha tenido en el desarrollo contemporáneo de ciertas áreas de la matemática, en particular en la topología de dimensiones bajas así como en geometría algebraica.

Resumen: En esta charla entraré más en detalle sobre la "adjunción" entre el producto join y la categoría slice. Tras esto, seremos capaces de definir objetos iniciales y terminales en infinito-categorías. Y mediante una interpretación de límites y colímites como objetos iniciales y terminales en unas ciertas categorías de conos y co-conos, también podremos hablar de límites y colímites en infinito-categorías.

Del 17 al 19 de octubre se realizará en la sede Guanajuato la tercera Escuela de Cómputo Evolutivo 2018 (ECE18), Su objetivo es introducir a los asistentes al diseño, implementación y uso de métodos de optimización evolutivos desde una perspectiva práctica. Durante el evento se celebrarán cursos y conferencias que cubrirán desde temas introductorios de cómputo evolutivo hasta temas que están actualmente en investigación.

Desde el 6 y hasta el próximo 21 de octubre se encuentra en nuestro Centro el Dr. Christian Bonatti, de la Universidad de Bourgogne (Francia), quien durante ese periodo trabajará con el Dr. Xavier Gómez Mont en una investigación sobre foliaciones.

Del 1 al 7 de octubre el Dr. Daniel Hernández participó en el Primer Encuentro Latinoamericano de Estudiantes de Doctorado en Modelamiento, Ingeniería y  Ciencias, EMIC 2018, celebrado en la Facultad de Ciencias Físicas y Matemáticas de la Universidad de Chile, donde fue invitado para dar una ponencia.

Del 30 de septiembre al 8 de octubre el Dr. Ricardo Vila Freyer estuvo en Santa Marta, Colombia, acompañando a los estudiantes guanajuatenses que participaron en la Competencia Iberoamericana Interuniversitaria de Matemáticas CIIM2018, como líder del equipo UG-CIMAT, como  responsable de integrar el equipo OMM y  como miembro del jurado.

El Dr. Mario Alberto Díaz Torres realizó una estancia académica del 7 al 12 de octubre en la Universidad Estatal de Arizona, donde colaboró con la profesora Lalitha Sankar en trabajos de investigación sobre las garantías teóricas de mecanismos privatizantes implementados a través de redes neuronales.