Struktur und Biosynthese von Antikörpern

Peer Reviewe

Safety Checkpoints

partially_open9sìopenKazemipour, Alireza; Kleine-Ostmann, Thomas; Schrader, Thorsten; Allal, Djamel; Charles, Michael; Zilberti, Luca; Borsero, Michele; Bottauscio, Oriano; Chiampi, MarioKazemipour, Alireza; Kleine Ostmann, Thomas; Schrader, Thorsten; Allal, Djamel; Charles, Michael; Zilberti, Luca; Borsero, Michele; Bottauscio, Oriano; Chiampi, Mari

Monte Carlo Study of the Anisotropic Heisenberg Antiferromagnet on the Triangular Lattice

We report a Monte Carlo study of the classical antiferromagnetic Heisenberg model with easy axis anisotropy on the triangular lattice. Both the free energy cost for long wavelength spin waves as well as for the formation of free vortices are obtained from the spin stiffness and vorticity modulus respectively. Evidence for two distinct Kosterlitz-Thouless types of defect-mediated phase transitions at finite temperatures is presented.Comment: 8 pages, 10 figure

Shortening QBF Proofs with Dependency Schemes

We provide the first proof complexity results for QBF dependency calculi. By showing that the reflexive resolution path dependency scheme admits exponentially shorter Q-resolution proofs on a known family of instances, we answer a question first posed by Slivovsky and Szeider in 2014 [30]. Further, we conceive a method of QBF solving in which dependency recomputation is utilised as a form of inprocessing. Formalising this notion, we introduce a new calculus in which a dependency scheme is applied dynamically. We demonstrate the further potential of this approach beyond that of the existing static system with an exponential separation

DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL

We present the latest major release version 6.0 of the quantified Boolean formula (QBF) solver DepQBF, which is based on QCDCL. QCDCL is an extension of the conflict-driven clause learning (CDCL) paradigm implemented in state of the art propositional satisfiability (SAT) solvers. The Q-resolution calculus (QRES) is a QBF proof system which underlies QCDCL. QCDCL solvers can produce QRES proofs of QBFs in prenex conjunctive normal form (PCNF) as a byproduct of the solving process. In contrast to traditional QCDCL based on QRES, DepQBF 6.0 implements a variant of QCDCL which is based on a generalization of QRES. This generalization is due to a set of additional axioms and leaves the original Q-resolution rules unchanged. The generalization of QRES enables QCDCL to potentially produce exponentially shorter proofs than the traditional variant. We present an overview of the features implemented in DepQBF and report on experimental results which demonstrate the effectiveness of generalized QRES in QCDCL.Comment: 12 pages + appendix; to appear in the proceedings of CADE-26, LNCS, Springer, 201

Zero-Temperature Phase Transitions of Antiferromagnetic Ising Model of General Spin on a Triangular Lattice

We map the ground-state ensemble of antiferromagnetic Ising model of spin-S on a triangular lattice to an interface model whose entropic fluctuations are proposed to be described by an effective Gaussian free energy, which enables us to calculate the critical exponents of various operators in terms of the stiffness constant of the interface. Monte Carlo simulations for the ground-state ensemble utilizing this interfacial representation are performed to study both the dynamical and the static properties of the model. This method yields more accurate numerical results for the critical exponents. By varying the spin magnitude in the model, we find that the model exhibits three phases with a Kosterlitz-Thouless phase transition at 3/2<S_{KT}<2 and a locking phase transition at 5/2 < S_L \leq 3. The phase diagram at finite temperatures is also discussed.Comment: 15 pages, LaTeX; 10 figures in PostScript files; The revised version appears in PRB (see Journal-ref). New electronic address of first author, [email protected]

Transcriptomic Evidence That Longevity of Acquired Plastids in the Photosynthetic Slugs Elysia timida and Plakobranchus ocellatus Does Not Entail Lateral Transfer of Algal Nuclear Genes

Sacoglossan sea slugs are unique in the animal kingdom in that they sequester and maintain active plastids that they acquire from the siphonaceous algae upon which they feed, making the animals photosynthetic. Although most sacoglossan species digest their freshly ingested plastids within hours, four species from the family Plakobranchidae retain their stolen plastids (kleptoplasts) in a photosynthetically active state on timescales of weeks to months. The molecular basis of plastid maintenance within the cytosol of digestive gland cells in these photosynthetic metazoans is yet unknown but is widely thought to involve gene transfer from the algal food source to the slugs based upon previous investigations of single genes. Indeed, normal plastid development requires hundreds of nuclear-encoded proteins, with protein turnover in photosystem II in particular known to be rapid under various conditions. Moreover, only algal plastids, not the algal nuclei, are sequestered by the animals during feeding. If algal nuclear genes are transferred to the animal either during feeding or in the germ line, and if they are expressed, then they should be readily detectable with deep-sequencing methods. We have sequenced expressed mRNAs from actively photosynthesizing, starved individuals of two photosynthetic sea slug species, Plakobranchus ocellatus Van Hasselt, 1824 and Elysia timida Risso, 1818. We find that nuclear-encoded, algal-derived genes specific to photosynthetic function are expressed neither in P. ocellatus nor in E. timida. Despite their dramatic plastid longevity, these photosynthetic sacoglossan slugs do not express genes acquired from algal nuclei in order to maintain plastid function