Network-wide Configuration Synthesis

Computer networks are hard to manage. Given a set of high-level requirements (e.g., reachability, security), operators have to manually figure out the individual configuration of potentially hundreds of devices running complex distributed protocols so that they, collectively, compute a compatible forwarding state. Not surprisingly, operators often make mistakes which lead to downtimes. To address this problem, we present a novel synthesis approach that automatically computes correct network configurations that comply with the operator's requirements. We capture the behavior of existing routers along with the distributed protocols they run in stratified Datalog. Our key insight is to reduce the problem of finding correct input configurations to the task of synthesizing inputs for a stratified Datalog program. To solve this synthesis task, we introduce a new algorithm that synthesizes inputs for stratified Datalog programs. This algorithm is applicable beyond the domain of networks. We leverage our synthesis algorithm to construct the first network-wide configuration synthesis system, called SyNET, that support multiple interacting routing protocols (OSPF and BGP) and static routes. We show that our system is practical and can infer correct input configurations, in a reasonable amount time, for networks of realistic size (> 50 routers) that forward packets for multiple traffic classes.Comment: 24 Pages, short version published in CAV 201

Eliciting a predatory response in the eastern corn snake (Pantherophis guttatus) using live and inanimate sensory stimuli: implications for managing invasive populations

North America's Eastern corn snake (Pantherophis guttatus) has been introduced to several islands throughout the Caribbean and Australasia where it poses a significant threat to native wildlife. Invasive snake control programs often involve trapping with live bait, a practice that, as well as being costly and labour intensive, raises welfare and ethical concerns. This study assessed corn snake response to live and inanimate sensory stimuli in an attempt to inform possible future trapping of the species and the development of alternative trap lures. We exposed nine individuals to sensory cues in the form of odour, visual, vibration and combined stimuli and measured the response (rate of tongue-flick [RTF]). RTF was significantly higher in odour and combined cues treatments, and there was no significant difference in RTF between live and inanimate cues during odour treatments. Our findings suggest chemical cues are of primary importance in initiating predation and that an inanimate odour stimulus, absent of simultaneous visual and vibratory cues, is a potential low-cost alternative trap lure for the control of invasive corn snake populations

Risk, Unexpected Uncertainty, and Estimation Uncertainty: Bayesian Learning in Unstable Settings

Recently, evidence has emerged that humans approach learning using Bayesian updating rather than (model-free) reinforcement algorithms in a six-arm restless bandit problem. Here, we investigate what this implies for human appreciation of uncertainty. In our task, a Bayesian learner distinguishes three equally salient levels of uncertainty. First, the Bayesian perceives irreducible uncertainty or risk: even knowing the payoff probabilities of a given arm, the outcome remains uncertain. Second, there is (parameter) estimation uncertainty or ambiguity: payoff probabilities are unknown and need to be estimated. Third, the outcome probabilities of the arms change: the sudden jumps are referred to as unexpected uncertainty. We document how the three levels of uncertainty evolved during the course of our experiment and how it affected the learning rate. We then zoom in on estimation uncertainty, which has been suggested to be a driving force in exploration, in spite of evidence of widespread aversion to ambiguity. Our data corroborate the latter. We discuss neural evidence that foreshadowed the ability of humans to distinguish between the three levels of uncertainty. Finally, we investigate the boundaries of human capacity to implement Bayesian learning. We repeat the experiment with different instructions, reflecting varying levels of structural uncertainty. Under this fourth notion of uncertainty, choices were no better explained by Bayesian updating than by (model-free) reinforcement learning. Exit questionnaires revealed that participants remained unaware of the presence of unexpected uncertainty and failed to acquire the right model with which to implement Bayesian updating

The Mechanisms of Codon Reassignments in Mitochondrial Genetic Codes

