Search

5 Jun 2020: FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f0073002000640065002000410064006f00620065002000500044004600

7 Aug 2008: Superconvex spaces have, admittedly, a rather profligate collection of op-erations. However one can economise: they can all be defined in terms of onesuch operation, for example that where pn =

29 Jan 2010: Let op be the localisation of oK at p. As in the proof of 4.5, we observe that bycondition (i), the dening equation (4.5.1) gives a nite morphism ... P1 op whosegeneric bre is j:X! P1K. Hence in the notation of 2.15 the morphism jZ :X!

11 Jan 2013: Let Op Kp be the valuation ring and Ip Gpthe inertia subgroup. ... Lemma 6.1. If λ Op with λ(λ 1)(λ3 8λ2 5λ 1) 6 0 (mod p) thenim δp = Op /(Op )7 and im δ′p = Hom(Gp/Ip,

5 Jun 2020: address the question of how close one can come to the optimumperformance theoretically achievable (OPTA) function, as op-posed to the rate-distortion function. ... of the form on. Taking to be the optimalreproduction distribution at distortion level, the

7 Aug 2008: C., to appear. 7. M. Hofmann, Sound and Complete Axiomatisations of Call-by-Value Control Op-erators, MSCS, 5(4), 461–482, 1995.

18 Aug 2008: and is routinely seen to have enough extra structure to make Kl(M̃f )op cartesian. ... Kl(M̃f )op, is cartesian closed. The closed structure is given by Mf X Y.

6 Mar 2008: "! #$. %&(')(-,/.1032457686:9. ;=<?>@<A>CBEDGF@B(HJIJKMLN>@<OKMP@QSRUT3VWT@KXPYRU<ZBE<[]BE?B_<Z7IE<O<OKMa@DXV_bdce[gfJIJ>-hiBEP-L@IjBEDXDkRUT3V<ARlB_OOVmLno>@Vm<AROKXIJP@<1RUT3ViP-fJIJ>-p1KXDMD:a7VWKMP-QJIIqL-<OTCB_7VW[rIJZROT@VsVut3BEvwbxzy|{/}

5 Jun 2020: FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f0073002000640065002000410064006f00620065002000500044004600

7 Aug 2015: ÙD-MODULES ON RIGID ANALYTIC SPACES IKONSTANTIN ARDAKOV AND SIMON WADSLEY. Abstract. We introduce a sheaf of infinite order differential operators ÛDon smooth rigid analytic spaces that is a rigid analytic quantisation of thecotangent bundle. We

19 Aug 2008: Combining computational effects: commutativityand sum. Martin Hyland,1 Gordon Plotkin and John Power2,? 1 Department of Mathematics, University of Cambridge, Cambridge, England.Email: M.Hyland@dpmms.cam.ac.uk. 2 Laboratory for the Foundations of

28 Nov 2023: Let T G(B(H)). An application of the Gelfand-Naimark theorem gavepolar decomposition T = RU, where R = (TT)1/2 is an invertible positive op-erator, and U = R1T is

31 Aug 2022: 0 OP K(C) ordP Z 0. where OP is the local ring at P. ... Taking Galois cohomology gives an exact sequence. 0 H2(K,OP ) H2(K,K(C)).

26 Jun 2003: Although thepresence of a fixpoint object [7], for example, allows an op-erator with the same type as mfix to be defined, it is not ofthe kind we want. ... and Conway op-erators, which is what motivated our parallel and witheringaxioms.

5 Jun 2020: To be specific, we consider “variable-length block codes op-erating at a fixed distortion level,” that is, codes defined bytriplets where. ... reasonably close to op-timal compression performance.

4 Mar 2003: Lemma 3.2 Let k be a number field, and let p be a prime not dividing 3.Let op denote the ring of integers of kp. ... im δp op/o3p if ordp(A) 0 (mod 3). (7). If ω kp then Tate local duality tells us that im δp is a maximal isotropicsubspace with

15 Feb 2021: Letp OK be a prime above p Q. Write Op for the localization of OK at p. ... mor-phisms G GLd(Op)). Then composing ρ,τ with the projection GLd(Op) GLd(kp) yieldsabsolutely irreducible representations ρ̃, τ̃.

9 Oct 2009: For X a poset, let. P (X) = [X op, 2] be the poset of down- .

13 Aug 2008: Definition 3.1 A Lawvere theory is a small category L with finite productstogether with an identity on objects strict finite product preserving functorj : N op L. ... The significance of N op here is that it is the free category with strictly

13 Aug 2008: A, {a′ A | a′ a} is well-founded with respectto ()op, that is there are no infinite sequencesA a1 a2 satisfying ai a for alli N. ... In terms of concrete data structures thiskind of situation might apply if, in order to fill the cell Op-ponent asked