The unfolding of a protein can be described as a transition from a predominantly rigid, folded structure to an ensemble of denatured states. During unfolding, the hydrogen bonds and salt bridges break, destabilizing the secondary and tertiary structure. Our previous work shows that the network of covalent bonds, salt bridges, hydrogen bonds, and hydrophobic interactions forms constraints that d...

metal contents viz., cu, ni, co, zn and cd in sediment cores recovered from the vembanad lake, the largest estuarine-lagoonal system on the west coast of india, were analysed to understand the pollution levels and the impact on the coastal environment. of the three cores studied, vc-10 shown enrichment in all metals compared to other cores, as it is located in the vicinity of industrial area. f...

In this paper, the authors investigate the question of when a partition of n ∈ N is an s-core and also a t-core when s and t are not relatively prime. A characterization of all such s/t-cores is given, as well as a generating function dependent upon the polynomial generating functions for s/t-cores when s and t are relatively prime. Furthermore, characterizations and generating functions are gi...

Finding small unsatisfiable cores for SAT problems has recently received a lot of interest, mostly for its applications in formal verification. Surprisingly, the same problem in the context of SAT Modulo Theories (SMT) has instead received very little attention in the literature; in particular, we are not aware of any work aiming at producing small unsatisfiable cores in SMT. The purpose of thi...

A large-scale memory-technology-based programmable logic device (PLD) using a look-up table (LUT) cascade is developed in the 0.35-mm standard complementary metal oxide semiconductor (CMOS) logic process. Eight 64K-bit synchronous SRAMs are connected to form an LUT cascade with a few additional circuits. The features of the LUT cascade include: 1) a flexible cascade connection structure, 2) mul...

In this paper, we present a new algorithm for parallel Monte Carlo tree search (MCTS). It is based on the pipeline pattern and allows flexible management of the control flow of the operations in parallel MCTS. The pipeline pattern provides for the first structured parallel programming approach to MCTS. Moreover, we propose a new lock-free tree data structure for parallel MCTS which removes sync...