Department of Computer Science

Research output

Research output per year 1985 1999 2000 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2024

• 2812 Conference Contribution (Conference Proceeding)
• 1753 Article (Academic Journal)
• 223 Working paper
• 218 Chapter in a book
• 668 More
  • 177 Conference Paper
  • 63 Authored book
  • 59 Other contribution
  • 53 PhD thesis (not Bristol)
  • 47 Patent
  • 37 Commissioned report
  • 27 Edited book
  • 22 Review article (Academic Journal)
  • 20 Editorial (Academic Journal)
  • 18 Preprint
  • 17 Web publication/site
  • 16 Other chapter contribution
  • 16 Conference Poster
  • 15 Other report
  • 12 Conference Abstract
  • 11 Other Conference Contribution
  • 11 Special issue (Academic Journal)
  • 11 Software
  • 8 Letter (Academic Journal)
  • 7 Article (Specialist Publication)
  • 5 Comment/debate (Academic Journal)
  • 4 Discussion paper
  • 3 Entry for encyclopedia/dictionary
  • 2 Foreword/postscript to book
  • 2 Short survey (Academic Journal)
  • 2 Digital or Visual Products
  • 1 Conference article
  • 1 Letter (Specialist Publication)
  • 1 Composition

Research output per year

Research output per year

Search results

• 2024

  An Intersectional Lifecourse Lens and Participatory Methods as the Foundations for Co-Designing with and for Minoritised Older Adults

  Willatt, A. M., Gray, S., Manchester, H., Foster, T. R. & Cater, K. F., 26 Apr 2024, In: Computer Supported Cooperative Work. 8, CSCW1, 18.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Life course 100%
  • Participatory Method 100%
  • Participatory Design 100%
  • Older Adults 100%
  • Case Study 100%
  1 Citation (Scopus)

  21 Downloads (Pure)

• Evaluation of efficacy, outcomes and safety of infant haemodialysis and ultrafiltration in clinical use: I-KID a stepped wedge cluster RCT

  Lambert, H., Hiu, S., Coulthard, M., Matthews, J. N. S., Wood, R., Crosier, J., Agbeko, R., Brick, T., Duncan, H., Grant, D., Mok, Q., Nyman, A. G., Pappachan, J., Wellman, P., Boucher, C., Bulmer, J., Chisholm, D., Cromie, K., Emmet, V., Feltbower, R., & 21 othersGrayling, M., Harrison, R., Holstein, E-M., Kennedy, C. A., McColl, E., Morris, K., Norman, L., Office, J., Parslow, R., Pattinson, C., Sharma, S., Smith, J., Steel, A., Steel, R., Straker, J., Vrana, L., Walker, J., Whitaker, M., Wightman, J., Wilson, N. & Wirz, L., 1 Jan 2024, In: Efficacy and Mechanism Evaluation.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

• Failing to hash into supersingular isogeny graphs

  Booher, J., Bowden, R., Doliskani, J., Fouotsa, T. B., Galbraith, S., Kunzweiler, S., Merz, S-P., Petit, C., Smith, B., Stange, K., Ti, Y. B., Vincent, C., Voloch, J., Weitkämper, C. & Zobernig, L., 1 Aug 2024, In: Computer Journal. 67, 8, p. 2702-2719 18 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Endomorphism 100%
  • Polynomial 66%
  • Open Problem 66%
  • Hash Function 66%
  • Random Walk 66%
  71 Downloads (Pure)

• Learning Ground Displacement Signals Directly from InSAR-Wrapped Interferograms

  Moualla, L., Rucci, A., Naletto, G. & Anantrasirichai, P., 20 Apr 2024, In: Sensors. 24, 8, 36 p., 2637.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Interferogram 100%
  • Synthetic Aperture Radar 100%
  • Interferometry 100%
  • Machine Learning 40%
  • High Pass Filter 20%
  1 Citation (Scopus)

• Neural Stochastic Agent-Based Limit Order Book Simulation with Neural Point Process and Diffusion Probabilistic Model

  Shi, Z. & Cartlidge, J., 5 Apr 2024, In: Intelligent Systems in Accounting, Finance and Management. 31, 2, e1553.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Stochastic Model 100%
  • New Orders 100%
  • Supply and Demand 100%
  • Simulation Mode 50%
  • Process Model 50%

