Results 1  10
of
4,784
LevelSpacing Distributions and the Airy Kernel
 COMMUNICATIONS IN MATHEMATICAL PHYSICS
, 1994
"... Scaling levelspacing distribution functions in the "bulk of the spectrum" in random matrix models of N x N hermitian matrices and then going to the limit N — » oo leads to the Fredholm determinant of the sine kernel sinπ(x — y)/π(x — y). Similarly a scaling limit at the "edge o ..."
Abstract

Cited by 430 (24 self)
 Add to MetaCart
single interval, of the Fredholm determinant in terms of a Painleve transcendent; the existence of a commuting differential operator; and the fact that this operator can be used in the derivation of asymptotics, for general n, of the probability that an interval contains precisely n eigenvalues.
Binary operations
 Journal of Formalized Mathematics
, 1989
"... Summary. In this paper we define binary and unary operations on domains. We also define the following predicates concerning the operations:... is commutative,... is associative,... is the unity of..., and... is distributive wrt.... A number of schemes useful in justifying the existence of the operat ..."
Abstract

Cited by 363 (6 self)
 Add to MetaCart
Summary. In this paper we define binary and unary operations on domains. We also define the following predicates concerning the operations:... is commutative,... is associative,... is the unity of..., and... is distributive wrt.... A number of schemes useful in justifying the existence
Gravity coupled with matter and the foundation of non commutative geometry
, 1996
"... We first exhibit in the commutative case the simple algebraic relations between the algebra of functions on a manifold and its infinitesimal length element ds. Its unitary representations correspond to Riemannian metrics and Spin structure while ds is the Dirac propagator ds = ×— × = D −1 where D i ..."
Abstract

Cited by 343 (17 self)
 Add to MetaCart
is the Dirac operator. We extend these simple relations to the non commutative case using Tomita’s involution J. We then write a spectral action, the trace of a function of the length element in Planck units, which when applied to the non commutative geometry of the Standard Model will be shown (in a joint
Binary operations applied to functions
 Journal of Formalized Mathematics
, 1989
"... Summary. In the article we introduce functors yielding to a binary operation its composition with an arbitrary functions on its left side, its right side or both. We prove theorems describing the basic properties of these functors. We introduce also constant functions and converse of a function. The ..."
Beyond Atomic Registers: Bounded WaitFree Implementations of Nontrivial Objects
, 1992
"... We de ne a class of operations called pseudo readmodifywrite (PRMW) operations, and show that nontrivial shared data objects with such operations can be implemented in a bounded, waitfree manner from atomic registers. A PRMW operation is similar to a \true " readmodifywrite (RMW) oper ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
by anassociative, commutative PRMW operation, and show that any object in this class can be implemented without waiting from atomic registers. The implementations that we present are polynomial in both space and time and thus are an improvement over previously published ones, all of which have unbounded space
Covariant operator formalism of gauge theories and quantum gravity,” World Sci. Lect. Notes Phys
, 1990
"... The new method proposed previously for solving the covariant operator formalism of quantum Einstein gravity is applied to quantum electrodynamics as an exercise of the application to quantum chromodynamics. The purposes of doing this are to establish the details of the method and to reconfirm the va ..."
Abstract

Cited by 214 (5 self)
 Add to MetaCart
the validity of the method. The Wightman functions are explicitly constructed, at tree and oneloop levels, so as to be consistent with fourdimensional multiple (anti)commutators and with the energypositivity condition. Quantum chromodynamics is a nonabelian gauge theory, for which the covariant operator
Optimizing the migration of virtual computers
 In Proceedings of the 5th Symposium on Operating Systems Design and Implementation
, 2002
"... Abstract This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state a capsule. Capsule state is hardware state, so it includes the entire operating system as well as applications ..."
Abstract

Cited by 238 (5 self)
 Add to MetaCart
to start running an application within 20 minutes on a 384 kbps link, without having to first install the application or even the underlying operating system. Furthermore, users' capsules can be migrated during a commute between home and work in even less time.
On fusion categories
 Annals of Mathematics
"... Abstract. In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series ofC. For fusion categories with commutative Gr ..."
Abstract

Cited by 216 (32 self)
 Add to MetaCart
Abstract. In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series ofC. For fusion categories with commutative
Commuter
"... Erie International Airport (elevation 733 feet above mean sea level) is a primary commercial service facility which accommodates aircraft from Airplane Design Groups I, II, and III, and Aircraft Approach Categories A, B and C. The Airport currently has an Airport Reference Code (ARC) of CIII. Thus, ..."
Abstract
 Add to MetaCart
daily departures, or 22 % of total departures. Commuter operations accounted for 14 departures or 78 % of the total departures. The characteristics of the aircraft utilized and how they relate to the FAA’s classifications of design group and approach categories are presented in Table D1.
Results 1  10
of
4,784