A logic called sequence-indexed linear logic (SLL) is proposed to appropriately formalize resource-sensitive reasoning with sequential information. The completeness and cut-elimination theorems for SLL are shown, and SLL and a fragment of SLL are shown to be undecidable and decidable, respectively. As an application of SLL, some specifications of secure password authentication systems are discu...

Context: Plant materials contain glycoproteins (phytolectins) that are toxic in nature may play a key role in the control of various normal and pathological processes in living organisms and have diverse biochemical and diagnostic applications. Objectives: Screening of three lectins SLL-1, SLL-2 and SLL-3 purified from Drumstick (Moringa oleifera Lam.) leaves for their antibacterial activities ...

In this paper, a linear series fed Yagi-like antenna array is introduced leading to an end-fire fan beam with low sidelobe level, SLL, high front to back ratio, F/B, and wide impedance bandwidth. The array can provide −29 dB SLL at centre frequency of 16.26 GHz, −20 dB SLL bandwidth of 7.5%, 23 dB F/B and 10.6% impedance bandwidth. Further improvement in SLL can be achieved by extending narrow ...

The main purpose of this paper is to discuss if the Unified Modeling Language (UML) can be used as a system-level language (SLL) for specifying embedded systems, in co-design environments. The requirements that a language has to fulfil to be considered as an SLL are presented and the advantages and disadvantages of using UML as an SLL are also indicated. The contribution of this paper consists ...

Richter's transformation (RT) represents the development of high grade lymphoma, most commonly diffuse large B-cell lymphoma, in patients with chronic lymphocytic leukemia or small lymphocytic lymphoma (CLL/SLL). CLL/SLL may convert also to Hodgkin's lymphoma, the so-called Hodgkin's variant of Richter transformation. Histopathological proof is needed to confirm a definitive diagnosis. Patients...

AIMS To determine whether immunohistochemistry applied to paraffin wax embedded biopsy tissue can be used to distinguish between B-small lymphocytic lymphoma (B-SLL) and mantle cell lymphoma (MCL). METHODS Formalin fixed, paraffin wax embedded tissue blocks of 12 cases of B-SLL and 12 cases of MCL were retrieved from the files of the Department of Pathology, Southampton University Hospitals T...

Recent genome-wide association studies (GWAS) have identified several gene variants associated with sporadic chronic lymphocytic leukemia/small lymphocytic lymphoma (CLL/SLL). Many of these CLL/SLL susceptibility loci are located in non-coding or intergenic regions, posing a significant challenge to determine their potential functional relevance. Here, we review the literature of all CLL/SLL GW...

In this paper the optimal design for maximum sidelobe level (SLL) reduction of three-ring concentric circular antenna array (CCAA) is determined using a novel Particle Swarm Optimization (PSO) technique namely Craziness based Particle Swarm Optimization (CRPSO). Real coded Genetic Algorithm (RGA) is adopted for the comparative optimization. The present text assumes nonuniformly excited array an...

Warthin tumours (WT) and malignant lymphomas are only rarely associated, and most are examples of involvement of the lymphoid stroma of WT by a disseminated lymphoma. This report describes a case where excision of a parotid mass led to the initial diagnosis of WT and small lymphocytic lymphoma (SLL). The diagnosis of SLL was confirmed by immunohistochemistry and molecular studies. The patient h...