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

Simultaneous whole-animal 3D-imaging of neuronal activity using light field microscopy

3D functional imaging of neuronal activity in entire organisms at single cell level and physiologically relevant time scales faces major obstacles due to trade-offs between the size of the imaged volumes, and spatial and temporal resolution. Here, using light-field microscopy in combination with 3D deconvolution, we demonstrate intrinsically simultaneous volumetric functional imaging of neuronal population activity at single neuron resolution for an entire organism, the nematode Caenorhabditis elegans. The simplicity of our technique and possibility of the integration into epi-fluoresence microscopes makes it an attractive tool for high-speed volumetric calcium imaging.Comment: 25 pages, 7 figures, incl. supplementary informatio

A Systematic Review of Mosquito Coils and Passive Emanators: Defining Recommendations for Spatial Repellency Testing Methodologies.

Mosquito coils, vaporizer mats and emanators confer protection against mosquito bites through the spatial action of emanated vapor or airborne pyrethroid particles. These products dominate the pest control market; therefore, it is vital to characterize mosquito responses elicited by the chemical actives and their potential for disease prevention. The aim of this review was to determine effects of mosquito coils and emanators on mosquito responses that reduce human-vector contact and to propose scientific consensus on terminologies and methodologies used for evaluation of product formats that could contain spatial chemical actives, including indoor residual spraying (IRS), long lasting insecticide treated nets (LLINs) and insecticide treated materials (ITMs). PubMed, (National Centre for Biotechnology Information (NCBI), U.S. National Library of Medicine, NIH), MEDLINE, LILAC, Cochrane library, IBECS and Armed Forces Pest Management Board Literature Retrieval System search engines were used to identify studies of pyrethroid based coils and emanators with key-words "Mosquito coils" "Mosquito emanators" and "Spatial repellents". It was concluded that there is need to improve statistical reporting of studies, and reach consensus in the methodologies and terminologies used through standardized testing guidelines. Despite differing evaluation methodologies, data showed that coils and emanators induce mortality, deterrence, repellency as well as reduce the ability of mosquitoes to feed on humans. Available data on efficacy outdoors, dose-response relationships and effective distance of coils and emanators is inadequate for developing a target product profile (TPP), which will be required for such chemicals before optimized implementation can occur for maximum benefits in disease control

Neonatal-onset multisystem inflammatory disease responsive to interleukin-1 beta inhibition

BACKGROUND:Neonatal-onset multisystem inflammatory disease is characterized by fever, urticarial rash, aseptic meningitis, deforming arthropathy, hearing loss, and mental retardation. Many patients have mutations in the cold-induced autoinflammatory syndrome 1 (CIAS1) gene, encoding cryopyrin, a protein that regulates inflammation.METHODS:We selected 18 patients with neonatal-onset multisystem inflammatory disease (12 with identifiable CIAS1 mutations) to receive anakinra, an interleukin-1-receptor antagonist (1 to 2 mg per kilogram of body weight per day subcutaneously). In 11 patients, anakinra was withdrawn at three months until a flare occurred. The primary end points included changes in scores in a daily diary of symptoms, serum levels of amyloid A and C-reactive protein, and the erythrocyte sedimentation rate from baseline to month 3 and from month 3 until a disease flare.RESULTS:All 18 patients had a rapid response to anakinra, with disappearance of rash. Diary scores improved (P<0.001) and serum amyloid A (from a median of 174 mg to 8 mg per liter), C-reactive protein (from a median of 5.29 mg to 0.34 mg per deciliter), and the erythrocyte sedimentation rate decreased at month 3 (all P<0.001), and remained low at month 6. Magnetic resonance imaging showed improvement in cochlear and leptomeningeal lesions as compared with baseline. Withdrawal of anakinra uniformly resulted in relapse within days; retreatment led to rapid improvement. There were no drug-related serious adverse events.CONCLUSIONS:Daily injections of anakinra markedly improved clinical and laboratory manifestations in patients with neonatal-onset multisystem inflammatory disease, with or without CIAS1 mutations

Mouse models for preeclampsia: disruption of redox-regulated signaling

