This work is part of a first phase of the project “DOMAIN SPECIFIC MODELING FOR THE LEARNING OBJECTS BUILD PLATFORM-INDEPENDENT " and seeks to make a comparison between Open Source LMS to get a first approximation of common modules them, and then start building the ontology compatible with all LMS studied, for that reason this paper is organized as follows: 1.Select Tools to work. 2. Contextual...

Lifts of graph and map automorphisms can be described in terms of voltage assignments that are, in a sense, compatible with the automorphisms. We show that compatibility of ordinary voltage assignments in Abelian groups is related to orthogonality in certain Z-modules. For cyclic groups, compatibility turns out to be equivalent with the existence of eigenvectors of certain matrices that are nat...

In this paper, we will report the development of an ultrahigh resolution MR-compatible SPECT system that can be operated inside a pre-existing clinical MR scanner for simultaneous dual-modality imaging of small animals. This system is constructed with 40 small-pixel CdTe detector modules assembled in a fully stationary ring SPECT geometry. We have experimentally demonstrated that this system is...

In this paper we use linear Koszul duality, a geometric version of the standard duality between modules over symmetric and exterior algebras studied in [MR1, MR2] to give a geometric realization of the Iwahori–Matsumoto involution of affine Hecke algebras. More generally we prove that linear Koszul duality is compatible with convolution in a general context related to convolution algebras.

The trigonometric KZ equations associated with a Lie algebra g depend on a parameter λ ∈ h where h ⊂ g is the Cartan subalgebra. We suggest a system of dynamical difference equations with respect to λ compatible with the KZ equations. The dynamical equations are constructed in terms of intertwining operators of g -modules.

We present a first version of our Objective Caml compiler, called OCamIL, for .NET. Our goal is to understand whether this new generation of virtual machines and runtime environment can help us compile ML programs and produce executables of reasonable efficiency. Our main constraint is to be compatible with the original language, and its advanced programming features (functional values, excepti...

BACKGROUND Synechococcus sp. PCC 7002 (henceforth Synechococcus) is developing into a powerful synthetic biology chassis. In order to streamline the integration of genes into the Synechococcus chromosome, validation of neutral integration sites with optimization of the DNA transformation protocol parameters is necessary. Availability of BioBrick-compatible integration modules is desirable to fu...

The paper discusses the development of an IBM PC based tool, for calculating train braking distances for various train classes on a rail network. There is discussion on current industry practice and the limitations of that practice, the concept of the tool itself, including the assumptions made, the strategy adopted to minimise the risk of incorrect calculations, and the results of adopting tha...

A further commercially available encryption package for the IBM PC is analysed, and a simple breaking program is described.