Results 61 to 70 of about 2,494,307 (343)
Ground interpolation for the theory of equality [PDF]
Logical Methods in Computer Science, 2012 Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality.
Alexander Fuchs +4 more
doaj +1 more source
Molecular Oncology, EarlyView.Adaptaquin selectively kills glioma stem cells while sparing differentiated brain cells. Transcriptomic and proteomic analyses show Adaptaquin disrupts iron and cholesterol homeostasis, with iron chelation amplifying cytotoxicity via cholesterol depletion, mitochondrial dysfunction, and elevated reactive oxygen species.
Adrien M. Vaquié +16 more
wiley +1 more source
Entropy, 2021 This paper studies the problem of upper bounding the number of independent sets in a graph, expressed in terms of its degree distribution. For bipartite regular graphs, Kahn (2001) established a tight upper bound using an information-theoretic approach ...
Igal Sason
doaj +1 more source
Reverse mathematics and infinite traceable graphs [PDF]
, 2010 This paper falls within the general program of investigating the proof theoretic strength (in terms of reverse mathematics) of combinatorial principals which follow from versions of Ramsey's theorem.
Cholak, Peter +2 more
core +3 more sources
Survivin and Aurora Kinase A control cell fate decisions during mitosis
Molecular Oncology, EarlyView.Aurora A interacts with survivin during mitosis and regulates its centromeric role. Loss of Aurora A activity mislocalises survivin, the CPC and BubR1, leading to disruption of the spindle checkpoint and triggering premature mitotic exit, which we refer to as ‘mitotic slippage’.
Hana Abdelkabir +2 more
wiley +1 more source
On the theorem of Amitsur--Levitzki [PDF]
, 2013 We present a proof of the Amitsur--Levitzki theorem which is a basis for a general theory of equivariant skew--symmetric maps on matrices.Comment ...
Procesi, Claudio
core
A proof of Perrin-Riou’s Heegner point main conjecture [PDF]
Algebra & Number Theory, 2019 Let $E/\mathbf{Q}$ be an elliptic curve of conductor $N$, let $p$ be a prime of a good ordinary reduction for $E$, and let $K$ be an imaginary quadratic field satisfying the Heegner hypothesis relative to $N$.
Ashay A. Burungale +2 more
semanticscholar +1 more source
Molecular Oncology, EarlyView.Single circulating tumor cells (sCTCs) from high‐grade serous ovarian cancer patients were enriched, imaged, and genomically profiled using WGA and NGS at different time points during treatment. sCTCs revealed enrichment of alterations in Chromosomes 2, 7, and 12 as well as persistent or emerging oncogenic CNAs, supporting sCTC identity.
Carolin Salmon +9 more
wiley +1 more source
An Abstract Result on Projective Aggregation Functions
Axioms, 2018 A general characterization result of projective aggregation functions is shown, the proof of which makes use of the celebrated Arrow’s theorem, thus providing a link between aggregation functions theory and social choice theory.
Juan C. Candeal
doaj +1 more source
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo [PDF]
Logical Methods in Computer Science, 2011 In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems---such as for instance natural deduction---are applied.
Guillaume Burel
doaj +1 more source