Results 11 to 20 of about 54,704 (250)
Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs [PDF]
Logical Methods in Computer Science, 2019 As a natural extension of the SAT problem, an array of proof systems for quantified Boolean formulas (QBF) have been proposed, many of which extend a propositional proof system to handle universal quantification.
Olaf Beyersdorff +2 more
doaj +1 more source
Entropic Dynamics on Gibbs Statistical Manifolds
Entropy, 2021 Entropic dynamics is a framework in which the laws of dynamics are derived as an application of entropic methods of inference. Its successes include the derivation of quantum mechanics and quantum field theory from probabilistic principles.
Pedro Pessoa +2 more
doaj +1 more source
Group Invariance of Information Geometry on q-Gaussian Distributions Induced by Beta-Divergence
Entropy, 2013 We demonstrate that the q-exponential family particularly admits natural geometrical structures among deformed exponential families. The property is the invariance of structures with respect to a general linear group, which transitively acts on the space
Shinto Eguchi, Atsumi Ohara
doaj +1 more source
Superintegrability of matrix Student's distribution
Physics Letters B, 2022 For ordinary matrix models, the eigenvalue probability density decays rapidly as one goes to infinity, in other words, has “short tails”. This ensures that all the multiple trace correlators (multipoint moments) are convergent and well-defined.
A. Mironov, A. Morozov, A. Popolitov
doaj +1 more source
Deformed Algebras and Generalizations of Independence on Deformed Exponential Families
Entropy, 2015 A deformed exponential family is a generalization of exponential families. Since the useful classes of power law tailed distributions are described by the deformed exponential families, they are important objects in the theory of complex systems.
Hiroshi Matsuzoe, Tatsuaki Wada
doaj +1 more source
Physics Letters B, 2020 We argue that the presence of an inflationary epoch is a natural, almost unavoidable, consequence of the existence of a sensible action involving an infinite tower of higher-curvature corrections to the Einstein-Hilbert action.
Gustavo Arciniega +5 more
doaj +1 more source
Notulae Botanicae Horti Agrobotanici Cluj-Napoca, 2022 Ruellia tuberosa (family Acanthaceae) is widely known in traditional medicine in Asian countries for the treatment of diabetes and other diseases. Its roots were demonstrated to possess a hypoglycemic ability in diabetic animal models. In this study, an
Dai M. CAO +2 more
doaj +1 more source
On standard conjugate families for natural exponential families with bounded natural parameter space
Journal of Multivariate Analysis, 2014 Diaconis and Ylvisaker (1979) give necessary conditions for conjugate priors for distributions from the natural exponential family to be proper as well as to have the property of linear posterior expectation of the mean parameter of the family. Their conditions for propriety and linear posterior expectation are also sufficient if the natural parameter ...
Kurt Hornik, Bettina Grün
openaire +3 more sources
Increasing Hazard Rate of Mixtures for Natural Exponential Families [PDF]
Advances in Applied Probability, 2012 Hazard rates play an important role in various areas, e.g. reliability theory, survival analysis, biostatistics, queueing theory, and actuarial studies. Mixtures of distributions are also of great preeminence in such areas as most populations of components are indeed heterogeneous.
Bar-Lev, Shaul K., Letac, Gérard
openaire +4 more sources
Model Checking in Bits and Pieces [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Fully automated verification of concurrent programs is a difficult problem, primarily because of state explosion: the exponential growth of a program state space with the number of its concurrently active components.
Kedar S. Namjoshi
doaj +1 more source