Eventos y actividades

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".

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.

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?

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. 

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.

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.

Robert Sedgewick, Princeton University

Resumen

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:

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.

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.