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 150 blog entries.

15 octubre 2024

A Linear Proof Language for Second-Order Intuitionistic Linear Logic
Gallery
A Linear Proof Language for Second-Order Intuitionistic Linear Logic

Papers

A Linear Proof Language for Second-Order Intuitionistic Linear Logic

Andres Juarez2024-10-15T12:08:10-03:00 15/octubre/2024|Papers|

22 agosto 2024

Verification of Programs with Common Fragments
Gallery
Verification of Programs with Common Fragments

Papers

Verification of Programs with Common Fragments

Andres Juarez2024-08-22T15:17:11-03:00 22/agosto/2024|Papers|

Speech-induced suppression during natural dialogues
Gallery
Speech-induced suppression during natural dialogues

Papers

Speech-induced suppression during natural dialogues

Andres Juarez2024-08-22T15:15:08-03:00 22/agosto/2024|Papers|

Metrics reloaded: Recommendations for image analysis validation
Gallery
Metrics reloaded: Recommendations for image analysis validation

Papers

Metrics reloaded: Recommendations for image analysis validation

Andres Juarez2024-08-22T15:13:48-03:00 22/agosto/2024|Papers|

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

Actualidad, Eventos, Noticias

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

Andres Juarez2024-10-23T11:41:33-03:00 13/agosto/2024|Actualidad, Eventos, Noticias|

23 julio 2024

Buenos Aires fue sede de la principal conferencia internacional de computación cuántica y lógica
Gallery
Buenos Aires fue sede de la principal conferencia internacional de computación cuántica y lógica

Noticias

Buenos Aires fue sede de la principal conferencia internacional de computación cuántica y lógica

Andres Juarez2024-08-13T11:36:09-03:00 23/julio/2024|Noticias|

Abstraction-Aware Inference of Metamorphic Relations
Gallery
Abstraction-Aware Inference of Metamorphic Relations

Papers

Abstraction-Aware Inference of Metamorphic Relations

Andres Juarez2024-07-01T10:28:37-03:00 1/julio/2024|Papers|

Thinness and its variations on some graph families and coloring graphs of bounded thinness
Gallery
Thinness and its variations on some graph families and coloring graphs of bounded thinness

Papers

Thinness and its variations on some graph families and coloring graphs of bounded thinness

Andres Juarez2024-07-01T10:25:32-03:00 1/julio/2024|Papers|

Discrete-event simulation of continuous-time systems: evolution and state of the art of quantized state system methods
Gallery
Discrete-event simulation of continuous-time systems: evolution and state of the art of quantized state system methods

Papers

Discrete-event simulation of continuous-time systems: evolution and state of the art of quantized state system methods

Andres Juarez2024-07-01T10:22:37-03:00 1/julio/2024|Papers|

25 junio 2024

Deep Learning para la segmentación de imágenes médicas
Gallery
Deep Learning para la segmentación de imágenes médicas

Noticias

Deep Learning para la segmentación de imágenes médicas

Andres Juarez2024-08-13T11:36:20-03:00 25/junio/2024|Noticias|

9 abril 2024

Brewing Up Reliability: Espresso Test Generation for Android Apps
Gallery
Brewing Up Reliability: Espresso Test Generation for Android Apps

Papers

Brewing Up Reliability: Espresso Test Generation for Android Apps

Andres Juarez2024-04-09T11:16:10-03:00 9/abril/2024|Papers|

Measuring Ideological Spectrum Through NLP
Gallery
Measuring Ideological Spectrum Through NLP

Papers

Measuring Ideological Spectrum Through NLP

Andres Juarez2024-04-09T11:15:00-03:00 9/abril/2024|Papers|

Quantization-based simulation of spiking neurons: theoretical properties and performance analysis
Gallery
Quantization-based simulation of spiking neurons: theoretical properties and performance analysis

Papers

Quantization-based simulation of spiking neurons: theoretical properties and performance analysis

Andres Juarez2024-04-09T11:13:22-03:00 9/abril/2024|Papers|

Estudiantes participan en destacados proyectos de investigación sobre procesamiento de imágenes
Gallery
Estudiantes participan en destacados proyectos de investigación sobre procesamiento de imágenes

Noticias

Estudiantes participan en destacados proyectos de investigación sobre procesamiento de imágenes

Andres Juarez2024-06-14T13:51:38-03:00 5/abril/2024|Noticias|

4 marzo 2024

Desafíos del viajante de comercio con un dron
Gallery
Desafíos del viajante de comercio con un dron

Noticias

Desafíos del viajante de comercio con un dron

Andres Juarez2024-06-14T13:51:47-03:00 4/marzo/2024|Noticias|

7 febrero 2024

Apparent personality prediction from speech using expert features and wav2vec 2.0
Gallery
Apparent personality prediction from speech using expert features and wav2vec 2.0

Papers

Apparent personality prediction from speech using expert features and wav2vec 2.0

Andres Juarez2024-02-07T09:55:54-03:00 7/febrero/2024|Papers|

A concrete model for a typed linear algebraic lambda calculus
Gallery
A concrete model for a typed linear algebraic lambda calculus

Papers

A concrete model for a typed linear algebraic lambda calculus

Andres Juarez2024-02-07T09:52:42-03:00 7/febrero/2024|Papers|

16 enero 2024

Computación cuántica: qué desafíos enfrenta antes de alcanzar la revolución tecnológica
Gallery
Computación cuántica: qué desafíos enfrenta antes de alcanzar la revolución tecnológica

Noticias

Computación cuántica: qué desafíos enfrenta antes de alcanzar la revolución tecnológica

Andres Juarez2024-04-05T14:49:52-03:00 16/enero/2024|Noticias|

Investigadores argentinos recibieron el Best Paper Award en una prestigiosa conferencia internacional de teoría de la computación
Gallery
Investigadores argentinos recibieron el Best Paper Award en una prestigiosa conferencia internacional de teoría de la computación

Noticias

Investigadores argentinos recibieron el Best Paper Award en una prestigiosa conferencia internacional de teoría de la computación

Andres Juarez2024-03-04T11:55:38-03:00 2/enero/2024|Noticias|

21 diciembre 2023

On the Interpretability and Significance of Bias Metrics in Texts: a PMI-based Approach
Gallery
On the Interpretability and Significance of Bias Metrics in Texts: a PMI-based Approach

Papers

On the Interpretability and Significance of Bias Metrics in Texts: a PMI-based Approach

Andres Juarez2023-12-21T12:28:27-03:00 21/diciembre/2023|Papers|

Previous 234 Next