Search processes are ubiquitous in physical and biological phenomena, often involving the random motion of molecules. In particular, transcription factors (TFs) proteins that regulate gene expression need to find their DNA targets quickly—which is difficult achieve with alone. Nature came up a remarkable solution known as facilitated diffusion, combining 1D diffusion along “excursions” 3D help ...

We present Lilac, a separation logic for reasoning about probabilistic programs where separating conjunction captures independence. Inspired by an analogy with mutable state sampling corresponds to dynamic allocation, we show how probability spaces over fixed, ambient sample space appear be the natural analogue of heap fragments, and new combining operation on them such that behave like heaps m...

The standard treatment of conditional probability leaves conditional probability undefined when the conditioning proposition has zero probability. Nonetheless, some find the option of extending the scope of conditional probability to include zero-probability conditions attractive or even compelling. This articles reviews some of the pitfalls associated with this move, and concludes that, for th...

Inner Mongolia University have participated the Visual concept detection, annotation, and retrieval using Flickr photos task of ImageCLEF for the first time in 2012. We have conducted experiments and submitted results for both the Concept Annotation and the Conceptbased Retrieval subtasks. This paper describes the methods we have adopted and the analysis of the results for the two subtasks. We ...