A Number-Theoretic Error-Correcting Code

In this paper we describe a new error-correcting code (ECC) inspired by the Naccache-Stern cryptosystem. While by far less efficient than Turbo codes, the proposed ECC happens to be more efficient than some established ECCs for certain sets of parameters. The new ECC adds an appendix to the message. The appendix is the modular product of small primes representing the message bits. The receiver recomputes the product and detects transmission errors using modular division and lattice reduction

Holographic renormalization as a canonical transformation

The gauge/string dualities have drawn attention to a class of variational problems on a boundary at infinity, which are not well defined unless a certain boundary term is added to the classical action. In the context of supergravity in asymptotically AdS spaces these problems are systematically addressed by the method of holographic renormalization. We argue that this class of a priori ill defined variational problems extends far beyond the realm of holographic dualities. As we show, exactly the same issues arise in gravity in non asymptotically AdS spaces, in point particles with certain unbounded from below potentials, and even fundamental strings in flat or AdS backgrounds. We show that the variational problem in all such cases can be made well defined by the following procedure, which is intrinsic to the system in question and does not rely on the existence of a holographically dual theory: (i) The first step is the construction of the space of the most general asymptotic solutions of the classical equations of motion that inherits a well defined symplectic form from that on phase space. The requirement of a well defined symplectic form is essential and often leads to a necessary repackaging of the degrees of freedom. (ii) Once the space of asymptotic solutions has been constructed in terms of the correct degrees of freedom, then there exists a boundary term that is obtained as a certain solution of the Hamilton-Jacobi equation which simultaneously makes the variational problem well defined and preserves the symplectic form. This procedure is identical to holographic renormalization in the case of asymptotically AdS gravity, but it is applicable to any Hamiltonian system.Comment: 37 pages; v2 minor corrections in section 2, 2 references and a footnote on Palatini gravity added. Version to appear in JHE

First Steps towards Underdominant Genetic Transformation of Insect Populations

The idea of introducing genetic modifications into wild populations of insects to stop them from spreading diseases is more than 40 years old. Synthetic disease refractory genes have been successfully generated for mosquito vectors of dengue fever and human malaria. Equally important is the development of population transformation systems to drive and maintain disease refractory genes at high frequency in populations. We demonstrate an underdominant population transformation system in Drosophila melanogaster that has the property of being both spatially self-limiting and reversible to the original genetic state. Both population transformation and its reversal can be largely achieved within as few as 5 generations. The described genetic construct {Ud} is composed of two genes; (1) a UAS-RpL14.dsRNA targeting RNAi to a haploinsufficient gene RpL14 and (2) an RNAi insensitive RpL14 rescue. In this proof-of-principle system the UAS-RpL14.dsRNA knock-down gene is placed under the control of an Actin5c-GAL4 driver located on a different chromosome to the {Ud} insert. This configuration would not be effective in wild populations without incorporating the Actin5c-GAL4 driver as part of the {Ud} construct (or replacing the UAS promoter with an appropriate direct promoter). It is however anticipated that the approach that underlies this underdominant system could potentially be applied to a number of species. Figure

Search algorithms as a framework for the optimization of drug combinations

Combination therapies are often needed for effective clinical outcomes in the management of complex diseases, but presently they are generally based on empirical clinical experience. Here we suggest a novel application of search algorithms, originally developed for digital communication, modified to optimize combinations of therapeutic interventions. In biological experiments measuring the restoration of the decline with age in heart function and exercise capacity in Drosophila melanogaster, we found that search algorithms correctly identified optimal combinations of four drugs with only one third of the tests performed in a fully factorial search. In experiments identifying combinations of three doses of up to six drugs for selective killing of human cancer cells, search algorithms resulted in a highly significant enrichment of selective combinations compared with random searches. In simulations using a network model of cell death, we found that the search algorithms identified the optimal combinations of 6-9 interventions in 80-90% of tests, compared with 15-30% for an equivalent random search. These findings suggest that modified search algorithms from information theory have the potential to enhance the discovery of novel therapeutic drug combinations. This report also helps to frame a biomedical problem that will benefit from an interdisciplinary effort and suggests a general strategy for its solution.Comment: 36 pages, 10 figures, revised versio

Predictors of linkage to care following community-based HIV counseling and testing in rural Kenya

Despite innovations in HIV counseling and testing (HCT), important gaps remain in understanding linkage to care. We followed a cohort diagnosed with HIV through a community-based HCT campaign that trained persons living with HIV/AIDS (PLHA) as navigators. Individual, interpersonal, and institutional predictors of linkage were assessed using survival analysis of self-reported time to enrollment. Of 483 persons consenting to follow-up, 305 (63.2%) enrolled in HIV care within 3 months. Proportions linking to care were similar across sexes, barring a sub-sample of men aged 18–25 years who were highly unlikely to enroll. Men were more likely to enroll if they had disclosed to their spouse, and women if they had disclosed to family. Women who anticipated violence or relationship breakup were less likely to link to care. Enrolment rates were significantly higher among participants receiving a PLHA visit, suggesting that a navigator approach may improve linkage from community-based HCT campaigns.Vestergaard Frandse

