Results 121 to 130 of about 25,462,782 (297)
FEBS Letters, EarlyView.Glutaredoxin (Grx) 3 proteins contain a thioredoxin domain and one to three class II Grx domains. These proteins play a crucial role in iron homeostasis in eukaryotic cells. In human Grx3, at least one of the two Grx domains, together with the thioredoxin domain, is essential for its function in iron metabolism.
Laura Magdalena Jordt +4 more
wiley +1 more source
Type checking through unification [PDF]
arXiv, 2016 In this paper we describe how to leverage higher-order unification to type check a dependently typed language with meta-variables. The literature usually presents the unification algorithm as a standalone component, however the need to check definitional equality of terms while type checking gives rise to a tight interplay between type checking and ...
arxiv
FEBS Letters, EarlyView.Dimeric pyruvate formate‐lyase cleaves pyruvate using a radical‐based mechanism. G734 serves as a radical storage location, and the radical is transferred to the catalytic C419 residue. Mutation of the C418‐C419 pair causes loss of enzyme activity, but does not impede radical introduction onto G734. Therefore, cis‐ but not trans‐radical transfer occurs
Michelle Kammel +2 more
wiley +1 more source
Executable Refinement Types [PDF]
arXiv, 2014 This dissertation introduces executable refinement types, which refine structural types by semi-decidable predicates, and establishes their metatheory and accompanying implementation techniques. These results are useful for undecidable type systems in general. Particular contributions include: (1) Type soundness and a logical relation for extensional
arxiv
Results obtained by crossing a Wild Pea from Palestine with Commercial Types. [PDF]
, 1914 Arthur W. Sutton
openalex +1 more source
FEBS Letters, EarlyView.To explore the impact of the overexpression of the multidrug‐transporter P‐glycoprotein (ABCB1) on membrane fluidity, we compared the transversal gradient of mobility and microviscosity in plasma membranes of drug‐sensitive Chinese hamster ovary cells (AuxB1) and their multidrug‐resistant derivatives (B30) using the fluorescent n‐(9‐anthroyloxy) fatty ...
Roger Busche +2 more
wiley +1 more source
Gradual Typing for Extensibility by Rows [PDF]
arXiv, 2019 This work studies gradual typing for row types and row polymorphism. Key ingredients in this work are the dynamic row type, which represents a statically unknown part of a row, and consistency for row types, which allows injecting static row types into the dynamic row type and, conversely, projecting the dynamic row type to any static row type.
arxiv
Motions of Stars of Type a Perpendicular to the Galactic Plane [PDF]
, 1957 R. v. d. R. Woolley
openalex +1 more source
FEBS Letters, EarlyView.Most MmpLs transport lipids and glycolipids of the complex mycomembrane of mycobacteria. This study shows that MmpL10 from Mycobacterium smegmatis, the transporter of the trehalose polyphosphate precursor, harbors a coiled‐coil‐like extension. Biochemical and electron microscopy studies demonstrate that the coiled‐coil enables MmpL10 to trimerize.
Julie Couston +7 more
wiley +1 more source
Evolutionary interplay between viruses and R‐loops
FEBS Letters, EarlyView.Viruses interact with specialized nucleic acid structures called R‐loops to influence host transcription, epigenetic states, latency, and immune evasion. This Perspective examines the roles of R‐loops in viral replication, integration, and silencing, and how viruses co‐opt or avoid these structures.
Zsolt Karányi +4 more
wiley +1 more source