We consider the problem of building state machines in a multi-site environment in which there is lack of trust between sites, but not within a site. This system model recognizes the fact that if a server is attacked, then there are larger issues at play than simply masking the failure of the server. We describe the design principles of a low-latency Byzantine state machine protocol, called RAM,...

In this paper we consider the verification and certification of computations that are done remotely. We investigate the use of probabilistically checkable proof (PCP) systems for efficiently certifying such computations. This model can also be applied to verifying security proofs of software downloads. To make the use of PCPs more practical, a new version of Cook’s Theorem is given for the RAM ...

Using a simple model of molecular cloud evolution, we have quantitatively estimated the change of star formation rate (SFR) of a disk galaxy falling radially into the potential well of a cluster of galaxies. The SFR is affected by the ram-pressure from the intracluster medium (ICM). As the galaxy approaches the cluster center, the SFR increases to twice the initial value, at most, in a cluster ...

Individual genetic admixture estimates, determined both across the genome and at specific genomic regions, have been proposed for use in identifying specific genomic regions harboring loci influencing phenotypes in regional admixture mapping (RAM). Estimates of individual ancestry can be used in structured association tests (SAT) to reduce confounding induced by various forms of population subs...

Cell-fate decisions in metazoans are frequently guided by the Notch signalling pathway. Notch signalling is orchestrated by a type-1 transmembrane protein, which, upon interacting with extracellular ligands, is proteolytically cleaved to liberate a large intracellular domain [NICD (Notch intracellular domain)]. NICD enters the nucleus where it binds the transcription factor CSL (CBF1/suppressor...

Given a set of numbers, the k-SUM problem asks for a subset of k numbers that sums to zero. When the numbers are integers, the time and space complexity of k-SUM is generally studied in the word-RAM model; when the numbers are reals, the complexity is studied in the real-RAM model, and space is measured by the number of reals held in memory at any point. We present a time and space efficient de...

Historically, the primary model of computation employed in the design and analysis of algorithms has been the sequential RAM model. However, recent developments in computer architecture have reduced the efficacy of the sequential RAM model for algorithmic development. In response, theoretical computer scientists have developed models of computation which better reflect these modern architecture...

The IMPROVE Bleed Risk Assessment Model (RAM) remains the only bleed RAM in hospitalised medical patients using 11 clinical and laboratory factors. The aim of our study was to externally validate the IMPROVE Bleed RAM. A retrospective chart review was conducted between October 1, 2012 and July 31, 2014. We applied the point scoring system to compute risk scores for each patient in the validatio...

We have constructed Moloney murine leukemia virus (MoMLV)-derived envelope glycoproteins (AMO) displaying an amino-terminal Ram-1-binding domain in which a variety of different amino acid spacers have been inserted between the displayed domain and the MoMLV surface (SU) subunit. Titres of retroviruses generated with these chimeric envelopes were enhanced on cells expressing both Ram-1 and Rec-1...