Results 31 to 40 of about 194,768 (276)
Systematic construction of natural deduction systems for many-valued logics [PDF]
, 1993 A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables
Baaz, Matthias +2 more
core +2 more sources
Molecular Oncology, EarlyView.We developed a cost‐effective methylation‐specific droplet digital PCR multiplex assay containing tissue‐conserved and tumor‐specific methylation markers. The assay can detect circulating tumor DNA with high accuracy in patients with localized and metastatic colorectal cancer.
Luisa Matos do Canto +8 more
wiley +1 more source
Journal of Business & Banking, 2018 The banking industry in a country must be sound because it can cause the country’s economy develope to be good. The purpose of this study was to analyze the signifi cance of the effect of liquidity risk, market risk, credit risk, operational risk ...
Nelaini Ika Merty
doaj +1 more source
Peroxidasin enables melanoma immune escape by inhibiting natural killer cell cytotoxicity
Molecular Oncology, EarlyView.Peroxidasin (PXDN) is secreted by melanoma cells and binds the NK cell receptor NKG2D, thereby suppressing NK cell activation and cytotoxicity. PXDN depletion restores NKG2D signaling and enables effective NK cell–mediated melanoma killing. These findings identify PXDN as a previously unrecognized immune evasion factor and a potential target to improve
Hsu‐Min Sung +17 more
wiley +1 more source
Macroeconomic Environment and Banking Sector Soundness in CEE Countries [PDF]
Ovidius University Annals: Economic Sciences Series, 2016 The aim of our paper is to empirically investigate the impact of the changes in macroeconomic environment on the financial soundness of the banking sector (as measured by bank Z-score) in 11 Central and Eastern European countries, over the period 2000 ...
Irina Bilan, Angela Roman
doaj
Basroparib inhibits YAP‐driven cancers by stabilizing angiomotin
Molecular Oncology, EarlyView.Basroparib, a selective tankyrase inhibitor, suppresses Wnt signaling and attenuates YAP‐driven oncogenic programs by stabilizing angiomotin. It promotes AMOT–YAP complex formation, enforces cytoplasmic YAP sequestration, inhibits YAP/TEAD transcription, and sensitizes YAP‐active cancers, including KRAS‐mutant colorectal cancer, to MEK inhibition.
Young‐Ju Kwon +4 more
wiley +1 more source
Quantum soundness of testing tensor codes
Discrete Analysis, 2022 Quantum soundness of testing tensor codes, Discrete Analysis 2022:17, 73 pp. This paper proves an essential component of a major recent result in complexity theory, known as the MIP*=RE theorem, which was proved by the same authors.
Zhengfeng Ji +4 more
doaj +1 more source
The Effect of Financial Performance on the Health Level of General Insurance Companies
Almana: Jurnal Manajemen dan Bisnis, 2023 Insurance is one of the most popular methods of risk transfer. Insurance aims to transfer individual or corporate risk to insurance companies. The purpose of this research is to examine the effect of financial performance on the soundness level of ...
Anastasia Safa Ramadhani +1 more
doaj +1 more source
Evaluating the structure of research papers: A case study [PDF]
, 2004 This paper is triggered by a concern for the methodological soundness of research papers in RE. We propose a number of criteria for methodological soundness, and apply these to a random sample of 37 submissions to the RE'03\ud conference.
Heerkens, Hans, Wieringa, Roel
core +1 more source
Tabling with Sound Answer Subsumption [PDF]
, 2016 Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we are not interested in the set of all answers to a goal, but only require an ...
Desouter, Benoit +3 more
core +3 more sources