IMGT/Collier de Perles: IMGT Standardized Representation of Domains (IG, TR, and IgSF Variable and Constant Domains, MH and MhSF Groove Domains)

2011 ◽  
Vol 2011 (6) ◽  
pp. pdb.prot5635-pdb.prot5635 ◽  
Author(s):  
F. Ehrenmann ◽  
V. Giudicelli ◽  
P. Duroux ◽  
M.-P. Lefranc
Keyword(s):  
Constant Domains ◽  
Imgt Collier De Perles

scholarly journals On the correspondence between nested calculi and semantic systems for intuitionistic logics

2020 ◽  
Author(s):  
Tim Lyon
Keyword(s):  
Intuitionistic Logic ◽  
Structural Rules ◽  
First Order ◽  
Constant Domains ◽  
The Relationship ◽  
Intuitionistic Logics

Abstract This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics.

scholarly journals Bispecific antibodies with Fab-arms featuring exchanged antigen-binding constant domains

2021 ◽  
Vol 26 ◽  
pp. 100959
Author(s):  
Filippo Benedetti ◽  
Florian Stracke ◽  
Gerhard Stadlmayr ◽  
Katharina Stadlbauer ◽  
Florian Rüker ◽  
...  
Keyword(s):  
Binding Constant ◽  
Bispecific Antibodies ◽  
Antigen Binding ◽  
Constant Domains

Evolution of variable and constant domains and joining segments of rearranging immunoglobulins

1989 ◽  
Vol 3 (13) ◽  
pp. 2469-2479 ◽  
Author(s):  
John J. Marchalonis ◽  
Samuel F. Schluter
Keyword(s):  
Constant Domains

Craig interpolation theorem for intuitionistic logic and extensions Part III

1977 ◽  
Vol 42 (2) ◽  
pp. 269-271 ◽  
Author(s):  
Dov M. Gabbay
Keyword(s):  
Possible Worlds ◽  
Predicate Logic ◽  
Interpolation Property ◽  
Interpolation Theorem ◽  
Kripke Structure ◽  
Unary Predicate ◽  
The World ◽  
Image Position ◽  
Constant Domains ◽  
Positive Integers

This is a continuation of two previous papers by the same title [2] and examines mainly the interpolation property for the logic CD with constant domains, i.e., the extension of the intuitionistic predicate logic with the schemaIt is known [3], [4] that this logic is complete for the class of all Kripke structures with constant domains.Theorem 47. The strong Robinson consistency theorem is not true for CD.Proof. Consider the following Kripke structure with constant domains. The set S of possible worlds is ω0, the set of positive integers. R is the natural ordering ≤. Let ω0 0 = , Bn, is a sequence of pairwise disjoint infinite sets. Let L0 be a language with the unary predicates P, P1 and consider the following extensions for P,P1 at the world m.(a) P is true on ⋃i≤2nBi, and P1 is true on ⋃i≤2n+1Bi for m = 2n.(b) P is true on ⋃i≤2nBi, and P1 for ⋃i≤2n+1Bi for m = 2n.Let (Δ,Θ) be the complete theory of this structure. Consider another unary predicate Q. Let L be the language with P, Q and let M be the language with P1, Q.

scholarly journals Kappa-on-Heavy (KoH) bodies are a distinct class of fully-human antibody-like therapeutic agents with antigen-binding properties

2019 ◽  
Vol 117 (1) ◽  
pp. 292-299 ◽  
Author(s):  
Lynn E. Macdonald ◽  
Karoline A. Meagher ◽  
Matthew C. Franklin ◽  
Natasha Levenkova ◽  
Johanna Hansen ◽  
...  
Keyword(s):  
Small Molecules ◽  
Binding Pocket ◽  
Human Antibody ◽  
Antigen Binding ◽  
Wild Type ◽  
Antigen Binding Site ◽  
Binding Properties ◽  
Variable Domains ◽  
Constant Domains ◽  
Ig Heavy Chain

We describe a Kappa-on-Heavy (KoH) mouse that produces a class of highly diverse, fully human, antibody-like agents. This mouse was made by replacing the germline variable sequences of both the Ig heavy-chain (IgH) and Ig kappa (IgK) loci with the human IgK germline variable sequences, producing antibody-like molecules with an antigen binding site made up of 2 kappa variable domains. These molecules, named KoH bodies, structurally mimic naturally existing Bence-Jones light-chain dimers in their variable domains and remain wild-type in their antibody constant domains. Unlike artificially diversified, nonimmunoglobulin alternative scaffolds (e.g., DARPins), KoH bodies consist of a configuration of normal Ig scaffolds that undergo natural diversification in B cells. Monoclonal KoH bodies have properties similar to those of conventional antibodies but exhibit an enhanced ability to bind small molecules such as the endogenous cardiotonic steroid marinobufagenin (MBG) and nicotine. A comparison of crystal structures of MBG bound to a KoH Fab versus a conventional Fab showed that the KoH body has a much deeper binding pocket, allowing MBG to be held 4 Å further down into the combining site between the 2 variable domains.

scholarly journals Structure of a human IgA1 Fab fragment at 1.55 Å resolution: potential effect of the constant domains on antigen-affinity modulation

2013 ◽  
Vol 69 (3) ◽  
pp. 388-397 ◽  
Author(s):  
Agustin Correa ◽  
Felipe Trajtenberg ◽  
Gonzalo Obal ◽  
Otto Pritsch ◽  
Guillermo Dighiero ◽  
...  
Keyword(s):  
Potential Effect ◽  
Fab Fragment ◽  
Affinity Modulation ◽  
Constant Domains
Sign in / Sign up

Export Citation Format

Share Document