562 research outputs found

    Struktur und Biosynthese von Antikörpern

    Get PDF
    Peer Reviewe

    Safety Checkpoints

    Get PDF
    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

    Full text link
    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

    Safety, tolerability, and impact on allergic inflammation of autologous E.coli autovaccine in the treatment of house dust mite asthma - a prospective open clinical trial

    Get PDF
    Background: Asthma is increasing worldwide and results from a complex immunological interaction between genetic susceptibility and environmental factors. Autovaccination with E. coli induces a strong TH-1 immune response, thus offering an option for the treatment of allergic diseases. Methods: Prospective open trial on safety, tolerability, and impact on allergic inflammation of an autologous E.coli autovaccine in intermittent or mild persistent house dust mite asthma. Determination of exhaled nitric monoxide (eNO) before and after bronchial mite challenge initially and after nine months of autovaccination. Results: Median eNO increase after autovaccination was significantly smaller (from 27.3 to 33.8 ppb; p=0.334) compared to initial values (from 32.6 to 42.2 ppb; p=0.046) (p=0.034). In nine subjects and a total of 306 injections, we observed 101 episodes of local erythema (33.3%; median of maximal diameter 2.5 cm), 95 episodes of local swelling (31.1%; median of maximal diameter 3 cm), and 27 episodes of local pain (8.8%). Four subjects reported itching at the injection site with a total of 30 episodes (9.8%). We observed no serious adverse events. All organ functions (inclusive electrocardiogramm) and laboratory testing of the blood (clinical chemistry, hematology) and the urine (screening test, B-microglobuline) were within normal limits. Vital signs undulated within the physiological variability. Conclusion: The administration of autologous autovacine for the treatment of house dust mite asthma resulted in a reduction of the eNO increase upon bronchial mite challenge. In nine subjects and 306 injections, only a few mild local reactions and no systemic severe adverse events were observed. EudraCT Nr. 2005-005534-12 ClinicalTrials.gov ID NCT0067720

    Shortening QBF Proofs with Dependency Schemes

    Get PDF
    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

    Full text link
    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

    Full text link
    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]

    A slow gravity compensated Atom Laser

    Full text link
    We report on a slow guided atom laser beam outcoupled from a Bose-Einstein condensate of 87Rb atoms in a hybrid trap. The acceleration of the atom laser beam can be controlled by compensating the gravitational acceleration and we reach residual accelerations as low as 0.0027 g. The outcoupling mechanism allows for the production of a constant flux of 4.5x10^6 atoms per second and due to transverse guiding we obtain an upper limit for the mean beam width of 4.6 \mu\m. The transverse velocity spread is only 0.2 mm/s and thus an upper limit for the beam quality parameter is M^2=2.5. We demonstrate the potential of the long interrogation times available with this atom laser beam by measuring the trap frequency in a single measurement. The small beam width together with the long evolution and interrogation time makes this atom laser beam a promising tool for continuous interferometric measurements.Comment: 7 pages, 8 figures, to be published in Applied Physics
    corecore