Diferencias

Muestra las diferencias entre dos versiones de la página.

--- charlas:main [2006/05/10 16:26] – fbalbachan
+++ charlas:main [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 3: / Línea 3: @@
 todas las charlas tendrán lugar los **lunes a las 17h**, en la **Sala de Computación** (3er piso Lado Oeste)
 excepto si se indica lo contrario.
+[[ http://www.cs.famaf.unc.edu.ar/dokuwiki/doku.php#charlas_del_primer_cuatrimestre_2006 | charlas del primer cuatrimestre 2006]]
+**Lunes 11 de Septiembre**
+==== Reflexiones sobre la enseñanza de la programación ====
+=== Javier Blanco e invitados sorpresa ===
+====== ======
+**Lunes 4 de Septiembre**
+==== charla informal ====
+====== ======
+**Lunes 28 de Agosto**
+==== A Characterisation of Meaningful Schedulers for Continuous-Time Markov Decision Processes ====
+=== Nicolás Wolovick ===
+Continuous-time Markov decision process are an important vari-
+ant of labelled transition systems having nondeterminism through labels and
+stochasticity through exponential ﬁre-time distributions. Nondeterministic
+choices are resolved using the notion of a scheduler. In this paper we charac-
+terize the class of measurable schedulers, which is the most general one, and
+show how a measurable scheduler induces a unique probability measure on
+the sigma-algebra of inﬁnite paths. We then give evidence that for particu-
+lar reachability properties it is sufficient to consider a subset of measurable
+schedulers. Having analyzed schedulers and their induced probability mea-
+sures we ﬁnally show that each probability measure on the sigma-algebra
+of inﬁnite paths is indeed induced by a measurable scheduler which proves
+that this class is complete.
+trabajo conjunto con [[ http://depend.cs.uni-sb.de/index.php?id=164 | Sven Johr ]] (Universität des Saarlandes)
+====== ======
+**Lunes 25 de Septiembre**
+==== Título por confirmar ====
+=== ponente por confirmar ===
+====== ======
+**Lunes 2 de Octubre**
+==== Título por confirmar ====
+=== ponente por confirmar ===
+====== ======
+**Lunes 9 de Octubre**
+==== Título por confirmar ====
+=== ponente por confirmar ===
+====== ======
+**Lunes 23 de Octubre**
+==== Título por confirmar ====
+=== ponente por confirmar ===
+====== ======
+**Lunes 30 de Octubre**
+==== Título por confirmar ====
+=== ponente por confirmar ===
+====== ======
+**Lunes 6 de Noviembre**
+==== Título por confirmar ====
+=== ponente por confirmar ===
+====== ======
+**Lunes 13 de Noviembre**
+==== Título por confirmar ====
+=== ponente por confirmar ===
+====== ======
+**Lunes 20 de Noviembre**
+==== Título por confirmar ====
+=== ponente por confirmar ===
+====== charlas del primer cuatrimestre 2006 ======
@@ Línea 146: / Línea 247: @@
 **Lunes 22 de Mayo**
-se suspende la charla por reunión de la CAC.
+==== suspendida ====
+se suspende la charla por sesión de la Comisión Asesora de Computación.
+====== ======
+**Lunes 29 de Mayo**
+==== Clustering para inducción de categorías sintácticas ====
+=== Fernando Balbachan ===
+Como parte de los modelos estadísticos de aproximación al procesamiento de lenguaje natural, las técnicas de clustering han venido atrayendo la atención convergente de la lingüística computacional y la psicolingüística, como una solución plausible al problema de la adquisición de una gramática a partir de una //tabula rasa//. La presente investigación se enmarca en dicho paradigma y se propone como uno de los primeros intentos sistemáticos de clustering para grandes corpora que incorpora sustanciales mejoras respecto de trabajos anteriores (Redington et al. 1998). La meta a corto plazo es demostrar empíricamente que la información distribucional es una poderosa herramienta para la inducción de juicios de pertenencia de ítems lexicales a categorías sintácticas. En particular se recurre a una heurística de //Decreasing Frequency Profile// (Ćavar et al., 2004), información mutua (Shannon, 1948) y al algoritmo K-means (Manning & Schütze, 1999) para una identificación no arbitraria y no apriorística de //cues// sintácticas que han de sentar las bases del posterior modelado vectorial con clusters de razonable pureza y evidencia de //bootstrapping// semántico.  A más largo plazo se espera sacar provecho de los resultados obtenidos, proponiendo un modelo cognitivo de adquisición de reglas sintácticas refinadas a partir de evidencia translingüística.
+Mag. Fernando Balbachan (UBA – Indiana University)
+[[http://personales.ciudad.com.ar/fbalbachan/clustering.ppt|Powerpoint de la charla]]
+====== ======
+**Lunes 5 de Junio**
+==== Generación Automática de Invariantes Lineales ====
+=== Natalia Bidart ===
+En el ámbito de las Ciencias de la Computación, se denomina
+*invariante* a la propiedad que se mantiene estable en un programa, en
+un determinado punto del mismo.
+Una *invariante de programa* es aquella que vale a lo largo de todo el
+programa. Consecuentemente, el descubrimiento de invariantes es una
+técnica central en el análisis y verificación de programas
+secuenciales y de sistemas reactivos.
+Dado que el cálculo de invariantes posee una complejidad instrínseca,
+a lo largo del tiempo ha surgido la necesidad de automatizar ese
+proceso de cálculo.
+Variadas han sido las investigaciones y los resultados al respecto,
+destacando entre ellos los trabajos de R. Cousot [Cousto78], de N.
+Shankar [Shankar01], y de Z. Manna [Manna95].
+El trabajo final a presentar tiene como objetivo implementar de manera
+genérica y eficiente el algoritmo propuesto por Cousot en [Cousto78].
+Palabras clave:
+) Poliedros convexos
+) Programación Lineal
+) Sistemas de Transiciones
+) Postcondición más fuerte (SP)
+) Sistemas Reactivos
+Bibliografía:
+[Cousot78] Patrick Cousot y Nicolas Halbwachs, "Automatic discovery of
+linear restraints among variables of a program", 1978.
+[Manna95] Nikolaj Bjorner y Anca Browne y Zohar Manna, "Automatic
+Generation of Invariants and Assertions", 1995.
+[Shankar01] A. Tiwari y H. Rues and H. Saidi y N. Shankar, "A
+Technique for Invariant Generation", 2001.
+====== ======
+**Lunes 12 de Junio**
+==== Un proceso  para la derivación formal de algoritmos que combina el uso de métodos de derivación y la instanciación  de esquemas de algoritmos. ====
+=== Juan Durán ===
+Dos enfoques bien conocidos para la derivación formal de programas son: el uso de un método de derivación (expresado en términos de técnicas para el diseño y la mejora de eficiencia de algoritmos) y la instanciación de un esquema de algoritmo para una clase de problemas. Ambos enfoques coexisten en lugar de cooperar y tienen distintos tipos de beneficios; por eso, buscamos procesos que combinen ambos enfoques y tengan sus beneficios.
+Uno de tales procesos consiste en utilizar un método de derivación para la construcción de un esquema de algoritmo para una clase de problemas, e instanciar ese esquema de algoritmo para la derivación de aplicaciones. Como caso de estudio usamos ese proceso para derivar un esquema de algoritmo que genera un árbol generalizado maximal que satisface una propiedad dada, e instanciamos ese esquema de algoritmo para construir dos ejemplos de aplicación. Basamos nuestro estudio en el álgebra de lenguajes formales y en las álgebras de Kleene.
+====== ======
+**Lunes 26 de Junio**
+==== Bancos de ADN: Data Mining y Gestión ====
+=== Gabriel Infante López ===
+En esta charla presentaremos un proyecto de desarrollo de software para la gestión y minería de datos sobre los bancos de ADN de la provincia, que se lleva a cabo en esta facultad, financiado por la Agencia Córdoba Ciencia. Describiremos el problema en cuestion, las tecnologia utilizada, los cuestionamientos legales y el estado acutal del proyecto.
+====== ======
+**Lunes 28 de Agosto**
+==== A Characterisation of Meaningful Schedulers for Continuous-Time Markov Decision Processes ====
+=== Nicolás Wolovick ===
+Continuous-time Markov decision process are an important vari-
+ant of labelled transition systems having nondeterminism through labels and
+stochasticity through exponential ﬁre-time distributions. Nondeterministic
+choices are resolved using the notion of a scheduler. In this paper we charac-
+terize the class of measurable schedulers, which is the most general one, and
+show how a measurable scheduler induces a unique probability measure on
+the sigma-algebra of inﬁnite paths. We then give evidence that for particu-
+lar reachability properties it is sufficient to consider a subset of measurable
+schedulers. Having analyzed schedulers and their induced probability mea-
+sures we ﬁnally show that each probability measure on the sigma-algebra
+of inﬁnite paths is indeed induced by a measurable scheduler which proves
+that this class is complete.
-====== Charlas de Computación ======
 todas las charlas tendrán lugar los **lunes a las 17h**, en la **Sala de Computación** (3er piso Lado Oeste)
@@ Línea 296: / Línea 492: @@
 **Lunes 22 de Mayo**
-se suspende la charla por reunión de la CAC.
+==== suspendida ====
+se suspende la charla por sesión de la Comisión Asesora de Computación.
 ====== ======
@@ Línea 315: / Línea 513: @@
 **Lunes 5 de Junio**
-==== Un proceso  para la derivación formal de algoritmos que combina el uso de métodos de derivación y la instanciación  de esquemas de algoritmos. ====
+==== Generación Automática de Invariantes Lineales ====
-=== Juan Durán ===
+=== Natalia Bidart ===
-Dos enfoques bien conocidos para la derivación formal de programas son: el uso de un método de derivación (expresado en términos de técnicas para el diseño y la mejora de eficiencia de algoritmos) y la instanciación de un esquema de algoritmo para una clase de problemas. Ambos enfoques coexisten en lugar de cooperar y tienen distintos tipos de beneficios; por eso, buscamos procesos que combinen ambos enfoques y tengan sus beneficios.
+En el ámbito de las Ciencias de la Computación, se denomina
+*invariante* a la propiedad que se mantiene estable en un programa, en
+un determinado punto del mismo.
+Una *invariante de programa* es aquella que vale a lo largo de todo el
+programa. Consecuentemente, el descubrimiento de invariantes es una
+técnica central en el análisis y verificación de programas
+secuenciales y de sistemas reactivos.
-Uno de tales procesos consiste en utilizar un método de derivación para la construcción de un esquema de algoritmo para una clase de problemas, e instanciar ese esquema de algoritmo para la derivación de aplicaciones. Como caso de estudio usamos ese proceso para derivar un esquema de algoritmo que genera un árbol generalizado maximal que satisface una propiedad dada, e instanciamos ese esquema de algoritmo para construir dos ejemplos de aplicación. Basamos nuestro estudio en el álgebra de lenguajes formales y en las álgebras de Kleene.
+Dado que el cálculo de invariantes posee una complejidad instrínseca,
+a lo largo del tiempo ha surgido la necesidad de automatizar ese
+proceso de cálculo.
-====== ======
+Variadas han sido las investigaciones y los resultados al respecto,
+destacando entre ellos los trabajos de R. Cousot [Cousto78], de N.
+Shankar [Shankar01], y de Z. Manna [Manna95].
-**Lunes 12 de Junio**
+El trabajo final a presentar tiene como objetivo implementar de manera
-==== Título por confirmar ====
+genérica y eficiente el algoritmo propuesto por Cousot en [Cousto78].
-=== Ponente por confirmar ===
-==== Clustering para inducción de categorías sintácticas ====
+Palabras clave:
-=== Fernando Balbachan ===
-Como parte de los modelos estadísticos de aproximación al procesamiento de lenguaje natural, las técnicas de clustering han venido atrayendo la atención convergente de la lingüística computacional y la psicolingüística, como una solución plausible al problema de la adquisición de una gramática a partir de una //tabula rasa//. La presente investigación se enmarca en dicho paradigma y se propone como uno de los primeros intentos sistemáticos de clustering para grandes corpora que incorpora sustanciales mejoras respecto de trabajos anteriores (Redington et al. 1998). La meta a corto plazo es demostrar empíricamente que la información distribucional es una poderosa herramienta para la inducción de juicios de pertenencia de ítems lexicales a categorías sintácticas. En particular se recurre a una heurística de //Decreasing Frequency Profile// (Ćavar et al., 2004), información mutua (Shannon, 1948) y al algoritmo K-means (Manning & Schütze, 1999) para una identificación no arbitraria y no apriorística de //cues// sintácticas que han de sentar las bases del posterior modelado vectorial con clusters de razonable pureza y evidencia de //bootstrapping// semántico.  A más largo plazo se espera sacar provecho de los resultados obtenidos, proponiendo un modelo cognitivo de adquisición de reglas sintácticas refinadas a partir de evidencia translingüística.
+) Poliedros convexos
+) Programación Lineal
+) Sistemas de Transiciones
+) Postcondición más fuerte (SP)
+) Sistemas Reactivos
+Bibliografía:
-Mag. Fernando Balbachan (UBA – Indiana University)
+[Cousot78] Patrick Cousot y Nicolas Halbwachs, "Automatic discovery of
+linear restraints among variables of a program", 1978.
+[Manna95] Nikolaj Bjorner y Anca Browne y Zohar Manna, "Automatic
+Generation of Invariants and Assertions", 1995.
+[Shankar01] A. Tiwari y H. Rues and H. Saidi y N. Shankar, "A
+Technique for Invariant Generation", 2001.
 ====== ======
-**Lunes 5 de Junio**
+**Lunes 12 de Junio**
 ==== Un proceso  para la derivación formal de algoritmos que combina el uso de métodos de derivación y la instanciación  de esquemas de algoritmos. ====
 === Juan Durán ===
@@ Línea 349: / Línea 566: @@
 ====== ======
-**Lunes 12 de Junio**
+**Lunes 26 de Junio**
-==== Título por confirmar ====
+==== Bancos de ADN: Data Mining y Gestión ====
-=== Ponente por confirmar ===
+=== Gabriel Infante López ===
+En esta charla presentaremos un proyecto de desarrollo de software para la gestión y minería de datos sobre los bancos de ADN de la provincia, que se lleva a cabo en esta facultad, financiado por la Agencia Córdoba Ciencia. Describiremos el problema en cuestion, las tecnologia utilizada, los cuestionamientos legales y el estado acutal del proyecto.
+====== ======