A relocatable ocean model in support of environmental emergencies

During the Costa Concordia emergency case, regional, subregional, and relocatable ocean models have been used together with the oil spill model, MEDSLIK-II, to provide ocean currents forecasts, possible oil spill scenarios, and drifters trajectories simulations. The models results together with the evaluation of their performances are presented in this paper. In particular, we focused this work on the implementation of the Interactive Relocatable Nested Ocean Model (IRENOM), based on the Harvard Ocean Prediction System (HOPS), for the Costa Concordia emergency and on its validation using drifters released in the area of the accident. It is shown that thanks to the capability of improving easily and quickly its configuration, the IRENOM results are of greater accuracy than the results achieved using regional or subregional model products. The model topography, and to the initialization procedures, and the horizontal resolution are the key model settings to be configured. Furthermore, the IRENOM currents and the MEDSLIK-II simulated trajectories showed to be sensitive to the spatial resolution of the meteorological fields used, providing higher prediction skills with higher resolution wind forcing.MEDESS4MS Project; TESSA Project; MyOcean2 Projectinfo:eu-repo/semantics/publishedVersio

Microbial ligand costimulation drives neutrophilic steroid-refractory asthma

Funding: The authors thank the Wellcome Trust (102705) and the Universities of Aberdeen and Cape Town for funding. This research was also supported, in part, by National Institutes of Health GM53522 and GM083016 to DLW. KF and BNL are funded by the Fonds Wetenschappelijk Onderzoek, BNL is the recipient of an European Research Commission consolidator grant and participates in the European Union FP7 programs EUBIOPRED and MedALL. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Peer reviewedPublisher PD

Towards a theory of close analysis for dispute mediation discourse

Mediation is an alternative dispute resolution process that is becoming more and more popular particularly in English-speaking countries. In contrast to traditional litigation it has not benefited from technological advances and little research has been carried out to make this increasingly widespread practice more efficient. The study of argumentation in disputemediation hitherto has largely been concerned with theoretical insights. The development of argumentation theories linked to computational applications opens promising new horizons since computational tools could support mediators, making sessions quicker and more efficient.For this, we need tools for close analysis of mediation discourse in order to explore the argumentative activity in depth, and ultimately get an accurate image of how dialogues unfold in this particular context. This paper therefore aims at laying the foundations of a theory of close analysis for discourse in dispute mediation. Theories provided by the literature serve as a basis for argumentative analyses of transcripts of mediation sessions in order to deliver a clear image of the argumentative structure. Analyses of the argumentative strategies in mediationdiscourse will allow for the development of a dialogue protocol that can be used to develop operational models which can be embodied in software to help make the mediation process easier and more effective

Wet Granular Materials

Most studies on granular physics have focused on dry granular media, with no liquids between the grains. However, in geology and many real world applications (e.g., food processing, pharmaceuticals, ceramics, civil engineering, constructions, and many industrial applications), liquid is present between the grains. This produces inter-grain cohesion and drastically modifies the mechanical properties of the granular media (e.g., the surface angle can be larger than 90 degrees). Here we present a review of the mechanical properties of wet granular media, with particular emphasis on the effect of cohesion. We also list several open problems that might motivate future studies in this exciting but mostly unexplored field.Comment: review article, accepted for publication in Advances in Physics; tex-style change

Autonomous quantum machines and the finite sized Quasi-Ideal clock

Processes such as quantum computation, or the evolution of quantum cellular automata are typically described by a unitary operation implemented by an external observer. In particular, an interaction is generally turned on for a precise amount of time, using a classical clock. A fully quantum mechanical description of such a device would include a quantum description of the clock whose state is generally disturbed because of the back-reaction on it. Such a description is needed if we wish to consider finite sized autonomous quantum machines requiring no external control. The extent of the back-reaction has implications on how small the device can be, on the length of time the device can run, and is required if we want to understand what a fully quantum mechanical treatment of an observer would look like. Here, we consider the implementation of a unitary by a finite sized device which we call the "Quasi-Ideal clock", and show that the back-reaction on it can be made exponentially small in the device's dimension with only a linear increase in energy. As a result, an autonomous quantum machine need only be of modest size and or energy. We are also able to solve a long-standing open problem by using a finite sized quantum clock to approximate the continuous evolution of an Idealised clock. The result has implications on the equivalence of different paradigms of quantum thermodynamics, some which allow external control and some which only allow autonomous thermal machines.Comment: Main text: 9 + 53 pages. V4: Close to the published version, J. Annales Henri Poincar\'e (2018) [Communicated by David P\'erez-Garc\'ia