Results 101 to 110 of about 1,988,584 (327)
Safety and Consistency Verification for a High-level Permission Assignment Constraint [PDF]
Existing permission assignment constraints pay more attention to ensure the safety,however the availability for the system is ignored.Aiming at this problem,this paper proposes a High-level Permission Assignment (HPA)constraint to satisfy the safety and ...
WANG Zheng,XU Dewu,HAN Jianmin,LU Jianfeng
doaj
This study proposed a natural-rule-based-connection (NRBC) method to connect river segments after water body detection from remotely sensed imagery. A complete river network is important for many hydrological applications.
Chuiqing Zeng +3 more
doaj +1 more source
This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
Contraction consistent stochastic choice correspondence [PDF]
We model a general choice environment via probabilistic choice correspondences, with (possibly) incomplete domain and infinite universal set of alternatives. We offer a consistency restriction regarding choice when the feasible set contracts.
Indraneel Dasgupta
core +3 more sources
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source
Algebraic proofs of consistency and completeness
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source
SCILAB SCRIPT: EWT MODEL COMPLETE NUMERICAL CALCULATOR AND CONSISTENCY CHECK
Łukasz Smoliński
+5 more sources

