Results 1 - 10
of
5,000
Quantitative Reasoning and Sustainability
, 2012
"... Quantitative Reasoning and Sustainability have much in common. Both are complex, nuanced concepts with rather long definitions that have evolved over time. Both subjects are “everybody’s business ” on college campuses, and must be approached in courses across the curriculum, not merely in one course ..."
Abstract
- Add to MetaCart
Quantitative Reasoning and Sustainability have much in common. Both are complex, nuanced concepts with rather long definitions that have evolved over time. Both subjects are “everybody’s business ” on college campuses, and must be approached in courses across the curriculum, not merely in one
Quantitative Reasoning in Linguistics
, 2008
"... The study of linguistic variation requires a familiarity with both the basic tools of qualitative linguistic analysis and quantitative methods of for pursuing that analysis to deeper levels. This presentation will assume a basic familiarity with both sets of tools, and focus upon how they are used t ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
The study of linguistic variation requires a familiarity with both the basic tools of qualitative linguistic analysis and quantitative methods of for pursuing that analysis to deeper levels. This presentation will assume a basic familiarity with both sets of tools, and focus upon how they are used
for Quantitative Reasoning Program Development
"... As an inherently interdisciplinary endeavor, quantitative reasoning (QR) risks falling through the cracks between the traditional “silos ” of higher education. This article describes one strategy for developing a truly cross-campus QR initiative: leverage the existing structures of campus writing pr ..."
Abstract
- Add to MetaCart
As an inherently interdisciplinary endeavor, quantitative reasoning (QR) risks falling through the cracks between the traditional “silos ” of higher education. This article describes one strategy for developing a truly cross-campus QR initiative: leverage the existing structures of campus writing
Quantitative Reasoning in Linguistics
"... The study of linguistic variation requires a familiarity with both the basic tools of qualitative linguistic analysis and quantitative methods of for pursuing that analysis to deeper levels. This presentation will assume a basic familiarity with both sets of tools, and focus upon how they are used t ..."
Abstract
- Add to MetaCart
The study of linguistic variation requires a familiarity with both the basic tools of qualitative linguistic analysis and quantitative methods of for pursuing that analysis to deeper levels. This presentation will assume a basic familiarity with both sets of tools, and focus upon how they are used
Compositional quantitative reasoning
- In Proc. QEST’06
, 2006
"... Abstract. We present a compositional theory of system verica-tion, where specications assign real-numbered costs to systems. These costs can express a wide variety of quantitative system prop-erties, such as resource consumption, price, or a measure of how well a system satises its specication. The ..."
Abstract
-
Cited by 13 (3 self)
- Add to MetaCart
Abstract. We present a compositional theory of system verica-tion, where specications assign real-numbered costs to systems. These costs can express a wide variety of quantitative system prop-erties, such as resource consumption, price, or a measure of how well a system satises its specication
Quantitative Reasoning and the Development of Algebraic Reasoning
"... Recent discussions of algebra reform have focused on having more students take algebra courses and on improving their mathematical content. We believe that neither approach can be successful without substantial changes in the K-8 mathematics curriculum's current focus on numbers and arithmetic ..."
Abstract
- Add to MetaCart
argue that a focus on quantitative reasoning can develop students ' abilities to conceptualize, reason about, and operate on quantities and relationships in sensible problem situations. We describe a broad view of quantitative reasoning as it relates to algebraic and arithmetical reasoning and show
Assessing Quantitative Reasoning
"... PDCA cycle for implementing any major change or for ensuring continuous improvement of products or services. 1 I see a version of this process being employed in our continued efforts to create a numerate society. Right now, much attention is devoted to step 3: checking on these efforts with formal a ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
assessments (often assessments of assessments) and evaluations (typically of programs). A decade or so ago, the focus of a small but dedicated community promoting quantitative literacy (QL) was on planning: defining QL as distinct from mathematics; detailing the skill sets and scope of QL; and establishing
Indeterminateness in Qualitative and Quantitative Reasoning
- in: Seventh International Workshop on Database and Expert Systems Applications; IEEE Computer Sciences, Los Alamitos
, 1996
"... A central issue of expert systems is the manmachine -interface. One of its most ergonomic realizations is a natural language interface. Uncertainty and indeterminateness are main properties of natural language. While there are many formalisms dealing with uncertainty, there still is a strong need of ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
of those modeling indeterminateness. Therefore a formalism is presented which (a) formalizes the semantic interpretation of natural language and (b) provides an instrument for reasoning with information given in natural language. After a short outline of the problem the theoretical foundations
Reflections on Quantitative Reasoning: An Assessment Perspective
"... If we seek to enhance the quantitative reasoning of the American public, not only do we need to be able to say what quantitative reasoning is, we also need to know how to teach for it and how to measure progress toward the QR goal. My focus is on assessment, but inevitably I also need to address def ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
If we seek to enhance the quantitative reasoning of the American public, not only do we need to be able to say what quantitative reasoning is, we also need to know how to teach for it and how to measure progress toward the QR goal. My focus is on assessment, but inevitably I also need to address
Quantitative Reasoning for Proving Lock-Freedom
"... This article describes a novel quantitative proof technique for the modular and local verification of lock-freedom. In contrast to proofs based on temporal rely-guarantee requirements, this new quantitative reasoning method can be directly integrated in modern program logics that are designed for th ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
This article describes a novel quantitative proof technique for the modular and local verification of lock-freedom. In contrast to proofs based on temporal rely-guarantee requirements, this new quantitative reasoning method can be directly integrated in modern program logics that are designed
Results 1 - 10
of
5,000