Combining differing solution approaches by means of solver portfolios has proven as a highly effective technique for boosting solver performance. We consider the problem of generating parallel SAT solver portfolios. Our approach is based on a recently introduced sequential SAT solver portfolio that excelled at the last SAT competition. We show how the approach can be generalized for the paralle...

The oncogenic protein Bcl-2 functions as a potent inhibitor of programmed cell death. This survival activity has been shown in some settings to be influenced by the Bcl-2 phosphorylation state. It has been demonstrated that treatment with microtubule-targeted agents results in phosphorylation of both Raf-1 kinase and Bcl-2. The Bcl-2-related family member Bcl-xL also exhibits a death suppressiv...

We propose a decentralized receiver for extra-large multiple-input multiple-output (XL-MIMO) arrays. Our method operates with no central processing unit (CPU) and all the signal detection tasks are done in distributed nodes. exploit combined message-passing framework to design an uncoordinated scheme that overcomes three major challenges XL-MIMO systems: computational complexity, scalability no...

Abstract. Atmospheric CO2 mole fractions are observed at Beijing (BJ), Xianghe (XH), and Xinglong (XL) in North China using Picarro G2301 cavity ring-down spectroscopy instruments. The measurement system is described comprehensively for the first time. geographical distances among these three sites within 200 km, but they have very different surrounding environments: BJ inside megacity; XH subu...

Algebraic attacks are studied as a potential cryptanalytic procedure for several cryptographic primitives. In an algebraic attack on a cipher, one expresses the encryption function as a system (usually overdefined) of multivariate polynomial equations in the bits of the plaintext, the ciphertext and the key, and subsequently solves the system for the unknown key bits from the knowledge of one o...

Myocardial Infarction (MI), also known as heart attack, is a life-threatening form of disease that leading cause death worldwide. Its recurrent and silent nature emphasizes the need for continuous monitoring through wearable devices. The device solutions should provide adequate performance while being resource-constrained in terms power memory. This paper proposes an MI detection methodology us...

Massive multiple-input-multiple-output (M-MIMO) features a capability for spatial multiplexing of large number users. This becomes even more extreme in extra-large (XL-MIMO), variant M-MIMO where the antenna array is very size. Yet, problem signal processing complexity further exacerbated by XL size array. The basic boils down to sparse system linear equations that can be addressed randomized K...

The Joint Picture Expert Group (JPEG) committee has been standardizing next-generation image compression, called JPEG XL, to meet the specific needs for a responsive web, wide color gamut, and high dynamic range. XL supports lossy lossless compression. A variable-sized discrete cosine transform (DCT) block is used partitioning method regarded as critical function performance of XL. current DCT ...