Results 131 to 140 of about 580,256 (322)
FEBS Open Bio, EarlyView.Amino acids sequence of two different proteins with the same sequence (chameleon sequence—black boxes) represent in 3D structure of the proteins different secondary structures: HHHH—helical and BBB—Beta‐structural. The chains folded in water environment adopt different III‐order structures in which the chameleon fragments appear to adopt similar status
Irena Roterman +4 more
wiley +1 more source
Confluence as a Cut Elimination Property
, 2003 The goal of this note is to compare two notions, one coming from the theory of rewrite systems and the other from proof theory: confluence and cut elimination. We show that to each rewrite system on terms, we can associate a logical system: asymmetric deduction modulo this rewrite system and that the confluence property of the rewrite system is ...
openaire +2 more sources
Elimination of structure controlled highwall failures at an open cut coal mine [PDF]
, 2020 Jianping Li
openalex +1 more source
FEBS Open Bio, EarlyView.ERα splice variant ERα∆7 lacks the C‐terminus, and its expression may change phenotypes of breast cancers. Our results showed that ERα∆7 is found in the luminal A subtype, and elevated ERα∆7 levels are linked to improved cell survival with lower proliferation and migration.
Long Wai Tsui +10 more
wiley +1 more source
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics
Bulletin of the Section of LogicA unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj +1 more source
FEBS Open Bio, EarlyView.This study investigated a novel WST‐8‐based assay for evaluating d‐Amino acid oxidase (DAO) inhibitors. We confirmed its effectiveness using known inhibitors and found that uremic toxins possess relatively weak inhibitory activity compared to existing drugs.
Kahoko Miyake +4 more
wiley +1 more source
The Cut-Elimination Theorem for Differential Nets with Promotion
, 2009 Michele Pagani
openalex +2 more sources
Understanding the hardening syndrome of potato (Solanum tuberosum L.) tuber tissue to eliminate textural defects in fresh and fresh-peeled/cut products [PDF]
, 2002 Ilan Shomer +3 more
openalex +1 more source
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised [PDF]
, 2023 Ian Shillito +3 more
openalex +1 more source
FEBS Open Bio, EarlyView.Matrix metalloproteinase‐9 (MMP9) drives ovarian cancer progression. Using MMP9‐null cells (M9‐KO) created from ovarian cancer cells, we found MMP9 loss did not block Epidermal Growth Factor (EGF)‐driven E‐cadherin dissolution or EMT but delayed and reduced EGF‐driven membrane protrusions. Transient MMP9 re‐expression drove membrane protrusion.
Claire Strauel +8 more
wiley +1 more source