با توجه به رشد بالای جمعیت در جهان و نیاز اطمینان از امنیت غذایی، افزایش تولید واحد سطح محصولات زراعی به‌منزلة راهبردی اساسی حل مسئلة تأمین غذا به‌شمار می‌رود. سوی دیگر، وجود محدودیت زیرکشت پایین‌بودن میانگین عملکرد برخی کشاورزی مانند گندم کشور، محصول می‌تواند راهکاری عملی پاسخ کشور محسوب شود. یکی مهم‌ترین بیماری‌های فوزاریوم است که، نقش پیش‌بینی این بیماری جلوگیری کاهش بهره‌وری محصول، مدل‌هایی...

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...