Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisation of a working system is expanding rapidly. To manage complexity and to shorten design cycles, industry is forced to look at system-level languages towards specification and design. The (formal) system-level modellin...

The purpose of this paper is to investigate fixed point arithmetic in ring-based Somewhat Homomorphic Encryption (SHE) schemes. We provide three main contributions: Firstly, we investigate the representation of fixed point numbers. We analyse the two representations from Dowlin et al, representing a fixed point number as a large integer (encoded as a scaled polynomial) versus a polynomial-based...

Constructing composite sequences from overlapping mate-reads. In order to align overlapping mate reads and produce accurate composite fragments, we developed the SHERA pacakge, a set of perl modules and scripts. The algorithm was designed to be broadly applicable to mated reads, independent of the sequencing technology. The source code is freely available at http://almlab.mit.edu/ALM/Software/S...

These are reading notes of She eld's Conformal welding of random surfaces: SLE and the quantum gravity zipper [11]. In that paper, She eld constructs a stationary process (ht, ηt)t∈R whose marginal law is given by a Gaussian free eld and an independent SLE curve. This process evolves with a deterministic cutting and unzipping dynamics: the curve is progressively unzipped, and the eld varies acc...