The information bottleneck (IB) method is a technique for extracting that relevant predicting the target random variable from source variable, which typically implemented by optimizing IB Lagrangian balances compression and prediction terms. However, hard to optimize, multiple trials tuning values of multiplier are required. Moreover, we show performance strictly decreases as gets stronger duri...

This paper presents the first draft genome of the tule elk (Cervus elaphus ), a subspecies native to California that underwent an extreme nannodes genetic bottleneck in the late 1800s. The genome was generated from Illumina HiSeq 3000 whole genome sequencing of four individuals, resulting in the assembly of 2.395 billion base pairs (Gbp) over 602,862 contigs over 500 bp and N50 = 6,885 bp. Thi...

In a hardware transactional memory system with lazy versioning and lazy conflict detection, the process of transaction commit can emerge as a bottleneck. For a large-scale distributed memory system, we propose novel algorithms to implement commit that are deadlockand livelock-free and do not employ any centralized resource. These algorithms improve upon the state-of-the-art by yielding up to 59...

Population bottlenecks followed by re-expansions have been common throughout history of many populations. The response of alleles under selection to such demographic perturbations has been a subject of great interest in population genetics. On the basis of theoretical analysis and computer simulations, we suggest that this response qualitatively depends on dominance. The number of dominant or a...

Here we present the first genome wide statistical test for recessive selection. This test uses explicitly non-equilibrium demographic differences between populations to infer the mode of selection. By analyzing the transient response to a population bottleneck and subsequent re-expansion, we qualitatively distinguish between alleles under additive and recessive selection. We analyze the respons...

Model checking method is a widely used formal method for proving whether or not a given model satisfies properties, and for producing counter examples if the model does not satisfy properties. In this paper, we show model checking methods can be used for resource utilization analysis of systems. We specify system utilization properties using temporal logic called LTL, and find a bottleneck of s...