Let X be a projective scheme and let M and N be two coherent OX -modules. Given an integer m, we present an algorithm for computing the global extension module ExtX (M,N ). As a consequence, one may calculate the sheaf cohomology Hm(X,N ) and construct the sheaf corresponding to an element of the module ExtX(M,N ). This algorithm depends only on the computation of Gröbner bases and syzygies and...

In this paper, we propose a software environment for user-centered on-the-fly ontology construction named DODDLE-OWL (Domain Ontology rapiD DeveLopment Environment Web Ontology Language extension). The architecture of DODDLE-OWL is re-designed based on DODDLE-II [1], our former study. DODDLE-OWL has the following five modules: Input Module, Construction Module, Refinement Module, Visualization ...

Abstract The algebraic notions of separable extension and split extension of rings, S ⊂ A, are defined dually. If compatible sections and retracts can be found, A is said to be a finite separable extension of S. Then the endomorphism ring homS(A,A) is a finite separable extension of A with a special cyclic idempotent. This construction may be iterated as in Jones theory. The Jones polynomial is...

This paper describes an implementation of a general interval arithmetic extension, which comprises the following extensions of the conventional interval arithmetic: (1) extension of the set of normal intervals by improper intervals; (2) extension of the set of arithmetic operations for normal intervals by nonstandard operations; (3) extension by infinite intervals. We give a possible realizatio...

Let p be a prime and suppose that K/F is a cyclic extension of degree p with group G. Let J be the FpG-module K/K of pth-power classes. In our previous paper we established precise conditions for J to contain an indecomposable direct summand of dimension not a power of p. At most one such summand exists, and its dimension must be p +1 for some 0 ≤ i < n. We show that for all primes p and all 0 ...

Let φ be a non-isotrivial family of Drinfeld A-modules of rank r in generic characteristic with a suitable level structure over a connected smooth algebraic variety X. Suppose that the endomorphism ring of φ is equal to A. Then we show that the closure of the analytic fundamental group of X in SLr(A f F ) is open, where A f F denotes the ring of finite adèles of the quotient field F of A. From ...

VMM (virtual machine monitor) based system provides the useful inspection and interposition of guest OS. With proper modification of guest OS, we can obtain event-driven memory snapshot for malicious code forensics. In this paper we propose an asynchronous memory snapshot and forensics using split kernel module. Our split kernel module works for virtualized interruption handling, which notifies...

Modern programming environments such as those of Java and C# support dynamic loading of software fragments. More in general, we can expect that in the future systems will support more and more forms of interleaving of reconfiguration steps and standard execution steps, where the software fragments composing a program are dynamically changed and/or combined on demand and in different ways. Howev...

Systematic development of security sensitive software requires that there be a sufficiently expressive linguistic extension to modeling languages. We propose an extension to the Unified Modeling Language (UML) to satisfy this need. Our extensions are to the UML metamodel with a security policy constraint specification and enforcement module, business tasks and a history log for method calls. Us...