Network properties of protein-decoy structures

Convergence of the vast sequence space of proteins into a highly restricted fold/conformational space suggests a simple yet unique underlying mechanism of protein folding that has been the subject of much debate in the last several decades. One of the major challenges related to the understanding of protein folding or in silico protein structure prediction is the discrimination of non-native structures/decoys from the native structure. Applications of knowledge-based potentials to attain this goal have been extensively reported in the literature. Also, scoring functions based on accessible surface area and amino acid neighbourhood considerations were used in discriminating the decoys from native structures. In this article, we have explored the potential of protein structure network (PSN) parameters to validate the native proteins against a large number of decoy structures generated by diverse methods. We are guided by two principles: (a) the PSNs capture the local properties from a global perspective and (b) inclusion of non-covalent interactions, at all-atom level, including the side-chain atoms, in the network construction accommodates the sequence dependent features. Several network parameters such as the size of the largest cluster, community size, clustering coefficient are evaluated and scored on the basis of the rank of the native structures and the Z-scores. The network analysis of decoy structures highlights the importance of the global properties contributing to the uniqueness of native structures. The analysis also exhibits that the network parameters can be used as metrics to identify the native structures and filter out non-native structures/decoys in a large number of data-sets; thus also has a potential to be used in the protein `structure prediction' problem.

Mass of highly magnetized white dwarfs exceeding the Chandrasekhar limit: An analytical view

In recent years a number of white dwarfs have been observed with very high surface magnetic fields. We can expect that the magnetic field in the core of these stars would be much higher (similar to 10(14) G). In this paper, we analytically study the effect of high magnetic field on relativistic cold electron, and hence its effect on the stability and the mass-radius relation of a magnetic white dwarf. In strong magnetic fields, the equation of state of the Fermi gas is modified and Landau quantization comes into play. For relatively very high magnetic fields (with respect to the average energy density of matter) the number of Landau levels is restricted to one or two. We analyze the equation of states for magnetized electron degenerate gas analytically and attempt to understand the conditions in which transitions from the zeroth Landau level to first Landau level occurs. We also find the effect of the strong magnetic field on the star collapsing to a white dwarf, and the mass-radius relation of the resulting star. We obtain an interesting theoretical result that it is possible to have white dwarfs with mass more than the mass set by Chandrasekhar limit.

Temporal Logics of Repeating Values

Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecidability. In this article, we study a linear-time temporal logic with past-time operators such that the freeze operator is only used to express that some value from an infinite set is repeated in the future or in the past. Such a restriction has been inspired by a recent work on spatio-temporal logics that suggests such a restricted use of the freeze operator. We show decidability of finitary and infinitary satisfiability by reduction into the verification of temporal properties in Petri nets by proposing a symbolic representation of models. This is a quite surprising result in view of the expressive power of the logic since the logic is closed under negation, contains future-time and past-time temporal operators and can express the nonce property and its negation. These ingredients are known to lead to undecidability with a more liberal use of the freeze quantifier. The article also contains developments about the relationships between temporal logics with the freeze operator and counter automata as well as reductions into first-order logics over data words.

Development of moving magnet type linear motor for dual piston compressor for pulse tube cryocooler

This paper describes the design, fabrication and testing of a moving magnet type linear motor of dual piston configuration for a pulse tube cryocooler for ground applications. Eight radially magnetized segmented magnets were used to form one set of a magnet ring. Four magnet rings of such type were constructed, in which one pair of rings has north-pole on its outer diameter and south-pole on inner diameter, while the other pair is it's complementary. The magnets were mounted with opposite poles together on the magnet holder with an axial moving shaft having a piston mounted on both ends of the shaft. The shaft movement was restricted to the axial direction by using C-clamp type flexures, mounted on both sides of the shaft. The force requirement for driving the compressor was calculated based on which the electrical circuit of motor is designed by proper selection of wire gauge and Ampere-turns. The flexure spring force estimation was done through simulation using ANSYS 11.0 and was verified experimentally; while the magnet spring force was determined experimentally. The motor with mounted piston was tested using a variable voltage and variable frequency power supply capable of driving 140 watts of load.

A numerical approach to determine the sufficiency of given boundary data sets for uniquely estimating interior elastic properties

We consider an inverse elasticity problem in which forces and displacements are known on the boundary and the material property distribution inside the body is to be found. In other words, we need to estimate the distribution of constitutive properties using the finite boundary data sets. Uniqueness of the solution to this problem is proved in the literature only under certain assumptions for a given complete Dirichlet-to-Neumann map. Another complication in the numerical solution of this problem is that the number of boundary data sets needed to establish uniqueness is not known even under the restricted cases where uniqueness is proved theoretically. In this paper, we present a numerical technique that can assess the sufficiency of given boundary data sets by computing the rank of a sensitivity matrix that arises in the Gauss-Newton method used to solve the problem. Numerical experiments are presented to illustrate the method.

Computing Reeb Graphs as a Union of Contour Trees

The Reeb graph of a scalar function tracks the evolution of the topology of its level sets. This paper describes a fast algorithm to compute the Reeb graph of a piecewise-linear (PL) function defined over manifolds and non-manifolds. The key idea in the proposed approach is to maximally leverage the efficient contour tree algorithm to compute the Reeb graph. The algorithm proceeds by dividing the input into a set of subvolumes that have loop-free Reeb graphs using the join tree of the scalar function and computes the Reeb graph by combining the contour trees of all the subvolumes. Since the key ingredient of this method is a series of union-find operations, the algorithm is fast in practice. Experimental results demonstrate that it outperforms current generic algorithms by a factor of up to two orders of magnitude, and has a performance on par with algorithms that are catered to restricted classes of input. The algorithm also extends to handle large data that do not fit in memory.

Influence limitation in multi-campaign social networks: A Shapley value based approach

We investigate the problem of influence limitation in the presence of competing campaigns in a social network. Given a negative campaign which starts propagating from a specified source and a positive/counter campaign that is initiated, after a certain time delay, to limit the the influence or spread of misinformation by the negative campaign, we are interested in finding the top k influential nodes at which the positive campaign may be triggered. This problem has numerous applications in situations such as limiting the propagation of rumor, arresting the spread of virus through inoculation, initiating a counter-campaign against malicious propaganda, etc. The influence function for the generic influence limitation problem is non-submodular. Restricted versions of the influence limitation problem, reported in the literature, assume submodularity of the influence function and do not capture the problem in a realistic setting. In this paper, we propose a novel computational approach for the influence limitation problem based on Shapley value, a solution concept in cooperative game theory. Our approach works equally effectively for both submodular and non-submodular influence functions. Experiments on standard real world social network datasets reveal that the proposed approach outperforms existing heuristics in the literature. As a non-trivial extension, we also address the problem of influence limitation in the presence of multiple competing campaigns.

Pattern clustering using cooperative game theory

In this paper, we approach the classical problem of clustering using solution concepts from cooperative game theory such as Nucleolus and Shapley value. We formulate the problem of clustering as a characteristic form game and develop a novel algorithm DRAC (Density-Restricted Agglomerative Clustering) for clustering. With extensive experimentation on standard data sets, we compare the performance of DRAC with that of well known algorithms. We show an interesting result that four prominent solution concepts, Nucleolus, Shapley value, Gately point and \tau-value coincide for the defined characteristic form game. This vindicates the choice of the characteristic function of the clustering game and also provides strong intuitive foundation for our approach.

Modeling the effect of transmission errors on TCP controlled transfers over infrastructure 802.11 wireless LANs

There have been several studies on the performance of TCP controlled transfers over an infrastructure IEEE 802.11 WLAN, assuming perfect channel conditions. In this paper, we develop an analytical model for the throughput of TCP controlled file transfers over the IEEE 802.11 DCF with different packet error probabilities for the stations, accounting for the effect of packet drops on the TCP window. Our analysis proceeds by combining two models: one is an extension of the usual TCP-over-DCF model for an infrastructure WLAN, where the throughput of a station depends on the probability that the head-of-the-line packet at the Access Point belongs to that station; the second is a model for the TCP window process for connections with different drop probabilities. Iterative calculations between these models yields the head-of-the-line probabilities, and then, performance measures such as the throughputs and packet failure probabilities can be derived. We find that, due to MAC layer retransmissions, packet losses are rare even with high channel error probabilities and the stations obtain fair throughputs even when some of them have packet error probabilities as high as 0.1 or 0.2. For some restricted settings we are also able to model tail-drop loss at the AP. Although involving many approximations, the model captures the system behavior quite accurately, as compared with simulations.

Dual Role of Acetate as a Nucleophile and as an Internal Base in Cycloplatination Reaction of sym-N,N `,N `'-Triarylguanidines

Reaction of cis-Cl2Pt(S(O)Me-2)(2)] with 1 equiv of sym-N,N',N `'-triarylguanidines, ArN=C(NHAr)(2) (sym = symmetrical; Ar = 2-MeC6H4 (LH22-tolyl), 2-(MeO)C6H4 (LH22-anisyl), 4-MeC6H4 (LH24-tolyl), 2,5-Me2C6H3 (LH22,5-xylyl), and 2,6-Me2C6H3 (LH22,6-xylyl)) in toluene under reflux condition for 3 h afforded cis- or trans-Cl2Pt(S(O)Me-2)(ArN=C(NHAr)(2))] (Ar = 2-MeC6H4 (1), 2-(MeO)C6H4 (2), 4-MeC6H4 (3), 2,5-h Me2C6H3 (4), and 2,6-Me2C6H3 (5), respectively) in 83-96% yield. Reaction of cis-Cl2Pt(S(O)Me-2)(2)] with 1 equiv of LH22-tolyl and LH24-tolyl in the presence of 1 equiv of NaOAc in methanol under reflux condition for 3 h afforded acetate-substituted products, cis-(AcO)ClPt(S(O)Me-2)(ArN=C(NHAr)(2))] (Ar = 2-MeC6H4 (6) and 4-MeC6H4 (7)) in 83% and 84% yields, respectively. Reaction of cis-Cl2Pt(S(O)Me-2)(2)] with 1 equiv of LH22-anisyl and LH22-tolyl in the presence of 1 equiv of NaOAc in methanol under reflux condition for 3 and 12 h afforded six-membered C,N] platinacycles, Pt{kappa(2)(C,N)-C6H3R-3(NHC(NHAr)(=NAr))-2}Cl(S(O)Me-2)] (Ar = 2-RC6H4; R = OMe (8) and Me (9)), in 92% and 79% yields, respectively. The new complexes have been characterized by analytical and spectroscopic techniques, and further the molecular structures of 1, 2, 4, 5, 6, and 8 have been determined by single-crystal X-ray diffraction. The platinum atom in 1, 4, and 5 exhibited the trans configuration, while that in 2, 6, and 8 exhibited the cis configuration. Complex 6 is shown to be the precursor for 9, and the former is suggested to transform to the latter possibly via an intramolecular C-H activation followed by elimination of AcOH. The solution behavior of new complexes has been studied by multinuclear NMR (H-1, Pt-195, and C-13) spectroscopy. The new complexes exist exclusively as a single isomer (trans (1 and 5) and cis (6 and 7)), a mixture of cis and trans isomers with the former isomer being predominant in the case of 2 and the latter isomer being predominant in the case of 3. Complex 5 in the trans form revealed the presence of one isomer at 0.007 mM concentration and two isomers in about 1.00:0.12 ratio at 0.154 mM concentration as revealed by H-1 NMR spectroscopy, and this has been ascribed to the restricted Pt-S bond rotation at higher concentration. Platinacycle 8 exists as one isomer, while 9 exists as a mixture of seven isomers in solution. The influence of steric factor, pi-acceptor property of the guanidine, subtle solid-state packing forces upon the configuration of the platinum atom, and the number of isomers in solution have been outlined. Factors that accelerate or slow down the cycloplatination reaction, the role of NaOAc, and a plausible mechanism of this reaction have been discussed.

