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

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|

27 November 2023

Phone and speaker spatial organization in self-supervised speech representations
Gallery
Phone and speaker spatial organization in self-supervised speech representations

Papers

Phone and speaker spatial organization in self-supervised speech representations

Andres Juarez2023-11-27T13:30:24-03:00 27/November/2023|Papers|

Intersection models and forbidden pattern characterizations for 2-thin and proper 2-thin graphs
Gallery
Intersection models and forbidden pattern characterizations for 2-thin and proper 2-thin graphs

Papers

Intersection models and forbidden pattern characterizations for 2-thin and proper 2-thin graphs

Andres Juarez2023-11-27T13:29:09-03:00 27/November/2023|Papers|

The descriptive complexity of the set of Poisson generic numbers
Gallery
The descriptive complexity of the set of Poisson generic numbers

Papers

The descriptive complexity of the set of Poisson generic numbers

Andres Juarez2023-11-27T13:27:17-03:00 27/November/2023|Papers|

Study on the Fairness of Speaker Verification Systems Across Accent and Gender Groups
Gallery
Study on the Fairness of Speaker Verification Systems Across Accent and Gender Groups

Papers

Study on the Fairness of Speaker Verification Systems Across Accent and Gender Groups

Andres Juarez2023-11-14T14:48:39-03:00 14/November/2023|Papers|

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Gallery
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

Papers

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

Andres Juarez2023-11-14T14:47:19-03:00 14/November/2023|Papers|

EEG Dynamics of Error Processing and Associated Behavioral Adjustments in Preschool Children
Gallery
EEG Dynamics of Error Processing and Associated Behavioral Adjustments in Preschool Children

Papers

EEG Dynamics of Error Processing and Associated Behavioral Adjustments in Preschool Children

Andres Juarez2023-11-15T13:55:52-03:00 14/November/2023|Papers|

14 August 2023

Neural Bases of Predictions During Natural Reading of Known Statements: An Electroencephalography and Eye Movements Co-registration Study
Gallery
Neural Bases of Predictions During Natural Reading of Known Statements: An Electroencephalography and Eye Movements Co-registration Study

Papers

Neural Bases of Predictions During Natural Reading of Known Statements: An Electroencephalography and Eye Movements Co-registration Study

Andres Juarez2023-08-14T15:02:25-03:00 14/August/2023|Papers|

A Classroom-Embedded Video Game Intervention Improves Executive Functions in Kindergarteners
Gallery
A Classroom-Embedded Video Game Intervention Improves Executive Functions in Kindergarteners

Papers

A Classroom-Embedded Video Game Intervention Improves Executive Functions in Kindergarteners

Andres Juarez2023-08-14T15:00:19-03:00 14/August/2023|Papers|

15 June 2023

Breaking the Communities: Characterizing community changing users using text mining and graph machine learning on Twitter
Gallery
Breaking the Communities: Characterizing community changing users using text mining and graph machine learning on Twitter

Papers

Breaking the Communities: Characterizing community changing users using text mining and graph machine learning on Twitter

Andres Juarez2023-06-15T11:44:33-03:00 15/June/2023|Papers|

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/June/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/June/2023|Papers|