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

A system composed of two-level systems interacting with a single excitation one-dimensional boson field continuous spectrum, described by Friedrichs (or Friedrichs-Lee) model, can exhibit bound states and resonances; the latter be characterized computing so-called self-energy model. We evaluate an analytic expression, valid for large class dispersion relations coupling functions, such models. A...