1,643 research outputs found

    A Kuramoto Model Approach to Predicting Chaotic Systems with Echo State Networks

    Get PDF
    An Echo State Network (ESN) with an activation function based on the Kuramoto model (Kuramoto ESN) is implemented, which can successfully predict the logistic map for a non-trivial number of time steps. The reservoir in the prediction stage exhibits binary dynamics when a good prediction is made, but the oscillators in the reservoir display a larger variability in states as the ESN’s prediction becomes worse. Analytical approaches to quantify how the Kuramoto ESN’s dynamics relate to its prediction are explored, as well as how the dynamics of the Kuramoto ESN relate to another widely studied physical model, the Ising model

    Automatic Abstraction for Congruences

    Get PDF
    One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation c⃗⋅x⃗=dmod  m\vec{c} \cdot \vec{x} = d \mod m, (unknown variable m)isapoweroftwo, is a power of two, \vec{c}isavectorofintegercoefficients,and is a vector of integer coefficients, and \vec{x}$ is a vector of propositional variables (bits). Because of the low-level nature of these invariants and the large number of bits that are involved, it is important that the transfer functions can be derived automatically. We address this problem, showing how an analysis for bit-level congruence relationships can be decoupled into two parts: (1) a SAT-based abstraction (compilation) step which can be automated, and (2) an interpretation step that requires no SAT-solving. We exploit triangular matrix forms to derive transfer functions efficiently, even in the presence of large numbers of bits. Finally we propose program transformations that improve the analysis results

    Hall viscosity, orbital spin, and geometry: paired superfluids and quantum Hall systems

    Full text link
    The Hall viscosity, a non-dissipative transport coefficient analogous to Hall conductivity, is considered for quantum fluids in gapped or topological phases. The relation to mean orbital spin per particle discovered in previous work by one of us is elucidated with the help of examples, using the geometry of shear transformations and rotations. For non-interacting particles in a magnetic field, there are several ways to derive the result (even at non-zero temperature), including standard linear response theory. Arguments for the quantization, and the robustness of Hall viscosity to small changes in the Hamiltonian that preserve rotational invariance, are given. Numerical calculations of adiabatic transport are performed to check the predictions for quantum Hall systems, with excellent agreement for trial states. The coefficient of k^4 in the static structure factor is also considered, and shown to be exactly related to the orbital spin and robust to perturbations in rotation invariant systems also.Comment: v2: Now 30 pages, 10 figures; new calculation using disk geometry; some other improvements; no change in result

    The dual of Janus -:- an interface CFT

    Full text link
    We propose and study a specific gauge theory dual of the smooth, non-supersymmetric (and apparently stable) Janus solution of Type IIB supergravity found in hep-th/0304129. The dual field theory is N=4 SYM theory on two half-spaces separated by a planar interface with different coupling constants in each half-space. We assume that the position dependent coupling multiplies the operator L' which is the fourth descendent of the primary Tr(X^I X^J) and closely related to the N=4 Lagrangian density. At the classical level supersymmetry is broken explicitly, but SO(3,2) conformal symmetry is preserved. We use conformal perturbation theory to study various correlation functions to first and second order in the discontinuity of g^2_{YM}, confirming quantum level conformal symmetry. Certain quantities such as the vacuum expectation value are protected to all orders in g^2_{YM}N, and we find perfect agreement between the weak coupling value in the gauge theory and the strong coupling gravity result. SO(3,2) symmetry requires vanishing vacuum energy, =0, and this is confirmed in first order in the discontinuity.Comment: 24 pages, 1 figure; references adde

    A Rapid Assessment Function to Estimate Common Raven Population Densities: Implications for Targeted Management

    Get PDF
    Common raven (Corvus corax; raven) populations have increased over the past 5 decades within the western United States. Raven population increases have been largely attributed to growing resource subsidies from expansion of human enterprise. Concomitantly, managers are becoming increasingly concerned about elevated adverse effects on multiple sensitive prey species, damage to livestock and agriculture, and human safety. Managers could benefit from a rapid but reliable method to estimate raven densities across spatiotemporal scales to monitor raven populations more efficiently and inform targeted and adaptive management frameworks. However, obtaining estimates of raven density is data- and resource-intensive, which renders monitoring within an adaptive framework unrealistic. To address this need, we developed a rapid survey protocol for resource managers to estimate site-level density based on the average number of ravens per survey. Specifically, we first estimated raven densities at numerous field sites with robust distance sampling procedures and then used regression to investigate the relationship between those density estimates and the number of ravens per survey, which revealed a strong correlation (R2 = 0.86). For management application, we provide access to R function software through a web-based interface to estimate density using number of ravens per survey, which we refer to as a Rapid Assessment Function (RAF). Then, using a simulation analysis of data from sites with abundant surveys and the RAF, we estimated raven density based on different numbers of surveys to help inform how many surveys are needed to achieve reliable estimates within this rapid assessment. While more robust procedures of distance sampling are the preferred methods for estimating raven densities from count surveys, the RAF tool presented herein provides a reliable approximation for informing management decisions when managers are faced with resource and small sample size constraints

    Re-presenting para-sport bodies: Disability and the cultural legacy of the Paralympic Games

    Get PDF
    This report provides data and recommendations drawn from the rst funded academic project to examine the implications of the rapid commercialisation of the Paralympic Games and the increasing visibility of disa- bility in the media; in uenced by the success of Channel 4’s entry as the United Kingdom’s o cial Paralympic broadcaster in 2012. Through an integrated methodological approach, we provide a joined-up evidence base that captures the intentions and practices of Channel 4’s (C4) broadcasting of the Rio 2016 Paralympics; the in uence of this on the content of Paralympic coverage and mediated forms of disability representation; and the wider impact on public attitudes toward disability. This approach allowed us to examine the important and in uential relationship between Paralympic production practices, progressive social change and cultural legacies

    Replication factory activation can be decoupled from the replication timing program by modulating Cdk levels

    Get PDF
    In the metazoan replication timing program, clusters of replication origins located in different subchromosomal domains fire at different times during S phase. We have used Xenopus laevis egg extracts to drive an accelerated replication timing program in mammalian nuclei. Although replicative stress caused checkpoint-induced slowing of the timing program, inhibition of checkpoint kinases in an unperturbed S phase did not accelerate it. Lowering cyclin-dependent kinase (Cdk) activity slowed both replication rate and progression through the timing program, whereas raising Cdk activity increased them. Surprisingly, modest alteration of Cdk activity changed the amount of DNA synthesized during different stages of the timing program. This was associated with a change in the number of active replication factories, whereas the distribution of origins within active factories remained relatively normal. The ability of Cdks to differentially effect replication initiation, factory activation, and progression through the timing program provides new insights into the way that chromosomal DNA replication is organized during S phase
    • …
    corecore