Complexity Bounds for Ordinal-Based Termination

`What more than its truth do we know if we have a proof of a theorem in a given formal system?' We examine Kreisel's question in the particular context of program termination proofs, with an eye to deriving complexity bounds on program running times. Our main tool for this are length function theorems, which provide complexity bounds on the use of well quasi orders. We illustrate how to prove such theorems in the simple yet until now untreated case of ordinals. We show how to apply this new theorem to derive complexity bounds on programs when they are proven to terminate thanks to a ranking function into some ordinal.Comment: Invited talk at the 8th International Workshop on Reachability Problems (RP 2014, 22-24 September 2014, Oxford

Determinants of distribution and prevalence of avian malaria in blue tit populations across Europe : separating host and parasite effects

Although avian malarial parasites are globally distributed, the factors that affect the geographical distribution and local prevalence of different parasite lineages across host populations or species are still poorly understood. Based on the intense screening of avian malarial parasites in nine European blue tit populations, we studied whether distribution ranges as well as local adaptation, host specialization and phylogenetic relationships can determine the observed prevalences within populations. We found that prevalence differed consistently between parasite lineages and host populations, indicating that the transmission success of parasites is lineage specific but is partly shaped by locality-specific effects. We also found that the lineage-specific estimate of prevalence was related to the distribution range of parasites: lineages found in more host populations were generally more prevalent within these populations. Additionally, parasites with high prevalence that were also widely distributed among blue tit populations were also found to infect more host species. These findings suggest that parasites reaching high local prevalence can also realize wide distribution at a global scale that can have further consequences for host specialization. Although phylogenetic relationships among parasites did not predict prevalence, we detected a close match between a tree based on the geographic distance of the host populations and the parasite phylogenetic tree, implying that neighbouring host populations shared a related parasite fauna

Nonlinear fractional differential equations in nonreflexive Banach spaces and fractional calculus

The aim of this paper is to correct some ambiguities and inaccuracies in Agarwal et al. (Commun. Nonlinear Sci. Numer. Simul. 20(1): 59-73, 2015; Adv. Differ. Equ. 2013: 302, 2013, doi:10.1186/1687-1847-2013-302) and to present new ideas and approaches for fractional calculus and fractional differential equations in nonreflexive Banach spaces

On the Role of Expander Graphs in Key Predistribution Schemes for Wireless Sensor Networks

Providing security for a wireless sensor network composed of small sensor nodes with limited battery power and memory can be a non-trivial task. A variety of key predistribution schemes have been proposed which allocate symmetric keys to the sensor nodes before deployment. In this paper we examine the role of expander graphs in key predistribution schemes for wireless sensor networks. Roughly speaking, a graph has good expansion if every `small\u27 subset of vertices has a `large\u27 neighbourhood, and intuitively, expansion is a desirable property for graphs of networks. It has been claimed that good expansion in the product graph is necessary for `optimal\u27 networks. We demonstrate flaws in this claim, argue instead that good expansion is desirable in the intersection graph, and discuss how this can be achieved. We then consider key predistribution schemes based on expander graph constructions and compare them to other schemes in the literature. Finally, we propose the use of expansion and other graph-theoretical techniques as metrics for assessing key predistribution schemes and their resulting wireless sensor networks

Interspecific transfer of parasites following a range-shift in Ficedula flycatchers

Human‐induced climate change is expected to cause major biotic changes in species distributions and thereby including escalation of novel host‐parasite associations. Closely related host species that come into secondary contact are especially likely to exchange parasites and pathogens. Both the Enemy Release Hypothesis (where invading hosts escape their original parasites) and the Novel Weapon Hypothesis (where invading hosts bring new parasites that have detrimental effects on native hosts) predict that the local host will be most likely to experience a disadvantage. However, few studies evaluate the occurrence of interspecific parasite transfer by performing wide‐scale geographic sampling of pathogen lineages, both within and far from host contact zones. In this study, we investigate how haemosporidian (avian malaria) prevalence and lineage diversity vary in two, closely related species of passerine birds; the pied flycatcher Ficedula hypoleuca and the collared flycatcher F. albicollis in both allopatry and sympatry. We find that host species is generally a better predictor of parasite diversity than location, but both prevalence and diversity of parasites vary widely among populations of the same bird species. We also find a limited and unidirectional transfer of parasites from pied flycatchers to collared flycatchers in a recent contact zone. This study therefore rejects both the Enemy Release Hypothesis and the Novel Weapon Hypothesis and highlights the complexity and importance of studying host‐parasite relationships in an era of global climate change and species range shifts.</p

Physicochemical and biological characterisation of diclofenac oligomeric poly(3-hydroxyoctanoate) hybrids as β-TCP ceramics modifiers for bone tissue regeneration

