• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 5,000
Next 10 →

Quantitative Reasoning and Sustainability

by Corrine H. Taylor , 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

by William Labov , 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

by Nathan D. Grawe, Carol A. Rutz
"... 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

by Variation In, U. Ammon, N. Dittmar, K. Mattheier, William Labov
"... 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

by Krishnendu Chatterjee, Luca De Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar - 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

by John P. Smith Iii, Patrick W. Thompson, D. W. Carraher, M. L. Blanton (eds
"... 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

by Corrine H. Taylor
"... 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

by Daniel Zboril, Florian Metze - 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

by Richard J. Shavelson
"... 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

by Jan Hoffmann, Michael Marmar, Zhong Shao
"... 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
Next 10 →
Results 1 - 10 of 5,000
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University