Results 11 to 20 of about 3,533,210 (290)
Compositional Quantitative Reasoning [PDF]
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006 . 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 ...
Krishnendu Chatterjee +10 more
core +4 more sources
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
Quantitative Equational Reasoning
, 2020 Equational logic has been a central theme in mathematical reasoning and in reasoning about programs. We introduce a quantitative analogue of equational reasoning that allows one to reason about approximate equality.
Gordon Plotkin +7 more
core +2 more sources
The Joy of Quantitative Reasoning
Numeracy, 2012 One of the advantages of focusing on quantitative reasoning is that it spans a wide variety of topics. As incoming president of the National Numeracy Network, I would like to take the opportunity of this editorial to tell my story of intellectual reward ...
Caren Diefenderfer
doaj +3 more sources
International Journal of Research in Education and Science, 2018 The aim of this research is to examine prospective mathematics teachers’ quantitative reasoning, their support for students’ quantitative reasoning and the relationship between them, if any. The teaching experiment was used as the research method in this
Kabael T., Akin A.
core +2 more sources
Weighted LARS for Quantitative Stream Reasoning
, 2020 Wir erweitern LARS, ein neueres Stream-Reasoning-Framework, das auf ASP basiert, zu gewichtetem LARS (wLARS), wobei Formeln als algebraische Ausdrücke über Semiringen interpretiert werden.
Eiter, Thomas +1 more
core +6 more sources
Qualitative Reasoning Methodology for the Generation of Process Plant Operating Procedures [PDF]
, 1995 The analysis of operating procedures in the early stages of design can lead to safer and higher performance plants. Qualitative reasoning techniques hold considerable promise in supporting generations of operating procedures, since they are able to ...
Vianna, Regina Ferreira
core +7 more sources
Comparative Analysis of 16S rRNA Gene and Metagenome Sequencing in Pediatric Gut Microbiomes
Frontiers in Microbiology, 2021 The colonization of the human gut microbiome begins at birth, and over time, these microbial communities become increasingly complex. Most of what we currently know about the human microbiome, especially in early stages of development, was described ...
Danielle Peterson +31 more
doaj +1 more source
Looking Back at Quantitative Reasoning
Numeracy, 2021 A teacher looks back on three decades of teaching, pondering, and writing about quantitative reasoning (QR) and shares a few lessons learned. The skills that we teach in QR courses are more important than ever in providing students with a sense of civic ...
William Briggs
doaj +1 more source