A Generator for Turing Machine Simulating Programs - User's Manual -

By means of some sample dialogues we show the use of a program to generate Berkeley Pascal programs from Turing machine descriptions such that these Pascal programs simulate the behavior of the corresponding Turing machines

Quantum limits of localisation microscopy

Localisation microscopy of multiple weak, incoherent point sources with possibly different intensities in one spatial dimension is equivalent to estimating the amplitudes of a classical mixture of coherent states of a simple harmonic oscillator. This enables us to bound the multi-parameter covariance matrix for an unbiased estimator for the locations in terms of the quantum Fisher information matrix, which we obtained analytically. In the regime of arbitrarily small separations we find it to be no more than rank two—implying that no more than two independent parameters can be estimated irrespective of the number of point sources. We use the eigenvalues of the classical and quantum Fisher information matrices to compare the performance of spatial-mode demultiplexing and direct imaging in localisation microscopy with respect to the quantum limits

Nomenclature for naming loci, alleles, linkage groups and chromosomes to be used in poultry genome publications and databases

International audienc

The condensation phase transition in the regular kk-SAT model

Much of the recent work on random constraint satisfaction problems has been inspired by ingenious but non-rigorous approaches from physics. The physics predictions typically come in the form of distributional fixed point problems that are intended to mimic Belief Propagation, a message passing algorithm, applied to the random CSP. In this paper we propose a novel method for harnessing Belief Propagation directly to obtain a rigorous proof of such a prediction, namely the existence and location of a condensation phase transition in the random regular $k$-SAT model.Comment: Revised version based on arXiv:1504.03975, version

ON A NEW CLASS OF SMARANDACHE PRIME NUMBERS

The purpose of this note is to report on the discovery of some new prime numbers that were built from factorials, the Smarandache Consecutive Sequence, and the Smarandache Reverse Sequenc