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: 14.

Article

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. (Full text available)
[img]
Preview

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. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

Book section

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 available from this repository)

Monograph

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

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

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 available from this repository)

Conference or workshop item

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 available from this repository)

Su, Li and Bowman, Howard and Barnard, Philip (2007) Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. In: Electronic Notes in Theoretical Computer Science. Elsevier pp. 95-111. (Full text available)
[img]
Preview

Su, Li and Bowman, Howard and Barnard, Philip (2007) Attentional capture by meaning: A multi-level modelling study. In: 29th Annual meeting of the cognitive science society (CogSci 2007), August 1-4, 2007, Nashville, Tennessee. (Full text available)
[img]
Preview

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 available from this repository)

Thesis

Su, Li (2009) Modelling Human Cognition Using Concurrency Theory. Doctor of Philosophy (PhD) thesis, UKC. (The full text of this publication is not available from this repository)

This list was generated on Mon Sep 22 17:04:49 2014 BST.