We extend the results of Adcock, Carlsson, and Carlsson ([ACC13]) by constructing numeric invariants from the computation of a multidimensional persistence module as given by Carlsson, Singh, and Zomorodian in [CSZ10]. The use of topology to study point cloud data has been well established ([Car09], [Car14]). Given a finite metric space (e.g., a finite set in R n), one first constructs a filter...

Two experiments were conducted to examine the role of three facets of numeracy (objective (ONS), subjective (SNS), and symbolic number mapping (SMap)) in three anchoring tasks (experimenter-given, self-generate, and valuation). We found that the three numeric competencies were associated with different anchoring tasks. SMap was associated with none of the three anchor tasks, while ONS consisten...

13 task by allowing intervals to be given as values of the input parameters, and generating the plausible behaviors. A similar application in engineering relates to necessary tolerances of various model parameters. Simply simulating many times with dierent combinations of plausible model parameter values, as in Monte Carlo simulation, is likely to be tedious, perhaps impractical, and could also...

Scores on the three-item Cognitive Reflection Test (CRT) have been linked with dual-system theory and normative decision making (Frederick, 2005). In particular, the CRT is thought to measure monitoring of System 1 intuitions such that, if cognitive reflection is high enough, intuitive errors will be detected and the problem will be solved. However, CRT items also require numeric ability to be ...

Knowledge-based numeric open caption recognition is proposed that can recognize numeric captions generated by character generator (CG) and automatically superimpose a modified caption using the recognized text only when a valid numeric caption appears in the aimed specific region of a live sportscast scene produced by other broadcasting stations. In the proposed method, mesh features are extrac...

One important quantitative property of CPS (Cyber-Physical Systems) software is its heap bound for which a precise analysis result needs to combine shape analysis and numeric reasoning. In this paper, we present a framework for statically finding symbolic heap bounds of CPS software. The basic idea is to separate numeric reasoning from shape analysis by first constructing an ASTG (Abstract Stat...

Planning problems have been traditionally expressed by a propositional representation. However, this representation is not adequate to express numeric variables when modeling realworld continuous resources, such as fuel consumption, energy level, profit, etc. This paper presents our ongoing work to build a planner with capabilities for numeric variables, including duration on actions, and multi...

A standard (single-column) bar chart can effectively visualize a sorted list of numeric records. However, the chart height limits the number of visible records. To show more records, the bars could be made thinner (which could hinder identifying records individually), and scrolling requires interaction to see the overview. Treemaps have been used in practice in non-hierarchical settings for den...

Although a lot of work has been devoted to the encoding of planning tasks to propositional logic, only a few works can be found in the literature on satisfiability based approaches to planning in domains that require numeric reasoning. This is probably due to the difficulty of efficiently handling at the same time numeric constraints and propositional formulas. Surprisingly, satisfiability modu...