The effects of a background uniform rotating magnetic field acting in a conducting fluid with a parallel flow are studied analytically. The stationary version with a transversal magnetic field is well known as generating Hartmann boundary layers. The Lorentz force includes now one term depending on the rotation speed and the distance to the boundary wall. As one intuitively expects, the rotatio...

A modified Hartmann test for testing aspherical convex surfaces of F/# 1 is analyzed. We present the main differences of this test in comparison to the usual Hartmann test. Theoretical results show that the transverse aberrations yielded by a testing surface have to be measured with respect to its mean sphere. A method to determine the mean sphere is also presented. Experimental results show th...

We survey and discuss upper bounds on the length of the transient phase of max-plus linear systems and sequences of max-plus matrix powers. In particular, we explain how to extend a result by Nachtigall to yield a new approach for proving such bounds and we state an asymptotic tightness result by using an example given by Hartmann and Arguelles.

The correlation of the ROSAT all-sky survey (Snowden et al. 1995) with the Leiden/Dwingeloo H I 21 cm-line survey (Hartmann & Burton 1997) leads to a consistent model of the soft X-ray background (SXRB). The diffuse X-ray radiation originates from three different components: I. The Local Hot Bubble (LHB) (ILHB), II. The diffuse X-ray emission of the Milky Way halo (IHALO), III. The extragalacti...

Hybrid measurement-based (MB) approaches for computing WCET estimates are gaining popularity due to difficulties modelling advanced microprocessor speed-up features. These approaches combine measured data of program segments by using static analysis techniques in order to reconstruct the longest path through the program. To this end, execution times of program segments are collected by first in...

A new asynchronous pipeline is presented for the self-timed design discipline of quasi-delay insensitivity with dual-rail encoding and four-phase handshaking. The function blocks of the pipeline consist of a universal gate (presented in the appendix) which is particularly simple, comprising only the conventional nand and nor gates, and is supported by an equally simple development method. The s...

BACKGROUND AND PURPOSE The measurement of cortical shrinkage is a candidate marker of disease progression in Alzheimer's. This study evaluated the performance of two pipelines: Civet-CLASP (v1.1.9) and Freesurfer (v5.3.0). METHODS Images from 185 ADNI1 cases (69 elderly controls (CTR), 37 stable MCI (sMCI), 27 progressive MCI (pMCI), and 52 Alzheimer (AD) patients) scanned at baseline, month ...

We present a tool which supports CT specialists in exploring the parameter and result space of volume segmentation pipelines. In a preprocessing step, the user samples the parameter space of a number of pipelines to be analysed. Our sampling tool supports arbitrary pipeliness that can be parametrized via the command line. The user can then explore the space of possible results of the sampled pi...

Summary We designed a PyQt graphical user interface - Sequanix - aimed at democratizing the use of Snakemake pipelines in the NGS space and beyond. By default, Sequanix includes Sequana NGS pipelines (Snakemake format) (http://sequana.readthedocs.io), and is also capable of loading any external Snakemake pipeline. New users can easily, visually, edit configuration files of expert-validated pipe...

High performance processors based on pipeline processing play an important role in scientific and engineering computation. However, it is difficult to gain a satisfactory solution when taking both high degree of flexibility of parallel processing and low hardware complexity into account. This paper propose a hybrid pipeline architecture named Jetpipeline that possesses high degree of flexibilit...