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...

We discuss the photoionization of the inter-galactic medium by early formed quasars and propose a mechanism which could generate measurable temperature fluctuations δ T = ∆T /T of the cosmic microwave background (CMB). Early quasars produce individual ionized regions around themselves. We evaluate both thermal and kinetic (first-order Doppler) Sunyaev-Zeldovich (SZ) effects associated with thos...

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.

In view of the fact that the data on neutrino mixing are still compatible with a situation where Bimaximal mixing is valid in first approximation and it is then corrected by terms of O(λC) (with λC being the Cabibbo angle), arising from the diagonalization of the charged lepton masses, such that δ sin θ12 ∼ sin θ13 ∼ O(λC) while δ sin θ23 ∼ O(λC), we construct a model based on the discrete grou...

This is the first paper in a series to study vertex algebra-like objects arising from infinite-dimensional quantum groups (quantum affine algebras and Yangians). In this paper we lay a foundation for this study. We formulate and study notions of quasi module and S-quasi module for a G1-vertex algebra V , where S is a quantum Yang-Baxter operator on V . We also formulate and study a notion of qu...

Nucleotide-binding oligomerization domain-like receptors (NLRs) are intracellular proteins involved in innate-driven inflammatory responses. The function of the family member NLR caspase recruitment domain containing protein 5 (NLRC5) remains a matter of debate, particularly with respect to NF-κB activation, type I IFN, and MHC I expression. To address the role of NLRC5, we generated Nlrc5-defi...

Let g(G,λ) denote the deformed generalized Heisenberg-Virasoro algebra related to a complex parameter λ≠−1 and an additive subgroup G of C. For total order on that is compatible with addition, Verma module over defined. In this paper, we completely determine irreducibility these modules.

The concepts of free modules, projective modules, injective modules and the likeform an important area in module theory. The notion of free fuzzy modules was introducedby Muganda as an extension of free modules in the fuzzy context. Zahedi and Ameriintroduced the concept of projective and injective L-modules. In this paper we give analternate definition for projective L-modules. We prove that e...