Results 71 to 80 of about 1,456,568 (303)
Hyperosmotic stress triggers the relocation of the CFIm complex from the nucleus to the cytoplasm. This shift creates a nuclear ‘stoichiometric bottleneck’, limiting CFIm availability for mRNA processing. Consequently, specific mRNAs like NUDT21 and DICER1 undergo targeted 3′UTR shortening, demonstrating how spatial protein dynamics drive rapid ...
Hitomi Soumiya +2 more
wiley +1 more source
Proof of the equivalence theorem in the chiral lagrangian formalism [PDF]
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
Malformin A1–mediated cytotoxicity in ovarian cancer cells occurs through pyroptosis and autophagy
This study investigated the effects of the natural compound Malformin A1 (MA1) on the cytoskeleton that regulates cell proliferation and migration. Disruption of the cytoskeleton can impair these processes and promote cancer cell death. MA1 disrupted cytoskeletal organization, induced DNA damage, inflammation, activated autophagy, and pyroptosis ...
Nada Abdullah Hassan +11 more
wiley +1 more source
TRANSLATOR’S PROBLEM AND STRATEGY IN TRANSLATING ALLEGORY IN GEORGE HERBERT’S “THE PILGRIMAGE”
This study examines the problems and strategies in translating allegory within George Herbert’s “The Pilgrimage” from English into Indonesian. Employing a qualitative descriptive approach, the research focuses on analyzing semantic, syntactic, and ...
Dian Windriani, Retno Anggraini
doaj +1 more source
Cutpoints for formal equivalence verification of embedded software [PDF]
Like hardware, embedded software faces stringent design constraints, undergoes extremely aggressive optimization, and therefore has a similar need for verifying the functional equivalence of two versions of a design, e.g., before and after an optimization.
Xiushan Feng, Alan J. Hu
openaire +1 more source
Stimulus Equivalence: A Comparison of Operant and Associative Procedures [PDF]
Previous studies comparing the effectiveness of the stimulus-pairing-observation and matching-to-sample procedures in facilitating the formation of equivalence relations have had conflicting findings.
Kinloch, Jennifer May
core
Evolution‐guided yeast complementation reveals functional differences in human PSPH variants
Ancient genomes can help guide which human genetic variants are tested experimentally. This study applies that idea to PSPH, a gene involved in serine biosynthesis, and uses high‐throughput yeast complementation to compare variant function. The findings reveal measurable differences among selected alleles and illustrate the value of evolution‐guided ...
Mauricio Campa‐Álvarez +6 more
wiley +1 more source
Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence.
Halvorson, Hans, Barrett, Thomas William
core
Program Equivalence (Dagstuhl Seminar 18151)
Program equivalence is the problem of proving that two programs are equal under some definition of equivalence, e.g., input-output equivalence. The field draws researchers from formal verification, semantics and logics.
Lahiri, Shuvendu K. +3 more
core +1 more source
We report the first β‐glucosidase with demonstrated hydrolytic activity on an N‐linked glycopyranoside. The enzyme, native to maize, was biochemically characterised for this novel reaction, and structural modelling of the enzyme–substrate complex revealed several clues to the underlying reduced catalytic rate relative to its native O‐glycopyranoside ...
Hani Gharabli +3 more
wiley +1 more source