Many cases of non-standard genetic codes are known in mitochondrial genomes. We carry out analysis of phylogeny and codon usage of organisms for which the complete mitochondrial genome is available, and we determine the most likely mechanism for codon reassignment in each case. Reassignment events can be classified according to the gain-loss framework. The gain represents the appearance of a new tRNA for the reassigned codon or the change of an existing tRNA such that it gains the ability to pair with the codon. The loss represents the deletion of a tRNA or the change in a tRNA so that it no longer translates the codon. One possible mechanism is Codon Disappearance, where the codon disappears from the genome prior to the gain and loss events. In the alternative mechanisms the codon does not disappear. In the Unassigned Codon mechanism, the loss occurs first, whereas in the Ambiguous Intermediate mechanism, the gain occurs first. Codon usage analysis gives clear evidence of cases where the codon disappeared at the point of the reassignment and also cases where it did not disappear. Codon disappearance is the probable explanation for stop to sense reassignments and a small number of reassignments of sense codons. However, the majority of sense to sense reassignments cannot be explained by codon disappearance. In the latter cases, by analysis of the presence or absence of tRNAs in the genome and of the changes in tRNA sequences, it is sometimes possible to distinguish between the Unassigned Codon and Ambiguous Intermediate mechanisms. We emphasize that not all reassignments follow the same scenario and that it is necessary to consider the details of each case carefully.Comment: 53 pages (45 pages, including 4 figures + 8 pages of supplementary information). To appear in J.Mol.Evo

A Common Variant Associated with Dyslexia Reduces Expression of the KIAA0319 Gene

Numerous genetic association studies have implicated the KIAA0319 gene on human chromosome 6p22 in dyslexia susceptibility. The causative variant(s) remains unknown but may modulate gene expression, given that (1) a dyslexia-associated haplotype has been implicated in the reduced expression of KIAA0319, and (2) the strongest association has been found for the region spanning exon 1 of KIAA0319. Here, we test the hypothesis that variant(s) responsible for reduced KIAA0319 expression resides on the risk haplotype close to the gene's transcription start site. We identified seven single-nucleotide polymorphisms on the risk haplotype immediately upstream of KIAA0319 and determined that three of these are strongly associated with multiple reading-related traits. Using luciferase-expressing constructs containing the KIAA0319 upstream region, we characterized the minimal promoter and additional putative transcriptional regulator regions. This revealed that the minor allele of rs9461045, which shows the strongest association with dyslexia in our sample (max p-value = 0.0001), confers reduced luciferase expression in both neuronal and non-neuronal cell lines. Additionally, we found that the presence of this rs9461045 dyslexia-associated allele creates a nuclear protein-binding site, likely for the transcriptional silencer OCT-1. Knocking down OCT-1 expression in the neuronal cell line SHSY5Y using an siRNA restores KIAA0319 expression from the risk haplotype to nearly that seen from the non-risk haplotype. Our study thus pinpoints a common variant as altering the function of a dyslexia candidate gene and provides an illustrative example of the strategic approach needed to dissect the molecular basis of complex genetic traits

Emplacement of inflated Pāhoehoe flows in the Naude’s Nek Pass, Lesotho remnant, Karoo continental flood basalt province: use of flow-lobe tumuli in understanding flood basalt emplacement

Physical volcanological features are presented for a 710-m-thick section, of the Naude’s Nek Pass, within the lower part of the Lesotho remnant of the Karoo Large Igneous Province. The section consists of inflated pāhoehoe lava with thin, impersistent sedimentary interbeds towards the base. There are seven discreet packages of compound and hummocky pāhoehoe lobes containing flow-lobe tumuli, making up approximately 50% of the section. Approximately 45% of the sequence consists of 14 sheet lobes, between 10 and 52-m-thick. The majority of the sheet lobes are in two packages indicating prolonged periods of lava supply capable of producing thick sheet lobes. The other sheet lobes are as individual lobes or pairs, within compound flows, suggesting brief increases in lava supply rate. We suggest, contrary to current belief, that there is no evidence that compound flows are proximal to source and sheet lobes (simple flows) are distal to source and we propose that the presence of flow-lobe tumuli in compound flows could be an indicator that a flow is distal to source. We use detailed, previously published, studies of the Thakurvadi Formation (Deccan Traps) as an example. We show that the length of a lobe and therefore the sections that are ‘medial or distal to source’ are specific to each individual lobe and are dependent on the lava supply of each eruptive event, and as such flow lobe tumuli can be used as an indicator of relative distance from source

A Condensation-Ordering Mechanism in Nanoparticle-Catalyzed Peptide Aggregation

Nanoparticles introduced in living cells are capable of strongly promoting the aggregation of peptides and proteins. We use here molecular dynamics simulations to characterise in detail the process by which nanoparticle surfaces catalyse the self- assembly of peptides into fibrillar structures. The simulation of a system of hundreds of peptides over the millisecond timescale enables us to show that the mechanism of aggregation involves a first phase in which small structurally disordered oligomers assemble onto the nanoparticle and a second phase in which they evolve into highly ordered beta-sheets as their size increases

A randomised controlled trial and cost-effectiveness evaluation of "booster" interventions to sustain increases in physical activity in middle-aged adults in deprived urban neighbourhoods

Background: Systematic reviews have identified a range of brief interventions which increase physical activity in previously sedentary people. There is an absence of evidence about whether follow up beyond three months can maintain long term physical activity. This study assesses whether it is worth providing motivational interviews, three months after giving initial advice, to those who have become more active. Methods/Design: Study candidates (n = 1500) will initially be given an interactive DVD and receive two telephone follow ups at monthly intervals checking on receipt and use of the DVD. Only those that have increased their physical activity after three months (n = 600) will be randomised into the study. These participants will receive either a "mini booster" (n = 200), "full booster" (n = 200) or no booster (n = 200). The "mini booster" consists of two telephone calls one month apart to discuss physical activity and maintenance strategies. The "full booster" consists of a face-to-face meeting with the facilitator at the same intervals. The purpose of these booster sessions is to help the individual maintain their increase in physical activity. Differences in physical activity, quality of life and costs associated with the booster interventions, will be measured three and nine months from randomisation. The research will be conducted in 20 of the most deprived neighbourhoods in Sheffield, which have large, ethnically diverse populations, high levels of economic deprivation, low levels of physical activity, poorer health and shorter life expectancy. Participants will be recruited through general practices and community groups, as well as by postal invitation, to ensure the participation of minority ethnic groups and those with lower levels of literacy. Sheffield City Council and Primary Care Trust fund a range of facilities and activities to promote physical activity and variations in access to these between neighbourhoods will make it possible to examine whether the effectiveness of the intervention is modified by access to community facilities. A one-year integrated feasibility study will confirm that recruitment targets are achievable based on a 10% sample.Discussion: The choice of study population, study interventions, brief intervention preceding the study, and outcome measure are discussed

A closed-loop EKF and multi-failure diagnosis approach for cooperative GNSS positioning

Current cooperative positioning with Global Navigation Satellite System (GNSS) for connected vehicle application mainly uses pseudorange measurements. However the positioning accuracy offered cannot meet the requirements for lane-level positioning, collision avoidance and future automatic driving, which needs real-time positioning accuracy of better than 0.5m. Furthermore, there is an apparent lack of research into the integrity issue for these new applications under emerging driverless vehicle applications. In order to overcome those problems, a new Extended Kalman Filter (EKF) and a multi-failure diagnosis algorithm are developed to process both GNSS pseudorange and carrier phase measurements. We first introduce a new closed-loop EKF with partial ambiguity resolution (PAR) as feedback to address the low accuracy issue. Then a multi-failure diagnosis algorithm is proposed to improve integrity and reliability. The core of this new algorithm includes using Carrier phase based Receiver Autonomous Integrity Monitoring (CRAIM) method for failure detection, and the double extended w-test detectors to identify failure. A cooperative positioning experiment was carried out to validate the proposed method. The results show that the proposed closed-loop EKF can provide highly accurate positioning, and the multi-failure diagnosis method is effective in detecting and identifying failures for both code and carrier phase measurements

Three-dimensional femtosecond laser nanolithography of crystals

Nanostructuring hard optical crystals has so far been exclusively feasible at their surface, as stress induced crack formation and propagation has rendered high precision volume processes ineffective. We show that the inner chemical etching reactivity of a crystal can be enhanced at the nanoscale by more than five orders of magnitude by means of direct laser writing. The process allows to produce cm-scale arbitrary three-dimensional nanostructures with 100 nm feature sizes inside large crystals in absence of brittle fracture. To showcase the unique potential of the technique, we fabricate photonic structures such as sub-wavelength diffraction gratings and nanostructured optical waveguides capable of sustaining sub-wavelength propagating modes inside yttrium aluminum garnet crystals. This technique could enable the transfer of concepts from nanophotonics to the fields of solid state lasers and crystal optics.Comment: Submitted Manuscript and Supplementary Informatio