Eventos
Calendario de Eventos
|
lunes
|
martes
|
miércoles
|
jueves
|
viernes
|
sábado
|
domingo
|
|---|---|---|---|---|---|---|
|
1 evento,
-
Título: Fuzzing In-Vivo Mediante Amplificación de Ejecuciones Directores: Juan P. Galeotti y Marcel Böhme Jurados: Agustin Martinez Suñé y Sergio D'Arrigo Lugar: https://youtube.com/live/fdEUj4bgX-Q?feature=share Resumen Uno de los mayores cuellos de botella al aplicar fuzz testing sobre librerías es la necesidad de contar con fuzz drivers. Estos son programas que […] |
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
|
0 eventos,
|
0 eventos,
|
1 evento,
-
Título: Un algoritmo basado en generación de columnas para Star Routing Director: Dr Javier Marenco Jurados: Dr Brian Curcio y Dr Pablo Factorovich Resumen: Dados un grafo G = (N, E) y una flota de vehículos capacitados inicialmente ubicada sobre el vértice depósito, el problema de Star Routing pide […] |
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
|
0 eventos,
|
0 eventos,
|
1 evento,
-
El miércoles 14, a las 14hs va a dar una charla Joost Peter Katoen, (https://en.wikipedia.org/wiki/Joost-Pieter_Katoen) y va a dar una charla que tal vez sea de su interés. Sala 2103 a las 14 horas. Facing Uncertainty in AI - From Verification to Synthesis Uncertainties occur in different forms: data […] |
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
|
0 eventos,
|
0 eventos,
|
1 evento,
-
Título: Un cálculo-lambda cronometrado Director: Pablo Barenbaum Jurado: Sergio Abriola y Rafael Romero Resumen: El cálculo-lambda permite estudiar la noción de función computable desde un punto de vista matemático, modelando la abstracción y la aplicación de una función a un argumento. El mecanismo de cómputo por el cual se […] |
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