The concept that oxidative stress contributes to the development of human preeclampsia has never been tested in genetically-defined animal models. Homozygous deletion of catechol-Omethyl transferase (Comt-/-) in pregnant mice leads to human preeclampsia-like symptoms (high blood pressure, albuminurea and preterm birth) resulting from extensive vasculo-endothelial pathology, primarily at the utero-fetal interface where maternal cardiac output is dramatically increased during pregnancy. Comt converts estradiol to 2-methoxyestradiol 2 (2ME2) which counters angiogenesis by depleting hypoxia inducible factor-1 alpha (HIF-1 alpha) at late pregnancy. We propose that in wild type (Comt++) pregnant mice, 2ME2 destabilizes HIF-1 alpha by inhibiting mitochondrial superoxide dismutase (MnSOD). Thus, 2ME2 acts as a pro-oxidant, disrupting redox-regulated signaling which blocks angiogenesis in wild type (WT) animals in physiological pregnancy. Further, we suggest that a lack of this inhibition under normoxic conditions in mutant animals (Comt-/-) stabilises HIF-1 alpha by inactivating prolyl hydroxlases (PHD). We predict that a lack of inhibition of MnSOD, leading to persistent accumulation of HIF-1 alpha, would trigger inflammatory infiltration and endothelial damage in mutant animals. Critical tests of this hypothesis would be to recreate preeclampsia symptoms by inducing oxidative stress in WT animals or to ameliorate by treating mutant mice with Mn-SOD-catalase mimetics or activators of PHD

MHD models of Pulsar Wind Nebulae

Pulsar Wind Nebulae (PWNe) are bubbles or relativistic plasma that form when the pulsar wind is confined by the SNR or the ISM. Recent observations have shown a richness of emission features that has driven a renewed interest in the theoretical modeling of these objects. In recent years a MHD paradigm has been developed, capable of reproducing almost all of the observed properties of PWNe, shedding new light on many old issues. Given that PWNe are perhaps the nearest systems where processes related to relativistic dynamics can be investigated with high accuracy, a reliable model of their behavior is paramount for a correct understanding of high energy astrophysics in general. I will review the present status of MHD models: what are the key ingredients, their successes, and open questions that still need further investigation.Comment: 18 pages, 5 figures, Invited Review, Proceedings of the "ICREA Workshop on The High-Energy Emission from Pulsars and their Systems", Sant Cugat, Spain, April 12-16, 201

How consistent are the transcriptome changes associated with cold acclimation in two species of the Drosophila virilis group?

This work was financially support by a Marie Curie Initial Training Network grant, “Understanding the evolutionary origin of biological diversity” (ITN-2008–213780 SPECIATION), grants from the Academy of Finland to A.H. (project 132619) and M.K. (projects 268214 and 272927), a grant from NERC, UK to M.G.R. (grant NE/J020818/1), and NERC, UK PhD studentship to D.J.P. (NE/I528634/1).For many organisms the ability to cold acclimate with the onset of seasonal cold has major implications for their fitness. In insects, where this ability is widespread, the physiological changes associated with increased cold tolerance have been well studied. Despite this, little work has been done to trace changes in gene expression during cold acclimation that lead to an increase in cold tolerance. We used an RNA-Seq approach to investigate this in two species of the Drosophila virilis group. We found that the majority of genes that are differentially expressed during cold acclimation differ between the two species. Despite this, the biological processes associated with the differentially expressed genes were broadly similar in the two species. These included: metabolism, cell membrane composition, and circadian rhythms, which are largely consistent with previous work on cold acclimation/cold tolerance. In addition, we also found evidence of the involvement of the rhodopsin pathway in cold acclimation, a pathway that has been recently linked to thermotaxis. Interestingly, we found no evidence of differential expression of stress genes implying that long-term cold acclimation and short-term stress response may have a different physiological basis.PostprintPeer reviewe

Serpin Induced Antiviral Activity of Prostaglandin Synthetase-2 against HIV-1 Replication

The serine protease inhibitors (serpins) are anti-inflammatory proteins that have various functions. By screening a diverse panel of viruses, we demonstrate that the serpin antithrombin III (ATIII) has a broad-spectrum anti-viral activity for HIV-1, HCV and HSV. To investigate the mechanism of action in more detail we investigated the HIV-1 inhibition. Using gene-expression arrays we found that multiple host cell signal transduction pathways were activated by ATIII in HIV-1 infected cells but not in uninfected controls. Moreover, the signal pathways initiated by ATIII treatment, were more than 200-fold increased by the use of heparin-activated ATIII. The most up-regulated transcript in HIV-1 infected cells was prostaglandin synthetase-2 (PTGS2). Furthermore, we found that over-expression of PTGS2 reduced levels of HIV-1 replication in human PBMC. These findings suggest a central role for serpins in the host innate anti-viral response. Host factors such as PTGS2 elicited by ATIII treatment could be exploited in the development of novel anti-viral interventions

Effect of Emamectin Benzoate on Mortality, Proboscis Extension, Gustation and Reproduction of the Corn Earworm, Helicoverpa zea

Newly emerged corn earworm adults, Helicoverpa zea (Boddie) (Lepidoptera: Noctuidae) require a carbohydrate source from plant or other exudates and nectars for dispersal and reproduction. Adults actively seek and forage at feeding sites upon eclosion in the habitat of the larval host plant or during dispersal to, or colonization of, a suitable reproductive habitat. This nocturnal behavior of H. zea has potential for exploitation as a pest management strategy for suppression using an adult feeding approach. This approach entails the use of a feeding attractant and stimulant in combination with a toxicant that when ingested by the adult will either reduce fecundity/fertility at sub-lethal dosages or kill the adult. The intent of this study was to assess reproductive inhibition and toxicity of emamectin benzoate on H. zea when ingested by the adults when mixed in ppm active ingredient (wt:vol) with 2.5 M sucrose as a feeding stimulant. Because the mixture has to be ingested to function, the effect of emamectin benzoate was also evaluated at sub-lethal and lethal concentrations on proboscis extension and gustatory response of H. zea in the laboratory. Feral males captured in sex pheromone-baited traps in the field were used for toxicity evaluations because they were readily available and were more representative of the field populations than laboratory-reared adults. Laboratory-reared female moths were used for reproduction effects because it is very difficult to collect newly emerged feral females from the field. Emamectin benzoate was highly toxic to feral H. zea males with LC50 values (95% CL) being 0.718 (0.532–0.878), 0.525 (0.316–0.751), and 0.182 (0.06–0.294) ppm for 24, 48 and 72 h responses, respectively. Sub-lethal concentrations of emamectin benzoate did not significantly reduce proboscis extension response of feral males and gustatory response of female H. zea. Sublethal concentrations of emamectin benzoate significantly reduced percent larval hatch of eggs and mating frequency of female H. zea. Larval survival to the pupal stage was also significantly reduced by ingestion of emamectin benzoate by female H. zea. These data suggest that emamectin benzoate is a useful toxicant in an attract-and-kill control strategy against H. zea. Field studies are warranted to validate the results reported in this study

Magnetism, FeS colloids, and Origins of Life

A number of features of living systems: reversible interactions and weak bonds underlying motor-dynamics; gel-sol transitions; cellular connected fractal organization; asymmetry in interactions and organization; quantum coherent phenomena; to name some, can have a natural accounting via $physical$ interactions, which we therefore seek to incorporate by expanding the horizons of `chemistry-only' approaches to the origins of life. It is suggested that the magnetic 'face' of the minerals from the inorganic world, recognized to have played a pivotal role in initiating Life, may throw light on some of these issues. A magnetic environment in the form of rocks in the Hadean Ocean could have enabled the accretion and therefore an ordered confinement of super-paramagnetic colloids within a structured phase. A moderate H-field can help magnetic nano-particles to not only overcome thermal fluctuations but also harness them. Such controlled dynamics brings in the possibility of accessing quantum effects, which together with frustrations in magnetic ordering and hysteresis (a natural mechanism for a primitive memory) could throw light on the birth of biological information which, as Abel argues, requires a combination of order and complexity. This scenario gains strength from observations of scale-free framboidal forms of the greigite mineral, with a magnetic basis of assembly. And greigite's metabolic potential plays a key role in the mound scenario of Russell and coworkers-an expansion of which is suggested for including magnetism.Comment: 42 pages, 5 figures, to be published in A.R. Memorial volume, Ed Krishnaswami Alladi, Springer 201