Results 71 to 80 of about 13,404,605 (326)
A Communication Proof Equilibrium Concept [PDF]
, 1996 This paper proposes an equilibrium concept for the classes of environments in which players can communicate with each other but cannot make binding agreements.
Ferreira, José Luis
core +1 more source
Cancer‐associated mutations in endometriosis reframe a benign disease through molecular oncology
Molecular Oncology, EarlyView.This review aims to comprehensively analyse cancer‐associated somatic mutations (CAMs) present in endometriotic lesions, emphasizing their biological roles, spatial distribution and implications for translational applications in medicine. By contextualizing a benign state within a genomic framework, this analysis seeks to establish its value as a ...
Clarissa Mujacic +15 more
wiley +1 more source
Proof theory for lattice-ordered groups [PDF]
, 2016 Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the ...
Metcalfe, George +3 more
core +3 more sources
An MMSE Approach to the Secrecy Capacity of the MIMO Gaussian Wiretap Channel
EURASIP Journal on Wireless Communications and Networking, 2009 This paper provides a closed-form expression for the secrecy capacity of the multiple-input multiple output (MIMO) Gaussian wiretap channel, under a power-covariance constraint.
Ronit Bustin +3 more
doaj +2 more sources
Semantics and proof-theory of depth bounded Boolean logics
Theoretical Computer Science, 2013 We present a unifying semantical and proof-theoretical framework for investigating depth-bounded approximations to Boolean Logic, namely approximations in which the number of nested applications of a single structural rule, representing the classical ...
Marcello D'Agostino +2 more
semanticscholar +1 more source
Annals of Pure and Applied Logic, 1994 This is a well-written paper. Its final product is the determination of the proof-theoretic ordinal of \(\text{KP}+ \Pi_ 3\)-Ref, i.e. Kripke- Platek set theory with \(\Pi_ 3\)-reflection. To reach there, the author gives motivations, intuitions, backgrounds, future visions, etc., making the paper accessible and almost self-contained.
openaire +2 more sources
Molecular Oncology, EarlyView.In head and neck squamous cell carcinoma (HNSCC) p53 and p63 exert opposite roles on the transcription regulation of the lncRNA NEAT1. Under basal conditions, p53 levels are low and p63 represses NEAT1 expression. Upon genotoxic stress, p53 is rapidly induced, displacing p63 from the NEAT1 promoter leading to NEAT1 transcriptional activation and ...
Sara De Domenico +5 more
wiley +1 more source
Bulletin of the Section of Logic, 2023 Neil Tennant’s core logic is a type of bilateralist natural deduction system based on proofs and refutations. We present a proof system for propositional core logic, explain its connections to bilateralism, and explore the possibility of using it as a ...
Emma van Dijk +2 more
doaj +1 more source
Hydrostatic pressure activates HIF‐1α via β‐catenin to promote stemness in breast cancer cells
FEBS Open Bio, EarlyView.To mimic the elevated intestinal fluid pressure in breast cancers, we loaded human breast cancer cells (MCF‐7, MDA‐MB‐453, and BT‐474) to 50 mmHg hydrostatic pressure. Hydrostatic pressure exposure upregulated HIF‐1α and induced stemness in MCF‐7 and BT‐474 cells.
Da Zhai +8 more
wiley +1 more source
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source