منابع مشابه
Proof Theory of Reflection
The paper contains proof{theoretic investigations on extensions of Kripke{Platek set theory, KP, which accommodate rst order re ection. Ordinal analyses for such theories are obtained by devising cut elimination procedures for in nitary calculi of rami ed set theory with n re ection rules. This leads to consistency proofs for the theories KP+ n{re ection using a small amount of arithmetic (PRA)...
متن کاملVariational Theory of Mixtures
In the past the variational theory of mixtures due to Mansoori and Leland has been applied successfully to the calculation of excess properties of mixtures. In the present work the origin of the variational theory is discussed along with the important applications of the theory to pure fluid and mixture properties. The advances of the theory in performing mixture calculations are reviewed and a...
متن کاملVariational Transition State Theory
Transition state theory (TST) 1 is the most widely used theory for calculating rates of bimolecular eactions occurring in the gas phase and in condensed phases. TST is also incorporated into the widely used RRKM theory for unimolecular reactions. The popularity of TST is largely due to its simplicity and its usefulness for correlating trends in reaction rates in terms of easily interpreted quan...
متن کاملVariational Theory of Balance Systems
Abstract. In this work we apply the Poincare-Cartan formalism of the Classical Field Theory to study the systems of balance equations (balance systems). We introduce the partial k-jet bundles Jk p (π) of the configurational bundle π : Y → X and study their basic properties: partial Cartan structure, prolongation of vector fields, etc. A constitutive relation C of a balance system BC is realized...
متن کامل13 : Theory of Variational Inference
We then went on to introduce mean field variational inference, in which the variational distribution over latent variables is assumed to factor as a product of functions over each latent variable. In this sense, the joint approximation is made using the simplifying assumption that all latent variables are independent. Alternatively, we can use approximations in which only groups of variables ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Australian Journal of Physics
سال: 1985
ISSN: 0004-9506
DOI: 10.1071/ph850113