Results 281 to 290 of about 3,959,828 (340)
Some of the next articles are maybe not open access.
, 2020
We report a mixed-methods research study investigating the effect of quantitative reasoning on prospective mathematics teachers’ comprehension of a proof on real numbers.
Mervenur Belin, G. K. Akar
semanticscholar +1 more source
We report a mixed-methods research study investigating the effect of quantitative reasoning on prospective mathematics teachers’ comprehension of a proof on real numbers.
Mervenur Belin, G. K. Akar
semanticscholar +1 more source
Annual Meeting of the Association for Computational Linguistics
Quantitative reasoning is a critical skill to analyze data, yet the assessment of such ability remains limited. To address this gap, we introduce the Quantitative Reasoning with Data (QRData) benchmark, aiming to evaluate Large Language Models ...
Xiao Liu +5 more
semanticscholar +1 more source
Quantitative reasoning is a critical skill to analyze data, yet the assessment of such ability remains limited. To address this gap, we introduce the Quantitative Reasoning with Data (QRData) benchmark, aiming to evaluate Large Language Models ...
Xiao Liu +5 more
semanticscholar +1 more source
Automata-Based Quantitative Reasoning
ACM SIGLOG News, 2023Existing solution approaches for problems in formal quantitative analysis suffer from two challenges that adversely impact their theoretical understanding and large-scale applicability. These are the lack of generalizability , and separation-of-techniques.
openaire +1 more source
Statistics in Medicine, 2019
Null hypothesis significance testing has received a great amount of attention in recent years in the light of the reproducibility crisis of science. Recently, there have been calls to retire the dichotomization of study results into “significant” or “not
D. Infanger, A. Schmidt-Trucksäss
semanticscholar +1 more source
Null hypothesis significance testing has received a great amount of attention in recent years in the light of the reproducibility crisis of science. Recently, there have been calls to retire the dichotomization of study results into “significant” or “not
D. Infanger, A. Schmidt-Trucksäss
semanticscholar +1 more source
Probabilistic quantitative temporal reasoning
Proceedings of the Symposium on Applied Computing, 2017Temporal reasoning, in the form of propagation of temporal constraints, is an important topic in Artificial Intelligence. The current literature in the area is moving from the treatment of "crisp" temporal constraints to fuzzy or probabilistic constraints, to account for different forms of uncertainty and\or preferences.
Paolo Terenziani, Antonella Andolina
openaire +1 more source
Parametric quantitative temporal reasoning
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), 2003We define Parameterized Real-Time Computation Tree Logic (PRTCTL), which allows quantitative temporal specifications to be parameterized over the natural numbers. Parameterized quantitative specifications are quantitative specifications in which concrete timing information has been abstracted away.
E.A. Emerson, R.J. Trefler
openaire +1 more source
2001
In Section 6.1.4, we examined techniques for translating the propositional consistency problem into decidable subproblems of the set-satisfiability problem; we also saw, in Sections 6.1.3 and 6.3.2, techniques for translating Hilbert’s tenth problem into more general instances of the set-satisfiability problem.
Domenico Cantone +2 more
openaire +1 more source
In Section 6.1.4, we examined techniques for translating the propositional consistency problem into decidable subproblems of the set-satisfiability problem; we also saw, in Sections 6.1.3 and 6.3.2, techniques for translating Hilbert’s tenth problem into more general instances of the set-satisfiability problem.
Domenico Cantone +2 more
openaire +1 more source
Evaluating Quantitative Reasoning Strategies for Comparing Fractions: A Tool for Teachers
Intervention in School and Clinic, 2018Meaningful inclusion of quantitative reasoning into mathematics instruction requires meaningful ways to evaluate it. Few formative assessments exist to evaluate the strategies students use when reasoning mathematically.
Lindy Crawford +3 more
semanticscholar +1 more source
International Journal of Research in Undergraduate Mathematics Education, 2022
S. Jones, R. Ely
semanticscholar +1 more source
S. Jones, R. Ely
semanticscholar +1 more source