We investigate a peculiar intuitionistic modal logic, called Propositional Lax Logic (PLL), which has promising applications to the formal veri cation of computer hardware. The logic has emerged from an attempt to express correctness `up to' behavioural constraints | a central notion in hardware veri cation | as a logical modality. As a modal logic it is special since it features a single modal...

four explicit finite difference schemes, including lax-friedrichs, nessyahu-tadmor, lax-wendroff and lax-wendroff with a nonlinear filter are applied to solve water hammer equations. the schemes solve the equations in a reservoir-pipe-valve with an instantaneous and gradual closure of the valve boundary. the computational results are compared with those of the method of characteristics (moc), a...

The activation of T cells and the initiation of an immune response is tightly controlled through the crosstalk of both positive and negative regulators. Two adaptors that function as negative regulators of T cell activation are adaptor in lymphocytes of unknown function X (ALX) and linker for activation of X cell (LAX). Previously, we showed that T cells from mice deficient in ALX and LAX displ...

The gauge-invariant description of zero-curvature representations of evolution equations is applied to the problem of how to distinguish the fake Lax pairs from the true Lax pairs. The main difference between the true Lax pairs and the fake ones is found in the structure of their cyclic bases. In this note, we use the gauge-invariant description of zero-curvature representations of evolution eq...

Lax Logic is an intuitionistic modal logic which has so far been investigated at the propositional level. It has shown itself to have applications in the formal veriication of hardware|a logical modality is used to capture and express the correctness of speciicationsùp to' behavioural constraints. A translation from Quantiied Lax Logic to a quantiied classical modal logic is presented which ena...

Introduction. In this note we develop a multistep formulation of the optimized Lax-Wendroff method for hyperbolic systems. This scheme was derived by Strang [6], [7]. The present formulation extends in a natural way, the two-step formulation of Richtmyer [5] for systems in one-space variable. We summarise this case in the next section. One Space Dimension. We consider the first-order conservati...

We discuss algebraic and analytic structure of rational Lax operators. With algebraic reductions of Lax equations we associate a reduction group-a group of twisted automor-phisms of the corresponding infinite dimensional Lie algebra. We present a complete study of dihedral reductions for sl(2, C) Lax operators with simple poles and corresponding integrable equations. In the last section we give...

The solution of the Lax tensor equations in the case Lαβγ = −Lβαγ was analyzed. The Lax tensors on the dual metrics were investigated. We classified all two dimensional metrics having the symmetric Lax tensor Lαβγ . The Lax tensors of the flat space, Rindler system and its dual were found.

BACKGROUND The importance of membrane compartmentalization into specific membrane microdomains has been shown in many biological processes such as immunoreceptor signaling, membrane trafficking, pathogen infection, and tumor progression. Microdomains like lipid rafts, caveolae and tetraspanin enriched microdomains are relatively resistant to solubilization by some detergents. Large detergent-re...