Search

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|{/}

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

5 Jun 2020: FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f0073002000640065002000410064006f00620065002000500044004600

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

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

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.