Multiple transmitter localization and communication footprint identification using sparse reconstruction techniques

This paper considers the problem of identifying the footprints of communication of multiple transmitters in a given geographical area. To do this, a number of sensors are deployed at arbitrary but known locations in the area, and their individual decisions regarding the presence or absence of the transmitters' signal are combined at a fusion center to reconstruct the spatial spectral usage map. One straightforward scheme to construct this map is to query each of the sensors and cluster the sensors that detect the primary's signal. However, using the fact that a typical transmitter footprint map is a sparse image, two novel compressive sensing based schemes are proposed, which require significantly fewer number of transmissions compared to the querying scheme. A key feature of the proposed schemes is that the measurement matrix is constructed from a pseudo-random binary phase shift applied to the decision of each sensor prior to transmission. The measurement matrix is thus a binary ensemble which satisfies the restricted isometry property. The number of measurements needed for accurate footprint reconstruction is determined using compressive sampling theory. The three schemes are compared through simulations in terms of a performance measure that quantifies the accuracy of the reconstructed spatial spectral usage map. It is found that the proposed sparse reconstruction technique-based schemes significantly outperform the round-robin scheme.

A multichannel sampling method for 2-D finite-rate-of-innovation signals

We address the problem of sampling and reconstruction of two-dimensional (2-D) finite-rate-of-innovation (FRI) signals. We propose a three-channel sampling method for efficiently solving the problem. We consider the sampling of a stream of 2-D Dirac impulses and a sum of 2-D unit-step functions. We propose a 2-D causal exponential function as the sampling kernel. By causality in 2-D, we mean that the function has its support restricted to the first quadrant. The advantage of using a multichannel sampling method with causal exponential sampling kernel is that standard annihilating filter or root-finding algorithms are not required. Further, the proposed method has inexpensive hardware implementation and is numerically stable as the number of Dirac impulses increases.

