Takip et
Susan Stepney
Susan Stepney
Professor Emerita, Computer Science, University of York
york.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Numerical fits to important rates in high temperature astrophysical plasmas
S Stepney, PW Guilbert
Monthly Notices of the Royal Astronomical Society 204 (4), 1269-1277, 1983
2351983
The design of S-boxes by simulated annealing
JA Clark, JL Jacob, S Stepney
New Generation Computing 23, 219-231, 2005
2182005
Mechanical computing
H Yasuda, PR Buskohl, A Gillman, TD Murphey, S Stepney, RA Vaia, ...
Nature 598 (7879), 39-48, 2021
2172021
Object orientation in Z
S Stepney, R Barden, D Cooper
Springer-Verlag, 1992
209*1992
An electronic purse: Specification, refinement and proof
S Stepney, D Cooper, J Woodcock
Oxford University, 2000
2002000
Searching for highly entangled multi-qubit states
IDK Brown, S Stepney, A Sudbery, SL Braunstein
Journal of Physics A: Mathematical and General 38 (5), 1119, 2005
1862005
When does a physical system compute?
D Horsman, S Stepney, RC Wagner, V Kendon
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2014
1752014
Z in Practice
R Barden, S Stepney, D Cooper
Prentice-Hall, Inc., 1995
1651995
Conceptual frameworks for artificial immune systems
RE Smith, J Timmis, S Stepney, M Neal
International Journal of Unconventional Computing 1 (3), 315-338, 2005
1552005
The neglected pillar of material computation
S Stepney
Physica D: Nonlinear Phenomena 237 (9), 1157-1164, 2008
1312008
Defining and simulating open-ended novelty: requirements, guidelines, and challenges
W Banzhaf, B Baumgaertner, G Beslon, R Doursat, JA Foster, B McMullin, ...
Theory in Biosciences 135, 131-161, 2016
1292016
Evolving Boolean functions satisfying multiple criteria
JA Clark, JL Jacob, S Stepney, S Maitra, W Millan
Progress in Cryptology—INDOCRYPT 2002: Third International Conference on …, 2002
1222002
Two-body relaxation in relativistic thermal plasmas
S Stepney
Monthly Notices of the Royal Astronomical Society 202 (2), 467-481, 1983
1221983
Journeys in non-classical computation I: A grand challenge for computing research
S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, ...
International Journal of Parallel, Emergent and Distributed Systems 20 (1), 5-19, 2005
1192005
Engineering emergence
S Stepney, FAC Polack, HR Turner
11th IEEE International Conference on Engineering of Complex Computer …, 2006
1082006
High integrity compilation: A case study
S Stepney
Prentice Hall PTR, 1993
1081993
Growing music: musical interpretations of L-systems
P Worth, S Stepney
Workshops on Applications of Evolutionary Computation, 545-550, 2005
932005
Towards a conceptual framework for artificial immune systems
S Stepney, RE Smith, J Timmis, AM Tyrrell
International Conference on Artificial Immune Systems, 53-64, 2004
912004
More powerful Z data refinement: pushing the state of the art in industrial refinement
S Stepney, D Cooper, J Woodcock
International Conference of Z Users, 284-307, 1998
891998
Evolving carbon nanotube reservoir computers
M Dale, JF Miller, S Stepney, MA Trefzer
International Conference on Unconventional Computation and Natural …, 2016
832016
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20