Using Stochastic Spiking Neural Networks on SpiNNaker to Solve Constraint Satisfaction Problems

Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA

(2017) Andrew Currin et al.   Journal of the Royal Society Interface

Brain-inspired computing

(2016) Steve B. Furber   IET Computers and Digital Techniques

Large-scale neuromorphic computing systems

(2016) Steve Furber   Journal of Neural Engineering

Solving Constraint Satisfaction Problems with Networks of Spiking Neurons

(2016) Zeno Jonke et al.   Frontiers in Neuroscience

Rhythmic Inhibition Allows Neural Networks to Search for Maximally Consistent States

(2015) Hesham Mostafa et al.   NEURAL COMPUTATION

Classic Nintendo games are (computationally) hard

(2015) Greg Aloupis et al.   THEORETICAL COMPUTER SCIENCE

An event-based architecture for solving constraint satisfaction problems

(2015) Hesham Mostafa et al.   Nature Communications

Human and Machine Learning in Non-Markovian Decision Making

(2015) Aaron Michael Clarke et al.   PLoS One

Neurogrid: A Mixed-Analog-Digital Multichip System for Large-Scale Neural Simulations

(2014) Ben Varkey Benjamin et al.   PROCEEDINGS OF THE IEEE

The SpiNNaker Project

(2014) Steve B. Furber et al.   PROCEEDINGS OF THE IEEE

A million spiking-neuron integrated circuit with a scalable communication network and interface

(2014) P. A. Merolla et al.   SCIENCE

SpiNNaker: A 1-W 18-Core System-on-Chip for Massively-Parallel Neural Network Simulation

(2013) Eustace Painkras et al.   IEEE JOURNAL OF SOLID-STATE CIRCUITS

Stochastic Computations in Cortical Microcircuit Models

(2013) Stefan Habenschuss et al.   PLoS Computational Biology

To build a brain

(2012) Steve Furber   IEEE SPECTRUM

Overview of the SpiNNaker System Architecture

(2012) Steve B. Furber et al.   IEEE TRANSACTIONS ON COMPUTERS

Software transactional memories for Scala

(2012) Daniel Goodman et al.   JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

The Chaos Within Sudoku

(2012) Mária Ercsey-Ravasz et al.   Scientific Reports

Quantum annealing of the graph coloring problem

(2011) Olawale Titiloye et al.   Discrete Optimization

A Novel Programmable Parallel CRC Circuit

(2010) Martin Grymel et al.   IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS

The status of the P versus NP problem

(2009) Lance Fortnow   COMMUNICATIONS OF THE ACM

A memetic algorithm for graph coloring

(2009) Zhipeng Lü et al.   EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Variable space search for graph coloring

(2008) Alain Hertz et al.   DISCRETE APPLIED MATHEMATICS

The Impact of Neuroscience on Philosophy

(2008) Patricia Smith Churchland   NEURON

A graph coloring heuristic using partial solutions and a reactive tabu scheme

(2006) Ivo Blöchliger et al.   COMPUTERS & OPERATIONS RESEARCH