• On Specifying for Trustworthiness

  Abeywickrama, D. B., Bennaceur, A., Chance, G., Demiris, Y., Kordoni, A., Levine, M., Moffat, L., Luc, M., Mousavi, M. R., Nuseibeh, B., Ramamoorthy, S., Ringert, J. O., Wilson, J. S., Windsor, S. P. & Eder, K. I., 1 Jan 2024, In: Communications of the ACM. 67, 1, p. 98-109 12 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Autonomous System 100%
  • Key Specification 11%
  105 Downloads (Pure)

• PanAf20K: A Large Video Dataset for Wild Ape Detection and Behaviour Recognition

  Brookes, O. Z., Mirmehdi, M. & Burghardt, T., 4 Mar 2024, (E-pub ahead of print) In: International Journal of Computer Vision (IJCV). 132, 8, p. 3086-3102 17 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Camera-Trap 100%
  • Artificial Intelligence 100%
  • Africa 100%
  • Computer Vision 100%
  • Physical Environment 100%

• The meso-connectomes of mouse, marmoset, and macaque: network organization and the emergence of higher cognition

  Magrou, L., Joyce, M. K. P., Froudist-Walsh, S., Datta, D., Wang, X-J., Martinez-Trujillo, J. & Arnsten, A. F. T., 20 May 2024, In: Cerebral Cortex. 34, 5, 27 p., bhae174.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Visual Cortex 100%
  • Prefrontal Cortex 50%
  • Receptor Expression 50%
  • Memory Consolidation 50%
  • Dendritic Spine 50%
  1 Citation (Scopus)
• 2023

  A multi-sensor dataset with annotated activities of daily living recorded in a residential setting

  Tonkin, E. L., Holmes, M. H., Song, H., Twomey, N. J., Diethe, T. R., Kull, M., Perello Nieto, M., Camplani, M., Hannuna, S. L., Fafoutis, X., Zhu, N., Woznowski, P. R., Tourte, G. J. L., Santos-Rodriguez, R., Flach, P. A. & Craddock, I. J., 23 Mar 2023, In: Scientific Data. 10, 1, p. 1-15 15 p., 162.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Sensor Data 100%
  • Sensor Network 100%
  • Machine Learning 100%
  • multi sensor 100%
  • Accelerometer 100%
  2 Citations (Scopus)

• A Quantitative Evaluation of Thin Slice Sampling for Parent–Infant Interactions

  Burgess, R., Costantini, I., Bornstein, M. H., Campbell, A., Cordero Vega, M. A., Culpin, I., Dingsdale, H., John, R. M., Kennedy, M. R., Tyson, H. R., Pearson, R. M. & Nabney, I., 1 Jun 2023, In: Journal of Nonverbal Behavior. 47, 2, p. 117-210 94 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Longitudinal Study 100%
  1 Citation (Scopus)

• Atmospheric turbulence removal with complex-valued convolutional neural network

  Anantrasirichai, N., 1 Jul 2023, In: Pattern Recognition Letters. 171, p. 69-75 7 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Visual Imagery 100%
  • Convolutional Neural Network 100%
  • Deep Learning 100%
  • Experimental Result 100%
  • Phase Information 100%
  6 Citations (Scopus)

• A topological loss function for image Denoising on a new BVI-lowlight dataset

  Malyugina, A., Anantrasirichai, N. & Bull, D., Oct 2023, In: Signal Processing. 211, 109081.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • de-noising 100%
  • image denoising 100%
  • Persistent Homology 50%
  • Complex Structure 50%
  • Captured Image 50%
  1 Citation (Scopus)

• Automated Real-World Video Analysis of Sit-to-Stand Transitions Predicts Parkinson’s Disease Severity

  Morgan, C. A. M., Masullo, A., Mirmehdi, M., Isotalus, H. K. K., Jovan, F., McConville, R., Tonkin, E. L., Whone, A. L. & Craddock, I. J., 1 Dec 2023, In: Digital Biomarkers. 7, 1, p. 92-103 12 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Parkinson's Disease 100%
  • Rating Scale 100%
  • Neuroprotective Agent 14%
  1 Citation (Scopus)

• Beyond the limitations of any imaginable mechanism: Large language models and psycholinguistics

  Houghton, C., Kazanina, N. & Sukumaran, P., 2023, In: Behavioral and Brain Sciences. 46, e395.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  • Limitations 100%
  • Psycholinguistics 100%
  • Large Language Model 100%
  • Linguistics 50%

