Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets

In the context of strategic games, we provide an axiomatic proof of the statement Common knowledge of rationality implies that the players will choose only strategies that survive the iterated elimination of strictly dominated strategies. Rationality here means playing only strategies one believes to be best responses. This involves looking at two formal languages. One is first-order, and is used to formalise optimality conditions, like avoiding strictly dominated strategies, or playing a best response. The other is a modal fixpoint language with expressions for optimality, rationality and belief. Fixpoints are used to form expressions for common belief and for iterated elimination of non-optimal strategies.Comment: 16 pages, Proc. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI). To appea

Hairy cell leukemia : experience at a tertiary cancer centre in Northern India

Background : The prognosis of Hairy cell leukemia (HCL) has improved markedly following treatment with cladribine (2- CdA), a nucleoside analogue. We reviewed data on patients with HCL treated in our department. Methods . Between 1995 and 2004, 23 patients with hairy cell leukemia (HCL) were diagnosed Patients median age was 48.5 years (range, 32 to 66 years), there were 18 males and 5 females. The common presenting symptoms were: fatigue (82.6%), fever (34.7%), abdominal discomfort (21.7%), arthralgia/bone pains (13%) and bleeding (17.3%). 22 of 23 (95.6%) patients had enlarged spleen, and hepatomegaly (65%). Lymph node enlargement was present in 17% of patients. Investigations revealedmedian Hb of 7.8g% (5.7 to 12.9 g%), thrombocytopenia (median 55000/cmm) and median WBC count of 3500/cmm (range, 600 to 20,200/cmm). Bicytopenia or pancytopenia was present in 87% and bone marrow fibrosis in 75% of cases. Immunophenotyping studies revealed expression of CD11C (60%), CD25 (60%), FMC7(47.8%), CD23(34.8%), CD103 in 39% of cases. 20 of 23 patients received treatment; two received treatment else where and one patient died of liver failure prior to treatment. 17 of 20 patients were treated with 2-CdA, 2 with interferon alfa (IFN-a) and one patient underwent splenectomy alone. Three patients received 2-CdA as second line therapy for treatment of relapse: this includes . one patient each, treated with IFN- α and splenectomy both and one patient received 2-cdA twice in view of relapse. Results . Following treatment with 2CdA . 95% of patients responded; complete-84.2% and partial response in 10.5%. one (5.2%) patient died of toxicity. Two patients relapsed at a mean follow up of 25 months. The common side effects were febrile episodes (n=10) and grade I-II myelosuppression. One patient died of toxicity to 2-CdA. This patient was a known case of multidrug resistant disseminated tuberculosis. He had severe myelosuppression with fungal sepsis with multiorgan failure and BM Aspirate was positive for AFB. Other infections documented were Pulmonary tuberculosis in 2 and herpes zoster in one patient. The patient who underwent Splenectomy achieved remission but relapsed after 3 years and was salvaged with 2-CdA again. Median time for normalization of blood counts after 2-CdA was 28 days and median time to regress spleen was 41.5 days . Conclusion . Present study confirms good outcome with 2-CdA (cladribine) therapy for patients of hairy cell leukemia

Impaired haematopoietic stem cell differentiation and enhanced skewing towards myeloid progenitors in aged caspase-2-deficient mice

The apoptotic cysteine protease caspase-2 has been shown to suppress tumourigenesis in mice and its reduced expression correlates with poor prognosis in some human malignancies. Caspase-2-deficient mice develop normally but show ageing-related traits and, when challenged by oncogenic stimuli or certain stress, show enhanced tumour development, often accompanied by extensive aneuploidy. As stem cells are susceptible to acquiring age-related functional defects because of their self-renewal and proliferative capacity, we examined whether loss of caspase-2 promotes such defects with age. Using young and aged Casp2−/− mice, we demonstrate that deficiency of caspase-2 results in enhanced aneuploidy and DNA damage in bone marrow (BM) cells with ageing. Furthermore, we demonstrate for the first time that caspase-2 loss results in significant increase in immunophenotypically defined short-term haematopoietic stem cells (HSCs) and multipotent progenitors fractions in BM with a skewed differentiation towards myeloid progenitors with ageing. Caspase-2 deficiency leads to enhanced granulocyte macrophage and erythroid progenitors in aged mice. Colony-forming assays and long-term culture-initiating assay further recapitulated these results. Our results provide the first evidence of caspase-2 in regulating HSC and progenitor differentiation, as well as aneuploidy, in vivo.Swati Dawar, Nur Hezrin Shahrin, Nikolina Sladojevic, Richard J D, Andrea, Loretta Dorstyn, Devendra K Hiwase and Sharad Kuma

Fixed-Parameter Tractable Distances to Sparse Graph Classes

We show that for various classes $\mathcal{C}$ of sparse graphs, and several measures of distance to such classes (such as edit distance and elimination distance), the problem of determining the distance of a given graph $\small{G}$ to $\mathcal{C}$ is fixed-parameter tractable. The results are based on two general techniques. The first of these, building on recent work of Grohe et al. establishes that any class of graphs that is slicewise nowhere dense and slicewise first-order definable is FPT. The second shows that determining the elimination distance of a graph $\small{G}$ to a minor-closed class $\mathcal{C}$ is FPT. We demonstrate that several prior results (of Golovach, Moser and Thilikos and Mathieson) on the fixed-parameter tractability of distance measures are special cases of our first method

