Desafíos de edición en la principal revista de ingeniería de software Gallery Desafíos de edición en la principal revista de ingeniería de software Noticias Desafíos de edición en la principal revista de ingeniería de software Andres Juarez2025-03-13T14:32:14-03:00 23/octubre/2024|Noticias|
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|
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|
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|
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|
Premio “Amazon Research Awards” a investigadores del ICC Gallery Premio “Amazon Research Awards” a investigadores del ICC Noticias, Premios Premio “Amazon Research Awards” a investigadores del ICC Federico Schneeberger2024-07-23T10:17:52-03:00 14/junio/2024|Noticias, Premios|
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|
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|
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|
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|
