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

Outputs (REF2)

11 - Computer Science and Informatics

University of Edinburgh

First <
1 2 3 4 5 6 7 8 9
> Last
Showing outputs 351 - 400 of 401
Output title
The arrow calculus
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2010
DOI
10.1017/S095679680999027X
Output title
The Continuous π-Calculus: A Process Algebra for Biochemical ...
Output type
E - Conference contribution
Volume title
Computational Methods in Systems Biology
Year
2008
DOI
10.1007/978-3-540-88562-7_11
Output title
The Data Bonanza : Improving Knowledge Discovery in Science, ...
Output type
B - Edited book
Volume title
Year
2013
DOI
Output title
The effect of program and model structure on mc/dc test adequacy ...
Output type
E - Conference contribution
Volume title
Proceedings of the 30th international conference on Software engineering
Year
2008
DOI
10.1145/1368088.1368111
Output title
The Elimination of Meaning in Computational Theories of Mind
Output type
C - Chapter in book
Volume title
Reduction : Between the Mind and the Brain
Year
2009
DOI
Output title
The enriched effect calculus: syntax and semantics
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2012
DOI
10.1093/logcom/exs025
Output title
The Externalist Foundations of a Truly Total Turing Test
Output type
D - Journal article
Volume title
Minds and Machines
Year
2012
DOI
10.1007/s11023-012-9272-4
Output title
The Gaussian process density sampler
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 21: 22nd Annual Conference on Neural Information Processing Systems 2008
Year
2009
DOI
Output title
The Gene Regulatory Cascade Linking Proneural Specification with ...
Output type
D - Journal article
Volume title
PLoS Biology
Year
2011
DOI
10.1371/journal.pbio.1000568
Output title
The magnetic resonance imaging subset of the mngu0 articulatory ...
Output type
D - Journal article
Volume title
Journal of the Acoustical Society of America
Year
2012
DOI
10.1121/1.3675459
Output title
The Neural Autoregressive Distribution Estimator
Output type
E - Conference contribution
Volume title
Proceedings of the 14th International Conference on Artificial Intelligence and Statistics (AISTATS)
Year
2011
DOI
Output title
The number of Euler tours of a random regular graph
Output type
D - Journal article
Volume title
The Electronic Journal of Combinatorics
Year
2013
DOI
Output title
The NXT-format Switchboard Corpus: a rich resource for investigating ...
Output type
D - Journal article
Volume title
Language Resources and Evaluation
Year
2010
DOI
10.1007/s10579-010-9120-1
Output title
The PASCAL Visual Object Classes (VOC) Challenge
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2010
DOI
10.1007/s11263-009-0275-4
Output title
The Penn Discourse TreeBank 2.0.
Output type
E - Conference contribution
Volume title
Proceedings of the Sixth International Language Resources and Evaluation (LREC'08)
Year
2008
DOI
Output title
The role of feed-forward and feedback processes for closed-loop ...
Output type
D - Journal article
Volume title
Journal of Neuroengineering and Rehabilitation
Year
2011
DOI
10.1186/1743-0003-8-60
Output title
The roles of haptic-ostensive referring expressions in cooperative, ...
Output type
E - Conference contribution
Volume title
Proceedings of the 3rd ACM/IEEE international conference on Human Robot Interaction (HRI '08)
Year
2008
DOI
10.1145/1349822.1349861
Output title
The Romanian speech synthesis (RSS) corpus : Building a high ...
Output type
D - Journal article
Volume title
Speech Communication
Year
2011
DOI
10.1016/j.specom.2010.12.002
Output title
The Sound of Silence : ionic mechanisms encoding sound termi ...
Output type
D - Journal article
Volume title
Neuron
Year
2011
DOI
10.1016/j.neuron.2011.06.028
Output title
The Systems Biology Graphical Notation
Output type
D - Journal article
Volume title
Nature Biotechnology
Year
2009
DOI
10.1038/nbt.1558
Output title
The Use of Embeddings to provide a Clean Separation of Term and ...
Output type
D - Journal article
Volume title
Journal of Automated Reasoning
Year
2011
DOI
10.1007/s10817-010-9177-y
Output title
The Virtual Fly Brain browser and query interface
Output type
D - Journal article
Volume title
Bioinformatics
Year
2012
DOI
10.1093/bioinformatics/btr677
Output title
The λμT-calculus
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2013
DOI
10.1016/j.apal.2012.05.005
Output title
Thousands of Voices for HMM-Based Speech Synthesis-Analysis and ...
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech and Language Processing
Year
2010
DOI
10.1109/TASL.2010.2045237
Output title
Three-Dimensional Surface Relief Completion Via Nonparametric ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2008
DOI
10.1109/TPAMI.2008.153
Output title
Timing accuracy of Web experiments: A case study using the WebExp ...
Output type
D - Journal article
Volume title
Behavior Research Methods
Year
2009
DOI
10.3758/BRM.41.1.12
Output title
Towards a global participatory platform
Output type
D - Journal article
Volume title
European Physical Journal - Special Topics
Year
2012
DOI
10.1140/epjst/e2012-01690-3
Output title
Towards a holistic approach to auto-parallelization: integrating ...
Output type
E - Conference contribution
Volume title
Acm sigplan notices
Year
2009
DOI
10.1145/1543135.1542496
Output title
Towards an Algebraic Theory of Bidirectional Transformations
Output type
E - Conference contribution
Volume title
Graph Transformations
Year
2008
DOI
10.1007/978-3-540-87405-8_1
Output title
Towards certain fixes with editing rules and master data
Output type
D - Journal article
Volume title
VLDB Journal
Year
2012
DOI
10.1007/s00778-011-0253-7
Output title
Towards Formal Proof Script Refactoring
Output type
E - Conference contribution
Volume title
Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
Year
2011
DOI
10.1007/978-3-642-22673-1_18
Output title
Trajectory generation for dynamic bipedal walking through qualitative ...
Output type
E - Conference contribution
Volume title
IEEE International Conference on Robotics and Automation
Year
2008
DOI
10.1109/ROBOT.2008.4543234
Output title
Two Decades of Unsupervised POS tagging---How Far Have We Co ...
Output type
E - Conference contribution
Volume title
Proceedings of the Conference on Empirical Methods in Natural Language Processing
Year
2010
DOI
Output title
Two people walk into a bar: dynamic multi-party social interaction ...
Output type
E - Conference contribution
Volume title
Proceedings of the 14th ACM international conference on Multimodal interaction
Year
2012
DOI
10.1145/2388676.2388680
Output title
Ultrax : An Animated Midsagittal Vocal Tract Display for Speech ...
Output type
E - Conference contribution
Volume title
INTERSPEECH 2012 : 13th Annual Conference of the International Speech Communication Association
Year
2012
DOI
Output title
Universal Blind Quantum Computation
Output type
E - Conference contribution
Volume title
Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS '09)
Year
2009
DOI
10.1109/FOCS.2009.36
Output title
Unsupervised Structure Prediction with Non-Parallel Multilingual ...
Output type
E - Conference contribution
Volume title
Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing
Year
2011
DOI
Output title
Use of the Edinburgh geoparser for georeferencing digitized historical ...
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences
Year
2010
DOI
10.1098/rsta.2010.0149
Output title
User-centred multimodal reminders for assistive living
Output type
E - Conference contribution
Volume title
CHI '11 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2011
DOI
10.1145/1978942.1979248
Output title
Using Planning Domain Features to Facilitate Knowledge Engin ...
Output type
E - Conference contribution
Volume title
KEPS 2011: Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling
Year
2011
DOI
Output title
Using Shared Procedural Knowledge for Virtual Collaboration Support ...
Output type
D - Journal article
Volume title
IEEE Intelligent Systems
Year
2013
DOI
10.1109/MIS.2013.31
Output title
Using wearable inertial sensors for posture and position tracking ...
Output type
E - Conference contribution
Volume title
Proceedings of the 12th international conference on Information processing in sensor networks
Year
2013
DOI
10.1145/2461381.2461411
Output title
Validation of a new non-invasive automatic monitor of respiratory ...
Output type
D - Journal article
Volume title
British Journal of Anaesthesia
Year
2011
DOI
10.1093/bja/aer153
Output title
W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structu ...
Output type
H - Website content
Volume title
Year
2012
DOI
Output title
Well-Typed Programs Can't Be Blamed
Output type
E - Conference contribution
Volume title
Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Year
2009
DOI
10.1007/978-3-642-00590-9_1
Output title
What is an object?
Output type
E - Conference contribution
Volume title
Computer Vision and Pattern Recognition (CVPR), 2010 IEEE Conference on
Year
2010
DOI
10.1109/CVPR.2010.5540226
Output title
When owl:sameAs Isn't the Same: An Analysis of Identity in Linked ...
Output type
E - Conference contribution
Volume title
The Semantic Web -- ISWC 2010
Year
2010
DOI
10.1007/978-3-642-17746-0_20
Output title
XML schema mappings
Output type
E - Conference contribution
Volume title
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Year
2009
DOI
10.1145/1559795.1559801
Output title
XML tree structure compression using RePair
Output type
D - Journal article
Volume title
Information Systems
Year
2013
DOI
10.1016/j.is.2013.06.006
Output title
XML with incomplete information
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2010
DOI
10.1145/1870103.1870107
First <
1 2 3 4 5 6 7 8 9
> Last
Showing outputs 351 - 400 of 401