Special cases of this theorem have been proved by Erdös-Grünwald' and Webster2 (the cases a = 1/2 and a = 3/2) . If there is no danger of confusion we shall omit the upper index n in lk`, n ~ (x) . PROOF OF THE THEOREM . It clearly suffices to consider the lk(x) with -1 =< xk < 0 . From the differential equation of the ultraspherical polynomials' we obtain (") lk(xk) = {«~xk) _ axk z zP„ (xk) 1...

Resolution and cut-free LK are the most popular propositional systems used for logical automated reasoning. The question whether or not resolution and cut-free LK have the same e ciency on the system of CNF formulas has been asked and studied since 1960's [17][21]. It was shown in [8] that tree resolution has super-polynomial speed-up over (tree) cutfree LK. Naturally, the current issue is whet...

In this paper, we introduce two focussed sequent calculi, LK(T ) and LK(T ), that are based on Miller-Liang’s LKF system [LM09] for polarised classical logic. The novelty is that those sequent calculi integrate the possibility to call a decision procedure for some background theory T , and the possibility to polarise literals "on the fly" during proof-search. These features are used in other wo...

This work presents a hybrid method for motif discovery in DNA sequences. The proposed method called SPSO-Lk, borrows the concept of Chebyshev polynomials and uses the stochastic local search to improve the performance of the basic PSO algorithm as a motif finder. The Chebyshev polynomial concept encourages us to use a linear combination of previously discovered velocities beyond that proposed b...

Cancer stem cells (CSCs) are a small proportion of tumor cells that may be responsible for tumor metastasis and recurrence. Our recent research indicated that longikaurin A (LK-A) exhibited anti-tumor activity in nasopharyngeal carcinoma (NPC) both in vitro and in vivo. Here, we further investigated whether LK-A could suppress the stemness of NPC cells. Sphere formation assay was used to assess...

In vivo tumor inhibitory activity of polymorphonuclear leukocytes (PMN) treated in vitro with lymphokine(s) (LK) was investigated with Winn's assay. Culture supernatants of BALB/c mouse spleen cells incubated with a streptococcal preparation, OK-432, were used as an LK source. With the use of a [3H]uridine release assay, RL male-1 tumor cells were lysed to some extent by peritoneal BALB/c mouse...

We describe 16 leukapheresis (LK) procedures performed in 7 children with different types of leukemia and hyperleukocytosis. We also provide an analysis of previously published experiences of pediatric LK. Median age and body weight of patients were 12.3 years (range, 0.2 to 16.7 y) and 49 kg (range, 5 to 61 kg). Immediate pre-first-LK median white blood cell count was 478×10/L (108×10/L to 988...

The characteristics of the interaction of Na-K pumps of high potassium (HK) and low potassium (LK) goat red blood cells with ouabain have been determined. The rate of inhibition by ouabain of the pump of HK cells is greater than the rate of inhibition of the pumps of LK cells. Treatment of LK cells with an antibody (anti-L) raised in HK sheep by injecting LK sheep red cells increases the rate o...

lamellar keratoplasty (lk) has been a well established technique of corneal transplantation. recent improvements in surgical instruments have revolutionized the procedure introducing a new technique employing deeper corneal dissection. this review article describes the indications, techniques, outcomes and complications of deep anterior lk.

purpose: to compare clinical outcomes of two methods of corneal transplantation, penetrating keratoplasty (pk) versus lamellar keratoplasty (lk), in patients with delayed-onset mustard gas keratitis (mgk). methods: in this retrospective, comparative, interventional case series, 78 eyes of 55 victims of chemical warfare with delayed-onset mustard gas keratopathy who underwent pk or lk were enrol...