Skip to main content

Eventos y actividades

  • Charla Martín Barrère

    Martín realizará un repaso general de su trabajo doctoral; el título de la tesis es "Vulnerability Management for Safe Configurations in Autonomic Networks and Systems".

     

  • Sumo.uy

    Con la realización del evento se persiguen dos grandes objetivos. Uno de ellos relacionado con la actividad académica, y el otro mediante el cual se pretende difundir las áreas de robótica e Inteligencia Artificial que se desarrollan en la Facultad de Ingeniería, creando un espacio de intercambio e interacción con distintos actores de la sociedad (estudiantes universitarios y de educación secundaria, docentes, investigadores y la industria).
    Durante el evento se desarrollan presentaciones de trabajos de investigación, exposiciones, talleres y competencias robóticas.

  • Marcos Viera: "Las Gramáticas de Atributos Viajan en Primera Clase"

    Las Gramáticas de Atributos (Attribute Grammars - AG), son un formalismo de propósito general para describir computaciones recursivas sobre tipos de datos, que permite evitar la disyuntiva que surge en la construcción de software de forma incremental: ¿debe ser fácil de añadir nuevos tipos de datos y alternativas de tipos de datos o añadir nuevas operaciones sobre tipos de datos existentes?

  • Antonio Mauttone - Variante del algoritmo de Dijkstra y su aplicación a la optimización de frecuencias en sistemas de transporte público

    El algoritmo de Dijkstra permite calcular de forma eficiente el camino m·s corto desde un nodo fuente a todos los demás, en un grafo con arcos ponderados. En términos generales, para cada nodo destino, la solución del problema es un camino desde la fuente. 

  • Eduardo Fernández - Generación y manipulación de Matrices Densas de Grandes Dimensiones y su aplicación en Computación Gráfica

    Diversos problemas de la física requieren para su modelado de matrices de dimensión importante. En particular, la computacion gráfica toma prestado de la física los modelos de transferencia de radiación y lo aplica a sus técnicas de iluminación global.

    En esta charla veremos cómo generar aproximaciones de manera eficiente a matrices densas de bajo rango, así como algunos usos útiles de las aproximaciones: hallar la matriz inversa, resolver sistemas lineales y hallar valores estadísticos de la solución, entre otros.

  • Jorge Nakahara Jr, Editor for Computer Science in Springer, based in São Paulo, Brazil: "Book Publishing with Springer"

    I’m looking for prospective authors in all of Latin America willing to write scientific books, in English, with Springer in any (sub-)area of Computer Science. If you already have a book in preparation or is planning to write one in the future, I would like to invite you to consider publishing it with us! This is an informal and non-technical presentation.

    In this talk, I would like to introduce myself and explain the book publishing process in Springer.

  • Charla: "Taking Education Online: A Unique Opportunity for the New Millenium"

    Robert Sedgewick, Princeton University

    Resumen

  • Alfredo Viola: Una visión unificada del análisis de linear probing hashing

    Palabras Claves: hashing; linear probing; buckets; funciones generatrices; Combinatoria Analítica

    Resumen:

     En 1998, Knuth motivó su importante trabajo "Linear Probing and Graphs" de la siguiente manera:

     "El propósito de esta nota es presentar una solución sorprendentemente simple a un problema que apareció en un libro reciente de Sedgweick y Flajolet:

  • Latin American Theoretical INformatics Symposium (LATIN2014)

    El próximo 31 de marzo y hasta el 4 de abril se realizará en montevideo el Latin American Theoretical INformatics Symposium (LATIN2014), organizado por investigadores del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República.

     El LATIN es el evento más importante de Informática Teórica en América Latina, dedicado a las diferentes áreas de la ciencia de la computación teórica incluyendo la teoría de autómatas y lenguajes formales, a teoría de codificación y la comprensión de datos entre otros puntos.

  • Alvaro Martín - Árboles de sufijos y árboles de sufijos truncados.

    El árbol de sufijos de una cadena x de largo n es una estructura de datos (de tipo trie) que representa de forma concisa toda la información relativa a qué subcadenas ocurren en x.
    Equipados con esta estructura, es posible determinar si una cadena arbitraria z es subcadena de x en tiempo proporcional al largo de z, independientemente de n. Más aún, es posible encontrar todas las posiciones de las ocurrencias de z como subcadena de x usando un tiempo adicional proporcional a la cantidad de ocurrencias, nuevamente con independencia de n.