Results 41 to 50 of about 1,041,680 (279)
Certificate complexity and symmetry of nested canalizing functions [PDF]
Discrete Mathematics & Theoretical Computer Science, 2021 Boolean nested canalizing functions (NCFs) have important applications in molecular regulatory networks, engineering and computer science. In this paper, we study their certificate complexity.
Yuan Li, Frank Ingram, Huaming Zhang
doaj +1 more source
Pedagogical implications of students’ misconceptions about deductive geometric proof
Acta Academica, 2012 The role of proof in school geometry has been a subject of intense debate throughout the twentieth century and that debate persists even today. This study aims to identify and analyse deductive geometric proof difficulties encountered by Bachelor of ...
Mdutshekelwa Ndlovu, Andile Mji
doaj +3 more sources
Proof complexity of substructural logics
Annals of Pure and Applied Logic, 2021 34 ...
openaire +3 more sources
On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies [PDF]
, 2016 We study the proof complexity of Paris-Harrington’s Large Ramsey Theorem for bi-colorings of graphs and of off-diagonal Ramsey’s Theorem. For Paris-Harrington, we prove a non-trivial conditional lower bound in Resolution and a non-trivial upper bound ...
Carlucci, Lorenzo +2 more
core +1 more source
Journal of Logic and Computation, 2005 Summary: We define the notion of the uniform reduct of a propositional proof system as the set of those bounded formulas in the language of Peano Arithmetic which have polynomial size proofs under the Paris-Wilkie-translation. With respect to the arithmetic complexity of uniform reducts, we show that uniform reducts are \(\Pi_1^0\)-hard and obviously ...
openaire +4 more sources
On paths-based criteria for polynomial time complexity in proof-nets [PDF]
, 2013 Girard's Light linear logic (LLL) characterized polynomial time in the proof-as-program paradigm with a bound on cut elimination. This logic relied on a stratification principle and a "one-door" principle which were generalized later respectively in the ...
JY Girard +9 more
core +6 more sources
A Fuzzy Grammar for Evaluating Universality and Complexity in Natural Language
Mathematics, 2022 The paper focuses on linguistic complexity and language universals, which are two important and controversial issues in language research. A Fuzzy Property Grammar for determining the degree of universality and complexity of a natural language is ...
Adrià Torrens-Urrutia +3 more
doaj +1 more source
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
How to Prove Work: With Time or Memory
IEEE Access, 2022 Proposed by Dwork and Naor (Crypto’ 92) as an anti-spam technique, proof-of-work is attracting more attention with the boom of cryptocurrencies. A proof-of-work scheme involves two types of participants, $\textit {i.e.}$ , provers and verifiers ...
Xiangyu Su +2 more
doaj +1 more source
Molecular Oncology, EarlyView.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source