Results 1  10
of
1,942
A Soloviev, Settheoretical solutions to the quantum YangBaxter equation
 Duke Math. J
, 1999
"... In the paper [Dr] V.Drinfeld formulated a number of problems in quantum group theory. In particular, he suggested to consider “settheoretical ” solutions of the quantum YangBaxter equation, i.e. solutions given by a permutation R of the set X × X, where X is a fixed set. In this paper we study suc ..."
Abstract

Cited by 90 (1 self)
 Add to MetaCart
In the paper [Dr] V.Drinfeld formulated a number of problems in quantum group theory. In particular, he suggested to consider “settheoretical ” solutions of the quantum YangBaxter equation, i.e. solutions given by a permutation R of the set X × X, where X is a fixed set. In this paper we study
QUADRATIC ALGEBRAS AND INTEGRABLE CHAINS F. SOLOVIEV
, 811
"... Abstract. Using KricheverPhong’s universal formula, we show that a multiplicative representation linearizes Sklyanian quadratic brackets for a multipole Lax function with a spectral parameter. The spectral parameter can be either rational or elliptic. As a byproduct, we obtain an extension of Skl ..."
Abstract
 Add to MetaCart
Abstract. Using KricheverPhong’s universal formula, we show that a multiplicative representation linearizes Sklyanian quadratic brackets for a multipole Lax function with a spectral parameter. The spectral parameter can be either rational or elliptic. As a byproduct, we obtain an extension of Sklyanin algebras in the elliptic case. KricheverPhong’s formula provides an hierarchy of symplectic structures, and we show that there exists a nontrivial cubic bracket in Sklyanin’s case. 1.
1 Boundary terms and their Hamiltonian dynamics V.O. Soloviev a
, 1996
"... It is described how the standard Poisson bracket formulas should be modified in order to incorporate integrals of divergences into the Hamiltonian formalism and why this is necessary. Examples from Einstein gravity and YangMills gauge field theory are given. 1. ..."
Abstract
 Add to MetaCart
It is described how the standard Poisson bracket formulas should be modified in order to incorporate integrals of divergences into the Hamiltonian formalism and why this is necessary. Examples from Einstein gravity and YangMills gauge field theory are given. 1.
Formal Parametric Polymorphism
 THEORETICAL COMPUTER SCIENCE
, 1993
"... A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typically semantic. In this paper, we develop a syntactic approach to parametricity, and a formal system that embodies this ..."
Abstract

Cited by 140 (6 self)
 Add to MetaCart
this approach, called system R . Girard's system F deals with terms and types; R is an extension of F that deals also with relations between types. In R , it is possible to derive theorems about functions from their types, or "theorems for free", as Wadler calls them. An easy "
Integrated adaptive optics system for small telescopes Mikhail Loktev1,2, Gleb Vdovin1,2 and Oleg Soloviev1 1Flexible Optical B.V. (OKO Technologies),
"... We describe a compact integrated module implementing a lowcost adaptive optics system. It is targeted as a correction system for small telescopes with primary mirror diameter up to 1 m, operating on a natural guide star with magnitude at least 4 (for a 25 cm telescope). It is supposed to provide st ..."
Abstract
 Add to MetaCart
We describe a compact integrated module implementing a lowcost adaptive optics system. It is targeted as a correction system for small telescopes with primary mirror diameter up to 1 m, operating on a natural guide star with magnitude at least 4 (for a 25 cm telescope). It is supposed to provide stable diffractionlimited imaging of stars, double stars, planets and artificial bodies in various seeing conditions. Besides, it allows correcting for static aberrations of the telescope, observer’s ocular aberrations and fine adjustment of focus. The first onsky tests have demonstrated closedloop operation with correction for aberrations.
QUANTIZATION OF NONUNITARY GEOMETRIC CLASSICAL rMATRICES
, 2002
"... Abstract. In this paper we explicitly attach to a geometric classical rmatrix r (not necessarily unitary), a geometric (i.e., settheoretical) quantum Rmatrix R, which is a quantization of r. To accomplish this, we use the language of bijective cocycle 7tuples, developed by A. Soloviev in the stu ..."
Abstract
 Add to MetaCart
Abstract. In this paper we explicitly attach to a geometric classical rmatrix r (not necessarily unitary), a geometric (i.e., settheoretical) quantum Rmatrix R, which is a quantization of r. To accomplish this, we use the language of bijective cocycle 7tuples, developed by A. Soloviev
Trimodal characteristics of tropical convection
 J. Climate
