Computational complexity on register machines

Computational complexity on register machines

Bibliographic Details
Main Author:	Bird, Richard Simpson
Published:	Imperial College London 1974
Subjects:	004
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.644167

Similar Items

Abstract machines for dynamic computation
by: Walton, Christopher D.
Published: (2001)

Pulse-stream binary stochastic hardware for neural computation : the Helmholtz Machine
by: Astaras, Alexander
Published: (2004)

Structure, randomness and complexity in quantum computation
by: Montanaro, Ashley
Published: (2007)

Complexity analysis and semantics for quantum computation
by: Kashefi, Elham
Published: (2003)

A storage system for use with binary digital computing machines
by: Kilburn, T.
Published: (1948)

Anonymity, information, and machine-assisted proof
by: Coble, Aaron Richard
Published: (2010)

An artistic perspective on distributed computer networks : creativity in human-machine systems
by: Gapsevicius, Mindaugas
Published: (2016)

Energy-aware profiling and prediction modelling of virtual machines in cloud computing environments
by: Alzamil, Ibrahim Ali M.
Published: (2017)

A computer aid for management
by: Haynes, Richard John
Published: (1972)

Machine learning methods for discriminating natural targets in seabed imagery
by: Harrison, Richard John Patrick
Published: (2012)

Location modelling and management in ubiquitous computing environments
by: Glassey, Richard
Published: (2009)

Non-numerical computing using an associative processor
by: Donnelly, Richard Kevin
Published: (1977)

The arc and the machine
by: Bassett, Caroline Ann
Published: (2001)

Computer-aided highway design : automatic generation of the vertical alignment
by: Robinson, Richard
Published: (1974)

Coherence in machine translation
by: Sim Smith, Karin M.
Published: (2018)

Computational approaches for the analysis and modelling of filamentous growth and branching of Steptomyces coelicolor
by: Leggett, Richard
Published: (2010)

Computational modelling of hematopoietic stem cell division and regulation dynamics
by: Van der Wath, Richard Carl
Published: (2010)

Algorithmic problems in mobile computing environments
by: Bruce, Richard James
Published: (2003)

Empirical machine translation and its evaluation
by: Giménez Linares, Jesús Ángel
Published: (2008)

Machine learning for financial market prediction
by: Fletcher, T. S. B.
Published: (2012)

Formal verification of machine-code programs
by: Myreen, Magnus Oskar
Published: (2009)

Machine vision for endoscope control and navigation
by: Khan, Gul Nawaz
Published: (1989)

Human feedback in Statistical Machine Translation
by: Logacheva, Varvara
Published: (2017)

Automating proofs with state machine inference
by: Gransden, Thomas Glenn
Published: (2017)

Proof theory and computer programming : the logical foundations of computing
by: de Queiroz, Ruy Jose Guerra Barretto
Published: (1990)

Logical design of sequence controllers for machine operations
by: Rahman, M. L.
Published: (1976)

Dynamical models and machine learning for supervised segmentation
by: Shepherd, T.
Published: (2009)

Perceptual compensation for reverberation in human listeners and machines
by: Beeston, Amy V.
Published: (2015)

Investigating machine learning methods in recommender systems
by: Michailidis, Marios
Published: (2017)

Machine learning for high-level social behaviour
by: Bilakhia, Sanjay
Published: (2016)

Modeling and distributed computing of snow transport and delivery on meso-scale in a complex orography
by: Ward Koeck, Alan
Published: (2015)

Investigations of the effects of different computer input methods on man-computer interaction
by: Innocent, Peter R.
Published: (1977)

Design of Computing Mechanisms
by: Derrett, N.
Published: (1974)

Efficient and effective sharing of memory in virtual machine monitors
by: Miłoś, Grzegorz
Published: (2009)

A cluster storage system for modern virtual machines
by: Santry, Douglas Joseph
Published: (2008)

Machine learning techniques for automated analysis of facial expressions
by: Rudovic, Ognjen
Published: (2013)

Analysis of MRI for knee osteoarthritis using machine learning
by: Donoghue, Claire
Published: (2013)

Systematic trading : calibration advances through machine learning
by: Alvarez Teleña, S.
Published: (2015)

The affordances of virtual world technologies to empower the visualisation of complex theory concepts in computer science : enhancing success and experience in higher education
by: Attallah, B.
Published: (2015)

The analogue recursive computer
by: Lamden, R. J.
Published: (1972)

Cannot write session to /tmp/vufind_sessions/sess_90hf6j76s8hjahftaedm8q1a3o