Results 1  10
of
2,647
Alternatingtime Temporal Logic
 Journal of the ACM
, 1997
"... Temporal logic comes in two varieties: lineartime temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branchingtime temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general var ..."
Abstract

Cited by 620 (53 self)
 Add to MetaCart
for closed systems, alternatingtime logics are natural specification languages for open systems. For example, by preceding the temporal operator "eventually" with a selective path quantifier, we can specify that in the game between the system and the environment, the system has a strategy to reach
DESIGN OF AN OPEN FORMULAE FOR THE INTERDISCIPLINARY MULTILINGUAL TERMINOLOGICAL DICTIONARY FOR GEOINFORMATICS
"... Fast development of computer science oriented on a capturing, processing and distribution of geoinformation (geoinformatics), which has applications in many technical and natural disciplines of science and technique, calls for urgent unification of professional terminology, for terminological dictio ..."
Abstract
 Add to MetaCart
dictionary. The presented open formulae of creation of dictionary for geoinformatics, assumes the use of internet, to continuously present the content of the dictionary data base. That way the dictionary will be available for users, even though it will not yet be completed. The open formulae assumes also
A path integral approach to the Kontsevich quantization formula
, 1999
"... We give a quantum field theory interpretation of Kontsevich’s deformation quantization formula for Poisson manifolds. We show that it is given by the perturbative expansion of the path integral of a simple topological bosonic open string theory. Its Batalin–Vilkovisky quantization yields a supercon ..."
Abstract

Cited by 306 (21 self)
 Add to MetaCart
We give a quantum field theory interpretation of Kontsevich’s deformation quantization formula for Poisson manifolds. We show that it is given by the perturbative expansion of the path integral of a simple topological bosonic open string theory. Its Batalin–Vilkovisky quantization yields a
On the assessment of surface heat flux and evaporation using large scale parameters
 Mon. Weather Rev
, 1972
"... ABSTRACTIn an introductory review it is reemphasized that the largescale parameterization of the surface fluxes of sensible and latent heat is properly expressed in terms of energetic considerations over land while formulas of the bulk aerodynamic type are most suitable over the sea. A general fra ..."
Abstract

Cited by 357 (0 self)
 Add to MetaCart
framework is suggested. Data from a number of saturated land sites and open water sites in the absence of advection suggest a widely applicable formula for the relationship between sensible and latent heat fluxes. For drying land surfaces, we assume that the evaporation rate is given by the same formula
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 326 (4 self)
 Add to MetaCart
, and the symplectic current (n − 1)form, ω, for the theory always can be globally defined in a covariant manner. Associated with any infinitesimal diffeomorphism is a Noether current (n − 1)form, J, and corresponding Noether charge (n − 2)form, Q. We derive a general “decomposition formula ” for Q. Using
Quantum Circuit Complexity
, 1993
"... We study a complexity model of quantum circuits analogous to the standard (acyclic) Boolean circuit model. It is shown that any function computable in polynomial time by a quantum Turing machine has a polynomialsize quantum circuit. This result also enables us to construct a universal quantum compu ..."
Abstract

Cited by 320 (1 self)
 Add to MetaCart
computer which can simulate, with a polynomial factor slowdown, a broader class of quantum machines than that considered by Bernstein and Vazirani [BV93], thus answering an open question raised in [BV93]. We also develop a theory of quantum communication complexity, and use it as a tool to prove
Which Problems Have Strongly Exponential Complexity?
 Journal of Computer and System Sciences
, 1998
"... For several NPcomplete problems, there have been a progression of better but still exponential algorithms. In this paper, we address the relative likelihood of subexponential algorithms for these problems. We introduce a generalized reduction which we call SubExponential Reduction Family (SERF) t ..."
Abstract

Cited by 242 (11 self)
 Add to MetaCart
formulas whose first order part is universal. In particular, subexponential complexity for any one of the above problems implies the same for all others. We also look at the issue of proving strongly exponential lower bounds for AC 0 ; that is, bounds of the form 2 \Omega\Gamma n) . This problem
body weight, and neoplasia in ad libitumfed and dietrestricted C57BL6 mice fed NIH31 open formula diet. toxicol Pathol
, 1995
"... Groups of C57BL6 mice of each sex were assigned to one of 2 dietary regimens, ad libitum (AL) or dietary restriction (DR), to study effects of food restriction on body weight, survival, and neoplasia. The AL and DR groups were subdivided into a scheduled sacrifice group for examination at 6mo inter ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
Groups of C57BL6 mice of each sex were assigned to one of 2 dietary regimens, ad libitum (AL) or dietary restriction (DR), to study effects of food restriction on body weight, survival, and neoplasia. The AL and DR groups were subdivided into a scheduled sacrifice group for examination at 6mo intervals, and a lifetime group to provide longevity data. Necropsies and microscopic examinations were conducted on 911 animals. In the lifetime group food consumption averaged 33.6 and 34.4 g per week by AL males and AL females, respectively; the DR counterparts were given 40 % less. The diet contained 4.35 kcal/g. The average lifetime body weights were 34.8, 26.8, 22.6, and 21.6 g for AL males, AL females, DR males, and DR females, respectively, and their age at 50 % survival was 27.5, 26.9, 31.7, and 33.5 mo. Maximal lifespan was increased 18 % in DR males and females. Lifetime incidence of tumorbearing mice was 89 % and 86 % for AL males and females, versus 64 % for each sex of DR mice. Dramatic reduction occurred in female DR mice in lymphoma (9 % vs 29%), pituitary neoplasms (1 % vs 37%), and thyroid neoplasms (0.4 % vs 8%). In males, hepatocellular tumors were reduced to 1 % from 10 % by DR. In contrast, the incidence of histiocytic sarcoma was increased in DR females and unaffected in DR males. Tumor onset was delayed in DR animals; 87% of all neoplasms in males and 95 % in females had occurred in the AL mice by 24 mo, whereas the DR
The Steiner Formulas For The Open Planar
, 2005
"... In this paper, we present the Steiner formula for oneparameter open planar homothetic motions. Using this area formula, the generalization of the Holditch Theorem given by W. Blaschke and H. R. Müller [4, p.142] is expressed during oneparameter open planar homothetic motions. Furthermore, we obta ..."
Abstract
 Add to MetaCart
In this paper, we present the Steiner formula for oneparameter open planar homothetic motions. Using this area formula, the generalization of the Holditch Theorem given by W. Blaschke and H. R. Müller [4, p.142] is expressed during oneparameter open planar homothetic motions. Furthermore, we
The structure of complete stable minimal surfaces in 3manifolds of nonnegative scalar curvature.
 Comm. Pure Appli. Math.
, 1980
"... The purpose of this paper is to study minimal surfaces in threedimensional manifolds which, on each compact set, minimize area up to second order. If M is a minimal surface in a Riemannian threemanifold N, then the condition that M be stable is expressed analytically by the requirement that o n a ..."
Abstract

Cited by 192 (1 self)
 Add to MetaCart
is true provided the image of the Gauss map of M omits an open set on the sphere. The relationship of the stable regions on M to the area of their Gaussian image has been studied by Barbosa and do Carmo [l] (cf. Remark 5 ) . The methods of SchoenSimonYau [ 113 give a proof of this result provided
Results 1  10
of
2,647