Randomisation and Derandomisation in Descriptive Complexity Theory

We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP, bounded error probabilistic polynomial time, is defined from PTIME. Our main focus lies on questions of derandomisation, and we prove that there is a query which is definable in BPFO, the probabilistic version of first-order logic, but not in Cinf, finite variable infinitary logic with counting. This implies that many of the standard logics of finite model theory, like transitive closure logic and fixed-point logic, both with and without counting, cannot be derandomised. Similarly, we present a query on ordered structures which is definable in BPFO but not in monadic second-order logic, and a query on additive structures which is definable in BPFO but not in FO. The latter of these queries shows that certain uniform variants of AC0 (bounded-depth polynomial sized circuits) cannot be derandomised. These results are in contrast to the general belief that most standard complexity classes can be derandomised. Finally, we note that BPIFP+C, the probabilistic version of fixed-point logic with counting, captures the complexity class BPP, even on unordered structures

Compact Labelings For Efficient First-Order Model-Checking

We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the graphs of every class that is \emph{nicely locally cwd-decomposable}. This notion generalizes that of a \emph{nicely locally tree-decomposable} class. The graphs of such classes can be covered by graphs of bounded \emph{clique-width} with limited overlaps. We also consider such labelings for \emph{bounded} first-order formulas on graph classes of \emph{bounded expansion}. Some of these results are extended to counting queries

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages. We give a computational classification of the expressive power of these logics over strings with varying built-in predicates. In particular, we show that ATIME(n) can be logically characterized in terms of second-order monadic monoidal quantifiers

Increased DHA Production in Seed Oil Using a Selective Lysophosphatidic Acid Acyltransferase

Metabolic engineering of the omega-3 (ω3) long chain polyunsaturated fatty acid biosynthesis pathway has generated fish oil-like levels of pharmaceutically and nutritionally important docosahexaenoic acid (DHA) in plant seeds. However, the majority of DHA has been accumulated at the sn-1 and sn-3 positions of triacylglycerol (TAG) in these engineered seeds, leaving only a minor amount (∼10%) at sn-2 position and indicating a strong discrimination (or, a very poor specificity) for DHA by seed lysophosphatidic acid acyltransferases (LPAATs), which mediate the acylation of sn-2 position of glycerol backbone. In order to increase the level of DHA at sn-2 position of TAG and to increase overall DHA level in seeds, we attempted to discover DHA-preferring LPAATs. Several LPAATs for acylation of the sn-2 position of the TAG glycerol backbone were investigated for substrate preference for DHA. In transiently expressing these LPAATs in Nicotiana benthamiana, a Mortierella alpina LPAAT had the highest substrate specificity for accumulating DHA onto oleoyl-lysophosphatidic acid (oleoyl-LPA), while the plant LPAATs tested showed lower preference for DHA. In a competition assay with a pool of four ω3 acyl-Coenzyme A (CoA) substrates involved in the DHA biosynthesis pathway, LPAATs from both M. alpina and Emiliania huxleyi showed a high preference for DHA-CoA acylation onto oleoyl-LPA. When docosahexaenoyl-LPA was used as the acyl receiver, M. alpina LPAAT also showed a high preference for DHA-CoA. Stable overexpression of M. alpina LPAAT in an Arabidopsis line that expressed the DHA biosynthesis pathway significantly increased both the total DHA levels and the distribution of DHA onto the sn-2 position of seed TAG. LC-MS analysis of the seed TAG species also confirmed that overexpression of M. alpina LPAAT increased di-DHA and tri-DHA TAGs, suggesting that the M. alpina LPAAT could enrich DHA at the TAG sn-2 position, leading to a metabolic engineering of oil seed for channeling DHA into the sn-2 position of TAG and to a higher DHA level

CuInSe2 thin films produced by rf sputtering in Ar/H2 atmospheres

Structural, compositional, optical, and electrical properties of CuInSe2thin filmsgrown by rf reactive sputtering from a Se excess target in Ar/H2 atmospheres are presented. The addition of H2 to the sputtering atmospheres allows the control of stoichiometry of films giving rise to remarkable changes in the film properties. Variation of substrate temperature causes changes in film composition because of the variation of hydrogen reactivity at the substrate. Measurements of resistivity at variable temperatures indicate a hopping conduction mechanism through gap states for films grown at low temperature (100–250 °C), the existence of three acceptor levels at about 0.046, 0.098, and 0.144 eV above valence band for films grown at intermediate temperature (250–350 °C), and a pseudometallic behavior for film grown at high temperatures (350–450 °C). Chalcopyrite polycrystalline thin films of CuInSe2 with an average grain size of 1 μm, an optical gap of 1.01 eV, and resistivities from 10− 1 to 103 Ω cm can be obtained by adding 1.5% of H2 to the sputtering atmosphere and by varying the substrate temperature from 300 to 400 °C

The GALNT9, BNC1 and CCDC8 genes are frequently epigenetically dysregulated in breast tumours that metastasise to the brain.

Tumour metastasis to the brain is a common and deadly development in certain cancers; 18-30 % of breast tumours metastasise to the brain. The contribution that gene silencing through epigenetic mechanisms plays in these metastatic tumours is not well understood