Results 81 to 90 of about 4,888,581 (309)
Proof Normalization Modulo [PDF]
Journal of Symbolic Logic, 1999 AbstractWe define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theories having a so-called pre-model. As a corollary, we retrieve cut elimination for several axiomatic theories, including Church's simple type theory.
Dowek, Gilles, Werner, Benjamin
openaire +3 more sources
Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma
Molecular Oncology, EarlyView.Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken +7 more
wiley +1 more source
ReligionsJames Sterba recently presented arguments against theories which ground morality in God and attempted “to provide an account of the norms on which an ethics without God can be appropriately grounded ….” In particular, Sterba noted that “Robert Adams is ...
Adam Lloyd Johnson
doaj +1 more source
Exploring Mathematical Reasoning of Elementary Preservice Teachers
Journal of Educational Research in Mathematics, 2020 The purpose of this study is to understand the characteristics of mathematical reasoning of elementary preservice teachers (EPTs). For this purpose, 68 EPTs were presented with two tasks related to mathematical reasoning, and their written responses were
GwiSoo Na, Dong-Won Kim
doaj +1 more source
Proof Theory and Ordered Groups
, 2017 Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups).
A Ciabattoni +20 more
core +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
Hérétique ou dément ? Autour du procès de Thomas d’Apulie à Paris en 1388
Criminocorpus, 2016 In october 1388, in Paris, a trial for heresy results for the first time in the use of forensic evidence. A group of physicians find the heretic mad, which allows him to escape death penalty. During the Middle Ages, madness (insania) is used by Church in
Maud Ternon
doaj +1 more source
Focusing and Polarization in Intuitionistic Logic [PDF]
, 2007 A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andreoli for linear logic has been applied to both the proof search and the ...
Liang, Chuck, Miller, Dale
core +7 more sources
Extracting Proofs from Tabled Proof Search [PDF]
, 2013 We consider the problem of model checking specifications involving co-inductive definitions such as are available for bisimulation. A proof search approach to model checking with such specifications often involves state exploration. We consider four different tabling strategies that can minimize such exploration significantly.
Miller, Dale, Tiu, Alwen
openaire +2 more sources
Molecular Oncology, EarlyView.Loss of the miR‐214/199a cluster is associated with recurrence in ovarian cancer. Engineered small extracellular vesicles (m214‐sEVs) elevate miR‐214‐3p/miR‐199a‐5p in tumor cells, suppress β‐catenin, TLR4, and YKT6 signaling, reprogram tumor‐derived sEV cargo, reduce chemoresistance and migration, and enhance carboplatin efficacy and survival in ...
Weida Wang +12 more
wiley +1 more source