Results 1  10
of
3,185,725
Some properties of Noether charge and a proposal for dynamical black hole entropy
 Phys. Rev
, 1994
"... We consider a general, classical theory of gravity with arbitrary matter fields in n dimensions, arising from a diffeomorphism invariant Lagrangian, L. We first show that L always can be written in a “manifestly covariant ” form. We then show that the symplectic potential current (n − 1)form, Θ, an ..."
Abstract

Cited by 342 (4 self)
 Add to MetaCart
in general obeys a “second law ” of black hole mechanics remains open. In an appendix, we apply some of our results to theories with a nondynamical metric and also briefly develop the theory of stressenergy pseudotensors. PACS #: 04.20.q, 0.4.20.Fy, 97.60.Lf 1 1
Properties of subsets
 Journal of Formalized Mathematics
, 1989
"... Summary. The text includes theorems concerning properties of subsets, and some operations on sets. The functions yielding improper subsets of a set, i.e. the empty set and the set itself are introduced. Functions and predicates introduced for sets are redefined. Some theorems about enumerated sets a ..."
Abstract

Cited by 1278 (0 self)
 Add to MetaCart
Summary. The text includes theorems concerning properties of subsets, and some operations on sets. The functions yielding improper subsets of a set, i.e. the empty set and the set itself are introduced. Functions and predicates introduced for sets are redefined. Some theorems about enumerated sets
The fundamental properties of natural numbers
 Journal of Formalized Mathematics
, 1989
"... Summary. Some fundamental properties of addition, multiplication, order relations, exact division, the remainder, divisibility, the least common multiple, the greatest common divisor are presented. A proof of Euclid algorithm is also given. MML Identifier:NAT_1. WWW:http://mizar.org/JFM/Vol1/nat_1.h ..."
Abstract

Cited by 682 (76 self)
 Add to MetaCart
Summary. Some fundamental properties of addition, multiplication, order relations, exact division, the remainder, divisibility, the least common multiple, the greatest common divisor are presented. A proof of Euclid algorithm is also given. MML Identifier:NAT_1. WWW:http://mizar.org/JFM/Vol1/nat_1
Basic Properties of Real Numbers
 Journal of Formalized Mathematics
, 1989
"... this paper. A real number is an element of R ..."
Symmetry and Related Properties via the Maximum Principle
, 1979
"... We prove symmetry, and some related properties, of positive solutions of second order elliptic equations. Our methods employ various forms of the maximum principle, and a device of moving parallel planes to a critical position, and then showing that the solution is symmetric about the limiting plan ..."
Abstract

Cited by 539 (4 self)
 Add to MetaCart
We prove symmetry, and some related properties, of positive solutions of second order elliptic equations. Our methods employ various forms of the maximum principle, and a device of moving parallel planes to a critical position, and then showing that the solution is symmetric about the limiting
Property Testing and its connection to Learning and Approximation
"... We study the question of determining whether an unknown function has a particular property or is fflfar from any function with that property. A property testing algorithm is given a sample of the value of the function on instances drawn according to some distribution, and possibly may query the fun ..."
Abstract

Cited by 498 (68 self)
 Add to MetaCart
We study the question of determining whether an unknown function has a particular property or is fflfar from any function with that property. A property testing algorithm is given a sample of the value of the function on instances drawn according to some distribution, and possibly may query
Monetary Policy Rules and Macroeconomic Stability: Evidence and Some Theory
 Journal of Economics
, 2000
"... We estimate a forwardlooking monetary policy reaction function for the postwar United States economy, before and after Volcker’s appointment as Fed Chairman in 1979. Our results point to substantial differences in the estimated rule across periods. In particular, interest rate policy in the Volcker ..."
Abstract

Cited by 1220 (17 self)
 Add to MetaCart
in the VolckerGreenspan period appears to have been much more sensitive to changes in expected in�ation than in the preVolcker period. We then compare some of the implications of the estimated rules for the equilibrium properties of in�ation and output, using a simple macroeconomic model, and show
Specificity and mechanism of action of some commonly used protein kinase inhibitors
 Biochem. J
, 2000
"... The specificities of 28 commercially available compounds reported to be relatively selective inhibitors of particular serine� threoninespecific protein kinases have been examined against a large panel of protein kinases. The compounds KT 5720, Rottlerin and quercetin were found to inhibit many prot ..."
Abstract

Cited by 514 (1 self)
 Add to MetaCart
The specificities of 28 commercially available compounds reported to be relatively selective inhibitors of particular serine� threoninespecific protein kinases have been examined against a large panel of protein kinases. The compounds KT 5720, Rottlerin and quercetin were found to inhibit many protein kinases, sometimes much more potently than their presumed targets, and conclusions drawn from their use in cellbased experiments are likely to be erroneous. Ro 318220 and related bisindoylmaleimides, as well as H89, HA1077 and Y 27632, were more selective inhibitors, but still inhibited two or more protein kinases with similar potency. LY 294002 was found to inhibit casein kinase2 with similar potency to phosphoinositide (phosphatidylinositol) 3kinase. The compounds with the most
Results 1  10
of
3,185,725