For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Sussex » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Sussex

1 2
> Last
Showing outputs 1 - 50 of 57
Output title
A MATLAB toolbox for Granger causal connectivity analysis
Output type
D - Journal article
Volume title
Journal of Neuroscience Methods
Year
2010
DOI
10.1016/j.jneumeth.2009.11.020
Output title
A model of ant route navigation driven by scene familiarity
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2012
DOI
10.1371/journal.pcbi.1002336
Output title
A step-indexed Kripke model of hidden state
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2012
DOI
10.1017/S0960129512000035
Output title
Adaptive time-varying detrended fluctuation analysis
Output type
D - Journal article
Volume title
Journal of Neuroscience Methods
Year
2012
DOI
10.1016/j.jneumeth.2012.05.030
Output title
Are GPs under-investigating older patients with ovarian cancer? ...
Output type
D - Journal article
Volume title
British Journal of Cancer
Year
2010
DOI
10.1038/sj.bjc.6605593
Output title
Causal density and integrated information as measures of conscious ...
Output type
D - Journal article
Volume title
Philosophical Transactions A: Mathematical, Physical and Engineering Sciences
Year
2011
DOI
10.1098/rsta.2011.0079
Output title
Chaotic exploration and learning of locomotion behaviours
Output type
D - Journal article
Volume title
Neural Computation
Year
2012
DOI
10.1162/NECO_a_00313
Output title
Completeness and logical full abstraction in modal logics for ...
Output type
C - Chapter in book
Volume title
Automata, Languages and Programming
Year
2008
DOI
Output title
Conversing through and about technologies: design critique as ...
Output type
D - Journal article
Volume title
International Journal of Child-Computer Interaction
Year
2013
DOI
10.1016/j.ijcci.2013.02.001
Output title
Creativity and Art: Three Roads to Surprise
Output type
A - Authored book
Volume title
Year
2010
DOI
Output title
Cross-domain sentiment classification using a sentiment sensitive ...
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2013
DOI
10.1109/TKDE.2012.103
Output title
Crowfoot: a verifier for higher-order store programs
Output type
C - Chapter in book
Volume title
Verification, Model Checking, and Abstract Interpretation
Year
2012
DOI
Output title
Dependency Parsing Schemata and Mildly Non-Projective Dependency ...
Output type
D - Journal article
Volume title
Computational Linguistics
Year
2011
DOI
10.1162/COLI_a_00060
Output title
Designing New Technologies for Illiterate Populations: A Study ...
Output type
D - Journal article
Volume title
Interacting with Computers
Year
2008
DOI
10.1016/j.intcom.2008.09.002
Output title
Detection of large scale TIDs associated with the dayside cusp ...
Output type
D - Journal article
Volume title
Journal of Atmospheric and Solar-Terrestrial Physics
Year
2010
DOI
10.1016/j.jastp.2010.02.018
Output title
Determining the date of diagnosis – is it a simple matter? The ...
Output type
D - Journal article
Volume title
BMC Medical Research Methodology
Year
2009
DOI
10.1186/1471-2288-9-42
Output title
Digital heritage systems: the ARCO evaluation
Output type
C - Chapter in book
Volume title
Cases on usability engineering: design and development of digital products
Year
2013
DOI
10.4018/978-1-4666-4046-7.ch014
Output title
Dual coding with STDP in a spiking recurrent neural network model ...
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2010
DOI
10.1371/journal.pcbi.1000839
Output title
Dynamic clamp with StdpC software
Output type
D - Journal article
Volume title
Nature Protocols
Year
2011
DOI
10.1038/nprot.2010.200
Output title
Evolution of associative learning in chemical networks
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2012
DOI
10.1371/journal.pcbi.1002739
Output title
Experience characters: a design tool for communicating mobile ...
Output type
C - Chapter in book
Volume title
Proceedings of the 13th International Conference on Human Computer Interaction with Mobile Devices and Services
Year
2011
DOI
10.1145/2037373.2037432
Output title
Exploiting the potential of large databases of electronic health ...
Output type
D - Journal article
Volume title
Journal of the American Medical Informatics Association
Year
2013
DOI
Output title
Exploring Affective Technologies for the Classroom with the Subtle ...
Output type
C - Chapter in book
Volume title
CHI '10 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2010
DOI
Output title
Exploring the relationship between presence and enjoyment in ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2010
DOI
10.1016/j.ijhcs.2009.11.002
Output title
Extracting diagnoses and investigation results from unstructured ...
Output type
D - Journal article
Volume title
PLoS ONE
Year
2012
DOI
10.1371/journal.pone.0030412
Output title
Free-energy minimization and the dark-room problem
Output type
D - Journal article
Volume title
Frontiers in Psychology
Year
2012
DOI
10.3389/fpsyg.2012.00130
Output title
Gauging the value of good data: informational embodiment qua ...
Output type
D - Journal article
Volume title
Adaptive Behavior
Year
2010
DOI
10.1177/1059712310383914
Output title
Generation of folk song melodies using Bayes transforms
Output type
D - Journal article
Volume title
Journal of New Music Research
Year
2011
DOI
10.1080/09298215.2011.573559
Output title
Granger causality analysis of fMRI BOLD signals is invariant ...
Output type
D - Journal article
Volume title
NeuroImage
Year
2013
DOI
10.1016/j.neuroimage.2012.09.049
Output title
Granger causality and transfer entropy are equivalent for Gaussian ...
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2009
DOI
10.1103/PhysRevLett.103.238701
Output title
HCI and society: towards a typology of universal design prin ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Interaction
Year
2010
DOI
10.1080/10447311003781334
Output title
How might ants use panoramic views for route navigation?
Output type
D - Journal article
Volume title
Journal of Experimental Biology
Year
2011
DOI
10.1242/jeb.046755
Output title
Identification of criticality in neuronal avalanches: I. A theoretical ...
Output type
D - Journal article
Volume title
Journal of Mathematical Neuroscience
Year
2013
DOI
10.1186/2190-8567-3-5
Output title
Interaction of cellular and network mechanisms for efficient ...
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences of the United States of America
Year
2011
DOI
10.1073/pnas.1112367108
Output title
Interactive TV for the home: an ethnographic study on users' ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Interaction
Year
2008
DOI
10.1080/10447310701821541
Output title
Logical Reasoning for Higher-Order Functions with Local Stat ...
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2008
DOI
10.2168/LMCS-4(4:2)2008
Output title
Long-range temporal correlations in the EEG bursts of human preterm ...
Output type
D - Journal article
Volume title
PLoS ONE
Year
2012
DOI
10.1371/journal.pone.0031543
Output title
Mirror mode peaks: THEMIS observations versus theories
Output type
D - Journal article
Volume title
Geophysical Research Letters
Year
2010
DOI
10.1029/2009GL042090
Output title
Modelling approaches for simple dynamic networks and applications ...
Output type
D - Journal article
Volume title
Proceedings A: Mathematical, Physical and Engineering Sciences
Year
2012
DOI
10.1098/rspa.2011.0349
Output title
Motion in place: a case study of archaeological reconstruction ...
Output type
C - Chapter in book
Volume title
Revive the past: proceedings of the 39th Conference on Computer Applications and Quantitative Methods in Archaeology (CAA), Beijing, China, 12-16 April 2011
Year
2012
DOI
Output title
Multi-scale model of an inhibitory network shows optimal properties ...
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2011
DOI
10.1103/PhysRevLett.106.238109
Output title
Nested Hoare Triples and Frame Rules for Higher-order Store
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
DOI
10.2168/LMCS-7(3:21)2011
Output title
Normalization for Sparse Encoding of Odors by a Wide-Field I ...
Output type
D - Journal article
Volume title
Science
Year
2011
DOI
10.1126/science.1201835
Output title
Optimal Reduction of Rule Length in Linear Context-Free Rewriting ...
Output type
C - Chapter in book
Volume title
Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Year
2009
DOI
Output title
Practical measures of integrated information for time-series ...
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2011
DOI
10.1371/journal.pcbi.1001052
Output title
Program logics for homogeneous meta-programming
Output type
C - Chapter in book
Volume title
Logic for Programming, Artificial Intelligence, and Reasoning
Year
2010
DOI
10.1007/978-3-642-17511-4_5
Output title
Program logics for sequential higher-order control
Output type
C - Chapter in book
Volume title
Fundamentals of software engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Year
2010
DOI
10.1007/978-3-642-11623-0_11
Output title
Reconciling the STDP and BCM Models of Synaptic Plasticity in ...
Output type
D - Journal article
Volume title
Neural Computation
Year
2010
DOI
10.1162/NECO_a_00003-Bush
Output title
Representation recovers information
Output type
D - Journal article
Volume title
Cognitive Science
Year
2009
DOI
10.1111/j.1551-6709.2009.01066.x
Output title
Selectionist and evolutionary approaches to brain function: a ...
Output type
D - Journal article
Volume title
Frontiers in Computational Neuroscience
Year
2012
DOI
10.3389/fncom.2012.00024
1 2
> Last
Showing outputs 1 - 50 of 57