Minimal distance transformations between links and polymers: Principles and examples

The calculation of Euclidean distance between points is generalized to one-dimensional objects such as strings or polymers. Necessary and sufficient conditions for the minimal transformation between two polymer configurations are derived. Transformations consist of piecewise rotations and translations subject to Weierstrass-Erdmann corner conditions. Numerous examples are given for the special cases of one and two links. The transition to a large number of links is investigated, where the distance converges to the polymer length times the mean root square distance (MRSD) between polymer configurations, assuming curvature and non-crossing constraints can be neglected. Applications of this metric to protein folding are investigated. Potential applications are also discussed for structural alignment problems such as pharmacophore identification, and inverse kinematic problems in motor learning and control.Comment: Submitted to J. Phys.:Condens. Matte

Levothyroxine effects on depressive symptoms and limbic glucose metabolism in bipolar disorder: a randomized, placebo-controlled positron emission tomography study.

Adding supraphysiologic doses of levothyroxine (L-T4) to standard treatment for bipolar depression shows promise, but the mechanisms underlying clinical improvement are unknown. In a previous pilot study, L-T4 treatment reduced depression scores and activity within the anterior limbic network. Here we extended this work in a randomized, double-blind, placebo-controlled study of patients with bipolar depression. Cerebral glucose metabolism was assessed with positron emission tomography and [F-18]fluorodeoxyglucose before and after 6 weeks of treatment with L-T4 (n=15) or placebo (n=10) in 12 volumes of interest (VOIs): the bilateral thalamus, amygdala, hippocampus, dorsal striatum and ventral striatum, and midline cerebellar vermis and subgenual cingulate cortex. Radioactivity in the VOIs, normalized to whole-brain radioactivity was taken as a surrogate index of glucose metabolism, and markers of thyroid function were assayed. Changes in brain activity and their association with clinical response were assessed using statistical parametric mapping. Adjunctive L-T4 treatment produced a significant decline in depression scores during the 6-week treatment. In patients treated with L-T4, we found a significant decrease in regional activity at P<0.05 after Bonferroni correction in the left thalamus, right amygdala, right hippocampus, left ventral striatum and the right dorsal striatum. Decreases in the left thalamus, left dorsal striatum and the subgenual cingulate were correlated with a reduction in depression scores (P<0.05 after Bonferroni correction). Placebo treatment was associated with a significant decrease in activity only in the right amygdala, and no region had a change in activity that was correlated with change in depression scores. The groups differed significantly in the relationship between the changes in depression scores and in activity in the thalamus bilaterally and the left ventral striatum. The findings provide evidence that administration of supraphysiologic thyroid hormone improves depressive symptoms in patients with bipolar disorder by modulating function in components of the anterior limbic network

Heteropolymer Sequence Design and Preferential Solvation of Hydrophilic Monomers: One More Application of Random Energy Model

In this paper, we study the role of surface of the globule and the role of interactions with the solvent for designed sequence heteropolymers using random energy model (REM). We investigate the ground state energy and surface monomer composition distribution. By comparing the freezing transition in random and designed sequence heteropolymers, we discuss the effects of design. Based on our results, we are able to show under which conditions solvation effect improves the quality of sequence design. Finally, we study sequence space entropy and discuss the number of available sequences as a function of imposed requirements for the design quality

Dynamical Black Hole Masses of BL Lac Objects from the Sloan Digital Sky Survey

We measure black hole masses for 71 BL Lac objects from the Sloan Digital Sky Survey with redshifts out to z~0.4. We perform spectral decompositions of their nuclei from their host galaxies and measure their stellar velocity dispersions. Black hole masses are then derived from the black hole mass - stellar velocity dispersion relation. We find BL Lac objects host black holes of similar masses, ~10^{8.5} M_sun, with a dispersion of 0.4 dex, similar to the uncertainties on each black hole measurement. Therefore, all BL Lac objects in our sample have the same indistinguishable black hole mass. These 71 BL Lac objects follow the black hole mass - bulge luminosity relation, and their narrow range of host galaxy luminosities confirm previous claims that BL Lac host galaxies can be treated as standard candles. We conclude that the observed diversity in the shapes of BL Lac object spectral energy distributions is not strongly driven by black hole mass or host galaxy properties.Comment: 9 pages, 5 figures, 1 table. Accepted for publication in MNRA

Focusing in Asynchronous Games

Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asynchronous games and concurrent games. Interestingly, we show that associating a concurrent strategy to an asynchronous strategy can be seen as a semantical counterpart of the focusing property of linear logic

Three-body Interactions Improve the Prediction of Rate and Mechanism in Protein Folding Models

Here we study the effects of many-body interactions on rate and mechanism in protein folding, using the results of molecular dynamics simulations on numerous coarse-grained C-alpha-model single-domain proteins. After adding three-body interactions explicitly as a perturbation to a Go-like Hamiltonian with native pair-wise interactions only, we have found 1) a significantly increased correlation with experimental phi-values and folding rates, 2) a stronger correlation of folding rate with contact order, matching the experimental range in rates when the fraction of three-body energy in the native state is ~ 20%, and 3) a considerably larger amount of 3-body energy present in Chymotripsin inhibitor than other proteins studied.Comment: 9 pages, 2 tables and 5 figure

Protein folding rates correlate with heterogeneity of folding mechanism

By observing trends in the folding kinetics of experimental 2-state proteins at their transition midpoints, and by observing trends in the barrier heights of numerous simulations of coarse grained, C-alpha model, Go proteins, we show that folding rates correlate with the degree of heterogeneity in the formation of native contacts. Statistically significant correlations are observed between folding rates and measures of heterogeneity inherent in the native topology, as well as between rates and the variance in the distribution of either experimentally measured or simulated phi-values.Comment: 11 pages, 3 figures, 1 tabl

Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing

Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services

Non-Markovian Configurational Diffusion and Reaction Coordinates for Protein Folding

The non-Markovian nature of polymer motions is accounted for in folding kinetics, using frequency-dependent friction. Folding, like many other problems in the physics of disordered systems, involves barrier crossing on a correlated energy landscape. A variational transition state theory (VTST) that reduces to the usual Bryngelson-Wolynes Kramers approach when the non-Markovian aspects are neglected is used to obtain the rate, without making any assumptions regarding the size of the barrier, or the memory time of the friction. The transformation to collective variables dependent on the dynamics of the system allows the theory to address the controversial issue of what are ``good'' reaction coordinates for folding.Comment: 9 pages RevTeX, 3 eps-figures included, submitted to PR

Evolution on a Rugged Landscape:Pinning and Aging

Population dynamics on a rugged landscape is studied analytically and numerically within a simple discrete model for evolution of N individuals in one-dimensional fitness space. We reduce the set of master equations to a single Fokker-Plank equation which allows us to describe the dynamics of the population in terms of thermo-activated Langevin diffusion of a single particle in a specific random potential. We found that the randomness in the mutation rate leads to pinning of the population and on average to a logarithmic slowdown of the evolution, resembling aging phenomenon in spin glass systems. In contrast, the randomness in the replication rate turns out to be irrelevant for evolution in the long-time limit as it is smoothed out by increasing ``evolution temperature''. The analytic results are in a good agreement with numerical simulations.Comment: 4 pages, 3 figures, submitted to Phys. Rev. Let