Technical University of Dortmund

About: Technical University of Dortmund is a education organization based out in Dortmund, Nordrhein-Westfalen, Germany. It is known for research contribution in the topics: Context (language use) & Large Hadron Collider. The organization has 13028 authors who have published 27666 publications receiving 615557 citations. The organization is also known as: Dortmund University & University of Dortmund.

On Restrictions of Ordered Paramodulation with Simplification

Abstract: We consider a restricted version of ordered paramodulation, called strict superposition. We show that strict superposition (together with equality resolution) is refutationally complete for Horn clauses, but not for general first-order clauses. Two moderate enrichments of the strict superposition calculus are, however, sufficient to establish refutation completeness. This strictly improves previous results. We also propose a simple semantic notion of redundancy for clauses which covers most simplification and elimination techniques used in practice yet preserves completeness of the proposed calculi. The paper introduces a new and comparatively simple technique for completeness proofs based on the use of canonical rewrite systems to represent equality interpretations.

Coherent magnetization precession in ferromagnetic (Ga,Mn)As induced by picosecond acoustic pulses.

Abstract: We show that the magnetization of a thin ferromagnetic (Ga,Mn)As layer can be modulated by picosecond acoustic pulses. In this approach a picosecond strain pulse injected into the structure induces a tilt of the magnetization vector M, followed by the precession of M around its equilibrium orientation. This effect can be understood in terms of changes in magnetocrystalline anisotropy induced by the pulse. A model where only one anisotropy constant is affected by the strain pulse provides a good description of the observed time-dependent response.

Observation of Y(3940) -> J/psi omega in B -> J/psi omega K at BABAR

Abstract: We present a study of the decays B;{0,+}-->J/psiomegaK;{0,+} using 383x10;{6} BB[over ] events obtained with the BABAR detector at PEP-II. We observe Y(3940)-->J/psiomega, with mass 3914.6_{-3.4};{+3.8}(stat)+/-2.0(syst) MeV/c;{2}, and width 34_{-8};{+12}(stat)+/-5(syst) MeV. The ratio of B0 and B+ decay to YK is 0.27_{-0.23};{+0.28}(stat)-0.01+0.04(syst), and the relevant B0 and B+ branching fractions are reported.

An All-Sky Search for Three Flavors of Neutrinos from Gamma-Ray Bursts with the IceCube Neutrino Observatory

Abstract: We present the results and methodology of a search for neutrinos produced in the decay of charged pions created in interactions between protons and gamma-rays during the prompt emission of 807 gamma-ray bursts (GRBs) over the entire sky. This three-year search is the first in IceCube for shower-like Cherenkov light patterns from electron, muon, and tau neutrinos correlated with GRBs. We detect five low-significance events correlated with five GRBs. These events are consistent with the background expectation from atmospheric muons and neutrinos. The results of this search in combination with those of IceCube's four years of searches for track-like Cherenkov light patterns from muon neutrinos correlated with Northern-Hemisphere GRBs produce limits that tightly constrain current models of neutrino and ultra high energy cosmic ray production in GRB fireballs.