Results 81 to 90 of about 86,734 (328)

Structural insights into lacto‐N‐biose I recognition by a family 32 carbohydrate‐binding module from Bifidobacterium bifidum

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, Naoki Sunagawa, Toma Kashima, Kiyohiko Igarashi, Akimasa Miyanaga, Shinya Fushinobu   +5 more
wiley   +1 more source

The Caenorhabditis elegans DPF‐3 and human DPP4 have tripeptidyl peptidase activity

FEBS Letters, EarlyView.
The dipeptidyl peptidase IV (DPPIV) family comprises serine proteases classically defined by their ability to remove dipeptides from the N‐termini of substrates, a feature that gave the family its name. Here, we report the discovery of a previously unrecognized tripeptidyl peptidase activity in DPPIV family members from two different species.
Aditya Trivedi, Rajani Kanth Gudipati
wiley   +1 more source

Linear-algebraic lambda-calculus

, 2005
With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by construction.
Arrighi, Pablo, Dowek, Gilles
core   +1 more source

Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10

FEBS Letters, EarlyView.
Loss of the E3 ligase LTN1, the ubiquitin‐like modifier UFM1, or the deubiquitinating enzyme UFSP2 disrupts endoplasmic reticulum–ribosome quality control (ER‐RQC), a pathway that removes stalled ribosomes and faulty proteins. This disruption may trigger a compensatory response to ER‐RQC defects, including increased expression of the E3 ligase RNF10 ...
Yuxi Huang, Satoshi Hashimoto, Sota Ito, Chisato Kikuguchi, Miho Hoshi, Kiyoshi Yamaguchi, Yoichi Furukawa, Toru Suzuki, Toshifumi Inada   +8 more
wiley   +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, Grace Du, Charity Yongo‐Luwawa, Angelina Lu, Brett Kinrade, Kim Munro, Karl E. Klose, William D. Lubell, Peter Davies, Shuaiqi Guo   +9 more
wiley   +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, Noemi E. Nwosu, Viktoria Gocke, Müge Kasanmascheff, Hannes Mutschler   +4 more
wiley   +1 more source

An abstract machine for concurrent Haskell with futures [PDF]

, 2012
We show how Sestoft’s abstract machine for lazy evaluation of purely functional programs can be extended to evaluate expressions of the calculus CHF – a process calculus that models Concurrent Haskell extended by imperative and implicit futures.
Sabel, David (Dr.)
core   +2 more sources

A Decidable Characterization of a Graphical Pi-calculus with Iterators

, 2010
This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to express non-terminating behaviors.
Ahmed Rezine, Björn Victor, Fabio Gadducci, Filippo Bonchi, Frédéric Peschanski, Frédéric Peschanski, Gian Luigi Ferrari, Hanna Klaudel, Igor Litovsky, Joachim Parrow, Marco Pistore, Michele Boreale, Nadia Busi, Pierpaolo Degano, Raymond Devillers, Raymond Devillers, Robin Milner, Robin Milner, Roland Meyer, Ugo Montanari, Ugo Montanari, Yu-Fang Chen   +21 more
core   +4 more sources

Disordered but rhythmic—the role of intrinsic protein disorder in eukaryotic circadian timing

FEBS Letters, EarlyView.
Unstructured domains known as intrinsically disordered regions (IDRs) are present in nearly every part of the eukaryotic core circadian oscillator. IDRs enable many diverse inter‐ and intramolecular interactions that support clock function. IDR conformations are highly tunable by post‐translational modifications and environmental conditions, which ...
Emery T. Usher, Jacqueline F. Pelham
wiley   +1 more source

Program equivalence for a concurrent lambda calculus with futures [PDF]

, 2006
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Niehren, Joachim, Sabel, David, Schmidt-Schauß, Manfred, Schwinghammer, Jan   +3 more
core   +1 more source