Search Results - "Stepney, S"

Exploring physical and digital architectures in magnetic nanoring array reservoir computers by Venkat, G, Vidamour, I T, Swindells, C, Fry, P W, Rosamond, M C, Foerster, M, Niño, M A, Griffin, D, Stepney, S, Allwood, D A, Hayward, T J

“…Abstract Physical reservoir computing (RC) is a machine learning technique that is ideal for processing of time dependent data series. It is also uniquely…”
Get full text

Ternary graph as a questionnaire: a new approach to assessment of quality of life? by Brown, R, Tomasello, L, Mitchell, D.A, Sebald, A, Stepney, S

“…Abstract This study was prompted by awareness of the importance of research into quality of life (QoL) for patients with diseases of the head and neck, the…”
Get full text

Numerical fits to important rates in high temperature astrophysical plasmas by Stepney, Susan, Guilbert, P. W.

“…We give simple but accurate numerical fits to various two-body rates in relativistic thermal plasmas, in the temperature range $kT_\text e \sim 50\enspace…”
Get full text

Two-body relaxation in relativistic thermal plasmas by Stepney, S.

“…An exact expression for the average energy exchange in a relativistic two-body collision between isotropic particle distributions is calculated. This is used…”
Get full text

Engineering and theoretical underpinnings of retrenchment by Banach, R., Poppleton, M., Jeske, C., Stepney, S.

“…Refinement is reviewed, highlighting in particular the distinction between its use as a specification constructor at a high level, and its use as an…”
Get full text

Incremental development of a high integrity compiler: experience from an industrial development by Stepney, S.

“…We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to ASP, the target language for a…”
Get full text

East-West paths to unconventional computing by Adamatzky, Andrew, Akl, Selim, Burgin, Mark, Calude, Cristian S., Costa, José Félix, Dehshibi, Mohammad Mahdi, Gunji, Yukio-Pegio, Konkoli, Zoran, MacLennan, Bruce, Marchal, Bruno, Margenstern, Maurice, Martínez, Genaro J., Mayne, Richard, Morita, Kenichi, Schumann, Andrew, Sergeyev, Yaroslav D., Sirakoulis, Georgios Ch, Stepney, Susan, Svozil, Karl, Zenil, Hector

“…Unconventional computing is about breaking boundaries in thinking, acting and computing. Typical topics of this non-typical field include, but are not limited…”
Get full text

Pair production, Comptonization and dynamics in astrophysical plasmas by Guilbert, P. W., Stepney, Susan

“…Electron-positron pair production is an important cooling mechanism for plasmas at mildly relativistic temperatures. A thorough understanding of the process is…”
Get full text

The design of S-boxes by simulated annealing by Clark, John A., Jacob, Jeremy L., Stepney, Susan

Get full text

Challenging formal specifications by mutation: a CSP security example by Srivatanakul, T., Clark, J.A., Stepney, S., Polack, F.

“…When formal modelling is done we must validate both the model and the assumptions. Formal techniques tend to concentrate on the former. We examine how fault…”
Get full text

The design of s-boxes by simulated annealing by Clark, J.A., Jacob, J.L., Stepney, S.

“…Substitution boxes are important components in many modern day block and stream ciphers. Their study has attracted a great deal of attention over many years…”
Get full text

Making the most of two heuristics: breaking transposition ciphers with ants by Russell, M.D., Clark, J.A., Stepney, S.

“…Multiple anagramming is a general method for the cryptanalysis of transposition ciphers, and has a graph theoretic representation. Inspired by a partially…”
Get full text

Grammatical Evolution of L-systems by Beaumont, D., Stepney, S.

“…L-systems are parallel generative grammars that can model branching structures. Taking a graphical object and attempting to derive an L-system describing it is…”
Get full text

Searching for cost functions by Clark, J.A., Jacob, J.L., Stepney, S.

“…Boolean function design is at the heart of cryptography, and is the subject of a great deal of theoretical research. We have use a simulated annealing approach…”
Get full text

Representation and structural biases in CGP by Payne, A.J., Stepney, S.

“…An evolutionary algorithm automatically discovers suitable solutions to a problem, which may lie anywhere in a large search space of candidate solutions. In…”
Get full text

Electron-ion coupling in rapidly varying sources by Guilbert, P. W., Fabian, A. C., Stepney, Susan

“…The Thomson depth of sources radiating at the efficiency limit must lie near unity. This allows us to deduce a general condition on the maximum electron…”
Get full text

Healer, dealer, heart stealer: portrayals of the doctor in popular music by Stepney, Rob, writer, freelance medical, Stepney, Nick Surawy

“…Doctors are often subjects in songs. Rob Stepney and Nick Surawy Stepney look at how they are portrayed…”
Get full text

Gene regulation in a particle metabolome by Hickinbotham, S., Clark, E., Stepney, S., Clarke, T., Young, P.

“…The bacterial genome is well understood by biologists. Although its efficiency and adaptability should make it a good model for evolutionary algorithms, the…”
Get full text

NEW HORIZONS IN FORMAL METHODS by Stepney, S.

Get full text

Fusing Natural Computational Paradigms for Cryptanalysis. Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range by Clark, J.A., Stepney, S.

“…Recent years have seen the application of evolutionary and other nature-inspired search approaches to achieve human-competitive results in cryptography and…”
Get full text