Results 11 to 20 of about 659,328 (290)
Quantitative Reasoning and Sustainability
Numeracy, 2012 Quantitative Reasoning and Sustainability have much in common. Both are complex, nuanced concepts with rather long definitions that have evolved over time.
Corrine H. Taylor
doaj +4 more sources
Qualitative Reasoning for Quantitative Simulation [PDF]
Modelling and Simulation in Engineering, 2018 Qualitative simulation is a well-known reasoning technique that involves the use of simulation technologies. Reasoning is made to determine qualitative values and change directions of system variables, and it is done for each time point and time interval
Mehmet Fatih Hocaoğlu
doaj +2 more sources
The Conceptualization of Quantitative Reasoning among Introductory Biology Faculty. [PDF]
J Microbiol Biol Educ, 2021 Cleveland A +2 more
europepmc +2 more sources
Quantitative Algebraic Reasoning [PDF]
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016 We develop a quantitative analogue of equational reasoning which we call quantitative algebra. We define an equality relation indexed by rationals: a = ϵ b which we think of as saying that "a is approximately equal to b up to an error of ϵ ". We have 4 interesting examples where we have a quantitative equational theory whose free algebras correspond to
Mardare, Radu +2 more
openaire +4 more sources
Compositional Quantitative Reasoning [PDF]
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006 We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantitative system properties, such as resource consumption, price, or a measure of how well a system satisfies its specification.
K. Chatterjee +5 more
openaire +3 more sources
Quantitative temporal reasoning [PDF]
Real-Time Systems, 1992 A substantially large class of programs operate in distributed and real-time environments, and an integral part of their correctness specification requires the expression of time-critical properties that relate the occurrence of events of the system. We focus on the formal specification and reasoning about the correctness of such programs. We propose a
E. Allen Emerson +3 more
openaire +1 more source
Intuitive interference in quantitative reasoning [PDF]
Brain Research, 2006 It is well known that surface features of a task can queue multiple reasoning strategies. Interference or conflict among the strategies is signaled by increasing reaction times and error rates. To determine the neural basis of this interference, we studied 14 volunteers using event-related fMRI, as they compared the perimeters of geometrical shapes in ...
Stavy, R. +3 more
openaire +3 more sources
Language (Technology) is Power: A Critical Survey of "Bias" in NLP
, 2020 We survey 146 papers analyzing "bias" in NLP systems, finding that their motivations are often vague, inconsistent, and lacking in normative reasoning, despite the fact that analyzing "bias" is an inherently normative process.
Barocas, Solon +3 more
core +1 more source
Numeracy, 2019 This study examines how a models-and-modeling perspective affected teachers' attention to quantitative reasoning in task design. A Model-Eliciting Activity (MEA) was implemented with 21 teachers over four weeks, challenging teachers to design a ...
David Glassmeyer
doaj +1 more source