Charlas del DC
¡Bienvenidos a las charlas del DC, edición 2011!
La idea es reunirnos cada dos semanas, preferentemente los viernes para que algún investigador o doctorando nos cuente sobre lo más interesante de un tema/proyecto, con el objeto de poder conocer el trabajo de nuestros colegas y mejorar nuestra interacción. También aprovecharemos este espacio para que los distintos investigadores invitados puedan dar una charla en el DC.
Próximo Evento: 3/6/2011. 14:00 hs
Orador: José Castaño - Depto. de Computación - FCEyN - UBA
Título: Modelos de automata y satisfacibilidad computacional
Resumen: El uso de técnicas de modelos formales con mayor poder expresivo que los lenguajes libres de contexto, pueden aportar enfoques no explorados para solucionar problemas conocidos que podrian redundar en ventajas comparativas. Dichas ventajas podrán ser cuantificadas contra bancos de prueba específicos del problema. En particular, el modelado de problemas que requieren mayor poder expresivo, se puede realizar por construcción de un autómaton ad hoc, o por reconocimiento, es decir existe un autómaton que reconoce el lenguaje que modela este clase de problemas. En particular el problema de satisfacibilidad proposicional puede abordarse utilizando estas dos técnicas.
En el método ad-hoc se parte del hecho que los automatas de estados finitos tienen un poder expresivo suficiente para modelar el problema de satisfacibilidad proposicional. A partir de una formula en CNF se puede construir un automata de estados finitos que genera el conjunto (posiblemente vacio) de valuaciones que satisfacen la formula. Si dicha construcción no se realiza adecuadamente el costo computacional puede ser prohibitivo, ya que como es sabido el problema de intersección de automata es PSPACE-completo. A fin de realizar un proceso eficiente, deben utilizarse distintas heurísticas al modo que se utilizan distintas heurísticas en un algoritmo de búsqueda como DPLL.
En el método de uso de autómata como reconocimiento de un lenguaje, es necesario utilizar un modelo de autómata con mayor poder expresivo que el de autómata de pila ("pushdown automata"), ya que el tipo de lenguaje que puede codificar el problema de satisfacibilidad proposicional corresponde a un lenguaje con multiples dependencias cruzadas. En este caso hablaremos de un caso particular del problema de satisfacilibilidad.
Ambos abordajes están relacionados ya que un modelo de automata que reconoce este tipo de dependencias debe construir una estructura de datos que "controle" el reconocimiento.
El problema central es, al igual que un algoritmo como DPLL, cómo recortar el espacio de búsqueda.
Cronograma de charlas: En rojo las Charlas del DC, en negro las charlas de borrachos (Más detalles sobre cada charla haciendo click sobre la misma)
Charlas anteriores (2011)
18/5/2011. Julian Mendez - Technische Universität Dresden
Título: Clasificación de Ontologías Médicas
Resumen: Las lógicas de descripción son una familia de formalismos de representación del conocimiento para representar y razonar con conocimiento conceptual. Cada sistema de lógica de descripción tiene servicios de razonamiento que infieren conocimiento implícito del dado explícitamente. Los problemas de razonamiento comunes incluyen satifacibilidad de conceptos, subsunción de conceptos, consistencia de ABox y problema de instancia. Una ontología médica contiene un terminología unificada y permite una forma consistente de indexar, almacenar, recuperar e intercambiar datos clínicos entre diferentes organizaciones. Hace algunos años, se desarrolló un algoritmo de tiempo polinomial para la lógica de descripción EL, y luego se han desarrollado algoritmos para la extensiones tratables de EL. Estas lógicas son suficientes para representar grandes ontologías médicas como SNOMED CT. Hay ontologías que requiren extensiones de EL que no son tratables. En particular, GALEN, otra importante ontología médica, require ELHIfR+, una extensión de EL con jerarquía de roles, roles inversos, funcionales y transitivos.
29/4/2011. Nicolás D'Ippolito - Departamento de Computación - FCEyN - UBA
Título: From Worlds to Machines through Games
Resumen: The design of reactive systems is a highly complex task requiring significant expertise. Consequently, it is highly desirable to have techniques that automatically generate by construction behaviour models satisfying a given set of requirements. We present a novel technique for synthesising behaviour models that works for safety and an expressive subset of liveness properties and conforms to the foundational requirements engineering World/Machine model, dealing explicitly with assumptions on environment behaviour and distinguishing controlled and monitored actions. This is the first technique that conforms to what is considered best practice in requirements specifications: distinguishing prescriptive and descriptive assertions. The technique offers a more realistic treatment of problem domains by allowing the integration of failures of controller actions in the environment model. Classical treatment of failures through strong fairness leads to a very high computational compl! exity and may be insufficient for many interesting cases. We identify a realistic stronger fairness condition on the behaviour of failures. We then identify sufficient conditions on the environment that ensure the resulting controller will be eager to satisfy its goals.
15/4/2011. Gianpaolo Oriolo - Università di Roma "Tor Vergata", Roma, Italia
Título: Robust Network Design
Resumen: A crucial assumption in many network design problems is that of knowing the traffic demand in advance. Unfortunately, in several applications, communication patterns change over time, and therefore we are not given a single static traffic matrix, but a set D of non-simultaneous traffic demands. Still, we would like to design a min-cost network that is able to support any traffic demand that is from D. In this talk, we discuss strategies for approaching this problem when D is either given implicitly, i.e., it is described by a set of linear inequalities, or explicitly, i.e. it is described by a finite set of traffic matrices. We settle some complexity results, and give some exact and approximation algorithms for some relevant cases.
The presentation is meant to be introductory to the subject and part of it will be done on the blackboard.
1/4/2011. Pedro D'Argenio - FaMAF, Universidad Nacional de Cordoba
Título: Model Checking of Distributed Probabilistic Systems
Resumen: Probabilistic model checking computes the probability values of a
given property quantifying over all possible schedulers (also known as
adversaries or policies). It turns out that maximum and minimum
probabilities calculated in such a way are overestimations on models
of distributed systems in which components are loosely coupled and
share little information with each other (and hence arbitrary
schedulers may result too powerful). In this talk I will revise the
idea of schedulers in distributed system and propose a de nition. I
will also discuss decidability issues, algorithmic results and the
relation to security.
14/3/2011. Linda Pagli - Dipartimento di Informatica, Università di Pisa
Título: Data mining meets switching theory
Resumen: We introduce new algebraic forms, SOP+ and DSOP+, torepresent functions from f : {0,1}^n to N, based on arithmetic sums ofproducts. These expressions are a direct generalization of the classical SOP and DSOP forms. We propose optimal and heuristic algorithms for minimal SOP+ and DSOP+ synthesis. We then show how the DSOP+ form can be exploited for Data Mining applications. In particular we propose a new compact representation for the database of transactions to be used by theLCM algorithms for mining frequent closed itemsets.
Charlas anteriores (2010)
10/12: Veronica Dahl, Simon Fraser University
Título: A logic programming language with assumptions and abduction.
Resumen: Abduction is agreed upon as a powerful technique in logic programming but its actual use in practice appears to be rather limited since most available systems are research prototypes implemented using inefficient metaprogramming techniques. Assumptive logic programming is related to abduction but provides explicit creation and consumption of hypotheses plus scoping principles inspired by linear logic. We show how a class of abductive logic programs (and assumptive logic programs) can be executed directly in Prolog using a trivial extension for abducible predicates (and assumptions) written in Constraint Handling Rules; this version of assumptions extends earlier approaches with integrity constraints.
7/12: Prof Alexander Wolf - Imperial College London
Título: Automated Experimentation: Beyond Deployment and Execution
Resumen: Experimentation is used widely in both research and practice as a means to reveal and validate the behavioral properties of distributed software system implementations. It is intended to answer questions about such things as the factors leading to performance bottlenecks, the throughput rates to be expected from particular configurations, or the scalability of the system in various dimensions. Although heavily used, experimentation remains today a complex, time-consuming, and costly process. Attempts to automate the process for large-scale distributed systems have generally focused on deploying and executing them on a suitable testbed, which leaves the challenging activities of experimental design, workload generation, data collection, data analysis, and overall experiment management to the engineer. This talk presents a model-driven automation framework we are developing that is intended to take better account of the full richness and complexity of the experimentation process. We have used it to experiment with a variety of systems, including Apache's ActiveMQ, the Chord File System, the Siena distributed publish/subscribe service, and software routers for a content-based network.
3/12: Diego Delle Done - Departamento de Computación
Título: Segmentación automática para el Censo Nacional 2010 usando programación lineal entera
Resumen: El Censo Nacional 2010 en Argentina, realizado el 27 de Octubre de este año, involucró el relevamiento de todos los hogares del país y, como parte de la planificación del censo, se tuvo que determinar qué hogares debía visitar cada censista. Este problema se denomina problema de segmentación de viviendas. Existen restricciones reglamentarias que especifican las características que debe tener la secuencia de hogares que debe visitar cada censista, incluyendo el números mínimo y máximo de viviendas, longitud máxima y características del recorrido. En esta charla presentamos una aplicación de técnicas basadas en programación lineal entera que se utilizó para realizar el proceso de segmentación de los centros urbanos de la Provincia de Buenos Aires, que es la provincia con mayor población y superficie de la Argentina.
26/11: Gregory Chaitin - IBM Watson Research
Título: To a mathematical theory of evolution and biological creativity
Resumen: We present an information-theoretic analysis of Darwin's theory of evolution, modeled as a hill-climbing algorithm on a fitness landscape. Our space of possible organisms consists of computer programs, which are subjected to random mutations. We study the random walk of increasing itness made by a single mutating organism. In two different models we are able to show that evolution will occur and to characterize the rate of evolutionary progress, i.e., the rate of biological creativity.
25/11: Demian Wasserman - Brigham and Women's Hospital, Harvard Medical School
Título: Disección Automática In Vivo de la Materia Blanca Cerebral a partir de Imágenes de Tensor de Difusión
Resumen: La motivación de esta charla es la disección in vivo de la materia blanca cerebral. Este procedimiento es capaz de aislar los fascículos de materia blanca que juegan un rol en una función particular o patología cerebral de manera que puedan ser analizados. La realización manual de esta tarea requiere un conocimiento profundo de la anatomía cerebral y varias horas de trabajo. Por esto, el desarrollo de ésta técnica para realizar de forma automática la identificación de estructuras de materia blanca es de gran importancia.
El cerebro se encuentra organizado en redes compuestas de fascículos que conectan varias regiones corticales y subcorticales. Estas redes son importantes para el desarrollo de funciones cerebrales tales como el lenguaje o la visión. Más aún, varias patologías cognitivas pueden ser explicadas mejor a través de los patrones de desconexión entre las regiones cerebrales que por medio de las lesiones en estas regiones. En las últimas décadas estas redes han sido trazadas en el cerebro con creciente precisión, aun así el conocimiento de la organización y función de estas redes de conectividad ha avanzado muy poco desde el principio del siglo pasado, en gran parte debido a la dificultad de conducir estudios in vivo. En los últimos años los estudios in vivo de tejidos blandos se hicieron posibles por medio de las imágenes de resonancia magnética que han producido un desarrollo remarcable en el estudio del cerebro humano in vivo. En particular, las imágenes de resonancia magnética de difusión (dMRI) constituyen una herramienta extremadamente útil para explorar las características de los tejidos fibrosos in vivo, en particular la materia blanca cerebral. Dentro de los estudios derivados de ésta tecnología, la tractografía basada en dMRI se caracteriza por realizar el trazado de los fascículos de materia blanca in vivo. En general, dMRI es una técnica prometedora para la exploración del origen anatómico de la cognición humana y sus patologías.
En esta charla presentaré las contribuciones principales de mi tesis doctoral. El desarrollo de medios para la disección automática de fascículos de materia blanca a partir de dMRI utilizando en un marco matemático para la materia blanca basado en el formalismo de los procesos Gaussianos. Haciendo uso de este marco matemático desarrollaremos también técnicas para encontrar diferencias poblacionales en la materia blanca, en particular en el caso de la esquizofrenia.
18/11: Ugo Montanari - Dipartimento di Informatica, Pisa
Título: Models and Languages for Service Component Ensembles
Resumen: Ensambles are: (i) widely distributed, open-ended systems, (ii) with complex interactions and behaviors, but component-based, (iii) which adapt to changing environments and requirements, and (iv) where designers can control and engineer emergent behaviour with static and dynamic support from formal methods. The talk will outline the European FET IP project ASCENS, just started. The project focuses on theory and practice of service component ensambles and includes workpackages covering foundational models, specification and programming languages and their logic, knowledge representation, adaptation, correctness, tool integration, and engineering/best practices. The case studies include robot swarms, e-vehicle mobility and cloud computing.
5/11: Mirsad Hadzikadic - Complex Systems Institute College of Computing and Informatics University of North Carolina at Charlotte
Título: Research initiatives in the College of Computing and Informatics at the University of North Carolina at Charlotte
Resumen: Research initiatives in the College of Computing and Informatics at the University of North Carolina at Charlotte include areas as diverse as simulation and modeling, visualization, security and privacy, analytics, bioinformatics, robotics, computer games, and human-computer interaction. Complex systems analysis is one of the most recent additions to the research portfolio of the College. This talk will give a brief overview of the major research initiatives in the College, followed by a more detailed presentation of two research projects in the complexit group:
-Exploring a Marine Ecosystem with a General Complex Adaptive System Model: The classic Lotka-Volterra equations present a mathematically robust and well-validated set of idealized equations for describing the predator-prey relationship found in many domains. Here we present results of formulating these equations using a Complex Adaptive Systems model, simulated using Agent-based Modeling techniques. This method allows for (a) closer study of the complex dynamics that are found in these systems, (b) greater understanding of the agent interactions, and (c) more realistic simulation outputs.
In so doing, we have uncovered a novel relationship between the amount of resources found at the lowest tropic level of a hypothesized ecosystem and the highest tropic level predators. We explore these results in detail, and highlight their applicability to a real-world marine ecosystem.
-Phase Transitions from Cascading to Recurrent Activation in a Simple Network Model: Real world networks, from social networks to brain networks, display signs of recurrent activity between agents, yet no simple mechanism has been proposed for how this recurrent activity emerges. Here we present a possible explanation of how self-sustaining recurrent activation can self-organize on a simple random network. It is shown that given rare exogenous shocks and dynamic link growth over time: i) a phase transition from cascading activation to self-sustaining recurrent activation that never ceases occurs at sparse levels of network connectivity, and ii) the probability of emergence of recurrent activity can be modulated by varying network model parameters.
29/10 Joos Heintz - Departamento de Computación - FCEyN - UBA.
Título: Polinomios fáciles que son difíciles de interpolar
Resumen: El objetivo de esta charla es doble. Por un lado, presentamos una nueva visión orientada a la informática de un tema clásico en Teoría de la Aproximación y Análisis Numérico, es decir, la interpolación de Hermite-Lagrange de polinomios multivariados.
Por otro lado, vamos a presentar la interpolación de Hermite-Lagrange, como una instancia especial de un proyecto de software que permite una especificación de la arquitectura en términos de programación orientada a objetos.
El resultado inesperado es que la formulación en términos de arquitectura de software de una tarea clásica y numérica como la interpolación de Hermite-Lagrange conduce directamente a un trade-off matemáticamente certificado entre dos atributos de calidad de programas.
Morten Neilsen - Center for Biological Sequence Analysis Department of Systems Biology. The Technical University of Denmark
Resumen: The use of bioinformatics pattern recognition algorithms for characterizing central binding specificities of the immune system Morten Nielsen, Center for Biological Sequence Analysis Department of Systems Biology The Technical University of Denmark Bioinformatics algorithms have during the last decades been applied with great success to recognize and subsequently predict important patterns in biological sequence data. Some of the most prominent examples being acceptor-donor sites for RNA splicing, protein secondary structure, protein tertiary structure, post-translational modification sites, and more recently binding specificities of essential receptors of the immune system. In many aspects, the immune system offers a perfect playground for the development of bioinformatics pattern recognition algorithms. A large set of receptors with experimentally well-characterized biological function exists. Moreover, many of these receptors have been characterized with large amounts of ligand data, making them ideal case studies for pattern recognition algorithms. One important class of immune receptors is the MHC (major histocompatibility complex) molecules that present peptide fragments from proteins on the cell surface to immune cells. This mechanism allows the immune system to monitor if any given cell is healthy or has been infected by a microbial invader. Identification of which peptides fragments will bind to a given MHC molecule has important implications for rational vaccine design, and understanding of immune responses to pathogen infections. During the last decade, many algorithms have been developed aiming at predicting the peptide binding specificity of MHC molecules. However, because MHCs in most organisms are highly polymorphic (more than 5000 different MHC alleles are known in humans) and each MHC molecule potentially has a unique binding specificity, this is an immense and high cost intensive task. I my talk, I will describe how relative simple bioinformatics algorithms (most of them artificial neural network based) can be applied to derive prediction algorithms aiming at resolving the complexity imposed by the immense MHC polymorphism. The focus of my talk will be on describing the bioinformatics algorithms and not on the details of the immune system, and I hope to show both the power and weakness of the proposed algorithms. I will illustrate how these algorithms effectively can be applied to identify peptide sequences from pathogens with the potential of providing broad protection both with respect to different pathogenic strains and the human MHC diversity.
7/10: Nicolás Erdödy - Open Parallel Ltd,
Título: Open Parallel: a company specialized in Open Source Software, Multicore and Parallel Computing
Resumen: Chip designers are gathering together lots of cores in a single chip: 4 cores are the norm today and chips with dozens and even hundreds of cores are already available or to be launched in the following few years. By using Multicore chips they avoid that your latest laptop will burn your lap.
But chipmakers forgot to check if the software that will exploit this massive processing power was available. Programmers now need to invent ways to write applications that take advantage of this increasing number of cores without spending too much time developing them or lowering its quality and performance. Not to mention how decades of legacy code will perform in the new hardware. In this context we established Open Parallel, a group that is creating an ecosystem of developers, academia and industry to further multicore processing into the mainstream. The presentation will show the evolution and milestones achieved since 2005, and comment on a current project fully sponsored by Intel: TBB into HipHop (Integration of Intel's Threading Building Blocks into Facebook's HipHop for PHP)
1/10: Nir Ailon - Technion, Haifa, Israel
Título: Approximation Algorithms for Ranking, Voting and Correlation Clustering
Resumen: In this talk I will survey recent advances in approximation algorithms for the following combinatorial optimization problems.
1. Consider a voting system in which each voter specifies a full ranking of the set of candidates. How do we aggregate the votes into one consensus ranking agreeing with the public? This problem has been studied in the context of meta-search and consolidating outputs of several search engines into one search engine. It can be viewed as a special case of the NP-Hard problem of Minimum Feedback Arc-Set in directed graphs.
2. Consider a scenario in which we are given a noisy metric information on a data set. More precisely, for each pair of elements we are given a measure of dissimilarity, with possible errors. How do we efficiently recover the original metric? I will focus on the special case of recovering a {0,1}-metric, equivalently, a clustering of the data. This is known as the Correlation Clustering problem.
The common theme for both problems is recovery of relational information: In the first problem we are interested in recovering an order relation, while in the second we are interested in recovering an equivalence relation.
Based on joint work with Alantha Newman, Moses Charikar, Mehryar Mohri and Edo Liberty
23/9: Delia Kesner - Laboratoire Preuves, Programmes et Systemes- CNRS and Universite Paris-Diderot
Título: Theory and Practice of Dynamic Patterns
Resumen: Pure pattern calculus supports pattern-matching functions in which patterns are first-class citizens: they can be passed as parameters, evaluated and returned as results. The simplicity and power of the calculus derive from allowing any term to be a pattern. This new expressive calculus supports two new forms of polymorphism.Path polymorphism allows recursive functions to traverse arbitrary data structures. Pattern polymorphism supports the dynamic creation and evaluation of patterns. In this talk we present practical exemples to motivate the use of programming languages where patterns are first-class citizens. We then introduce a formal framework to model functional language with dynamic patterns. We also discuss some fundamental properties of such pattern calculi.
1/9: David Garlan - Professor of Computer Science and Director of Software Engineering Professional Programs in the School of Computer Science at Carnegie Mellon University
Título: El uso de arquitecturas de software más allá de especificaciones / análisis en tiempo de diseño.
Resumen: David va a hacer un repaso de algunos de sus temas actuales de investigación. En particular:
(a) Architectural evolution
(b) SOA architectures for socio-cognitive analysis
(c) Self-healing systems – recent results in defining a language for self-adaptation strategies
20/8: Ignacio Piso - Research Institute for Global Change Japan Agency for Marine-Earth Science and Technology
Titulo: Modelado [computacional][numerico] de la composicion de la atmosfers terrestre: el cambio climatico, la capa de ozono y la polucion ambiental
Resumen: En esta charla daremos una introduccion general a varios problemas relacionados con el medio ambiente desde el punto de vista de la representacion de la quimica y la fisica y la dinamica de los gases de la atmosfera con modelos matematicos y discutiremos algunos aspectos de los problemas computacionales encontrados en este proceso.
2/7: Igor Zwir - Department of Molecular Microbiology, Washington University School of Medicine, USA, Howard Hughes Medical Institute, y Departmento de Ciencias de la Computación e Inteligencia Artificial,Universidad de Granada, España.
Título: Mapping DNA sequences to numbers: From cis-acting elements to complex
kinetic behaviors in bacterial regulatory networks
Resumen: Informalmente, Igor nos dice: La idea es hablar de varias cosas que estamos haciendo construyendo promotores artificiales, incluyendo motivos de "binding", medida de su potencial in vitro, el resultado in vivo midiendo la cinetica de "binding" y transcripcion, y la evolución de estos sistemas en las enterobacterias, etc. Por ahi, y en otro orden de cosas, puedo comentar al final algo de enfermedades neurodegeneativas que estamos haciendo con un núcleo genético en Salta, Argentina.
24/6: Gerardo Berbeglia. CIRRELT. HEC Montréal
Título: Análisis de complejidad y algoritmos para algunos problemas de recolección y entrega.
Resumen: Los problemas de recolección y entrega constituyen una clase importante de problemas de ruteo de vehículos en donde objetos o individuos deben ser recolectados y distribuidos. Estos problemas poseen numerosas aplicaciones en diversas areas como la logística, los servicios de ambulancias y la robótica. En esta charla hablaré sobre algunos aspectos de este tipo de problemas que estudié en mi tesis. Comenzaré con el estudio de la complejidad del problema recolección y entrega con rutas parciales fijas y la algunas de sus relajaciones. Luego presentaré un algoritmo exacto para determinar la factibilidad de instancias del denominado problema de transporte a la orden basado en la programación por restricciones. Finalmente describiré un algoritmo híbrido para el problema de transporte a la orden dinámico en donde las órdenes de servicio pueden ser recibidas en tiempo real. El algoritmo combina, en paralelo, una versión modificada del algoritmo exacto de programación por restricciones y una heurística de búsqueda tabú.
18/6: Mario Valencia, LIPN – Université Paris-Nord
Título: "Solución exacta del problema de la mochila en espacio polinomial (y tiempo pseudo-polinomial)"
Resumen: En esta charla, se discutirá un resultado reciente de Lokshtanov y Nederlof (STOC 2010), donde se proponen técnicas algebraicas para resolver ciertos algoritmos de programación dinámica en tiempo pseudo-polinomial y espacio polinomial. En particular, se mostrara como construir un algoritmo pseudo-polinomial en tiempo y polinomial en espacio para el problema de la mochila.
4/6: Juan Pablo Galeotti, doctorando del grupo RFM del DC
Titulo: Verificación automática de programas usando SAT-Solving y SMT-Solving
Resumen: Durante los últimos años se han realizado importantes avances en la verificación estática de programas. Es decir, en el desarrollo de herramientas que en tiempo de compilación sólo aceptan programas que cumplen con una especificación dada. Existen diferentes enfoques para la verificación. Uno de los más destacados es el de demostración de corrección: un programa y su especificación se reducen a un teorema lógico que vincula la especificación con el programa. Una vez reducido a un teorema lógico, se suele optar por alguna de estas opciones: a) intentar demostrar el teorema, b) tratar de refutarlo buscando un contraejemplo. Nuestro grupo de investigacion desarrolló TACO, una herramienta de verificación para Java basada en la búsqueda de contraejemplos. Su principio fundamental es crear una fórmula proposicional y utilizar un refutador de fórmulas proposicionales (un SAT solver). A pesar de que la herramienta resultó útil para encontrar errores en programas que lidian con estructuras de datos complejas, nos encontramos que la misma padece algunas deficiencias. En esta charla comentaremos algunas ideas (¡aún no probadas!) que estamos definiendo para combinar la refutación de contraejemplos con la información producida por un demostrador de teoremas.
21/5, 13:45hs: Hernán Dopazo, Centro de Investigació Príncipe Felipe, España
Titulo: Análisis Bioinformático Comparativo de Elementos Repetidos en Genomas Completos
Resumen: El genoma humano y el genoma eucariótico en general se caracteriza por la presencia de elementos de tamaño variable, más o menos conservados con distinto grado de repetición, que abarca más del 90% de su contenido total. Estas secuencias repetidas han pasado de ser el contenido absurdo y egoista de cualquier genoma a elementos claves de la regulación genómica, componentes necesarios para la adquisición de novedades evolutivas y responsables de muchas enfermedades humanas. Hasta el momento no se cuenta con una información comparada exhaustiva
de qué elementos repetidos se comparten entre genomas y en qué cantidad. Las aproximaciones computacionales revelan una dinámica homogeneizadora no mendeliana ya predicha por biólogos desde los años 80, pero jamás cuantificada.
La tasa de homogeneización de genomas descubierta gracias a estos métodos computacionales nos permiten contestar preguntas elementales sobre la evolución de los genomas, la ecología poblacional de los elementos repetidos y abordar problemas en enfermedades a partir de datos genómicos en humanos.
7/5, 13.45hs: Pablo Negri - Investigador Asistente CONICET
Título: Reconocimiento de Patrones para Aplicaciones en Transporte Inteligente y Biometría
Resumen: Durante la charla se van a presentar los trabajos de investigación llevados a cabo por el expositor durante su formación de master y doctoral en Francia. Los métodos de reconocimiento de formas (patrones) presentados consisten en dos algoritmos basados en votos y una implementación en cascada de los clasificadores de Adaboost. El primer algoritmo de votos es utilizado para segmentar una secuencia de video con el objetivo de reconocer gestos de la mano. El segundo método de votos se emplea para realizar el reconocimiento de la marca y el modelo de un vehículo que se presenta a la entrada de un estacionamiento. Finalmente, la cascada de clasificadores de Adaboost permite realizar la detección de obstáculos para un sistema de visión embarcado (en nuestro caso los obstáculos son otros vehículos). Se van a presentar también proyectos que se están realizando actualmente en el Grupo de Procesamiento de Imágenes del departamento de Computación.
8/4, 13.45 hs: Dr. Isaac Scherson, University of California, Irvine.
Título: New Approaches to Virtualization, Resource Sharing and Adaptive Load Distribution in Distributed Systems
