Results 61 to 70 of about 3,210,715 (302)
Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis
FEBS Letters, EarlyView.Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee +7 more
wiley +1 more source
On correctness of buffer implementations in a concurrent lambda calculus with futures [PDF]
, 2009 Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other.
Sabel, David +3 more
core
Functional Differential Equations Involving the ψ-Caputo Fractional Derivative
Fractal and Fractional, 2020 This paper is devoted to the study of existence and uniqueness of solutions for fractional functional differential equations, whose derivative operator depends on an arbitrary function.
Ricardo Almeida
doaj +1 more source
Reconstructing enzyme evolution by protein engineering
FEBS Letters, EarlyView.Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler +2 more
wiley +1 more source
Lambda Calculus in Core Aldwych [PDF]
, 2016 Core Aldwych is a simple model for concurrent computation, involving the concept of agents which communicate through shared variables. Each variable will have exactly one agent that can write to it, and its value can never be changed once written, but a ...
Communicating Process Architectures +1 more
core +4 more sources
Investigating transcription factor dynamics in health and disease using FRAP
FEBS Letters, EarlyView.FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj +3 more
wiley +1 more source
A Functional Calculus for Quotient Bounded Operators [PDF]
Surveys in Mathematics and its Applications, 2006 If (X, P) is a sequentially locally convex space, then a quotient bounded operator T beloging to QP is regular (in the sense of Waelbroeck) if and only if it is a bounded element (in the sense of Allan) of algebra QP.
Sorin Mirel Stoian
doaj
First Class Call Stacks: Exploring Head Reduction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Weak-head normalization is inconsistent with functional extensionality in the call-by-name λ-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the λ-calculus with control,
Philip Johnson-Freyd +2 more
doaj +1 more source
Conserved binding mode but diverse interfaces of MreC‐PBP2 interactions
FEBS Letters, EarlyView.The crystal structure of abMreC reveals a conserved two β‐barrel architecture and provides structural insights into its role within the bacterial elongasome. The abMreC–abPBP2 complex model identifies the molecular basis of MreC‐mediated PBP2 recognition, contributing to the regulation of peptidoglycan synthesis.
Hyunseok Jang +4 more
wiley +1 more source
AIP Advances, 2018 Nonlinearities in finite dimensions can be linearized by projecting them into infinite dimensions. Unfortunately, the familiar linear operator techniques that one would then hope to use often fail since the operators cannot be diagonalized.
Paul M. Riechers, James P. Crutchfield
doaj +1 more source