Dense subregion (subgraph & subtensor) detection is a well-studied area, with wide range of applications, and numerous efficient approaches algorithms have been proposed. Approximation are commonly used for detecting dense subregions due to the complexity exact methods. Existing generally subtensor subgraph detection, can perform well in many applications. However, most existing works utili...

Abstract Rely-guarantee (RG) is a highly influential compositional proof technique for concurrent programs, which was originally developed assuming sequentially consistent shared memory. In this paper, we first generalize RG to make it parametric with respect the underlying memory model by introducing an framework that applicable any axiomatically characterized Hoare triples. Second, instantiat...

This article analyzes the internal and external factors that hinder processes of national unity in Afghanistan. The argues is guarantee Afghanistan's stability future.

This article provides a critical discussion of the potential contributions behavioral economics makes to the idea of a Basic Income Guarantee (BIG). Behavioral economics suggests that the consequences of a basic income may be significantly different from the ones predicted by the Standard Economic Model. Three topics from this literature are analyzed and linked to the BIG idea: Prospect Theory,...

We formulate a sound and complete assume-guarantee framework for reasoning compositionally about safety properties of component behaviours. The specification of a component, which constrains the temporal ordering of input and output interactions with the environment, is expressed in terms of two prefix-closed sets of traces: an assumption and guarantee. The framework supports dynamic reasoning ...

Over the last few years, the question of reasoning about aspectoriented programs has been addressed by a number of authors. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven extremely successful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspectoriented pr...