Different approaches in thin-layer chromatography for enantioresolution of acebutolol using colistin sulfate as chiral selector

JPC – Journal of Planar Chromatography – Modern TLC - This work reports the enantioresolution of (RS)-acebutolol (ACB) by a thin-layer chromatographic method involving colistin sulfate...     

DYNAMICAL BEHAVIOR OF AN INNOVATION DIFFUSION MODEL WITH INTRA-SPECIFIC COMPETITION BETWEEN COMPETING ADOPTERS

In this paper,we proposed an innovation diffusion model with three compartments to investigate the diffusion of an innovation（product） in a particular region.The model exhibits two equilibria,namely,the adopter-free and an interior equilibrium.The existence and local stability of the adopter-free and interior equilibria are explored in terms of the effective Basic Influence Number（BIN） R_A.It is investigated that the adopter free steady-state is stable if R_A <1.By conside...     

Modal characterisation theorems over special classes of frames

We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem’s theorem, which says that a first-order formula is invariant under bisimulation if, and only if, it is equivalent to a formula of basic modal logic. The present investigation primarily concerns ramifications for specific classes of structures. We study in particular model classes defined through conditions on the underlying frames, with a focus on frame classes that play a major role in modal correspondence theory and often correspond to typical application domains of modal logics. Classical model theoretic arguments do not apply to many of the most interesting classes-for instance, rooted frames, finite rooted frames, finite transitive frames, well-founded transitive frames, finite equivalence frames-as these are not elementary. Instead we develop and extend the game-based analysis (first-order Ehrenfeucht-Fraïssé versus bisimulation games) over such classes and provide bisimulation preserving model constructions within these classes. Over most of the classes considered, we obtain finite model theory analogues of the classically expected characterisations, with new proofs also for the classical setting. The class of transitive frames is a notable exception, with a marked difference between the classical and the finite model theory of bisimulation invariant first-order properties. Over the class of all finite transitive frames in particular, we find that monadic second-order logic is no more expressive than first-order as far as bisimulation invariant properties are concerned — though both are more expressive here than basic modal logic. We obtain ramifications of the de Jongh-Sambin theorem and a new and specific analogue of the Janin-Walukiewicz characterisation of bisimulation invariant monadic second-order for finite transitive frames.     

On integrally closed simple extensions of valuation rings

Let v be a Krull valuation of a field with valuation ring $R_v$. Let θ be a root of an irreducible trinomial $F(x)=x^n+a{x}^m+b$ belonging to $R_v[x]$. In this paper, we give necessary and sufficient conditions involving only $a,b,m,n$ for $R_v[\theta ]$ to be integrally closed. In the particular case when v is the p-adic valuation of the field $\mathbb{Q}$ of rational numbers, $F(x)\in \mathbb{Z}[x]$ and $K=\mathbb{Q}(\theta )$, then it is shown that these conditions lead to the characterization of primes which divide the index of the subgroup $\mathbb{Z}[\theta ]$ in $A_K$, where $A_K$ is the ring of algebraic integers of K. As an application, it is deduced that for any algebraic number field K and any quadratic field L not contained in K, we have $A_{KL}=A_K{A}_L$ if and only if the discriminants of K and L are coprime.     

On the compositum of integral closures of valuation rings

It is well known that if $K_1,K_2$ are algebraic number fields with coprime discriminants, then the composite ring $A_{K_1}{A}_{K_2}$ is integrally closed and $K_1,K_2$ are linearly disjoint over the field of rationals, $A_{K_i}$ being the ring of algebraic integers of $K_i$. In an attempt to prove the converse of the above result, in this paper we prove that if $K_1,K_2$ are finite separable extensions of a valued field $(K,v)$ of arbitrary rank which are linearly disjoint over $K=K_1\cap K_2$ and if the integral closure $S_i$ of the valuation ring $R_v$ of v in $K_i$ is a free $R_v$-module for $i=1,2$ with $S_1{S}_2$ integrally closed, then the discriminant of either $S_1/R_v$ or of $S_2/R_v$ is the unit ideal. We quickly deduce from this result that for algebraic number fields $K_1,K_2$ linearly disjoint over $K=K_1\cap K_2$ for which $A_{K_1}{A}_{K_2}$ is integrally closed, the relative discriminants of $K_1/K$ and $K_2/K$ must be coprime.     

Stability and bifurcation analysis of a delayed innovation diffusion model

In this article, a nonlinear mathematical model for innovation diffusion with stage structure which incorporates the evaluation stage(time delay) is proposed. The model is analyzed by considering the effects of external as well as internal influences and other demographic processes such as emigration, intrinsic growth rate, death rate, etc. The asymptotical stability of the various equilibria is investigated. By analyzing the exponential characteristic equation with delay-dependent coefficients obtained through the variational matrix, it is found that Hopf bifurcation occurs when the evaluation period(time delay, τ) passes through a critical value. Applying the normal form theory and the center manifold argument, we derive the explicit formulas determining the properties of the bifurcating periodic solutions. To illustrate our theoretical analysis, some numerical simulations are also included.     

Elementary Properties of the Finite Ranks

This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show that FO(<, BIT) = FO(BIT).