Results 101 to 110 of about 1,739 (283)
Sequent Calculi for the Normal Terms of the -a n d -Calculi ?
, 2020 . This paper presents two sequent calculi, requiring no clausal form for types, whose typable terms are in 1-1 correspondence with the normal terms of the -a n d -calculi.
Roy Dyckho, Lu S Pinto
core
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 +6 more
wiley +1 more source
Tools and techniques for formalising structural proof theory
, 2010 Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core
Ergo, An Open Access Journal of PhilosophyLogical 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
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
FEBS Letters, EarlyView.Protein aggregates threaten proteostasis and cell health. In human cells, Hsp70–J‐domain protein‐based disaggregases remove aggregates, but how they assemble remains unclear. Our biochemical findings show that DNAJA2‐ and DNAJB1‐containing disaggregase scaffolds enhance luciferase aggregate targeting, and that Hsp70 recruitment by both J‐domain ...
Anna Szlachcic, Nadinath B. Nillegoda
wiley +1 more source
The Origins and Development of Sequent Calculi
, 2014 In 1934 Gentzen developed sequent calculus as a technical device for the study of natural deduction. Soon it turned out to be one of the most important tools of modern proof theory. In this survey paper we characterize the general idea of sequent calculi
Indrzejczak, Andrzej
core
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
Sequent calculi with an efficient loop-check for BDI logics.
, 2010 Sequent calculi for BDI logics is a research object of the thesis. BDI logics are widely used for agent system description and implementation. Agents are autonomous systems, those acts in some environment and aspire to achieve preassigned goals ...
Birštunas, Adomas,
core
The role of miR‐335‐5p in the redifferentiation of BRAF p.V600E thyroid cancers
Molecular Oncology, EarlyView.The BRAF p.V600E mutation promotes thyroid cancer dedifferentiation and radioiodine resistance. Using a network approach, we identified miR‐335‐5p as a key regulator of BRAF‐mutated thyroid tumors. Restoring miR‐335‐5p increased thyroid‐specific gene expression and iodine uptake in cells and organoids.
Valeria Pecce +11 more
wiley +1 more source