• Career progression and skills in Smart Local Energy Systems

  Arueyingho, O., Chitchyan, R. & Bird, C., 1 Nov 2023, In: Applied Energy. 349, 121596.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Occupational Career 100%
  • Professional Occupations 100%
  • Accrediting Body 100%
  • Local Community 100%
  • Professional Development 100%
  2 Citations (Scopus)

• Cerebro-cerebellar networks facilitate learning through feedback decoupling

  Boven, E., Pemberton, J., Chadderton, P., Apps, R. & Costa, R. P., 4 Jan 2023, In: Nature Communications. 14, 1, 51.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Computational Modeling 100%
  • Inferior Olive 100%
  • Theoretical Framework 100%
  • Deep Learning 100%
  • Recurrent Network 100%
  9 Citations (Scopus)

  62 Downloads (Pure)

• Characterizing Discourse and Engagement Across Topics of Misinformation on Twitter

  Wojtczak, D. N., Peersman, C., Zuccolo, L. & McConville, R., 10 Oct 2023, In: IEEE Access. 11, p. 115002-115010 9 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Misinformation 100%
  • Social Medium Platform 30%
  • Sentiment Analysis 10%

• Chronic Care in a Life Transition: Challenges and Opportunities for Artificial Intelligence to Support Young Adults With Type 1 Diabetes Moving to University

  James, S., Armstrong, M. E. G., Abdallah, Z. S. & O'Kane, A. A., 19 Apr 2023, In: Proceedings of the ACM on Human-Computer Interaction. 16 p., 559.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Young Adults 100%
  • Artificial Intelligence 100%
  • Life Transition 100%
  • Insulin Dependent Diabetes Mellitus 100%
  • Chronic Condition 40%
  8 Citations (Scopus)

  78 Downloads (Pure)

• Classifier calibration: a survey on how to assess and improve predicted class probabilities

  de Menezes e Silva Filho, T., Song, H., Perello Nieto, M., Santos-Rodriguez, R., Kull, M. & Flach, P. A., 16 May 2023, In: Machine Learning. 112, 9, p. 3211-3260 50 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Machine Learning 100%
  • Academic Field 100%
  • Evaluation Metric 100%
  • Context Change 100%
  • Predicted Class 100%
  26 Citations (Scopus)

• Commitment-Based Negotiation Semantics for Accountability in Multi-Agent Systems

  Sloan, P. & Ajmeri, N., 8 Jul 2023, (E-pub ahead of print) In: Annals of Mathematics and Artificial Intelligence. p. 1-25 25 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Multi Agent Systems 100%
  • Constrained Environment 50%
  • Agent Interaction 50%
  • Mutual Agreement 50%
  • Case Study 50%

• Current Advances in Computational Lung Ultrasound Imaging: A Review

  Yang, T., Karakus, O., Anantrasirichai, N. & Achim, A., 1 Jan 2023, In: IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control. 70, 1, p. 2-15 14 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Medical Ultrasound Image 100%
  • Ultrasound Image 100%
  • Echography 100%
  • Ultrasonography 100%
  • Medical Ultrasound 100%
  3 Citations (Scopus)

• Deep Learning for Downscaling Tropical Cyclone Rainfall to Hazard‐Relevant Spatial Scales

  Vosper, E., Watson, P., Harris, L., Mcrae, A., Santos‐rodriguez, R., Aitchison, L. & Mitchell, D., 27 May 2023, In: Journal of Geophysical Research: Atmospheres. 128, 10, e2022JD038163.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Downscaling 100%
  • Tropical Cyclone 100%
  • Tradeoff 16%
  • Power Spectra 16%
  • Climate Change 16%
  4 Citations (Scopus)

• Dynamic Curriculum Learning for Great Ape Detection in the Wild

  Yang, X., Burghardt, T. & Mirmehdi, M., 16 Jan 2023, (E-pub ahead of print) In: International Journal of Computer Vision (IJCV). 131, 5, p. 1163-1181 19 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Reproducibility 100%
  • Unlabeled Data 100%
  • Object Detection 100%
  • Source Codes 100%
  • Data Access 100%
  6 Citations (Scopus)

• Embedding by Unembedding

  Matsuda, K., Frohlich, S., Wang, M. & Wu, N., 31 Aug 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, 47 p., 189.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Semantic Domain 100%
  • Object Language 100%
  • Language Function 50%
  • Order Function 50%
  • Language Implementation 50%
  1 Citation (Scopus)

• Embedding Privacy Into Design Through Software Developers: Challenges & Solutions

  Tahaei, M., Vaniea, K. & Rashid, A., 1 Feb 2023, In: IEEE Security and Privacy. 21, 1, p. 49-57 9 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Software Developer 100%
  • Privacy Feature 100%
  9 Citations (Scopus)

  15 Downloads (Pure)

• Enhanced SARS-CoV-2 entry via UPR-dependent AMPK-related kinase NUAK2

  Prasad, V., Cerikan, B., Stahl, Y., Kopp, K., Magg, V., Acosta-Rivero, N., Kim, H., Klein, K., Funaya, C., Haselmann, U., Cortese, M., Heigwer, F., Bageritz, J., Bitto, D., Jargalsaikhan, S., Neufeldt, C., Pahmeier, F., Boutros, M., Yamauchi, Y., Ruggieri, A., & 1 othersBartenschlager, R., 7 Jul 2023, In: Molecular Cell. 83, 14, p. 2559–2577.e8 27 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Severe Acute Respiratory Syndrome Coronavirus 2 100%
  • Unfolded Protein Response 100%
  • SARS Coronavirus 100%
  • Phosphotransferase 100%
  • Infection 42%
  13 Citations (Scopus)

• Ethical, political and epistemic implications of machine learning (mis)information classification: Insights from an interdisciplinary collaboration between social and data scientists

  Domínguez Hernández, A., Owen, R., Nielsen, D. & McConville, R., 7 Jul 2023, In: Journal of Responsible Innovation. 10, 1, 2222514.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Information Classification 100%
  • Science and Technology Studies 50%
  4 Citations (Scopus)

• Evidence-based requirements for perceptualising intercatchment groundwater flow in hydrological models

  Oldham, L. D., Freer, J., Coxon, G., Howden, N., Bloomfield, J. P. & Jackson, C., 14 Feb 2023, In: Hydrology and Earth System Sciences. 27, 3, p. 761-781 21 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Groundwater Flow 100%
  • Water Balance 33%
  • Surface Water 33%
  • United Kingdom 16%
  • Seasonality 16%
  3 Citations (Scopus)

• Explanation before Adoption: Revealing Methods Used to Support Informed Consent for Complex Platforms

  Eardley, R., Tonkin, E. L., Soubutts, E., Ayobi, A., Tourte, G. J. L., Gooberman-Hill, R., Craddock, I. J. & O'Kane, A. A., 16 Apr 2023, In: Proceedings of the ACM on Human-Computer Interaction. 7, CSCW1, 25 p., 49.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Technology Platform 100%
  • Needed Information 25%
  • Technical Member 25%
  23 Downloads (Pure)

• Fluctuations of cell geometry and their nonequilibrium thermodynamics in living epithelial tissue

  Olenik, M., Turley, J., Cross, S., Weavers, H., Martin, P., Chenchiah, I. V. & Liverpool, T. B., 13 Jan 2023, In: Physical Review E. 107, 1, 014403.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review
  3 Citations (Scopus)

• Hasta la vista baby: why we should dispense of “autonomy” in “autonomous systems”

  Smith, H., Eder, K. I. & Ives, J. C. S., 28 Apr 2023, In: AI and Society.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

• Higher-Order MSL Horn Constraints

  Jochems, J. C., Jones, E. C. & Ramsay, S., 11 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, p. 2017–2047 31 p., 69.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Decision Procedure 100%
  • Static Program Analysis 50%
  • Model Checking Problem 50%
  • Program Verification 50%
  • Satisfiability Problem 50%
  56 Downloads (Pure)

• Is cybersecurity research missing a trick? Integrating insights from the psychology of habit into research and practice

  Weickert, T. D., Joinson, A. & Craggs, B., 1 Feb 2023, In: Computers and Security. 128, 103130.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Practitioners 100%
  • Model of Other 100%
  • Theory of Planned Behavior 100%
  • Habitual Behavior 100%
  • Intentional Behavior 100%
  4 Citations (Scopus)

• L-DOPA Increases Slow-Wave Sleep Duration and Selectively Modulates Memory Persistence in Older Adults

  Isotalus, H. K., Carr, W. J., Blackman, J., Averill, G. G., Radtke, O., Selwood, J. A., Williams, R., Ford, E., McCullagh, L., McErlane, J., O'Donnell, C., Durant, C. F., Bartsch, U., Jones, M., Muñoz-Neira, C., Wearn, A. R., Grogan, J. P. & Coulthard, E. J., 5 Apr 2023, In: Frontiers in Behavioral Neuroscience. 17, 1096720.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • L-DOPA 100%
  • Sleep Time 100%
  • Slow-Wave Sleep 100%
  • Slow Wave 100%
  • Long-Term Memory 50%

• Nectar of the Bots: Evolving Bidirectional Referential Communication

  Fox, R. & Bullock, S., 1 Feb 2023, In: Adaptive Behavior. 31, 1, p. 65-86 22 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Artificial Neural Networks 100%
  • Human Language 100%
  • Symbol Processing 100%
  • Simulation Study 100%
  • Behavior (Neuroscience) 100%
  49 Downloads (Pure)

• Objective measures of reward sensitivity and motivation in people with high v. low anhedonia

  Slaney, C., Perkins, A. M., Davis, R., Penton-Voak, I. S., Munafo, M. R., Houghton, C. & Robinson, E. S. J., 1 Jul 2023, In: Psychological Medicine. 53, 10, p. 4324 - 4332 9 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Anhedonia 100%
  • Sensation of Taste 37%
  • Decision-Making 25%
  • Antidepressant 12%
  3 Citations (Scopus)

  78 Downloads (Pure)

• Online reading habits can reveal personality traits: Towards detecting psychological microtargeting

  Simchon, A., Sutton, A. J., Edwards, M. & Lewandowsky, S., 17 Jun 2023, In: PNAS Nexus. 2, 6, pgad191.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Average Performance 100%
  • Bidirectional Encoder Representations From Transformers 100%
  • Learning Model 100%
  • Personality Trait 100%
  • Big Data 100%
  5 Citations (Scopus)

• On the privacy of mental health apps: An empirical investigation and its implications for app development

  Iwaya, L. H., Babar, M. A., Rashid, A. & Wijayarathna, C., 8 Nov 2023, In: Empirical Software Engineering. 28, 1, 2.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Health Application 100%
  • Data Privacy 100%
  • Application Development 100%
  • Mobile Health Application 75%
  • Data Sharing 50%
  16 Citations (Scopus)

• Parameterised response zero intelligence traders

  Cliff, D., 30 May 2023, In: Journal of Economic Interaction and Coordination . 54 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Probability Mass Function 100%
  • Auction 100%
  • Stochastics 66%
  • Simulation Study 33%
  • Uniform Distribution 33%
  1 Citation (Scopus)

• Privacy Engineering in the Wild: Understanding the Practitioners' Mindset, Organizational Aspects, and Current Practices

  Iwaya, L. H., Ali Babar, M. & Rashid, A., 1 Sept 2023, In: IEEE Transactions on Software Engineering. 49, 9, p. 4324-4348 25 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Software Practitioner 100%
  • Organizational Aspect 100%
  • Analysis Methodology 25%
  • Negative Example 25%
  • Positive Example 25%
  4 Citations (Scopus)

• PrivExtractor: Toward Redressing the Imbalance of Understanding between Virtual Assistant Users and Vendors

  Bolton, T., Dargahi, T., Belguith, S. & Maple, C., 1 Aug 2023, In: ACM Transactions on Privacy and Security. 26, 3, 31.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Virtual Assistant 100%
  • Artificial Intelligence 16%
  • Data Protection Law 16%
  • Software Development Tool 16%
  • User Information 16%
  1 Citation (Scopus)

  97 Downloads (Pure)

• Protecting pollinators and our food supply: understanding and managing threats to pollinator health

  Siviter, H., Fisher, A., Baer, B., Brown, M. J. F., Camargo, I. F., Cole, J., Le Conte, Y., Dorin, B., Evans, J. D., Farina, W., Fine, J., Fischer, L. R., Garratt, M. P. D., Giannini, T. C., Giray, T., Li-Byarlay, H., López-Uribe, M. M., Nieh, J. C., Przybyla, K., Raine, N. E., & 6 othersRay, A. M., Singh, G., Spivak, M., Traynor, K., Kapheim, K. M. & Harrison, J. F., Feb 2023, In: Insectes Sociaux. 70, 1, p. 5-16 12 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Pollinator 100%
  • Pollinator Decline 50%
  • International Cooperation 25%
  • Anthropogenic Stressors 25%
  • Climate Change 25%
  8 Citations (Scopus)

• Reflecting on Random Generation

  Goldstein, H., Frohlich, S., Wang, M. & Pierce, B., 4 Sept 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, p. 322–355 200.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Test Data 100%
  • Input Value 100%
  2 Citations (Scopus)

• Self-updating prophecies: An inquiry into imagining and building decentralized sensor networks

  Domínguez Hernández, A., 14 Mar 2023, In: Science, Technology and Human Values.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Internet-Of-Things 100%
  • Internet of Things 100%
  • Sensor Networks 100%
  • Locale 100%
  • Scaling-Up 50%

• Synthesising Programs with Non-trivial Constants

  Abate, A., Barbosa, H., Barrett, C., David, C., Kesseli, P., Kreoning, D., Polgreen, E., Reynolds, A. & Tinelli, C., 13 May 2023, In: Journal of Automated Reasoning. 67, 2, 19.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access
  2 Citations (Scopus)

• The Feasibility of Using Smartphone Sensors to Track Insomnia, Depression, and Anxiety in Adults and Young Adults: Narrative Review

  Alamoudi, D., Breeze, E., Crawley, E. M. & Nabney, I., 17 Feb 2023, In: JMIR mHealth and uHealth. 11, 9 p., e44123.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  File

  • Mental Health Problem 100%
  • Mental Health 100%
  • Narrative Review 100%
  • Data Source 33%
  • Mobile Phone Application 33%
  6 Citations (Scopus)

  58 Downloads (Pure)

• The Infant KIdney Dialysis and Utrafiltration (I-KID) Study: A Stepped-Wedge Cluster-Randomized Study in Infants, Comparing Peritoneal Dialysis, Continuous Venovenous Hemofiltration, and Newcastle Infant Dialysis Ultrafiltration System, a Novel Infant Hemodialysis Device

  Lambert, H., Hiu, S., Coulthard, M. G., Matthews, J. N. S., Holstein, E. M., Crosier, J., Agbeko, R., Brick, T., Duncan, H., Grant, D., Mok, Q., Nyman, A. G., Pappachan, J., Boucher, C., Bulmer, J., Chisholm, D., Cromie, K., Emmet, V., Feltbower, R. G., Ghose, A., & 22 othersGrayling, M., Harrison, R., Kennedy, C. A., Mccoll, E., Morris, K., Norman, L., Office, J., Parslow, R., Pattinson, C., Sharma, S., Smith, J., Steel, A., Steel, R., Straker, J., Vrana, L., Walker, J., Wellman, P., Whitaker, M., Wightman, J., Wilson, N., Wirz, L. & Wood, R., 1 Jul 2023, In: Pediatric Critical Care Medicine. 24, 7, p. 604-613 10 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Hemodialysis 100%
  • Peritoneal Dialysis 100%
  • Renal Replacement Therapy 100%
  • Ultrafiltration 100%
  • Continuous Hemofiltration 100%
  5 Citations (Scopus)

• Toward Enhanced Clinical Decision Support for Patients Undergoing a Hip or Knee Replacement: Focus Group and Interview Study With Surgeons

  Grant, S., Tonkin, E. L., Craddock, I. J., Blom, A. W., Holmes, M. H., Judge, A., Masullo, A., Perello Nieto, M., Song, H., Whitehouse, M. R., Flach, P. A. & Gooberman-Hill, R., 24 Apr 2023, In: JMIR Perioperative Medicine. 6, 1, e36172.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Hip Replacement 100%
  • Surgeon 100%
  • Knee Replacement 100%
  • Orthopedic Surgeon 100%
  • Time Series Analysis 40%

• Translating seasonal climate forecasts into water balance forecasts for decision making

  MacLeod, D. A., Quichimbo Miguitama, E. A., Michaelides, K., Asfaw, D. T., Rosolem, R., Cuthbert, M. O., Otenyo, E., Segele, Z., Rigby, J. M., Otieno, G., Hassaballah, K., Tadege, A. & Bliss Singer, M., 17 Mar 2023, In: PLOS Climate.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

• Under Lock and Key: A Proof System for a Multimodal Logic

  Kavvos, G. A. & Gratzer, D., 1 Jun 2023, In: Bulletin of Symbolic Logic. 29, 2, p. 264-293 30 p.

  Research output: Contribution to journal › Article (Academic Journal) › peer-review

  Open Access

  • Proof System 100%
  • lambda-calculus 50%