University of Paderborn

About: University of Paderborn is a education organization based out in Paderborn, Nordrhein-Westfalen, Germany. It is known for research contribution in the topics: Computer science & Context (language use). The organization has 6684 authors who have published 16929 publications receiving 323154 citations.

A Distributed Algorithm to Evaluate Quantified Boolean Formulae

Abstract: In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and improves the use of known heuristics to prune the search tree As a result, QSOLVE is more efficient than the QSAT-solvers previously known We have parallelized QSOLVE The resulting distributed QSAT-solver PQSOLVE uses parallel search techniques, which we have developed for distributed game tree search PQSOLVE runs efficiently on distributed systems, i e parallel systems without any shared memory We briefly present experiments that show a speedup of about 114 on 128 processors To the best of our knowledge we are the first to introduce an efficient parallel QSAT-solver

Globalization and Factor Mobility: The Impact of the ``Bosman-Ruling'' on Player Migration in Professional Soccer

Abstract: Since the 1960s, increasing numbers of football players from Eastern Europe, South America, Africa, and Asia have been migrating to the top leagues in Western Europe (England, France, Germany, Italy, and Spain). This development has been massively fostered by the ``Bosman ruling'' of the European Court of Justice in December 1995. Perhaps surprisingly, the decreasing playing time that is now available to ``local players'' has not yet resulted in an increasing competitive balance of the national teams of countries importing players and those exporting players.

Eu-activated fluorochlorozirconate glass-ceramic scintillators

Abstract: Rare-earth-doped fluorochlorozirconate (FCZ) glass-ceramic materials have been developed as scintillators and their properties investigated as a function of dopant level. The paper presents the relative scintillation efficiency in comparison to single-crystal cadmium tungstate, the scintillation intensity as a function of x-ray intensity and x-ray energy, and the spatial resolution (modulation transfer function). Images obtained with the FCZ glass-ceramic scintillator and with cadmium tungstate are also presented. Comparison shows that the image quality obtained using the glass ceramic is close to that from cadmium tungstate. Therefore, the glass-ceramic scintillator could be used as an alternative material for image formation resulting from scintillation. Other inorganic scintillators such as single crystals or polycrystalline films have limitations in resolution or size, but the transparent glass-ceramic can be scaled to any shape or size with excellent resolution.