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 Southampton » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Southampton

First <
1 2 3 4
> Last
Showing outputs 51 - 100 of 187
Output title
Could the Web be a temporary glitch?
Output type
E - Conference contribution
Volume title
WebSci10
Year
2010
DOI
Output title
Cross-talk induces bifurcations in nonlinear models of synaptic ...
Output type
D - Journal article
Volume title
Neural Computation
Year
2012
DOI
10.1162/NECO_a_00224
Output title
Customizing kernel functions for SVM-based hyperspectral image ...
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2008
DOI
10.1109/TIP.2008.918955
Output title
Decidable logics combining heap structures and data
Output type
E - Conference contribution
Volume title
POPL '11. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2011
DOI
10.1145/1925844.1926455
Output title
Deconstructing behavioural theories of mobility
Output type
E - Conference contribution
Volume title
Fifth IFIP International Conference on Theoretical Computer Science (TCS)
Year
2008
DOI
10.1007/978-0-387-09680-3_34
Output title
Deriving safety cases for hierarchical structure in model-based ...
Output type
E - Conference contribution
Volume title
29th International Conference on Computer Safety, Reliability and Security
Year
2010
DOI
10.1007/978-3-642-15651-9_6
Output title
Deriving structural labelled transitions for mobile ambients
Output type
D - Journal article
Volume title
Information and Computation
Year
2010
DOI
10.1016/j.ic.2010.06.001
Output title
Designable visual markers
Output type
E - Conference contribution
Volume title
CHI '09. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2009
DOI
10.1145/1518701.1518990
Output title
Designing for (un)serendipity - computing and chance
Output type
D - Journal article
Volume title
The Biochemist
Year
2009
DOI
Output title
Destroy to save
Output type
D - Journal article
Volume title
Games and Economic Behavior
Year
2012
DOI
10.1016/j.geb.2012.11.002
Output title
Dialogue games that agents play within a society
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2009
DOI
10.1016/j.artint.2009.02.002
Output title
Digital agility and digital decision-making: conceptualising ...
Output type
D - Journal article
Volume title
Studies in Higher Education
Year
2010
DOI
10.1080/03075070903131628
Output title
Digital futures? Sociological challenges and opportunities in ...
Output type
D - Journal article
Volume title
Sociology
Year
2013
DOI
10.1177/0038038512453798
Output title
Discrete states of synaptic strength in a stochastic model of ...
Output type
D - Journal article
Volume title
Neural Computation
Year
2010
DOI
10.1162/neco.2009.07-08-814
Output title
Droplets with information processing ability
Output type
D - Journal article
Volume title
International Journal of Unconventional Computing
Year
2011
DOI
Output title
Efficient sparse kernel feature extraction based on partial least ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2009
DOI
10.1109/TPAMI.2008.171
Output title
Evaluating advanced search interfaces using established information-seeking ...
Output type
D - Journal article
Volume title
Journal of the American Society for Information Science and Technology
Year
2009
DOI
10.1002/asi.21080
Output title
Evaluation of a web-based intervention providing tailored advice ...
Output type
D - Journal article
Volume title
Journal of Medical Internet Research
Year
2010
DOI
10.2196/jmir.1599
Output title
Exploitation of machine learning techniques in modelling phrase ...
Output type
D - Journal article
Volume title
Journal of Machine Learning Research
Year
2011
DOI
Output title
EXPTIME tableaux for the coalgebraic µ-Calculus
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
DOI
10.2168/LMCS-7(3:3)2011
Output title
Extremism propagation in social networks with hubs
Output type
D - Journal article
Volume title
Adaptive Behavior
Year
2008
DOI
10.1177/1059712308090536
Output title
Flexible provisioning of Web service workflows
Output type
D - Journal article
Volume title
ACM Transactions on Internet Technology
Year
2009
DOI
10.1145/1462159.1462161
Output title
Fluid rewards for a stochastic process algebra
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
DOI
10.1109/TSE.2011.81
Output title
From monkey alarm calls to human language: how simulations can ...
Output type
D - Journal article
Volume title
Adaptive Behavior
Year
2010
DOI
10.1177/1059712309350974
Output title
From the Semantic Web to social machines: a research challenge ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2010
DOI
10.1016/j.artint.2009.11.010
Output title
Full abstraction for polymorphic p-calculus
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2008
DOI
10.1016/j.tcs.2007.09.020
Output title
Gaussian process modelling for bicoid mRNA regulation in spatio-temporal ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2012
DOI
10.1093/bioinformatics/btr658
Output title
Genome structure and the benefit of sex
Output type
D - Journal article
Volume title
Evolution
Year
2011
DOI
10.1111/j.1558-5646.2010.01144.x
Output title
Getting rid of store-buffers in TSO analysis
Output type
E - Conference contribution
Volume title
23rd International Conference on Computer Aided Verification (CAV 2011)
Year
2011
DOI
10.1007/978-3-642-22110-1_9
Output title
Global adaptation in networks of selfish components: emergent ...
Output type
D - Journal article
Volume title
Artificial Life
Year
2011
DOI
10.1162/artl_a_00029
Output title
Graph Sketcher: extending illustration to quantitative graph ...
Output type
E - Conference contribution
Volume title
CHI 2009 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2009
DOI
10.1145/1518701.1518870
Output title
Green and Gold Open Access percentages and growth, by discip ...
Output type
E - Conference contribution
Volume title
17th International Conference on Science and Technology Indicators (STI)
Year
2012
DOI
Output title
Information accountability
Output type
D - Journal article
Volume title
Communications of the ACM
Year
2008
DOI
10.1145/1349026.1349043
Output title
Information scraps: how and why information eludes our personal ...
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON INFORMATION SYSTEMS
Year
2008
DOI
10.1145/1402256.1402263
Output title
In-silico design of computational nucleic acids for molecular ...
Output type
D - Journal article
Volume title
Journal of Cheminformatics
Year
2013
DOI
10.1186/1758-2946-5-22
Output title
Java implementation platform for the integrated state- and event-based ...
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2009
DOI
10.1002/cpe.1425
Output title
Kernel mapping recommender system algorithms
Output type
D - Journal article
Volume title
Information Sciences
Year
2012
DOI
10.1016/j.ins.2012.04.012
Output title
Learning the large-scale structure of the max-sat landscape using ...
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2010
DOI
10.1109/TEVC.2009.2033579
Output title
Lifelogging: Privacy and Empowerment with Memories for Life
Output type
D - Journal article
Volume title
Identity in the Information Society
Year
2009
DOI
10.1007/s12394-009-0008-4
Output title
Linked Data - the story so far
Output type
D - Journal article
Volume title
International Journal on Semantic Web and Information Systems
Year
2009
DOI
10.4018/jswis.2009081901
Output title
Linked data on the Web (LDOW2008)
Output type
E - Conference contribution
Volume title
WWW '08 Proceedings of the 17th international conference on World Wide Web
Year
2008
DOI
10.1145/1367497.1367760
Output title
Linked open government data: lessons from Data.gov.uk
Output type
D - Journal article
Volume title
IEEE Intelligent Systems
Year
2012
DOI
10.1109/MIS.2012.23
Output title
Load Index Metrics for an Optimized Management of Web Services: ...
Output type
D - Journal article
Volume title
PLoS One
Year
2013
DOI
10.1371/journal.pone.0068819
Output title
Local memory via layout randomization
Output type
E - Conference contribution
Volume title
IEEE 24th Computer Security Foundations Symposium (CSF)
Year
2011
DOI
10.1109/CSF.2011.18
Output title
Making training more cognitively effective: making videos in ...
Output type
D - Journal article
Volume title
British Journal of Educational Technology
Year
2009
DOI
10.1111/j.1467-8535.2009.00985.x
Output title
Managing very large distributed datasets on a data grid
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2009
DOI
10.1002/cpe.1489
Output title
Manipulated into giving: when parasitism drives apparent or incidental ...
Output type
D - Journal article
Volume title
Proceedings of The Royal Society B. Biological Sciences
Year
2013
DOI
10.1098/rspb.2013.0108
Output title
Maximal traces and path-based coalgebraic temporal logics
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2011
DOI
10.1016/j.tcs.2011.04.025
Output title
Maximum satisfiability: anatomy of the fitness landscape for ...
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2012
DOI
10.1109/TEVC.2011.2163638
Output title
Measuring expertise in online communities
Output type
D - Journal article
Volume title
IEEE Intelligent Systems
Year
2011
DOI
10.1109/MIS.2011.18
First <
1 2 3 4
> Last
Showing outputs 51 - 100 of 187