SearcharxivSearch

arXiv subjects

Carlos Ortiz

Publications and source records attributed to Carlos Ortiz.

6 recordsLinked to original sources

A randomized greedy algorithm for piecewise linear motion planning

We describe and implement a randomized algorithm that inputs a polyhedron, thought of as the space of states of some automated guided vehicle $\mathcal{R}$, and outputs an explicit system of piecewise linear motion planners for $\mathcal{R}$. The algorithm is designed in such a way that the cardinality of the outputed system is probabilistically close (with parameters chosen by the user) to minimal possible. This yields the first automated solution for robust-to-noise robot motion planning in terms of simplicial complexity (SC) techniques, a discretization of Farber's topological complexity TC. Besides its relevance toward technological applications, our work revels that, unlike other discrete approaches to TC, the SC model can recast Farber's invariant without having to introduce costly subdivisions. We develop and implement our algorithm by actually discretizing Macías-Virgós and Mosquera-Lois' notion of homotopic distance, thus encompassing computer estimations of other sectional category invariants as well, such as the Lusternik-Schnirelmann category of polyhedra.

math.AT

Intersectional Bias in Hate Speech and Abusive Language Datasets

Algorithms are widely applied to detect hate speech and abusive language in social media. We investigated whether the human-annotated data used to train these algorithms are biased. We utilized a publicly available annotated Twitter dataset (Founta et al. 2018) and classified the racial, gender, and party identification dimensions of 99,996 tweets. The results showed that African American tweets were up to 3.7 times more likely to be labeled as abusive, and African American male tweets were up to 77% more likely to be labeled as hateful compared to the others. These patterns were statistically significant and robust even when party identification was added as a control variable. This study provides the first systematic evidence on intersectional bias in datasets of hate speech and abusive language.

cs.CL

Empirical Methodology for Crowdsourcing Ground Truth

The process of gathering ground truth data through human annotation is a major bottleneck in the use of information extraction methods for populating the Semantic Web. Crowdsourcing-based approaches are gaining popularity in the attempt to solve the issues related to volume of data and lack of annotators. Typically these practices use inter-annotator agreement as a measure of quality. However, in many domains, such as event detection, there is ambiguity in the data, as well as a multitude of perspectives of the information examples. We present an empirically derived methodology for efficiently gathering of ground truth data in a diverse set of use cases covering a variety of domains and annotation tasks. Central to our approach is the use of CrowdTruth metrics that capture inter-annotator disagreement. We show that measuring disagreement is essential for acquiring a high quality ground truth. We achieve this by comparing the quality of the data aggregated with CrowdTruth metrics with majority vote, over a set of diverse crowdsourcing tasks: Medical Relation Extraction, Twitter Event Identification, News Event Extraction and Sound Interpretation. We also show that an increased number of crowd workers leads to growth and stabilization in the quality of annotations, going against the usual practice of employing a small number of annotators.

cs.HC

Evolving properties of two dimensional materials, from graphene to graphite

We have studied theoretically, using density functional theory, several materials properties when going from one C layer in graphene to two and three g raphene layers and on to graphite. The properties we have focused on are the elastic constants, electronic structure (energy bands and density of state s), and the dielectric properties. For any of the properties we have investigated the modification due to an increase in the number of graphene layers is within a few percent. Our results are in agreement with the analysis presented recently by Kopelevich and Esquinazi (unpublished).

cond-mat.mtrl-sci

Uniform Versions of Infinitary Properties in Banach Spaces

In functional analysis it is of interest to study the following general question: Is the uniform version of a property that holds in all Banach spaces also valid in all Banach spaces? Examples of affirmative answers to the above question are the host of proofs of almost-isometric versions of well known isometric theorems. Another example is Rosenthal's uniform version of Krivine's Theorem. Using an extended version of Henson's Compactness result for positive bounded formulas in normed structures, we show that the answer of the above question is in fact yes for every property that can be expressed in a particular infinitary language.

math.LO

A Model Existence Theorem for Infinitary Formulas in Metric Spaces

We prove a Model Existence Theorem for a fully infinitary logic for metric structures. This result is based on a generalization of the notions of approximate formulas and approximate truth in normed structures introduced by Henson and studied in different forms by Anderson and Fajardo & Keisler. This theorem extends Henson's Compactness Theorem for approximate truth in normed space structures to infinitary formulas.

math.LO