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: Heriot-Watt University » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Heriot-Watt University

1 2
> Last
Showing outputs 1 - 50 of 91
Output title
"Carbon Credits" for Resource-bounded Computations using Amortised ...
Output type
E - Conference contribution
Volume title
FM09 --- 16th International Symposium on Formal Methods
Year
2009
DOI
10.1007/978-3-642-05089-3_23
Output title
A communication characterisation of Splash-2 and Parsec
Output type
E - Conference contribution
Volume title
Proceedings of the IEEE International Symposium on Workload Characterization, 2009
Year
2009
DOI
10.1109/IISWC.2009.5306792
Output title
A psychophysically validated metric for bidirectional texture ...
Output type
D - Journal article
Volume title
ACM Transactions on Graphics
Year
2008
DOI
10.1145/1409060.1409091
Output title
A socially-aware memory for companion agents
Output type
E - Conference contribution
Volume title
Intelligent Virtual Agents - 9th International Conference, IVA 2009, Proceedings
Year
2009
DOI
10.1007/978-3-642-04380-2_5
Output title
A study of substitution, using nominal techniques and Fraenkel–Mostowksi ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2009
DOI
10.1016/j.tcs.2008.11.013
Output title
An OS-based alternative to full hardware coherence on tiled ...
Output type
E - Conference contribution
Volume title
Proceedings of the IEEE 14th International Symposium on High Performance Computer Architecture, 2008
Year
2008
DOI
10.1109/HPCA.2008.4658652
Output title
Applying linked data approaches to pharmacology : architectural ...
Output type
D - Journal article
Volume title
Semantic Web
Year
2013
DOI
Output title
Approximate structure-preserving semantic matching
Output type
C - Chapter in book
Volume title
On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II
Year
2008
DOI
10.1007/978-3-540-88873-4_22
Output title
Artificial biochemical networks: Evolving dynamical systems to ...
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2013
DOI
10.1109/TEVC.2013.2243732
Output title
Asynchronous stream processing with S-Net
Output type
D - Journal article
Volume title
International Journal of Parallel Programming
Year
2010
DOI
10.1007/s10766-009-0121-x
Output title
Biomedical atlases : systematics, informatics and analysis
Output type
C - Chapter in book
Volume title
Advances in Systems Biology
Year
2012
DOI
10.1007/978-1-4419-7210-1_39
Output title
Breaking the GPU programming barrier with the auto-parallelising ...
Output type
E - Conference contribution
Volume title
DAMP '11 Proceedings of the sixth workshop on Declarative aspects of multicore programming
Year
2011
DOI
10.1145/1926354.1926359
Output title
But that was in another country: agents and intercultural em ...
Output type
E - Conference contribution
Volume title
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Year
2009
DOI
Output title
Clutching at straws : using tangible interaction to provide non-visual ...
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2010
DOI
10.1145/1753326.1753583
Output title
Combining high productivity and high performance in image processing ...
Output type
D - Journal article
Volume title
Journal of Electronic Imaging
Year
2012
DOI
10.1117/1.JEI.21.2.021116
Output title
Community Trust Stores for Peer-to-Peer e-Commerce Applicati ...
Output type
E - Conference contribution
Volume title
Proceedings of International Conference on Informatics Engineering and Information Science (ICIEIS) : Communications in Computer and Information Science (CCIS) : CCIS 251
Year
2011
DOI
10.1007/978-3-642-25327-0_37
Output title
Compilation of extended recursion in call-by-value functional ...
Output type
D - Journal article
Volume title
Higher-Order and Symbolic Computation
Year
2009
DOI
10.1007/s10990-009-9042-z
Output title
Computer game design : Opportunities for successful learning
Output type
D - Journal article
Volume title
Computers and Education
Year
2008
DOI
10.1016/j.compedu.2007.09.020
Output title
Computerizing Mathematical Text with MathLang
Output type
D - Journal article
Volume title
Electronic Notes in Theoretical Computer Science
Year
2008
DOI
10.1016/j.entcs.2008.03.063
Output title
Concurrent non-deferred reference counting on the microgrid: ...
Output type
E - Conference contribution
Volume title
22nd International Symposium on Implementation and Application of Functional Languages (IFL'10), Alphen a/d Rijn, Netherlands, Revised Selected Papers
Year
2011
DOI
10.1007/978-3-642-24276-2_12
Output title
Conditional random fields for responsive surface realisation ...
Output type
E - Conference contribution
Volume title
Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (ACL)
Year
2013
DOI
Output title
Cost-driven autonomous mobility
Output type
D - Journal article
Volume title
Computer Languages, Systems and Structures
Year
2010
DOI
10.1016/j.cl.2009.01.003
Output title
Creating adaptive affective autonomous NPCs
Output type
D - Journal article
Volume title
Autonomous Agents and Multi-Agent Systems
Year
2012
DOI
10.1007/s10458-010-9161-2
Output title
Deadline-driven auctions for NPC host allocation in P2P MMOG ...
Output type
D - Journal article
Volume title
International Journal of Advanced Media and Communication
Year
2010
DOI
10.1504/IJAMC.2010.032140
Output title
Design issues for peer-to-peer massively multiplayer online ...
Output type
D - Journal article
Volume title
International Journal of Advanced Media and Communication
Year
2010
DOI
10.1504/IJAMC.2010.032138
Output title
Digital atlasing and standardization in the mouse brain
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2011
DOI
10.1371/journal.pcbi.1001065
Output title
Discovery of invariants through automated theory formation
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2012
DOI
10.1007/s00165-012-0264-1
Output title
Dynamic context-aware personalisation in a pervasive environ ...
Output type
D - Journal article
Volume title
Pervasive and Mobile Computing
Year
2012
DOI
10.1016/j.pmcj.2012.11.002
Output title
Easy composition of symbolic computation software using SCSCP: ...
Output type
D - Journal article
Volume title
Journal of Symbolic Computation
Year
2013
DOI
10.1016/j.jsc.2011.12.019
Output title
Engineering design using game-enhanced CAD: The potential to ...
Output type
D - Journal article
Volume title
Computer-Aided Design
Year
2012
DOI
10.1016/j.cad.2012.08.001
Output title
Evaluating a high-level parallel language (GpH) for computational ...
Output type
D - Journal article
Volume title
IEEE Transactions on Parallel and Distributed Systems
Year
2008
DOI
10.1109/TPDS.2007.70728
Output title
Expansion for Universal Quantifiers
Output type
E - Conference contribution
Volume title
Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012
Year
2012
DOI
10.1007/978-3-642-28869-2_23
Output title
Harnessing parallelism in FPGAs using the hume language
Output type
E - Conference contribution
Volume title
Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-Performance Computing
Year
2012
DOI
10.1145/2364474.2364480
Output title
Higher-Order Unification : A structural relation between Huet's ...
Output type
D - Journal article
Volume title
Journal of Applied Logic
Year
2008
DOI
10.1016/j.jal.2006.10.001
Output title
Homeostasis and evolution together dealing with novelties and ...
Output type
D - Journal article
Volume title
International Journal of Intelligent Computing and Cybernetics
Year
2009
DOI
10.1108/17563780910982680
Output title
Hybrid reinforcement/supervised learning of dialogue policies ...
Output type
D - Journal article
Volume title
Computational Linguistics
Year
2008
DOI
10.1162/coli.2008.07-028-R2-05-82
Output title
Identity support in a security and trust service for ad hoc m-commerce ...
Output type
E - Conference contribution
Volume title
Proceedings - 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011
Year
2011
DOI
10.1109/WAINA.2011.85
Output title
If I were you: double appraisal in affective agents
Output type
E - Conference contribution
Volume title
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Year
2008
DOI
Output title
Intelligent Systems that Combine Pervasive Computing and Social ...
Output type
E - Conference contribution
Volume title
2012 9th International Conference on Ubiquitous Intelligence & Computing and 9th International Conference on Autonomic & Trusted Computing (UIC/ATC)
Year
2012
DOI
10.1109/UIC-ATC.2012.99
Output title
Investigating touchscreen accessibility for people with visual ...
Output type
E - Conference contribution
Volume title
NordiCHI '08 : Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges
Year
2008
DOI
10.1145/1463160.1463193
Output title
Knowledge-driven enhancements for task composition in bioinf ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2009
DOI
10.1186/1471-2105-10-S10-S12
Output title
Learning and evaluation of dialogue strategies for new applications ...
Output type
D - Journal article
Volume title
Computational Linguistics
Year
2011
DOI
10.1162/coli_a_00038
Output title
Learning User Preferences for Adaptive Pervasive Environment ...
Output type
D - Journal article
Volume title
ACM Transactions on Autonomous and Adaptive Systems
Year
2013
DOI
10.1145/2451248.2451253
Output title
Making games in the classroom: Benefits and gender concerns
Output type
D - Journal article
Volume title
Computers and Education
Year
2012
DOI
10.1016/j.compedu.2011.12.020
Output title
Managing emergent character-based narrative
Output type
E - Conference contribution
Volume title
Proceedings of the 2nd international conference on INtelligent TEchnologies for interactive enterTAINment
Year
2008
DOI
Output title
Measuring perceived differences in surface texture due to changes ...
Output type
D - Journal article
Volume title
Journal of the Optical Society of America A: Optics, Image Science, and Vision
Year
2010
DOI
10.1364/JOSAA.27.001232
Output title
Modelling the impacts of land system dynamics on human well-being: ...
Output type
D - Journal article
Volume title
Computers, Environment and Urban Systems
Year
2012
DOI
10.1016/j.compenvurbsys.2011.10.002
Output title
MOPC/D: A new Probability Collectives algorithm for Multiobjective ...
Output type
E - Conference contribution
Volume title
IEEE Symposium Series on Computational Intelligence
Year
2013
DOI
10.1109/MCDM.2013.6595439
Output title
Multi-Objective Topic Modelling
Output type
E - Conference contribution
Volume title
7th International Conference on Evolutionary Multicriterion Optimization
Year
2013
DOI
10.1007/978-3-642-37140-0_8
Output title
Mutation in linked data structures
Output type
E - Conference contribution
Volume title
Proceedings of the 13th International Conference on Formal Engineering Methods, (ICFEM) 2011
Year
2011
DOI
10.1007/978-3-642-24559-6_20
1 2
> Last
Showing outputs 1 - 50 of 91