Papers – ICC – Instituto de Ciencias de la Computación

15 November 2024

Polarization dynamics: a study of individuals shifting between political communities on social media
Gallery
Polarization dynamics: a study of individuals shifting between political communities on social media

Papers

Polarization dynamics: a study of individuals shifting between political communities on social media

Andres Juarez2024-11-15T11:47:13-03:00 15/November/2024|Papers|

Nested perfect arrays
Gallery
Nested perfect arrays

Papers

Nested perfect arrays

Andres Juarez2024-11-15T11:45:41-03:00 15/November/2024|Papers|

On extremal factors of de Bruijn-like graphs
Gallery
On extremal factors of de Bruijn-like graphs

Papers

On extremal factors of de Bruijn-like graphs

Andres Juarez2024-11-15T11:41:50-03:00 15/November/2024|Papers|

AgrOptim: A novel multi-objective simulation optimization framework for extensive cropping systems
Gallery
AgrOptim: A novel multi-objective simulation optimization framework for extensive cropping systems

Papers

AgrOptim: A novel multi-objective simulation optimization framework for extensive cropping systems

Andres Juarez2024-11-15T11:39:45-03:00 15/November/2024|Papers|

15 October 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/October/2024|Papers|

22 August 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/August/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/August/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/August/2024|Papers|

1 July 2024

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/July/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/July/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/July/2024|Papers|

9 April 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/April/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/April/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/April/2024|Papers|

7 February 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/February/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/February/2024|Papers|

21 December 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/December/2023|Papers|

Benchmarking on Data Acquisition event building network performance for the ATLAS HL-LHC upgrade
Gallery
Benchmarking on Data Acquisition event building network performance for the ATLAS HL-LHC upgrade

Papers

Benchmarking on Data Acquisition event building network performance for the ATLAS HL-LHC upgrade

Andres Juarez2023-12-21T12:26:51-03:00 21/December/2023|Papers|

An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
Gallery
An algebraic semantics for possibilistic finite-valued Łukasiewicz logic

Papers

An algebraic semantics for possibilistic finite-valued Łukasiewicz logic

Andres Juarez2023-12-21T12:23:34-03:00 21/December/2023|Papers|

Weak-ensconcement for Shielded base contraction
Gallery
Weak-ensconcement for Shielded base contraction

Papers

Weak-ensconcement for Shielded base contraction

Andres Juarez2023-12-21T12:19:19-03:00 21/December/2023|Papers|