نتایج جستجو برای: lk
تعداد نتایج: 1787 فیلتر نتایج به سال:
Let n ≥ 1 and let p be any prime. Also, let En be the LubinTate spectrum, Gn the extended Morava stabilizer group, and K(n) the nth Morava K-theory spectrum. Then work of Devinatz and Hopkins and some results due to Behrens and the first author of this note, show that if X is a finite spectrum, then the localization LK(n)(X) is equivalent to the homotopy fixed point spectrum (LK(n)(En ∧ X))hGn ...
In this paper, we try to give a classification of spacelike hypersurfaces the Lorentz-Minkowski space-time E1n+1, whose mean curvature vector field order (k+ 1) is an eigenvector kth linearized operator Lk, for non-negative integer k less than n. The Lk defined as linear part first variation (k + 1)th hypersurface arising from its normal variations. We show that any E1n+1 satisfying condition L...
In this paper, we extend the sequent calculus LKF [LM09] into a calculus LK(T ), allowing calls to a decision procedure. We prove cut-elimination of LK(T ).
The widely prescribed lipid-lowering statins are considered to be relatively safe drugs. However, the risk of severe myopathy and drug interactions as a consequence of statin therapy provides a challenge for development of novel cholesterol-lowering agents, targeting enzymes other than HMG-CoA reductase. The novel pyridylethanol-(phenylethyl)amine derivative, (2-((3,4-dichlorophenethyl)(propyl)...
Mouse B cells and their cell line (WEHI-231) express large-conductance background K(+) channels (LK(bg)) that are activated by arachidonic acids, characteristics similar to TREK-2. However, there is no evidence to identify the molecular nature of LK(bg); some properties of LK(bg) were partly different from the reported results of TREK type channels. In this study, we compared the properties of ...
Individual murine B cells express a wide range of Ia densities on the plasma membrane. Here we demonstrate that a dramatic increase in B-cell Ia could be induced by overnight exposure to an uncharacterized lymphokine (LK). Membrane I-A and I-E molecules were both increased after LK treatment, whereas membrane IgM remained unchanged. Two subpopulations of B cells were identified, based on their ...
ions and its Strong Normalizability Yukiyoshi Kameyama and Masahiko Sato Department of Information Science, Kyoto University fkameyama,[email protected] Abstract. The catch and throw constructs in Common Lisp provides a means to implement non-local exits. Nakano proposed a calculus L c=t which has inference rules for the catch and throw constructs, and whose types correspond to the i...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید