Non-polynomial Worst-Case Analysis of Recursive Programs

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

Spatial and topological organization of DNA chains induced by gene co-localization

Transcriptional activity has been shown to relate to the organization of chromosomes in the eukaryotic nucleus and in the bacterial nucleoid. In particular, highly transcribed genes, RNA polymerases and transcription factors gather into discrete spatial foci called transcription factories. However, the mechanisms underlying the formation of these foci and the resulting topological order of the chromosome remain to be elucidated. Here we consider a thermodynamic framework based on a worm-like chain model of chromosomes where sparse designated sites along the DNA are able to interact whenever they are spatially close-by. This is motivated by recurrent evidence that there exists physical interactions between genes that operate together. Three important results come out of this simple framework. First, the resulting formation of transcription foci can be viewed as a micro-phase separation of the interacting sites from the rest of the DNA. In this respect, a thermodynamic analysis suggests transcription factors to be appropriate candidates for mediating the physical interactions between genes. Next, numerical simulations of the polymer reveal a rich variety of phases that are associated with different topological orderings, each providing a way to increase the local concentrations of the interacting sites. Finally, the numerical results show that both one-dimensional clustering and periodic location of the binding sites along the DNA, which have been observed in several organisms, make the spatial co-localization of multiple families of genes particularly efficient.Comment: Figures and Supplementary Material freely available on http://dx.doi.org/10.1371/journal.pcbi.100067

Toll-like receptor signaling adapter proteins govern spread of neuropathic pain and recovery following nerve injury in male mice.

BackgroundSpinal Toll-like receptors (TLRs) and signaling intermediaries have been implicated in persistent pain states. We examined the roles of two major TLR signaling pathways and selected TLRs in a mononeuropathic allodynia.MethodsL5 spinal nerve ligation (SNL) was performed in wild type (WT, C57BL/6) male and female mice and in male Tlr2-/-Tlr3-/-, Tlr4-/-, Tlr5-/-, Myd88-/-, Triflps2, Myd88/Triflps2, Tnf-/-, and Ifnar1-/- mice. We also examined L5 ligation in Tlr4-/- female mice. We examined tactile allodynia using von Frey hairs. Iba-1 (microglia) and GFAP (astrocytes) were assessed in spinal cords by immunostaining. Tactile thresholds were analyzed by 1- and 2-way ANOVA and the Bonferroni post hoc test was used.ResultsIn WT male and female mice, SNL lesions resulted in a persistent and robust ipsilateral, tactile allodynia. In males with TLR2, 3, 4, or 5 deficiencies, tactile allodynia was significantly, but incompletely, reversed (approximately 50%) as compared to WT. This effect was not seen in female Tlr4-/- mice. Increases in ipsilateral lumbar Iba-1 and GFAP were seen in mutant and WT mice. Mice deficient in MyD88, or MyD88 and TRIF, showed an approximately 50% reduction in withdrawal thresholds and reduced ipsilateral Iba-1. In contrast, TRIF and interferon receptor null mice developed a profound ipsilateral and contralateral tactile allodynia. In lumbar sections of the spinal cords, we observed a greater increase in Iba-1 immunoreactivity in the TRIF-signaling deficient mice as compared to WT, but no significant increase in GFAP. Removing MyD88 abrogated the contralateral allodynia in the TRIF signaling-deficient mice. Conversely, IFNβ, released downstream to TRIF signaling, administered intrathecally, temporarily reversed the tactile allodynia.ConclusionsThese observations suggest a critical role for the MyD88 pathway in initiating neuropathic pain, but a distinct role for the TRIF pathway and interferon in regulating neuropathic pain phenotypes in male mice

Thermodynamic analysis of black hole solutions in gravitating nonlinear electrodynamics

We perform a general study of the thermodynamic properties of static electrically charged black hole solutions of nonlinear electrodynamics minimally coupled to gravitation in three space dimensions. The Lagrangian densities governing the dynamics of these models in flat space are defined as arbitrary functions of the gauge field invariants, constrained by some requirements for physical admissibility. The exhaustive classification of these theories in flat space, in terms of the behaviour of the Lagrangian densities in vacuum and on the boundary of their domain of definition, defines twelve families of admissible models. When these models are coupled to gravity, the flat space classification leads to a complete characterization of the associated sets of gravitating electrostatic spherically symmetric solutions by their central and asymptotic behaviours. We focus on nine of these families, which support asymptotically Schwarzschild-like black hole configurations, for which the thermodynamic analysis is possible and pertinent. In this way, the thermodynamic laws are extended to the sets of black hole solutions of these families, for which the generic behaviours of the relevant state variables are classified and thoroughly analyzed in terms of the aforementioned boundary properties of the Lagrangians. Moreover, we find universal scaling laws (which hold and are the same for all the black hole solutions of models belonging to any of the nine families) running the thermodynamic variables with the electric charge and the horizon radius. These scale transformations form a one-parameter multiplicative group, leading to universal "renormalization group"-like first-order differential equations. The beams of characteristics of these equations generate the full set of black hole states associated to any of these gravitating nonlinear electrodynamics...Comment: 51 single column pages, 19 postscript figures, 2 tables, GRG tex style; minor corrections added; final version appearing in General Relativity and Gravitatio

