562 research outputs found
Development of an efficient survey methodology for the prospection of buried palaeolandscapes and archaeology in the southern North Sea
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
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
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
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]
A slow gravity compensated Atom Laser
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
- …