Optimised DNA isolation from Acacia karroo (Fabaceae)

The isolation of high quality DNA from Acacia karroo Hayne is impeded by the release of secondary metabolites. The isolation method of Bousquet et al. (1990) was modified to include numerous CTAB extractions coupled with an increased buffer to tissue ratio and the addition of 5 M NaCI, yielding high quality DNA

Interpretable feature maps for robot attention

Attention is crucial for autonomous agents interacting with complex environments. In a real scenario, our expectations drive attention, as we look for crucial objects to complete our understanding of the scene. But most visual attention models to date are designed to drive attention in a bottom-up fashion, without context, and the features they use are not always suitable for driving top-down attention. In this paper, we present an attentional mechanism based on semantically meaningful, interpretable features. We show how to generate a low-level semantic representation of the scene in real time, which can be used to search for objects based on specific features such as colour, shape, orientation, speed, and texture.Postprin

A parametric spectral model for texture-based salience

We present a novel saliency mechanism based on texture. Local texture at each pixel is characterised by the 2D spectrum obtained from oriented Gabor filters. We then apply a parametric model and describe the texture at each pixel by a combination of two 1D Gaussian approximations. This results in a simple model which consists of only four parameters. These four parameters are then used as feature channels and standard Difference-of-Gaussian blob detection is applied in order to detect salient areas in the image, similar to the Itti and Koch model. Finally, a diffusion process is used to sharpen the resulting regions. Evaluation on a large saliency dataset shows a significant improvement of our method over the baseline Itti and Koch model.Postprin

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)

This paper studies the quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value $\lambda$-calculus with a linear type system that can express programs sensitivity, enriched with algebraic operations \emph{\`a la} Plotkin and Power. To do so a general, abstract framework for studying behavioural relations taking values over quantales is defined according to Lawvere's analysis of generalised metric spaces. Barr's notion of relator (or lax extension) is then extended to quantale-valued relations adapting and extending results from the field of monoidal topology. Abstract notions of quantale-valued effectful applicative similarity and bisimilarity are then defined and proved to be a compatible generalised metric (in the sense of Lawvere) and pseudometric, respectively, under mild conditions

Semiclassical theory of transport in a random magnetic field

We study the semiclassical kinetics of 2D fermions in a smoothly varying magnetic field $B({\bf r})$. The nature of the transport depends crucially on both the strength $B_0$ of the random component of $B({\bf r})$ and its mean value $\bar{B}$. For $\bar{B}=0$, the governing parameter is $\alpha=d/R_0$, where $d$ is the correlation length of disorder and $R_0$ is the Larmor radius in the field $B_0$. While for $\alpha\ll 1$ the Drude theory applies, at $\alpha\gg 1$ most particles drift adiabatically along closed contours and are localized in the adiabatic approximation. The conductivity is then determined by a special class of trajectories, the "snake states", which percolate by scattering at the saddle points of $B({\bf r})$ where the adiabaticity of their motion breaks down. The external field also suppresses the diffusion by creating a percolation network of drifting cyclotron orbits. This kind of percolation is due only to a weak violation of the adiabaticity of the cyclotron rotation, yielding an exponential drop of the conductivity at large $\bar{B}$. In the regime $\alpha\gg 1$ the crossover between the snake-state percolation and the percolation of the drift orbits with increasing $\bar{B}$ has the character of a phase transition (localization of snake states) smeared exponentially weakly by non-adiabatic effects. The ac conductivity also reflects the dynamical properties of particles moving on the fractal percolation network. In particular, it has a sharp kink at zero frequency and falls off exponentially at higher frequencies. We also discuss the nature of the quantum magnetooscillations. Detailed numerical studies confirm the analytical findings. The shape of the magnetoresistivity at $\alpha\sim 1$ is in good agreement with experimental data in the FQHE regime near $\nu=1/2$.Comment: 22 pages REVTEX, 14 figure

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances

International audienceThis paper studies quantitative refinements of Abramsky's applica-tive similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value λ-calculus with a linear type system that can express program sensitivity, enriched with algebraic operations à la Plotkin and Power. To do so a general, abstract framework for studying behavioural relations taking values over quantales is introduced according to Lawvere's analysis of generalised metric spaces. Barr's notion of relator (or lax extension) is then extended to quantale-valued relations, adapting and extending results from the field of monoidal topology. Abstract notions of quantale-valued effectful applicative similarity and bisimilarity are then defined and proved to be a compatible generalised metric (in the sense of Lawvere) and pseudometric, respectively, under mild conditions