The spectrum of an open vertex model based on the U(q)[SU(2)] algebra at roots of unity

We study the exact solution of an N-state vertex model based on the representation of the U(q)[SU(2)] algebra at roots of unity with diagonal open boundaries. We find that the respective reflection equation provides us one general class of diagonal K-matrices having one free-parameter. We determine the eigenvalues of the double-row transfer matrix and the respective Bethe ansatz equation within the algebraic Bethe ansatz framework. The structure of the Bethe ansatz equation combine a pseudomomenta function depending on a free-parameter with scattering phase-shifts that are fixed by the roots of unity and boundary variables. (C) 2010 Elsevier B.V. All rights reserved.

Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Effects of Micelles and Vesicles on the Oximolysis of p-Nitrophenyl Diphenyl Phosphate: A Model System for Surfactant-Based Skin-defensive Formulations against Organophosphates

The rates of oximolysis of p-nitrophenyl diphenyl phosphate (PNPDPP) by Acetophenoxime; 10-phenyl-10-hydi-oxyiminodecanoic acid; 4-(9-carboxynonanyl)-1-(9-carboxy-1-hydroyiminononanyl) benzene; 1-dodecyl-2-[(hydroxyimino)methyl]-pyridinium chloride (IV) and N-methylpyridinium-2-aldoxime chloride were determined in micelles of N-hexadecyl-N,N,N-trimethylammonium chloride (CTAC), N-hexadecyl-N,N-dimethylammonium propanesulfonate and dioctadecyldimethylammonium chloride (DODAC) vesicles. The effects of CTAC micelles and DODAC vesicles on the rates of oxymolysis of O,O-Diethyl O-(4-nitrophenyl) phosphate (paraoxon) by oxime IV were also determined. Analysis of micellar and vesicular effects on oximolysis of PNPDPP, using pseudophase or pseudophase with explicit consideration of ion exchange models, required the determination of the aggregate`s effects on the pK(a), of oximes and on the rates of PNPDPP hydrolysis. All aggregates increased the rate of oximolysis of PNPDPP and the results were analyzed quantitatively. In particular, DODAC vesicles catalyzed the reaction and increased the rate of oximolysis of PNPDPP by IV several million fold at pH`s compatible with pharmaceutical formulations. The rate increase produced by DODAC vesicles on the rate of oximolysis paraoxon by IV demonstrates the pharmaceutical potential of this system, since the substrate is used as an agricultural defensive agent and the surfactant is extensively employed in cosmetic formulations. (C) 2008 Wiley-Liss, Inc. and the American Pharmacists Association J Pharm Sci 98:1040-1052, 2009

Legal LEGO: Model based computer assisted teaching in evidence courses

This paper describes the development of a new approach to the use of ICT for the teaching of courses in the interpretation and evaluation of evidence. It is based on ideas developed for the teaching of science to school children, in particular the importance of models and qualitative reasoning skills. In the first part, we make an analysis of the basis of current research into “evidence scholarship” and the demands such a system would have to meet. In the second part, we introduce the details of such a system that we developed initially to assist police in the interpretation of evidence.