High-resolution functional MRI (fMRI) offers unique possibilities for studying human functional neuroanatomy. Although high-resolution fMRI has proven its potential at 7 T, most fMRI studies are still performed at rather low spatial resolution at 3 T. We optimized and compared single-shot two-dimensional echo-planar imaging (EPI) and multishot three-dimensional EPI high-resolution fMRI protocol...

An important goal in astrophysics is to model phenomena such as the gravitational collapse of stars and accretion onto black holes. Under the assumption that the spacetime metric remains fixed on the time scales of fluid motion, the relevant physics can be modeled by the equations of relativistic hydrodynamics. These equations form a system of hyperbolic balance laws that are strongly nonlinear...

The effective resolution of a numerical scheme describes the smallest spatial scale (largest wavenumber) that is completely resolved by that scheme. This is often significantly larger than the model’s grid spacing, resulting in poor representation of features that are of the order of the grid scale. We present two methods to determine the effective resolution of numerical advection schemes. An ...

The Experimental Physics and Industrial Control System (EPICS) uses a broadcast method to locate resources and controls distributed across control servers. There are many advantages offered by using a centrally managed name resolution method, in which resources are located using a repository. The suitability of DCE Directory Service as a name resolution method is explored, and results from a st...

We prove the equivalence of two fundamental properties of algebraic stacks: being a quotient stack in a strong sense, and the resolution property, which says that every coherent sheaf is a quotient of some vector bundle. Moreover, we prove these properties in the important special case of orbifolds whose associated algebraic space is a scheme. (Mathematics Subject Classification: Primary 14A20,...

Resolution proof systems for quantified Boolean formulas (QBFs) provide a formal model for studying the limitations of state-of-the-art search-based QBF solvers that use these systems to generate proofs. We study a proof system that combines two proof systems supported by the solver DepQBF: Q-resolution with generalized universal reduction according to a dependency scheme and long distance Q-re...

Article history: Received 1 December 2014 Received in revised form 16 May 2015 Accepted 9 October 2015 Available online 20 October 2015 Communicated by N. Shankar

This paper investigates high-resolution reconstructions from eeciently sampled data in parallel-beam tomography, in particular local tomography. A class of sampling schemes is deened and characterized, and it is shown that the standard scheme and the interlaced scheme of Cormack are most promising. An error analysis for the ltered backprojection algorithm for both global and local tomography is...