The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematics
Wang, Yingxu, Widrow, Bernard, Hoare, C. A. R., Pedrycz, Witold, Berwick, Robert C., Plataniotis, Konstantinos N., Rudas, Imre J., Lu, Jianhua, Kacprzyk, Janusz
Published in Frontiers in computer science (Lausanne) (19.05.2023)
Published in Frontiers in computer science (Lausanne) (19.05.2023)
Get full text
Journal Article
Balloon or bougie for dilatation of benign esophageal stricture?
Cox, J G, Winter, R K, Maslin, S C, Dakkak, M, Jones, R, Buckton, G K, Hoare, R C, Dyet, J F, Bennett, J R
Published in Digestive diseases and sciences (01.04.1994)
Published in Digestive diseases and sciences (01.04.1994)
Get more information
Journal Article
Graphical models of separation logic
Wehrman, Ian, Hoare, C.A.R., O'Hearn, Peter W.
Published in Information processing letters (16.08.2009)
Published in Information processing letters (16.08.2009)
Get full text
Journal Article
An evaluation of different doses of soluble aspirin and aspirin tablets in postoperative dental pain
Holland, IS, Seymour, RA, Ward‐Booth, RP, Ord, RA, Lim, KL, Hoare, RC
Published in British journal of clinical pharmacology (01.10.1988)
Published in British journal of clinical pharmacology (01.10.1988)
Get full text
Journal Article
The verified software repository : a step towards the verifying compiler
BICARREGUI, J. C, HOARE, C. A. R, WOODCOCK, J. C. P
Published in Formal aspects of computing (01.06.2006)
Published in Formal aspects of computing (01.06.2006)
Get full text
Journal Article
Balloon or bougie for dilatation of benign oesophageal stricture? An interim report of a randomised controlled trial
Cox, J G, Winter, R K, Maslin, S C, Jones, R, Buckton, G K, Hoare, R C, Sutton, D R, Bennett, J R
Published in Gut (01.12.1988)
Published in Gut (01.12.1988)
Get full text
Journal Article