Eventos y actividades

Communication by text -- e.g., email, SMS messaging or social media -- is a large and increasing part of how people interact every day, which places demands on how quickly and comfortably text can be entered on devices. In this talk, I present some text entry scenarios that are somewhat more challenging than standard typing in a Latin alphabet, and discuss how natural language modeling can improve input efficiency and/or accuracy.

Los ambientes inteligentes han permitido una sinergia esperada desde la IoT entre las TICs y la automatizacion industrial, para hacer aparecer las TICAs como medio para mejorar los ambientes donde los humanos nos desenvolvemos cotidianamente. En ese sentido, se requieren el uso de paradigmas desde la TICs para modelar esos entornos, para explotar los datos que circulan en ellos, en vias a automatizar dichos Ambientes.

Abstract:   
We introduce a method for sampling formal concepts using locality sensitive hashing (LSH).
LSH is a technique used for finding approximate nearest neighbours given a set of hashing functions.
Through our approach, we are able to predict the probability of an extent in the concept lattice given set of objects and their similarity index, a generalization of the Jaccard similarity between sets.
Our approach allows defining a lattice-based amplification construction to design arbitrarily discriminative sampling settings.


Biografía:

Resumen: Uno de mis mayores caprichos de este año fue buscar conexiones entre aspectos puramente determinísticos, como lo es la teoría de conectividad de redes, y otros /puramente/ /probabilísticos/, como la confiabilidad de redes.

La teoría extremal de grafos provee comunión entre ambos mundos.
Como parte del corto camino trazado, se reconceptualizan trabajos de Gustav Kirchhoff, Frank Harary y Klaus Wagner.

MateFun es un lenguaje de programación funcional muy simple, diseñado para introducir la programación a estudiantes liceales y a su vez fortalecer la apropiación del concepto de función matemática.  En este seminario se presentará el diseño de MateFun de una manera informal.

El curso Programación 1 de nuestra carrera (que también toman estudiantes de otras carreras) es un curso que desde el punto de vista docente resulta un gran desafío. Esto es a veces muy motivante y otras un poco frustrante, pero sin duda nunca aburrido.

Proof assistants like Coq, HOL, Agda, ... cannot be used practically as programming languages. A lot of research today consists to start with a given programming language, usually of the ML family, and to add dependent types, thus turning it into a proof assistant. The logic behind such an enriched programming language is a type theory whose terms (the objects we are proving properties of) live in various (distinct) types, stratifying the objects by the type system.

En 2016 el Claustro de Facultad de Ingeniería comenzó un proceso de adaptación de los planes de estudio a la normativa vigente. A partir de dicha iniciativa, la Dirección del Inco y la de Carreras de Computación conformaron un grupo de trabajo con el objetivo de evaluar los planes de estudios vigentes, a 20 años de su elaboración.

Abstract:
We present a game-theoretic approach to coercion-resistance from the point of view of an honest election authority that chooses between various protection methods with different levels of resistance and different implementation costs. We give a simple game model of the election and propose a preliminary analysis. It turns out that, in the

Y si ... la Naturaleza que nos rodea fuera, en última instancia, el resultado de la interacción de una enorme cantidad de Máquinas de Turing?
Y si ... nuestra galaxia y sus vecinas fueran el resultado de la interacción de una enorme cantidad de Máquinas de Turing?
Y si ... el mundo atómico fuera el resultado de la interacción de una enorme cantidad de Máquinas de Turing?