Nowadays, regenerative medicine faces a major challenge in providing new, functional materials that will meet the characteristics desired to replenish and grow new tissue. Therefore, this study presents new ceramic-polymer composites in which the matrix consists of tricalcium phosphates covered with blends containing a chemically bounded diclofenac with the biocompatible polymer—poly(3-hydroxyoctanoate), P(3HO). Modification of P(3HO) oligomers was confirmed by NMR, IR and XPS. Moreover, obtained oligomers and their blends were subjected to an in-depth characterisation using GPC, TGA, DSC and AFM. Furthermore, we demonstrate that the hydrophobicity and surface free energy values of blends decreased with the amount of diclofenac modified oligomers. Subsequently, the designed composites were used as a substrate for growth of the pre-osteoblast cell line (MC3T3-E1). An in vitro biocompatibility study showed that the composite with the lowest concentration of the proposed drug is within the range assumed to be non-toxic (viability above 70%). Cell proliferation was visualised using the SEM method, whereas the observation of cell penetration into the scaffold was carried out by confocal microscopy. Thus, it can be an ideal new functional bone tissue substitute, allowing not only the regeneration and restoration of the defect but also inhibiting the development of chronic inflammation

Combined Tumor Cell-Based Vaccination and Interleukin-12 Gene Therapy Polarizes the Tumor Microenvironment in Mice

Tumor progression depends on tumor milieu, which influences neovasculature formation and immunosuppression. Combining immunotherapy with antiangiogenic/antivascular therapy might be an effective therapeutic approach. The aim of our study was to elaborate an anticancer therapeutic strategy based on the induction of immune response which leads to polarization of tumor milieu. To achieve this, we developed a tumor cell-based vaccine. CAMEL peptide was used as a B16-F10 cell death-inducing agent. The lysates were used as a vaccine to immunize mice bearing B16-F10 melanoma tumors. To further improve the therapeutic effect of the vaccine, we combined it with interleukin (IL)-12 gene therapy. IL-12, a cytokine with antiangiogenic properties, activates nonspecific and specific immune responses. We observed that combined therapy is significantly more effective (as compared with monotherapies) in inhibiting tumor growth. Furthermore, the tested combination polarizes the tumor microenvironment, which results in a switch from a proangiogenic/immunosuppressive to an antiangiogenic/immunostimulatory one. The switch manifests itself as a decreased number of tumor blood vessels, increased levels of tumor-infiltrating CD4+, CD8+ and NK cells, as well as lower level of suppressor lymphocytes (Treg). Our results suggest that polarizing tumor milieu by such combined therapy does inhibit tumor growth and seems to be a promising therapeutic strategy

Differential Effects of Early- and Late-Life Access to Carotenoids on Adult Immune Function and Ornamentation in Mallard Ducks (Anas platyrhynchos)

Environmental conditions early in life can affect an organism’s phenotype at adulthood, which may be tuned to perform optimally in conditions that mimic those experienced during development (Environmental Matching hypothesis), or may be generally superior when conditions during development were of higher quality (Silver Spoon hypothesis). Here, we tested these hypotheses by examining how diet during development interacted with diet during adulthood to affect adult sexually selected ornamentation and immune function in male mallard ducks (Anas platyrhynchos). Mallards have yellow, carotenoid-pigmented beaks that are used in mate choice, and the degree of beak coloration has been linked to adult immune function. Using a 2×2 factorial experimental design, we reared mallards on diets containing either low or high levels of carotenoids (nutrients that cannot be synthesized de novo) throughout the period of growth, and then provided adults with one of these two diets while simultaneously quantifying beak coloration and response to a variety of immune challenges. We found that both developmental and adult carotenoid supplementation increased circulating carotenoid levels during dietary treatment, but that birds that received low-carotenoid diets during development maintained relatively higher circulating carotenoid levels during an adult immune challenge. Individuals that received low levels of carotenoids during development had larger phytohemagglutinin (PHA)-induced cutaneous immune responses at adulthood; however, dietary treatment during development and adulthood did not affect antibody response to a novel antigen, nitric oxide production, natural antibody levels, hemolytic capacity of the plasma, or beak coloration. However, beak coloration prior to immune challenges positively predicted PHA response, and strong PHA responses were correlated with losses in carotenoid-pigmented coloration. In sum, we did not find consistent support for either the Environmental Matching or Silver Spoon hypotheses. We then describe a new hypothesis that should be tested in future studies examining developmental plasticity

Origami voting: a non-cryptographic approach to transparent ballot verification

International audienceOver the past four decades, fear of election manipulation and hacking has spurred the security technology community to propose a variety of voting systems to implement verifiable voting. Most of these rely on hard to understand cryptographic protocols, which can affect whether users actually verify their selections. Three-Ballot and Vote/Anti-Vote/Vote, two related systems among the few non-cryptographic end-to-end verifiable voting systems, made improvements in security while eliminating complex protocols. They unfortunately suffered from usability issues, and although they did not require cryptographic primitives, they still relied on electronic devices. To address this, we introduce three folded-paper based systems that allow verifiable voting and resist common attacks despite not relying on any cryptography or electronic devices. The proposals are based on 1) semi-translucent ballots, 2) masking tape, or 3) folding and punching. These Origami voting methods help users understand the underlying mechanisms and give them a direct geometric approach to verification