Proyectos

Acceda a nuestros proyectos de investigación e innovación.

Cursos

Nuestra propuesta de formación de grado y progrado.

Eventos

Seminarios, conferencias y encuentros académicos en los que el grupo participa.

Nuestro equipo

Eventos y proyectos recientes

recentPostsSubtitle

On Locality Sensitive Hashing for Sampling Extent Generators

on September 15, 2017

Seminario InCo Víctor Codocedo (INRIA Chile, Chile) 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.

Continuar leyendo

Lecciones de un proyecto de Ciencia de Datos con datos reales: Mecánica Predictiva

on September 13, 2017

Seminario ICT4V Víctor Codocedo (INRIA Chile, Chile) Inria Chile trabaja actualmente con Tracktec, una empresa dedicada al monitoreo telemétrico de variables mecánicas en buses y camiones en distintas aplicaciones del transporte. Inicialmente pensado como un proyecto para predicción de fallas en buses, la ejecución del mismo ha mostrado la complejidad del problema y la insuficiencia de los datos, incluso cuando su volumen excede los 1000 millones de lecturas para cuatro meses de registro.

Continuar leyendo

Certified autonomic mechanisms for mobile security

on May 7, 2017

This project targets the design of (certified) mechanisms able to proactively understand the behaviour of platforms that deploy technologies for mobile devices in order to detect/prevent vulnerable states of those platforms. To that end we aim at integrating the use of formal security models and certified proofs of properties that may be used to enforce or violate security policies with methods and techniques capable of collecting and analyzing information residing in mobile devices as well as the events that provoke creation, modification and (potentially unsecure) flow of that information.

Continuar leyendo

VirtualCert

on April 4, 2017

Abstract In this project we focus on the security of computer virtualization platforms. In particular, the main objective is to develop a formal idealized model of one such platform, establish non-interference security properties that should be guaranteed by the modeled control access mechanisms and to construct mathematical proofs, verified with the help of the Coq proof assistant, that those properties are verified by the model. The project has been partially funded by a grant Fondo Clemente Estable 2009 of the Uruguayan National research agency ANII and currently by a CSIC grant for R&D Projects - edition 2012.

Continuar leyendo

Sitios relacionados