Segregation of cortical head direction cell assemblies on alternating theta cycles

High-level cortical systems for spatial navigation, including entorhinal grid cells, critically depend on input from the head direction system. We examined spiking rhythms and modes of synchrony between neurons participating in head direction networks for evidence of internal processing, independent of direct sensory drive, which may be important for grid cell function. We found that head direction networks of rats were segregated into at least two populations of neurons firing on alternate theta cycles (theta cycle skipping) with fixed synchronous or anti-synchronous relationships. Pairs of anti-synchronous theta cycle skipping neurons exhibited larger differences in head direction tuning, with a minimum difference of 40 degrees of head direction. Septal inactivation preserved the head direction signal, but eliminated theta cycle skipping of head direction cells and grid cell spatial periodicity. We propose that internal mechanisms underlying cycle skipping in head direction networks may be critical for downstream spatial computation by grid cells.We kindly thank S. Gillet, J. Hinman, E. Newman and L. Ewell for their invaluable consultations and comments on previous versions of this manuscript, as well as M. Connerney, S. Eriksson, C. Libby and T. Ware for technical assistance and behavioral training. This work was supported by grants from the National Institute of Mental Health (R01 MH60013 and MH61492) and the Office of Naval Research Multidisciplinary University Research Initiative (N00014-10-1-0936). (R01 MH60013 - National Institute of Mental Health; MH61492 - National Institute of Mental Health; N00014-10-1-0936 - Office of Naval Research Multidisciplinary University Research Initiative)Accepted manuscrip

A second-order class-D audio amplifier

Class-D audio amplifiers are particularly efficient, and this efficiency has led to their ubiquity in a wide range of modern electronic appliances. Their output takes the form of a high-frequency square wave whose duty cycle (ratio of on-time to off-time) is modulated at low frequency according to the audio signal. A mathematical model is developed here for a second-order class-D amplifier design (i.e., containing one second-order integrator) with negative feedback. We derive exact expressions for the dominant distortion terms, corresponding to a general audio input signal, and confirm these predictions with simulations. We also show how the observed phenomenon of “pulse skipping” arises from an instability of the analytical solution upon which the distortion calculations are based, and we provide predictions of the circumstances under which pulse skipping will take place, based on a stability analysis. These predictions are confirmed by simulations

Effects of different types of ropes on jump cycle while skipping

This study aimed to determine the effects of different types of jump ropes on jump cycles while skipping. Thirteen youth volunteers performed the basic jump and the alternate-foot jump using two ropes differing in diameter and weight. Two-way ANOVA revealed that the main effects of skipping patterns and type of rope were significant in cycle time, contact time, and takeoff time, respectively (P < 0.05 for all variables). In the coefficient of variations (CVs) for each measured variable, the main effect was significant in skipping patterns (P < 0.05 for all variables) but not in the type of rope (P > 0.05 for all variables). However, a clear difference was found between the two ropes for correlation coefficient of CV in cycle times between skipping patterns. These results suggested that different types of ropes affect jump cycles while skipping

Adaptive waveform inversion: theory

Conventional full-waveform seismic inversion attempts to find a model of the subsurface that is able to predict observed seismic waveforms exactly; it proceeds by minimizing the difference between the observed and predicted data directly, iterating in a series of linearized steps from an assumed starting model. If this starting model is too far removed from the true model, then this approach leads to a spurious model in which the predicted data are cycle skipped with respect to the observed data. Adaptive waveform inversion (AWI) provides a new form of full-waveform inversion (FWI) that appears to be immune to the problems otherwise generated by cycle skipping. In this method, least-squares convolutional filters are designed that transform the predicted data into the observed data. The inversion problem is formulated such that the subsurface model is iteratively updated to force these Wiener filters toward zero-lag delta functions. As that is achieved, the predicted data evolve toward the observed data and the assumed model evolves toward the true model. This new method is able to invert synthetic data successfully, beginning from starting models and under conditions for which conventional FWI fails entirely. AWI has a similar computational cost to conventional FWI per iteration, and it appears to converge at a similar rate. The principal advantages of this new method are that it allows waveform inversion to begin from less-accurate starting models, does not require the presence of low frequencies in the field data, and appears to provide a better balance between the influence of refracted and reflected arrivals upon the final-velocity model. The AWI is also able to invert successfully when the assumed source wavelet is severely in error

Energy-efficient acceleration of MPEG-4 compression tools

We propose novel hardware accelerator architectures for the most computationally demanding algorithms of the MPEG-4 video compression standard-motion estimation, binary motion estimation (for shape coding), and the forward/inverse discrete cosine transforms (incorporating shape adaptive modes). These accelerators have been designed using general low-energy design philosophies at the algorithmic/architectural abstraction levels. The themes of these philosophies are avoiding waste and trading area/performance for power and energy gains. Each core has been synthesised targeting TSMC 0.09 μm TCBN90LP technology, and the experimental results presented in this paper show that the proposed cores improve upon the prior art

