An Assertional Proof System for Multithreaded Java - Theory and Tool Support

License: Licence agreement concerning inclusion of doctoral thesis in the Institutional Repository of the University of Leiden Downloaded from: https://hdl.handle.net/1887/16263.

Detection of amyloid plaques in mouse models of Alzheimer’s disease by magnetic resonance imaging.. Apostolova

More precisely, an upper bound for the variance of the test statistic R N ∗ is realized by the one-dimensional Moore-Rayleigh null hypothesis, whose distribution is similar to the

The results on simulated data show that the MR3 outperforms permutation tests on Hotelling’s T 2 test (pHT2) in the detection of difference of mean in small sample sizes, since the

Since expression of Serpins may facilitate the immune escape of HLA positive tumors, we next analysed the effect of Serpin expression on survival in cases with normal/partial

Peripheral blood cells were stained with HLA-A2.1 tetramers containing the tyrosinase368–376 peptide followed by staining with a panel of lineage antibodies, as described in

Blades and blade fragments seem to have been especially used for longitudinal motions, mainly on plant material (7/12). Flake and flake fragments are used in different motions on

This shape also occurs in the combination artefacts (see below). The shape is the result of intensive use in a repetitive abrasive motion, carried out from different angles. In