Background Cohomological descent is a robust computational and theoretical tool, central to p-adic cohomology and its applications. On the one hand, it facilitates explicit calculations (analogous to the computation of coherent cohomology in scheme theory via Čech cohomology); on the other, it allows one to deduce results about singular schemes (e.g., finiteness of the cohomology of overconverg...

‎Highest weight modules of the double affine Lie algebra $widehat{widehat{mathfrak{sl}}}_{2}$ are studied under a‎ ‎new triangular decomposition‎. ‎Singular vectors of Verma modules are‎ ‎determined using a similar condition with horizontal affine Lie‎ ‎subalgebras‎, ‎and highest weight modules are described under the‎ ‎condition $c_1>0$ and $c_2=0$.

This paper is concerned with the relation between local cohomology modules defined by a pair of ideals and the Serre subcategories of the category of modules. We characterize the membership of local cohomology modules in a certain Serre subcategory from lower range or upper range.

Abstract. Certain facts about frames and generalized frames (g- frames) are extended for the g-frames for Hilbert C*-modules. It is shown that g-frames for Hilbert C*-modules share several useful properties with those for Hilbert spaces. The paper also character- izes the operators which preserve the class of g-frames for Hilbert C*-modules. Moreover, a necessary and suffcient condition is ob- ...

This article shows the results obtained during simulations that measured runtime and energy consumption of a security module (SEMO) when it executes in ARM processor. For the simulations, we considered the impacts of four algorithms (i.e. RSA, SHA-1, Random Numbers Generator and AES). We have used the Sim-Panalyzer simulator and obtained an average energy consumption (x2 Joules) and runtime (x2...

The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. In modern variants of such systems, each party is equipped with a security module. The security modules trust each other but can only communicate by exchanging messages through their untrusted host parties, that could drop those messages. We describe a synchronous algorithm that ensures determ...

Security focused OS (Secure OS) is attracting attention as a method for minimizing damage caused by various intrusions. Secure OSes can restrict the damage due to an attack by using Mandatory Access Control (MAC). In some projects, secure OSes for Linux have been developed. In these OSes, different implementation methods have been adopted. However, there is no method for easily evaluating the p...

Abstract We show that the Kazhdan–Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory structure and its full subcategory $\mathcal{O}_k^{fin}$ objects semisimple Cartan subalgebra actions is a subcategory. every simple $\widehat{\mathfrak{gl...