Proving Skipping Refinement with ACL2s

We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level system. Next, one shows that the behaviors of the implementation system are allowed by the specification system. Skipping refinement allows us to reason about implementation systems that can "skip" specification states due to optimizations that allow the implementation system to take several specification steps at once. Skipping refinement also allows implementation systems to, i.e., to take several steps before completing a specification step. We show how ACL2s can be used to prove skipping refinement theorems by modeling and proving the correctness of three systems: a JVM-inspired stack machine, a simple memory controller, and a scalar to vector compiler transformation.Comment: In Proceedings ACL2 2015, arXiv:1509.05526. arXiv admin note: text overlap with arXiv:1502.0294

An experimental evaluation of metallic diaphragms for positive fuel expulsion in the atmosphere explorer hydrazine propulsion subsystem

Four Arde conospheroid metallic diaphragms were tested to evaluate their capability for use in the orbit adjust propulsion subsystem (OAPS) of the Explorer spacecraft. The diaphragms will be used for positive propellant expulsion and spacecraft center of mass control. A leak-free cycle life capability of nine reversals was demonstrated. The diaphragms rolled smoothly from ring to ring in a predictable manner on the first reversal. Varying amounts of diaphragm cocking and ring skipping were observed on subsequent reversals. The diaphragm pressure differential did not exceed 7 N/sq cm during any reversal. Cycle life capability, reversal mode, and pressure differential were not affected by sudden reversals, environmental tests, or 18,000 partial reversals. An expulsion efficiency of approximately 97 percent was demonstrated. The results of these tests show that metallic diaphragms can be used as an effective means of positive fuel expulsion; however, to achieve spacecraft center of mass control, the diaphragm must not be reversed prior to flight

Statistical-Mechanical Measure of Stochastic Spiking Coherence in A Population of Inhibitory Subthreshold Neurons

By varying the noise intensity, we study stochastic spiking coherence (i.e., collective coherence between noise-induced neural spikings) in an inhibitory population of subthreshold neurons (which cannot fire spontaneously without noise). This stochastic spiking coherence may be well visualized in the raster plot of neural spikes. For a coherent case, partially-occupied "stripes" (composed of spikes and indicating collective coherence) are formed in the raster plot. This partial occupation occurs due to "stochastic spike skipping" which is well shown in the multi-peaked interspike interval histogram. The main purpose of our work is to quantitatively measure the degree of stochastic spiking coherence seen in the raster plot. We introduce a new spike-based coherence measure $M_s$ by considering the occupation pattern and the pacing pattern of spikes in the stripes. In particular, the pacing degree between spikes is determined in a statistical-mechanical way by quantifying the average contribution of (microscopic) individual spikes to the (macroscopic) ensemble-averaged global potential. This "statistical-mechanical" measure $M_s$ is in contrast to the conventional measures such as the "thermodynamic" order parameter (which concerns the time-averaged fluctuations of the macroscopic global potential), the "microscopic" correlation-based measure (based on the cross-correlation between the microscopic individual potentials), and the measures of precise spike timing (based on the peri-stimulus time histogram). In terms of $M_s$, we quantitatively characterize the stochastic spiking coherence, and find that $M_s$ reflects the degree of collective spiking coherence seen in the raster plot very well. Hence, the "statistical-mechanical" spike-based measure $M_s$ may be used usefully to quantify the degree of stochastic spiking coherence in a statistical-mechanical way.Comment: 16 pages, 5 figures, to appear in the J. Comput. Neurosc

Outrunning the Gender Gap – Boys and Girls Compete Equally

Recent studies find that women are less competitive than men. This gender difference in competitiveness has been suggested as a possible explanation for why men occupy the majority of top positions in many sectors. In this study we explore competitiveness in children. A related field experiment on Israeli children shows that only boys react to competition by running faster when competing in a race and that only girls react to the gender of their opponent. Here we test if these results carry over to 7-10 year old Swedish children. Sweden is typically ranked among the most gender equal countries in the world, thus culture could explain a potential difference in our results to those on Israeli children. We also introduce two more “female” sports: skipping rope and dancing, in order to study if reaction to competition is task dependent. Our results extend previous findings in two ways. First, we find no gender difference in reaction to competition in running. In our study, both boys and girls compete. We also find no gender differences in reaction to competition in skipping rope and dancing. Second, we find no clear effect on competitiveness of the opponent’s gender, neither on girls or boys, in any of the tasks. Our findings suggest that the existence of a gender gap in competitiveness among children may be partly cultural, and that the gap found in previous studies on adults may be caused by factors that emerge later in life. It remains to be explored whether these later factors are biological or cultural.competitiveness; gender differences; field experiment