We devise a framework which leads to the formulation of a unified theory of normality (regularity), semi-normality (semi-regularity), s-normality (s-regularity), feeblynormality (feebly-regularity), pre-normality (pre-regularity), and others. Certain aspects of theory are given by unified proof.

PURPOSE To evaluate the antifungal activity of amphotericin B (AmB) in a mouse model of systemic candidiasis following administration of a novel oral AmB formulation (iCo-010) that has been pre-exposed to tropical temperatures. METHODS Amphotericin B (AmB) was prepared as a 5 mg/mL dispersion in a mixture of Peceol, Gelucire 44/14 and VitE-TPGS 2,3 (iCo-010). The formulation was protected fro...

One of the most significant issues in pharmaceutical industries, prior to commercializationof a pharmaceutical preparation is the “preformulation” stage. However, far too attention hasbeen paid to verification of the software assisted statistical designs in preformulation studies.The main aim of this study was to report a step by step preformulation approach for a semisolidpreparation based on ...

In this paper we begin on a new lattice formulation of the non-linear change of variables called the Cho–Faddeev–Niemi decomposition in SU(2) Yang-Mills theory. This is a compact lattice formulation improving the non-compact lattice formulation proposed in our previous paper. Based on this formulation, we propose a new gauge-invariant definition of the magnetic monopole current which guarantees...

This document describes an approach for preserving the RTL structure of designs and properties to be exploited in property checking algorithms. Two approaches, for preprocessing such problems are considered, namely symmetry reduction and date path scaling, and the effects are outlined.

This paper introduces the LISp-Miner Control Language – a scripting language for the LISpMiner system, an academic system for knowledge discovery in databases. The main purpose of this language is to provide programmable means to all the features of the LISp-Miner system and mainly to automate the main phases of data mining – from data introduction and preprocessing, formulation of analytical t...