Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 16.

2016

Zhang, Jian and Su, Li (2016) Temporal Autocorrelation-Based Beamforming with MEG Neuroimaging Data. Journal of the American Statistical Association, 110 (512). pp. 1375-1388. ISSN 0162-1459. E-ISSN 1537-274X. (doi:https://doi.org/10.1080/01621459.2015.1054488) (Full text available)
[img]
Preview

2014

Su, Li and Gomez, Rodolfo and Bowman, Howard (2014) Analysing neurobiological models using communicating automata. Formal Aspects of Computing, 26 (6). pp. 1169-1204. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-014-0294-y) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Bowman, Howard and Filetti, Marco and Alsufyani, Abdulmajeed and Janssen, Dirk P. and Su, Li (2014) Countering Countermeasures: Detecting Identity Lies by Detecting Conscious Breakthrough. PLoS ONE, 9 (3). e90595. ISSN 1932-6203. (doi:https://doi.org/10.1371/journal.pone.0090595) (Full text available)
[img]
Preview

2011

Su, Li and Bowman, Howard and Barnard, Philip (2011) Glancing and then looking: on the role of body, affect, and meaning in cognitive control. Frontiers in Cognition, 2 (348). pp. 182-196. (doi:https://doi.org/10.3389/fpsyg.2011.00348) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2010

Su, Li and Barnard, Philip and Bowman, Howard (2010) On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2009

Bowman, Howard and Su, Li and Wyble, Brad and Barnard, Philip (2009) Salience Sensitive Control, Temporal Attention and Stimulus-Rich Reactive Interfaces. In: Roda, Claudia, ed. Human Attention in Digital Environments. Cambridge University Press. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Su, Li (2009) Modelling Human Cognition Using Concurrency Theory. Doctor of Philosophy (PhD) thesis, UKC. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2008

Su, Li and Bowman, Howard and Barnard, Philip and Wyble, Brad (2008) Process Algebraic Modelling of Attentional Capture and Human Electrophysiology in Reactive Systems. Formal Aspects of Computing, . ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-008-0094-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2007

Su, Li and Bowman, Howard and Barnard, Philip (2007) Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. In: The 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007). Workshop held in conjunction with HCI 2007. Elsevier pp. 95-111. (doi:https://doi.org/10.1016/j.entcs.2008.03.109) (Full text available)
[img]
Preview

Su, Li and Bowman, Howard and Barnard, Philip (2007) Attentional capture by meaning: A multi-level modelling study. In: Proceedings of the 29th Annual meeting of the cognitive science society (CogSci 2007). Taylor & Francis Group p. 6. ISBN 978-0-9768318-3-9. (Full text available)
[img]
Preview

2006

Bowman, Howard and Su, Li and Wyble, Brad (2006) Performance of Reactive Interfaces in Stimulus Rich Environments, applying Formal Methods and Cognitive Frameworks. Technical report. UKC (Full text available)
[img]
Preview

Bowman, Howard and Su, Li and Barnard, Philip (2006) Semantic Modulation of Temporal Attention: Distributed Control and Levels of Abstraction in Computational Modelling. Technical report. UKC (Full text available)
[img]
Preview

Su, Li and Bowman, Howard and Wyble, Brad (2006) Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking. Technical report. UKC (Full text available)
[img]
Preview

2005

Su, Li and Bowman, Howard and Wyble, Brad (2005) Symbolic Encoding of Neural Networks using Communicating Automata with Applications to Verification of Neural Network Based Controllers. In: Nineteenth International Joint Conference on Artificial Intelligence, 30 July - 5 August 2005, Edinburgh, Scotland. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2004

Bowman, Howard and Gomez, Rodolfo and Su, Li (2004) How to stop time stopping (preliminary version). Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK (Full text available)
[img]
Preview

2003

Su, Li (2003) Verification of Concurrent Systems. Technical report. University of Kent, University of Kent, Canterbury, Kent, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Sun May 26 11:00:22 2019 BST.