Results 11 to 20 of about 72,037 (263)
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
Frontline Learning Research, 2023 Quantitative reasoning is considered a crucial prerequisite for acquiring domain-specific expertise in higher education. To ascertain whether students are developing quantitative reasoning, validly assessing its development over the course of their ...
Susanne Schmidt +2 more
doaj +1 more source
Numeracy, 2023 In Numbers Don’t Lie: 71 Stories to Help Us Understand the Modern World (2020), Vaclav Smil draws on his interdisciplinary background in science, public policy, and history to provide readers with 71 short essays that help us better understand aspects of
Samuel Tunstall
doaj +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
Applying Quantitative Reasoning to Clarify Arc Measurements
Georgia Educational Researcher, 2020 The importance of reasoning quantitatively is reflected in both mathematics education research and mathematical standards for K-12 students. In this article, we detail how a quantitative reasoning framework can be used to help differentiate two ...
David Glassmeyer, Daniel Barton
doaj +1 more source
An Astronomer’s Journey into Quantitative Reasoning
Numeracy, 2021 The University of Colorado Boulder campus introduced what may have been the world’s first quantitative reasoning (QR) requirement in 1984 and started offering a QR course in 1988.
Jeffrey Bennett
doaj +1 more source
Quantitative Logic Reasoning [PDF]
, 2018 Appeared as a chapter in Trends in Logic ...
openaire +2 more sources
Fibrational Bisimulations and Quantitative Reasoning [PDF]
, 2018 Bisimulation and bisimilarity are fundamental notions in comparing state-based systems. Their extensions to a variety of systems have been actively pursued in recent years, a notable direction being quantitative extensions. In this paper we present an abstract categorical framework for such extended (bi)simulation notions.
David Sprunger +3 more
openaire +2 more sources
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
Qualitative Reasoning for Quantitative Simulation
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 +1 more source