Results 51 to 60 of about 39,507 (262)
Toward Reliable Programmable Logic Controller Function Block Diagrams
IEEE Access, 2021 Programmable logic controllers (PLCs) are widely used in industrial electronic systems. With the augmenting complexity of system, the reliability poses a crucial challenge in safety critical applications.
Jianyong Zhao, Zhe Tao
doaj +1 more source
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
FEBS Letters, EarlyView.Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto +3 more
wiley +1 more source
Marriage Parties, Rules, and Contract Expressions in Qur’an Translations: A Critical Analysis
Open Cultural StudiesMarriage is one of many important topics discussed in the Qur’an and is a vital component of the customs and traditions of every community. This study aims to qualitatively investigate the procedures employed by classical and recent translators in ...
AbuAlkheir Haneen +2 more
doaj +1 more source
Molecular Oncology, EarlyView.Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano +6 more
wiley +1 more source
Molecular Oncology, EarlyView.Many patients with urothelial cancer do not benefit from treatment with pembrolizumab, while at risk of severe side effects. Changes in the levels of circulating tumor DNA early during treatment, measured by a simple and affordable assay that can be easily implemented in the clinic, can be used as a prognostic tool to identify these patients.
Youssra Salhi +14 more
wiley +1 more source
A robust graph-based approach to observational equivalence [PDF]
Logical Methods in Computer ScienceWe propose a new step-wise approach to proving observational equivalence, and in particular reasoning about fragility of observational equivalence. Our approach is based on what we call local reasoning.
Dan R. Ghica +2 more
doaj +1 more source
Fuzzy Implication and Functional Dependency on Formal Context
Jurnal Matematika Integratif, 2020 Fuzzy formal concept analysis(FFCA) is a development of formal concept analysis(FCA) with the degree of relation between objects and attributes. Using FCA approach, we will investigate the condition logical implication for fuzzy functional dependency. We
Mohammad Deni Akbar, Yoshihiro Mizoguchi
doaj +1 more source
Formalizing equivalences without tears
CoRRv4: To appear in the TYPES 2024 post ...
openaire +3 more sources
Proof of the equivalence theorem in the chiral lagrangian formalism [PDF]
Physics Letters B, 1994 A general proof of the equivalence theorem in electroweak theories with the symmetry breaking sector described by the chiral Lagrangian is given in the $R_ξ$ gauge by means of the Ward-Takahashi identities. The precise form of the theorem contains a modification factor $C_{mod}$ associated with each external Goldstone boson similar to that in the ...
He, Hongjian +2 more
openaire +3 more sources
Molecular Oncology, EarlyView.BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi +11 more
wiley +1 more source