Results 71 to 80 of about 1,624,256 (334)
FEBS Letters, EarlyView.Bifidobacterium bifidum establishes symbiosis with infants by metabolizing lacto‐N‐biose I (LNB) from human milk oligosaccharides (HMOs). The extracellular multidomain enzyme LnbB drives this process, releasing LNB via its catalytic glycoside hydrolase family 20 (GH20) lacto‐N‐biosidase domain.
Xinzhe Zhang +5 more
wiley +1 more source
Termination Casts: A Flexible Approach to Termination with General Recursion
, 2010 This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types.
A. Abel +24 more
core +3 more sources
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates [PDF]
, 2011 Termination is an important property of programs; notably required for programs formulated in proof assistants. It is a very active subject of research in the Turing-complete formalism of term rewriting systems, where many methods and tools have been ...
ADAM KOPROWSKI +22 more
core +5 more sources
Dual function of UPF3B in early and late translation termination
EMBO Journal, 2017 Nonsense‐mediated mRNA decay (NMD) is a cellular surveillance pathway that recognizes and degrades mRNAs with premature termination codons (PTCs).
G. Neu-Yilik +10 more
semanticscholar +1 more source
Peptide‐based ligand antagonists block a Vibrio cholerae adhesin
FEBS Letters, EarlyView.The structure of a peptide‐binding domain of the Vibrio cholerae adhesin FrhA was solved by X‐ray crystallography, revealing how the inhibitory peptide AGYTD binds tightly at its Ca2+‐coordinated pocket. Structure‐guided design incorporating D‐amino acids enhanced binding affinity, providing a foundation for developing anti‐adhesion therapeutics ...
Mingyu Wang +9 more
wiley +1 more source
Uniformity of Peptide Release Is Maintained by Methylation of Release Factors
Cell Reports, 2016 Termination of protein synthesis on the ribosome is catalyzed by release factors (RFs), which share a conserved glycine-glycine-glutamine (GGQ) motif.
William E. Pierson +5 more
doaj +1 more source
Intermodal freight terminals : terminal business planning [PDF]
, 2000 The main purpose of this paper is to provide a framework for existing- and newly proposedinter-modal freight terminals in their business planning process. This framework is importantfor constructing- and improving the central terminal service portfolio of handling (loading,discharging, and transhipping) and storage of containerised cargo.
Wiegmans, Bart W., Nijkamp, Peter
openaire +3 more sources
Behavioural inhibition and valuation of gain/loss are neurally distinct from approach/withdrawal [PDF]
, 2019 Gain or omission/termination of loss produces approach; while loss or omission/termination of gain produces withdrawal. Control of approach/withdrawal motivation is distinct from valuation of gain/loss and does not entail learning – making “reward” and ...
Corr, P. J., McNaughton, N.
core +1 more source
Real‐time assay of ribonucleotide reductase activity with a fluorescent RNA aptamer
FEBS Letters, EarlyView.Ribonucleotide reductases (RNR) synthesize DNA building blocks de novo, making them crucial in DNA replication and drug targeting. FLARE introduces the first single‐tube real‐time coupled RNR assay, which enables isothermal tracking of RNR activity at nanomolar enzyme levels and allows the reconstruction of allosteric regulatory patterns and rapid ...
Jacopo De Capitani +4 more
wiley +1 more source
Ranking Functions for Size-Change Termination II
, 2009 Size-Change Termination is an increasingly-popular technique for verifying program termination. These termination proofs are deduced from an abstract representation of the program in the form of "size-change graphs".
Ben-Amram, Amir M., Lee, Chin Soon
core +2 more sources