the notion of generalized locally bounded $i$-topological vectorspaces is introduced. some of their important properties arestudied. the relationship between this kind of spaces and thelocally bounded $i$-topological vector spaces introduced by wu andfang [boundedness and locally bounded fuzzy topological vectorspaces, fuzzy math. 5 (4) (1985) 87$-$94] is discussed. moreover, wealso use the fam...

We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This involves the synthesis of asynchronous wrappers that drive the synchronous clocks of the modules and perform input reading in such a fashion as to preserve, in a certain sense, the global properties of the system. Our app...

We show that any q-query locally decodable code (LDC) gives a copy of l 1 with small distortion in the Banach space of q-linear forms on lNp1 ×· · ·× lNpq , provided 1/p1+ · · ·+1/pq ≤ 1 and where k, N , and the distortion are simple functions of the code parameters. We exhibit the copy of l 1 by constructing a basis for it directly from “smooth” LDC decoders. Based on this, we give alternative...

We suggest a new approach to obtain bounds on locally correctable and some locally testable binary linear codes, by arguing that these codes (or their subcodes) have coset leader graphs with high discrete Ricci curvature. The bounds we obtain for locally correctable codes are worse than the best known bounds obtained using quantum information theory, but are better than those obtained using oth...

The notion of generalized locally bounded $I$-topological vectorspaces is introduced. Some of their important properties arestudied. The relationship between this kind of spaces and thelocally bounded $I$-topological vector spaces introduced by Wu andFang [Boundedness and locally bounded fuzzy topological vectorspaces, Fuzzy Math. 5 (4) (1985) 87$-$94] is discussed. Moreover, wealso use the fam...

Let $p:Xlo B$ be a locally trivial principal G-bundle and $wt{p}:wt{X}lo B$ be a locally trivial principal $wt{G}$-bundle. In this paper, by using the structure of principal bundles according to transition functions, we show that $wt{G}$ is a covering group of $G$ if and only if $wt{X}$ is a covering space of $X$. Then we conclude that a topological space $X$ with non-simply connected universal...

Invasive strains of staphylococcus and streptococcus contain a soluble factor which markedly increases tissue permeability and enhances the infections produced by these organisms, by other bacteria, and by vaccine virus as well. The non-invasive strains of the same species of staphylococci and streptococci do not contain this factor. The enhancing substance elaborated locally by organisms passe...

Advanced in vitro experimental tools for locally stimulating and probing brain slices can greatly facilitate systematic studies of neuronal phenomena and rapid drug screening. A major challenge in developing such tools is to achieve precise spatial and temporal control of local chemical environments of brain slices while maintaining their viability. This paper reports an improved design of a br...

A recent result of D. J. Collins states that the intersection of two Magnus subgroups in a one-relator group consists either just of the ‘obvious’ intersection, or exceptionally of the free product of the obvious intersection with a free group of rank 1. In this paper, Collins’ result is generalised to apply to one-relator products of arbitrary locally-indicable groups. Moreover, a precise anal...

Fas is a widely expressed membrane-anchored protein that induces apoptosis. Soluble Fas (sFas), generated by alternative mRNA splicing, can antagonize cell-surface Fas function. We have investigated sFas in 104 cancer patients with nonhematopoietic malignancies using a Fas-specific ELISA and immunoprecipitation. Our studies demonstrate an elevated 40-42-kDa sFas species in both patient serum an...