Genetic Background Can Result in a Marked or Minimal Effect of Gene Knockout (GPR55 and CB2 Receptor) in Experimental Autoimmune Encephalomyelitis Models of Multiple Sclerosis

PMCID: PMC379391

Vascular responses of the extremities to transdermal application of vasoactive agents in Caucasian and African descent individuals

This is an accepted manuscript of an article published by Springer in European Journal of Applied Physiology on 04/04/2015, available online: https://doi.org/10.1007/s00421-015-3164-2 The accepted version of the publication may differ from the final published version.© 2015, Springer-Verlag Berlin Heidelberg. Purpose: Individuals of African descent (AFD) are more susceptible to non-freezing cold injury than Caucasians (CAU) which may be due, in part, to differences in the control of skin blood flow. We investigated the skin blood flow responses to transdermal application of vasoactive agents. Methods: Twenty-four young males (12 CAU and 12 AFD) undertook three tests in which iontophoresis was used to apply acetylcholine (ACh 1 w/v %), sodium nitroprusside (SNP 0.01 w/v %) and noradrenaline (NA 0.5 mM) to the skin. The skin sites tested were: volar forearm, non-glabrous finger and toe, and glabrous finger (pad) and toe (pad). Results: In response to SNP on the forearm, AFD had less vasodilatation for a given current application than CAU (P = 0.027–0.004). ACh evoked less vasodilatation in AFD for a given application current in the non-glabrous finger and toe compared with CAU (P = 0.043–0.014) with a lower maximum vasodilatation in the non-glabrous finger (median [interquartile], AFD n = 11, 41[234] %, CAU n = 12, 351[451] %, P = 0.011) and non-glabrous toe (median [interquartile], AFD n = 9, 116[318] %, CAU n = 12, 484[720] %, P = 0.018). ACh and SNP did not elicit vasodilatation in the glabrous skin sites of either group. There were no ethnic differences in response to NA. Conclusion: AFD have an attenuated endothelium-dependent vasodilatation in non-glabrous sites of the fingers and toes compared with CAU. This may contribute to lower skin temperature following cold exposure and the increased risk of cold injuries experienced by AFD.Published versio

Agenesia e lipoma de corpo caloso: relato de caso

The agenesis and lipoma of the corpus callosum is a very rare association. We report the case of a 18-years old woman with rare epileptic seizures since the age of 6 years, normal neurological examination, as well as normal electroencephalogram. The brain computed tomography scanning and the magnetic resonance showed the lipoma and the agenesis of the corpus callosum.A agenesia e lipoma do corpo caloso é uma associação muito rara. Relatamos o caso de uma paciente de 18 anos com raras crises epilépticas desde os 6 anos de idade, exame neurológico normal, assim como eletrencefalograma normal. A tomografia computadorizada de crânio e a ressonância magnética mostraram o lipoma e a agenesia de corpo caloso.Escola Paulista de MedicinaUNIFESP, EPMSciEL

Interaction Between Convection and Pulsation

This article reviews our current understanding of modelling convection dynamics in stars. Several semi-analytical time-dependent convection models have been proposed for pulsating one-dimensional stellar structures with different formulations for how the convective turbulent velocity field couples with the global stellar oscillations. In this review we put emphasis on two, widely used, time-dependent convection formulations for estimating pulsation properties in one-dimensional stellar models. Applications to pulsating stars are presented with results for oscillation properties, such as the effects of convection dynamics on the oscillation frequencies, or the stability of pulsation modes, in classical pulsators and in stars supporting solar-type oscillations.Comment: Invited review article for Living Reviews in Solar Physics. 88 pages, 14 figure

Time sequence of the damage to the acceptor and donor sides of photosystem II by UV-B radiation as evaluated by chlorophyll a fluorescence

The effects of ultraviolet-B (UV-B) radiation on photosystem II (PS II) were studied in leaves of Chenopodium album. After the treatment with UV-B the damage was estimated using chlorophyll a fluorescence techniques. Measurements of modulated fluorescence using a pulse amplitude modulated fluorometer revealed that the efficiency of photosystem II decreased both with increasing time of UV-B radiation and with increasing intensity of the UV-B. Fluorescence induction rise curves were analyzed using a mechanistic model of energy trapping. It appears that the damage by UV-B radiation occurs first at the acceptor side of photosystem II, and only later at the donor side

Limits on Anomalous Triple Gauge Couplings in ppbar Collisions at sqrt{s}=1.96 TeV

We present a search for anomalous triple gauge couplings (ATGC) in WW and WZ boson production. The boson pairs are produced in ppbar collisions at sqrt{s}=1.96 TeV, and the data sample corresponds to 350 pb-1 of integrated luminosity collected with the CDF II detector at the Fermilab Tevatron. In this search one W decays to leptons, and the other boson (W or Z) decays hadronically. Combining with a previously published CDF measurement of Wgamma boson production yields ATGC limits of -0.18 < lambda < 0.17 and -0.46 < Delta kappa < 0.39 at the 95% confidence level, using a cut-off scale Lambda=1.5 TeV.Comment: 7 pages, 3 figures. Submitted to Phys. Rev.