Everything about Bounded quantification

🧭 Start here: a 6-step reading path

1. Read the overview: Bounded quantificationA 5-minute orientation
2. Skim a recent paper: A suggestion for the quantification of precise and bounded probability to quantify epistemic uncertainty in scientific assessmentsInfluential work since 2022
3. Pick up a classic book: Textbook on contract lawThe most-reprinted book on the subject
4. Read the landmark paper: Uncertainty Quantification of Turbulence Model Closure Coefficients for Transonic Wall-Bounded FlowsCited 109 times
5. Go sideways: Polymorphism (computer science)A closely related topic
6. Go sideways: Generics in JavaA closely related topic

🏆 Landmark papers (most cited)

• Uncertainty Quantification of Turbulence Model Closure Coefficients for Transonic Wall-Bounded Flows

  John Schaefer, Serhat Hosder, Thomas West · 2017 · AIAA Journal · 109 citations

• Non-probabilistic uncertainty quantification and response analysis of structures with a bounded field model

  Yangjun Luo, Junjie Zhan, Jian Xing · 2019 · Computer Methods in Applied Mechanics and Engineering · 82 citations

• A modest model of records, inheritance, and bounded quantification

  Kim B. Bruce, Giuseppe Longo · 1990 · Information and Computation · 65 citations

• Quantification of amplitude modulation in wall-bounded turbulence

  Eda Dogan, Ramis Örlü, Davide Gatti · 2019 · Fluid Dynamics Research · 57 citations

• Bounded Quantification Is Undecidable

  B.C. Pierce · 1994 · Information and Computation · 50 citations

• A TVD Uncertainty Quantification Method with Bounded Error Applied to Transonic Airfoil Flutter

  Jeroen A. S. Witteveen, Hester Bijl · 2009 · Communications in Computational Physics · 20 citations

• The addition of bounded quantification and partial functions to a computational logic and its theorem prover

  RobertS. Boyer, JStrother Moore · 1988 · Journal of Automated Reasoning · 15 citations

• Greedy Implicit Bounded Quantification

  Chen Cui, Shengyi Jiang, Bruno C. d. S. Oliveira · 2023 · Proceedings of the ACM on Programming Languages · 10 citations

🆕 Influential since 2022

• A suggestion for the quantification of precise and bounded probability to quantify epistemic uncertainty in scientific assessments

  Ivette Raices Cruz, Matthias C. M. Troffaes, Ullrika Sahlin · 2022 · Risk Analysis · 4 citations

• Uncertainty quantification in resolvent analysis of experimental wall-bounded turbulent flows

  Salvador R. Gomez, Tomek M. Jaroslawski · 2026 · Experiments in Fluids · 1 citations

• Revisiting Decidable Bounded Quantification, via Dinaturality

  James Laird · 2023 · Electronic Notes in Theoretical Informatics and Computer Science · 0 citations

• Single-sensor methane emission quantification under bounded distance priors using differential evolution Monte Carlo

  Zhengyi Xie, Jianfeng Tang, Tong Li · 2027 · Fuel · 0 citations

📚 Books worth reading

• Textbook on contract lawJill Poole · 2004
• 📕Signal processing for magnetic resonance imaging and spectroscopyHong Yan · 2002
• Topics in Model Validation and Uncertainty Quantification, Volume 5Todd Simmermacher · 2013
• Quantification, nature, and bioavailability of bound ¹⁴C-pesticide residues in soil, plants, and foodFinal Research Co-ordination Meeting on Isotopic Tracer-Aided Studies of Unextractable or Bound Pesticide Residues in Soil, Plants, and Food (1985 Gainesville, Fla.) · 1986
• 📕The complement systemMihaela Gadjeva · 2014
• NeuroproteomicsKevin K. W. Wang · 2009
• A syntax of SerbianLjiljana Progovac · 2005
• Engineered zinc finger proteinsJoel P. Mackay, David J. Segal · 2010

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Polymorphism (computer science) In programming language theory and type theory, polymorphism allows a value or variable to have more than one type and allows a given operation to be performed…
• Generics in Java Generics are a facility of generic programming that were added to the Java programming language in 2004 within version J2SE 5.0. They were designed to…
• Function object In computer programming, a function object is a construct allowing an object to be invoked or called as if it were an ordinary function, usually with the…
• Subtyping In programming language theory, subtyping (also called subtype polymorphism or inclusion polymorphism) is a form of type polymorphism. A subtype is a datatype…
• Type variance In computer programming, type variance is the relationship between subtypes of a composite type (e.g. List[Int]) and the subtypes of its components (e…
• Generic programming Generic programming is a style of computer programming in which algorithms are written in terms of data types to-be-specified-later that are then instantiated…
• Type variable In type theory and programming languages, a type variable is a mathematical variable ranging over types. Even in programming languages that allow mutable…
• Data type In computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible…