Items where authors include "Smith, G."

Article

Smith, G., Kershaw, C., Brunetto, V. orcid.org/0000-0003-0942-8815 et al. (1 more author) (2023) ‘To be’ or not ‘to be’: An analysis of copula production and omission in people with non-fluent aphasia. Aphasiology. ISSN 0268-7038

Benson, P.E. orcid.org/0000-0003-0865-962X, Alshawy, E. orcid.org/0000-0003-1485-1765, Fenton, G.D. et al. (5 more authors) (2023) Authors’ response. American Journal of Orthodontics and Dentofacial Orthopedics, 164 (3). pp. 307-308. ISSN 0889-5406

Benson, P.E. orcid.org/0000-0003-0865-962X, Alshawy, E., Fenton, G.D. et al. (5 more authors) (2023) Extraction vs nonextraction of premolars for orthodontic treatment: a scoping review examining the extent, range, and characteristics of the literature. American Journal of Orthodontics and Dentofacial Orthopedics, 164 (3). pp. 368-376. ISSN 0889-5406

Tavabie, O.D., Abeysekera, K.W.M., Brennan, P.N. et al. (291 more authors) (2023) Regional variation in characteristics of patients with decompensated cirrhosis admitted to hospitals in the UK. The Lancet Gastroenterology & Hepatology, 8 (7). pp. 604-606. ISSN 2468-1253

Heinz, J., Walshaw, J., Kwan, J.Y. et al. (18 more authors) (2023) PRESS survey: PREvention of surgical site infection—a global pan-specialty survey of practice protocol. Frontiers in Surgery, 10.

Csomos, K., Ujhazi, B., Blazso, P. et al. (47 more authors) (2022) Partial RAG deficiency in humans induces dysregulated peripheral lymphocyte development and humoral tolerance defect with accumulation of T-bet+ B cells. Nature Immunology, 23 (8). pp. 1256-1272. ISSN 1529-2908

Winter, K., Smith, G. and Derrick, J. (2019) Modelling concurrent objects running on the TSO and ARMv8 memory models. Science of Computer Programming, 184. 102308. ISSN 0167-6423

Prosser, B., Renwick, A., Giovannini, A. et al. (7 more authors) (2017) Citizen participation and changing governance: cases of devolution in England. Policy and Politics, 45 (2). pp. 251-269. ISSN 0305-5736

Snooks, H. A., Anthony, R., Chatters, R. et al. (22 more authors) (2017) Support and Assessment for Fall Emergency Referrals (SAFER) 2: a cluster randomised trial and systematic review of clinical effectiveness and cost-effectiveness of new protocols for emergency ambulance paramedics to assess older people following a fall with referral to community-based care when appropriate. Health Technology Assessment, 21 (13). pp. 1-218. ISSN 1366-5278

Weiß, C., Chiaveri, E., Girod, S. et al. (129 more authors) (2015) The new vertical neutron beam line at the CERN n-TOF facility design and outlook on the performance. Nuclear instruments & methods in physics research section a-Accelerators spectrometers detectors and associated equipment. pp. 90-98. ISSN 0168-9002

Dongol, B., Derrick, J. and Smith, G. (2014) Reasoning Algebraically About Refinement on TSO Architectures. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 8687. pp. 151-168. ISSN 0302-9743

Derrick, J., Smith, G., Groves, L. et al. (1 more author) (2014) Using coarse-grained abstractions to verify linearizability on TSO architectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8855. pp. 1-16. ISSN 0302-9743

Aber, A., Tahir, A., Arumuham, V. et al. (2 more authors) (2012) Benign cystic mesothelioma: a rare cause for scrotal swelling. Case Reports in Medicine, 2012. p. 572186. ISSN 1687-9627

Hatcher, P.J., Hulme, C., Miles, J.N.V. et al. (6 more authors) (2005) Efficacy of small group reading intervention for beginning readers with reading-delay: A randomised controlled trial. Journal of Child Psychology & Psychiatry, 47 (8). pp. 820-827. ISSN 1469-7610

Smith, G., Carey, F.A., Beattie, J. et al. (6 more authors) (2002) Mutations in APC, Kirsten-Ras, and P53--Alternative Genetic Pathways to Colorectal Cancer. Proceedings of the National Academy of Sciences of the United States of America, 99 (14). pp. 9433-9438. ISSN 0027-8424

Proceedings Paper

Derrick, J. and Smith, G. (2017) An observational approach to defining linearizability on weak memory models. In: Bouajjani, A. and Silva , A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2017. 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 19-22 Jun 2017, Neuchâtel, Switzerland. Lecture Notes in Computer Science (10321). Springer, Cham , pp. 108-123. ISBN 9783319602240

Smith, G. and Derrick, J. (2016) Invariant generation for linearizability proofs. In: Proceedings of the ACM Symposium on Applied Computing. 31st Annual ACM Symposium on Applied Computing, 04/04/2016 - 08/04/2016, Pisa, Italy. http://doi.org/10.1145/2851613.2851837 . ACM , pp. 1694-1699. ISBN 9781450337397

Derrick, J., Smith, G. and Dongol, B. (2014) Verifying Linearizability on TSO Architectures. In: Integrated Formal Methods. IFM: International Conference on Integrated Formal Methods. iFM 2014: The 11th International Conference on Integrated Formal Methods, 09/09/2014-11/09/2014, Bertinoro, Italy. Lecture Notes in Computer Science , 8739 . Springer Verlag , pp. 341-356. ISBN 978-3-319-10180-4

Preprint

Battaglieri, M., Bersani, A., Bracco, G. et al. (122 more authors) (2019) Dark matter search in a Beam-Dump eXperiment (BDX) at Jefferson Lab -- 2018 update to PR12-16-001. [Preprint]