Topology optimization-based design of a compliant aircraft compliant aircraft wing for morphing leading and trailing edges

In this paper, we present a methodology for designing a compliant aircraft wing, which can morph from a given airfoil shape to another given shape under the actuation of internal forces and can offer sufficient stiffness in both configurations under the respective aerodynamic loads. The least square error in displacements, Fourier descriptors, geometric moments, and moment invariants are studied to compare candidate shapes and to pose the optimization problem. Their relative merits and demerits are discussed in this paper. The `frame finite element ground structure' approach is used for topology optimization and the resulting solutions are converted to continuum solutions. The introduction of a notch-like feature is the key to the success of the design. It not only gives a good match for the target morphed shape for the leading and trailing edges but also minimizes the extension of the flexible skin that is to be put on the airfoil frame. Even though linear small-displacement elastic analysis is used in optimization, the obtained designs are analysed for large displacement behavior. The methodology developed here is not restricted to aircraft wings; it can be used to solve any shape-morphing requirement in flexible structures and compliant mechanisms.

Antelope mating strategies facilitate invasion of grasslands by a woody weed

Intra and interspecific variation in frugivore behaviour can have important consequences for seed dispersal outcomes. However, most information comes from among-species comparisons, and within-species variation is relatively poorly understood. We examined how large intraspecific differences in the behaviour of a native disperser, blackbuck antelope Antilope cervicapra, influence dispersal of a woody invasive, Prosopis juliflora, in a grassland ecosystem. Blackbuck disperse P. juliflora seeds through their dung. In lekking blackbuck populations, males defend clustered or dispersed mating territories. Territorial male movement is restricted, and within their territories males defecate on dung-piles. In contrast, mixed-sex herds range over large areas and do not create dung-piles. We expected territorial males to shape seed dispersal patterns, and seed deposition and seedling recruitment to be spatially localized. Territorial males had a disproportionately large influence on seed dispersal. Adult males removed twice as much fruit as females, and seed arrival was disproportionately high on territories. Also, because lek-territories are clustered, seed arrival was spatially highly concentrated. Seedling recruitment was also substantially higher on territories compared with random sites, indicating that the local concentration of seeds created by territorial males continued into high local recruitment of seedlings. Territorial male behaviour may, thus, result in a distinct spatial pattern of invasion of grasslands by the woody P. juliflora. An ex situ experiment showed no beneficial effect of dung and a negative effect of light on seed germination. We conclude that large intraspecific behavioural differences within frugivore populations can result in significant variation in their effectiveness as seed dispersers. Mating strategies in a disperser could shape seed dispersal, seedling recruitment and potentially plant distribution patterns. These mating strategies may aid in the spread of invasives, such as P. juliflora, which could, in turn, negatively influence the behaviour and ecology of native dispersers.

Flying between Sky Islands: The Effect of Naturally Fragmented Habitat on Butterfly Population Structure

High elevation montane areas are called ``sky islands'' when they occur as a series of high mountains separated by lowland valleys. Different climatic conditions at high elevations makes sky islands a specialized type of habitat, rendering them naturally fragmented compared to more continuous habitat at lower elevations. Species in sky islands face unsuitable climate in the intervening valleys when moving from one montane area to another. The high elevation shola-grassland mosaic in the Western Ghats of southern India form one such sky island complex. The fragmented patches make this area ideal to study the effect of the spatial orientation of suitable habitat patches on population genetic structure of species found in these areas. Past studies have suggested that sky islands tend to have genetically structured populations, possibly due to reduced gene flow between montane areas. To test this hypothesis, we adopted the comparative approach. Using Amplified Fragment Length Polymorphisms, we compared population genetic structures of two closely related, similar sized butterfly species: Heteropsis oculus, a high elevation shola-grassland specialist restricted to the southern Western Ghats, and Mycalesis patnia, found more continuously distributed in lower elevations. In all analyses, as per expectation the sky island specialist H. oculus exhibited a greater degree of population genetic structure than M. patnia, implying a difference in geneflow. This difference in geneflow in turn appears to be due to the natural fragmentation of the sky island complexes. Detailed analysis of a subset of H. oculus samples from one sky island complex (the Anamalais) showed a surprising genetic break. A possible reason for this break could be unsuitable conditions of higher temperature and lower rainfall in the intervening valley region. Thus, sky island species are not only restricted by lack of habitat continuity between montane areas, but also by the nature of the intervening habitat.