Sciweavers

3229 search results - page 249 / 646
» Theories with the Independence Property
Sort
View
SIAMJO
2002
73views more  SIAMJO 2002»
15 years 6 months ago
Nonlinearly Constrained Best Approximation in Hilbert Spaces: The Strong CHIP and the Basic Constraint Qualification
We study best approximation problems with nonlinear constraints in Hilbert spaces. The strong "conical hull intersection property" (CHIP) and the "basic constraint q...
Chong Li, Xiao-Qing Jin
SCHOLARPEDIA
2008
187views more  SCHOLARPEDIA 2008»
15 years 6 months ago
Bekenstein-Hawking entropy
We demonstrate how Sakharov's idea of induced gravity allows one to explain the statistical-mechanical origin of the entropy of a black hole. According to this idea, gravity b...
Jacob Bekenstein
IANDC
2010
84views more  IANDC 2010»
15 years 5 months ago
Modules over monads and initial semantics
Inspired by the classical theory of modules over a monoid, we introduce the natural notion of module over a monad. The associated notion of morphism of left modules (”linear” n...
André Hirschowitz, Marco Maggesi
IEEEARES
2009
IEEE
15 years 4 months ago
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
Chunyan Mu, David Clark
JOI
2011
93views more  JOI 2011»
15 years 1 months ago
Bibliometric rankings of journals based on Impact Factors: An axiomatic approach
This paper proposes an axiomatic analysis of Impact Factors when used as tools for ranking journals. This analysis draws on the similarities between the problem of comparing distr...
Denis Bouyssou, Thierry Marchant