Andres Juarez – Página 3 – ICC – Instituto de Ciencias de la Computación

About Andres Juarez

This author has not yet filled in any details.
So far Andres Juarez has created 115 blog entries.

15 junio 2023

Two Decreasing Measures for Simply Typed Lambda-Terms
Gallery
Two Decreasing Measures for Simply Typed Lambda-Terms

Papers

Two Decreasing Measures for Simply Typed Lambda-Terms

Andres Juarez2023-06-15T11:42:58-03:00 15/junio/2023|Papers|

A new connective in natural deduction, and its application to quantum computing
Gallery
A new connective in natural deduction, and its application to quantum computing

Papers

A new connective in natural deduction, and its application to quantum computing

Andres Juarez2023-06-15T11:39:23-03:00 15/junio/2023|Papers|

Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations
Gallery
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations

Papers

Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations

Andres Juarez2023-06-15T11:34:37-03:00 15/junio/2023|Papers|

9 mayo 2023

Verificación formal de software para reactores nucleares
Gallery
Verificación formal de software para reactores nucleares

Vinculación

Verificación formal de software para reactores nucleares

Andres Juarez2023-06-21T12:12:33-03:00 9/mayo/2023|Vinculación|

Premio Konex a tres investigadores del ICC
Gallery
Premio Konex a tres investigadores del ICC

Noticias, Premios

Premio Konex a tres investigadores del ICC

Andres Juarez2023-10-18T10:44:20-03:00 4/mayo/2023|Noticias, Premios|

3 abril 2023

An unfeasibility view of neural network learning
Gallery
An unfeasibility view of neural network learning

Papers

An unfeasibility view of neural network learning

Andres Juarez2023-04-03T14:41:25-03:00 3/abril/2023|Papers|

29 marzo 2023

Día de la Investigación en Ciencias de la Computación 2023
Gallery
Día de la Investigación en Ciencias de la Computación 2023

Actualidad, Eventos, Noticias

Día de la Investigación en Ciencias de la Computación 2023

Andres Juarez2023-05-04T13:39:20-03:00 29/marzo/2023|Actualidad, Eventos, Noticias|

Investigadores desarrollan estudios computacionales para entender el lenguaje del pensamiento
Gallery
Investigadores desarrollan estudios computacionales para entender el lenguaje del pensamiento

Noticias

Investigadores desarrollan estudios computacionales para entender el lenguaje del pensamiento

Andres Juarez2023-03-29T14:20:29-03:00 10/marzo/2023|Noticias|

28 diciembre 2022

El ICC en el Cero más Infinito: desafíos y oportunidades
Gallery
El ICC en el Cero más Infinito: desafíos y oportunidades

Actualidad, Noticias

El ICC en el Cero más Infinito: desafíos y oportunidades

Andres Juarez2023-03-10T11:57:01-03:00 28/diciembre/2022|Actualidad, Noticias|

On-the-fly Informed Search of Non-blocking Directed Controllers
Gallery
On-the-fly Informed Search of Non-blocking Directed Controllers

Papers

On-the-fly Informed Search of Non-blocking Directed Controllers

Andres Juarez2022-12-16T13:28:39-03:00 16/diciembre/2022|Papers|

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification
Gallery
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification

Papers

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification

Andres Juarez2022-12-16T13:25:53-03:00 16/diciembre/2022|Papers|

A Discriminative Hierarchical PLDA-based Model for Spoken Language Recognition
Gallery
A Discriminative Hierarchical PLDA-based Model for Spoken Language Recognition

Papers

A Discriminative Hierarchical PLDA-based Model for Spoken Language Recognition

Andres Juarez2022-12-16T13:23:41-03:00 16/diciembre/2022|Papers|

14 noviembre 2022

Un proyecto clave para la formación en módulos biométricos
Gallery
Un proyecto clave para la formación en módulos biométricos

Noticias

Un proyecto clave para la formación en módulos biométricos

Andres Juarez2022-12-28T10:52:38-03:00 14/noviembre/2022|Noticias|

28 septiembre 2022

A multiyear radar-based climatology of supercell thunderstorms in central-eastern Argentina
Gallery
A multiyear radar-based climatology of supercell thunderstorms in central-eastern Argentina

Papers

A multiyear radar-based climatology of supercell thunderstorms in central-eastern Argentina

Andres Juarez2022-09-28T12:19:47-03:00 28/septiembre/2022|Papers|

Large-scale computational content analysis on magazines targeting men and women: the case of Argentina (2008-2018)
Gallery
Large-scale computational content analysis on magazines targeting men and women: the case of Argentina (2008-2018)

Papers

Large-scale computational content analysis on magazines targeting men and women: the case of Argentina (2008-2018)

Andres Juarez2022-09-28T12:18:04-03:00 28/septiembre/2022|Papers|

El ICC busca incorporar investigadoras e investigadores cuyo objeto central de estudio sean las Ciencias de la Computación
Gallery
El ICC busca incorporar investigadoras e investigadores cuyo objeto central de estudio sean las Ciencias de la Computación

Actualidad, Noticias

El ICC busca incorporar investigadoras e investigadores cuyo objeto central de estudio sean las Ciencias de la Computación

Andres Juarez2022-11-14T14:48:40-03:00 15/septiembre/2022|Actualidad, Noticias|

16 agosto 2022

Estudiantes de Computación que dan sus primeros pasos en la investigación
Gallery
Estudiantes de Computación que dan sus primeros pasos en la investigación

Actualidad, Noticias, Vinculación

Estudiantes de Computación que dan sus primeros pasos en la investigación

Andres Juarez2022-09-15T10:34:22-03:00 16/agosto/2022|Actualidad, Noticias, Vinculación|

Detección de epidemias a partir de textos periodísticos
Gallery
Detección de epidemias a partir de textos periodísticos

Noticias

Detección de epidemias a partir de textos periodísticos

Andres Juarez2022-08-16T13:30:13-03:00 9/agosto/2022|Noticias|

Linear-time Algorithms for Eliminating Claws in Graphs
Gallery
Linear-time Algorithms for Eliminating Claws in Graphs

Papers

Linear-time Algorithms for Eliminating Claws in Graphs

Andres Juarez2022-08-03T13:07:01-03:00 3/agosto/2022|Papers|

A new approach on locally checkable problems
Gallery
A new approach on locally checkable problems

Papers

A new approach on locally checkable problems

Andres Juarez2022-08-03T13:05:33-03:00 3/agosto/2022|Papers|

Previous 234 Next