, 1999
"... It has long been known that trade wind cumulus and deep cumulonimbus represent primary components of the broad spectrum of cumulus clouds in the Tropics, which has led to the concept of a bimodal distribution of tropical clouds. However, recent analyses of shipboard radar data from Tropical Ocean Gl ..."
Abstract

Cited by 96 (11 self)
 Add to MetaCart
It has long been known that trade wind cumulus and deep cumulonimbus represent primary components of the broad spectrum of cumulus clouds in the Tropics, which has led to the concept of a bimodal distribution of tropical clouds. However, recent analyses of shipboard radar data from Tropical Ocean Global Atmosphere Coupled Ocean–Atmosphere Response Experiment (COARE) provide evidence of abundant populations of a third cloud type, cumulus congestus. Congestus clouds constitute over half the precipitating convective clouds in COARE and contribute over onequarter of the total convective rainfall. Global Atmospheric Research Program Atlantic Tropical Experiment studies reveal a similar midlevel peak in the distribution of radarecho tops. These findings lead to the conclusion that shallow cumulus, congestus, and cumulonimbus are all prominent tropical cumulus cloud types. They are associated with trimodal distributions of divergence, cloud detrainment, and fractional cloudiness in the Tropics. The peaks in the distributions of radarecho tops for these three cloud types are in close proximity to prominent stable layers that exist over the Pacific warm pool and the tropical eastern Atlantic: near 2 km (the trade stable layer), �5 km (near 0�C), and �15–16 km (the tropopause). These stable layers are inferred to inhibit cloud growth and promote cloud detrainment. The 0�C stable layer can produce detrainment from cumulonimbi (attendant
A theory of contracts for web services
 In POPL ’08, 35th ACM Symposium on Principles of Programming Languages
, 2008
"... Contracts are behavioral descriptions of Web services. We devise a theory of contracts that formalizes the compatibility of a client to a service, and the safe replacement of a service with another service. The use of contracts statically ensures the successful completion of every possible interacti ..."
Abstract

Cited by 94 (11 self)
 Add to MetaCart
Contracts are behavioral descriptions of Web services. We devise a theory of contracts that formalizes the compatibility of a client to a service, and the safe replacement of a service with another service. The use of contracts statically ensures the successful completion of every possible interaction between compatible clients and services. The technical device that underlies the theory is the filter, which is an explicit coercion preventing some possible behaviors of services and, in doing so, make services compatible with different usage scenarios. We show that filters can be seen as proofs of a sound and complete subcontracting deduction system which simultaneously refines and extends Hennessy’s classical axiomatization of the must testing preorder. The relation is decidable and the decision algorithm is obtained via a cutelimination process that proves the coherence of subcontracting as a logical system. Despite the richness of the technical development, the resulting approach is based on simple ideas and basic intuitions. Remarkably, its application is mostly independent of the language used to program the services or the clients. We outline the practical aspects of our theory by studying two different concrete syntaxes for contracts and applying each of them to Web services languages. We also explore implementation issues of filters and discuss the perspectives of future research
Natural Deduction and Coherence for Weakly Distributive Categories
 Journal of Pure and Applied Algebra
, 1991
"... This paper examines coherence for certain monoidal categories using techniques coming from the proof theory of linear logic, in particular making heavy use of the graphical techniques of proof nets. We define a two sided notion of proof net, suitable for categories like weakly distributive categorie ..."
Abstract

Cited by 82 (27 self)
 Add to MetaCart
This paper examines coherence for certain monoidal categories using techniques coming from the proof theory of linear logic, in particular making heavy use of the graphical techniques of proof nets. We define a two sided notion of proof net, suitable for categories like weakly distributive categories which have the twotensor structure (times/par) of linear logic, but lack a negation operator. Representing morphisms in weakly distributive categories as such nets, we derive a coherence theorem for such categories. As part of this process, we develop a theory of expansionreduction systems with equalities and a term calculus for proof nets, each of which is of independent interest. In the symmetric case the expansion reduction system on the term calculus yields a decision procedure for the equality of maps for free weakly distributive categories. The main results of this paper are these. First we have proved coherence for the full theory of weakly distributive categories, extending simi...
Results 1  10
of
1,942