SpiNNaker is a massively parallel architecture designed to model large-scale spiking neural networks in (biological) real-time. Its design is based around ad-hoc multi-core System-on-Chips which are interconnected using a two-dimensional toroidal triangular mesh. Neurons are modeled in software

and the Propagation Spy. A new synthetic view is presented: the Christmas Tree, which combines the Search Tree view with statistics on the efficiency of the domain reduction and on the number of the propagation events triggered.

Abstract—SpiNNaker is a hardware-based massively-parallel real-time universal neural network simulator designed to simu-late large-scale spiking neural networks. Spikes are distributed across the system using a multicast packet router. Each packet represents an event (spike) generated by a neuron

The Galactic bulge/disk ratio of 511 keV positron annihilation radiation measured by INTE-GRAL/SPI and the bulge/disk ratio of Galactic supernovae differ significantly. We show, however, that this difference can be understood in the context of a Galactic supernova origin of positrons from decay

In this paper, we propose and addresses the challenge of designing a light-weight high-accuracy indoor/outdoor localization system (Spy-Loc) for off-the-shelf smartphones. In SpyLoc, we want to leverages both the acoustic interface (microphone/speaker) and the Wi-Fi inter-face at the kernel

Abstract—SpiNNaker is a custom-made architecture designed to model large-scale spiking neural nets. One of the most sig-nificant characteristics of neural nets is their extreme commu-nication needs; each neuron propagates its activation to thou-sands of other neurons. This paper shows analytical

In this paper, we propose a technique to compensate the propagation delay and losses in VLSI interconnects by using negative group delay (NGD) active circuits. This study uses the RLC models of interconnect lines currently considered in VLSI circuits. The circuit proposed here is based on a cell

-tee previously reported a classification system for foams alone using ASTM E 906 as the test procedure. Using piloted ignition and an imposed flux of 1.75 Watts/cm2,the foams could be partially classified. When the self-propagating flux values were added to the prior data, a classification system was developed

The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginals over covers that represent clusters of solutions. The SP-y algorithm generalizes SP to work on the maximum

We present kinematics of a sample of 107 DA white dwarfs from the SPY project (ESO SN Ia Progenitor surveY) and discuss kinematic criteria for a distinction of thin disk, thick disk, and halo populations. This is the first homogeneous sample of white dwarfs for which 3D space motions have been