Results 91 to 100 of about 1,740 (284)

An unexpected alternative viologen electron mediator site in tungsten‐containing formate dehydrogenase

FEBS Letters, EarlyView.
An unexpected alternative interaction site for ethyl viologen was identified in formate dehydrogenase 1 from Methylorubrum extorquens. Combined mutagenesis, kinetic analysis, and docking revealed that aromatic residues near an iron–sulfur cluster enable flavin mononucleotide‐independent electron transfer, offering a framework for engineering improved ...
Eleni G. Poloniataki, Yong Hwan Kim
wiley   +1 more source

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

Bulletin of the Section of Logic
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and bunched logics. After providing an
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake   +7 more
doaj   +1 more source

Cell geometry and membrane protein crowding constrain Escherichia coli growth rate, overflow metabolism, respiration, and maintenance energy

FEBS Letters, EarlyView.
The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson, Tomáš Gedeon, Mauricio Garcia Benitez, Campbell Putnam, William R. Harcombe, Radhakrishnan Mahadevan, Ashley E. Beck   +6 more
wiley   +1 more source

Sequent and hypersequent calculi for abelian and łukasiewicz logics

ACM Transactions on Computational Logic, 2005
We present two embeddings of Łukasiewicz logicŁinto Meyer and Slaney's Abelian logicA, the logic of lattice-ordered Abelian groups. We give new analytic proof systems forAand use the embeddings to derive corresponding systems forŁ. These include hypersequent calculi, terminating hypersequent calculi, co-NP labeled sequent calculi, and unlabeled sequent
G., Metcalfe, Olivetti, Nicola, Gabbay, D. M.   +2 more
openaire   +3 more sources

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

Sequent calculi and decidability for intuitionistic hybrid logic

Information and Computation, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Galmiche, Didier, Salhi, Yakoub
openaire   +3 more sources

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

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

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

Logical Metainferentialism

Ergo, An Open Access Journal of Philosophy
Logical inferentialism is the view that the meaning of logical constants is implicitly defined by the operational rules that govern their behaviour in proofs—particularly in sequent calculus proofs, according to an increasingly dominant tendency.
Bogdan Dicher, Francesco Paoli
doaj   +2 more sources