Results 71 to 80 of about 75,146 (284)

Salmonella lipopolysaccharide‐containing supported lipid bilayers as platforms to study bacteriophage interactions

FEBS Letters, EarlyView.
We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace, Alyssa Borges, Charles Arnaud, Tove Karlsson, Nina K. Bröker, Stefanie Barbirz, Marta Bally   +6 more
wiley   +1 more source

Association between urinary excretion of protein-bound uremic toxins and upper urinary tract calculus

Shanghai Jiaotong Daxue xuebao. Yixue ban
Objective·To investigate the relation between urinary excretion of protein-bound uremic toxins (PBUTs) and upper urinary tract calculus.Methods·Residents aged 18‒80 years in the community of Haitou, Danzhou city in Hainan Province were recruited.
WANG Wenji, ZHONG Kaiyi, LI Jiaolun, ZHOU Yueling, HUANG Tao, DUAN Lizhu, SHEN Yuqi, LI Xuezhu, DING Feng, XIE Danshu   +9 more
doaj   +1 more source

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, Junho Jeong, Chae Yeong Lee, Hyunjoon Cho, Man Hwan Oh, Je Chul Lee, Jee‐Young Lee, Yangmee Kim   +7 more
wiley   +1 more source

Classical Non Associative Lambek Calculus

, 2002
We introduce non-associative linear logic, which may be seen as the classical version of the non-associative Lambek calculus. We define its sequent calculus, its theory of proof nets, for which we give a correctness criterion and a sequentialization ...
Lamarche, François, de Groote, Philippe
core   +1 more source

Fractional order calculus: historical apologia, basic concepts and some applications

Revista Brasileira de Ensino de Física
Fractional order calculus (FOC) deals with integrals and derivatives of arbitrary (i.e., non-integer) order, and shares its origins with classical integral and differential calculus.
S.A. David, J.L. Linares, E.M.J.A. Pallone   +2 more
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, Markus R. Busch, Reinhard Sterner   +2 more
wiley   +1 more source

From moral welfarism to technical non-welfarism : A step back to Bentham’s felicific calculus of its members [PDF]

A focus on the information used in Bentham’s felicific calculus sheds new light on the contemporary debate in normative economics opposing non-welfarism to welfarism. As a utilitarian, Bentham is de facto welfarist on a moral sense.
A. Baujard
core  

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications [PDF]

Logical Methods in Computer Science
We introduce a call-by-name lambda-calculus $\lambda Jn$ with generalized applications which is equipped with distant reduction. This allows to unblock $\beta$-redexes without resorting to the standard permutative conversions of generalized applications ...
José Espírito Santo, Delia Kesner, Loïc Peyrot   +2 more
doaj   +1 more source

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, Carolina Vazquez Garzon, Jose Joaquin Velasco, Janine N. Post   +3 more
wiley   +1 more source

Two loop detection mechanisms: a comparison [PDF]

, 1997
In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M., Howe, Jacob M., Jacob Howe, Jacob M. Howe   +3 more
core   +1 more source