410 research outputs found
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 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 to 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 to a minor-closed class 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
- …