GaiaUniverse model snapshot

The Iterated Restricted Immediate Snapshot Model

In the Iterated Immediate Snapshot model (IIS) the memory consists of a sequence of one-shot Immediate Snapshot (IS) objects. Processes access the sequence of IS objects, one-by-one, asynchronously, in a wait-free manner; any number of processes can crash. Its interest lies in the elegant recursive structure of its runs, hence of the ease to analyze it round by round. In a very interesting way,...

Standard protocol complexes for the immediate snapshot read/write model

In this paper we consider a family of abstract simplicial complexes which we call immediate snapshot complexes. Their definition is motivated by theoretical distributed computing. Specifically, these complexes appear as protocol complexes in the general immediate snapshot execution model. In order to define and to analyze the immediate snapshot complexes we use the novel language of witness str...

SnapShot: melanoma.

SnapShot: Macroautophagy

(Middle) Cellular Events in Macroautophagy Macroautophagy (hereafter referred to as autophagy) is a catabolic process in which portions of the cytoplasm are sequestered within double-or multimembraned vesicles termed autophagosomes and then delivered to lysosomes for bulk degradation. The initial phases of macroautophagy consist of the formation of a phago-phore, which is also called an isolati...

SnapShot: Formins

See online version for legend and references. Autosomal-dominant nonsyndromic deafness (DFNA1), myeloproliferative defects, defects in T lymphocyte traffi cking and proliferation, tumor cell invasion, defects in natural killer lymphocyte function DIAPH2 (mDia3) Cdc42 Kinetochore Stable microtubule attachment to kinetochore for chromosome alignment Premature ovarian failure DIAPH3 (mDia2) Increa...