scispace - formally typeset
S

Susan Stepney

Researcher at University of York

Publications -  297
Citations -  4908

Susan Stepney is an academic researcher from University of York. The author has contributed to research in topics: Formal specification & Reservoir computing. The author has an hindex of 34, co-authored 283 publications receiving 4559 citations. Previous affiliations of Susan Stepney include University of Cambridge & Universities UK.

Papers
More filters
Journal ArticleDOI

Searching for highly entangled multi-qubit states

TL;DR: In this paper, the authors present a simple numerical optimization procedure to search for highly entangled states of 2, 3, 4 and 5 qubits, which can be applied to quantum systems of an arbitrary number of qubits.
Journal ArticleDOI

Numerical fits to important rates in high temperature astrophysical plasmas

TL;DR: In this paper, the authors give simple but accurate numerical fits to various two-body rates in relativistic thermal plasmas, in the temperature range kTe ~ 50 keV −1MeV.

An Electronic Purse: Specification, Refinement and Proof

TL;DR: The abstract model is small, simple, and easy to understand, and the key operation 2 CHAPTER
Journal ArticleDOI

When does a physical system compute

TL;DR: This paper introduces a formal framework that can be used to determine whether a physical system is performing a computation, and introduces the notion of a ‘computational entity’, and its critical role in defining when computing is taking place in physical systems.
Journal ArticleDOI

The design of S-boxes by simulated annealing

TL;DR: In this paper, a cost function that has found excellent single-output Boolean functions can be generalised to provide improved results for small S-boxes, which is a difficult task: several criteria must be traded off.