Takip et
Dave Lester
Dave Lester
Lecturer, School of Computer Science, University of Manchester, UK
cs.man.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Overview of the SpiNNaker system architecture
SB Furber, DR Lester, LA Plana, JD Garside, E Painkras, S Temple, ...
IEEE transactions on computers 62 (12), 2454-2467, 2012
8322012
SpiNNaker: A 1-W 18-core system-on-chip for massively-parallel neural network simulation
E Painkras, LA Plana, J Garside, S Temple, F Galluppi, C Patterson, ...
IEEE Journal of Solid-State Circuits 48 (8), 1943-1953, 2013
5912013
SpiNNaker: mapping neural networks onto a massively-parallel chip multiprocessor
MM Khan, DR Lester, LA Plana, A Rast, X Jin, E Painkras, SB Furber
2008 IEEE International Joint Conference on Neural Networks (IEEE World …, 2008
4232008
Implementing Functional Languages
Simon L.. Peyton Jones, David R.. Lester
Prentice Hall, 1992
280*1992
Performance comparison of the digital neuromorphic hardware SpiNNaker and the neural network simulation software NEST for a full-scale cortical microcircuit model
SJ Van Albada, AG Rowley, J Senk, M Hopkins, M Schmidt, AB Stokes, ...
Frontiers in neuroscience 12, 291, 2018
1802018
Why do people become police officers: A study of reasons and their predictions of success
D Lester
Journal of Police Science and Administration 11 (2), 170-174, 1983
1711983
sPyNNaker: a software package for running PyNN simulations on SpiNNaker
O Rhodes, PA Bogdan, C Brenninkmeijer, S Davidson, D Fellows, A Gait, ...
Frontiers in neuroscience 12, 816, 2018
1112018
Eventual suicide in interrupted and uninterrupted attempters: a challenge to the cry‐for‐help hypothesis
RA Steer, AT Beck, B Garrison, D Lester
Suicide and Life‐Threatening Behavior 18 (2), 119-128, 1988
811988
Verified real number calculations: A library for interval arithmetic
M Daumas, D Lester, C Munoz
IEEE Transactions on Computers 58 (2), 226-237, 2008
742008
Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations
M Hopkins, M Mikaitis, DR Lester, S Furber
Philosophical Transactions of the Royal Society A 378 (2166), 20190052, 2020
702020
A modular fully‐lazy lambda lifter in Haskell
SLP Jones, D Lester
Software: Practice and Experience 21 (5), 479-506, 1991
701991
The HDG-machine: a highly distributed graph-reducer for a transputer network
H Kingdon, DR Lester, GL Burn
The computer journal 34 (4), 290-300, 1991
661991
Experience of parental loss and later suicide: data from published biographies
D Lester
Acta Psychiatrica Scandinavica 79 (5), 450-452, 1989
641989
Officer attitudes toward police use of force
D Lester, W Geller, H Toch
Police violence: Understanding and controlling police abuse of force, 180-190, 1996
531996
Code generation in computational neuroscience: a review of tools and techniques
I Blundell, R Brette, TA Cleland, TG Close, D Coca, AP Davison, ...
Frontiers in neuroinformatics 12, 68, 2018
512018
A fixed point exponential function accelerator for a neuromorphic many-core system
J Partzsch, S Höppner, M Eberlein, R Schüffny, C Mayr, DR Lester, ...
2017 IEEE International Symposium on Circuits and Systems (ISCAS), 1-4, 2017
502017
SpiNNTools: the execution engine for the SpiNNaker platform
AGD Rowley, C Brenninkmeijer, S Davidson, D Fellows, A Gait, DR Lester, ...
Frontiers in neuroscience 13, 231, 2019
492019
Functional pearl: Enumerating the rationals
J Gibbons, D Lester, R Bird
Journal of Functional Programming 16 (3), 281-291, 2006
472006
A survey of exact arithmetic implementations
P Gowland, D Lester
Computability and Complexity in Analysis, 30-47, 2001
462001
Victim-offender relationships and severity of victim injury
MS Heller, SM Ehrlich, D Lester
The Journal of social psychology 120 (2), 229-234, 1983
441983
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20