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 201 - 250 of 401
Output title
Kilo-NOC: a heterogeneous network-on-chip architecture for scalability ...
Output type
E - Conference contribution
Volume title
Proceedings of the 38th annual international symposium on Computer architecture
Year
2011
DOI
10.1145/2000064.2000112
Output title
Large Scale Personality Classification of Bloggers
Output type
E - Conference contribution
Volume title
Affective Computing and Intelligent Interaction : Fourth International Conference, ACII 2011, Memphis, TN, USA, October 9–12, 2011, Proceedings, Part II
Year
2011
DOI
10.1007/978-3-642-24571-8_71
Output title
Latent space segmentation for mobile gait analysis
Output type
D - Journal article
Volume title
ACM Transactions on Embedded Computing Systems
Year
2013
DOI
10.1145/2485984.2485989
Output title
Learning and Designing Stochastic Processes from Logical Con ...
Output type
E - Conference contribution
Volume title
Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Year
2013
DOI
10.1007/978-3-642-40196-1_7
Output title
Learning impedance control of antagonistic systems based on stochastic ...
Output type
D - Journal article
Volume title
International Journal of Robotics Research
Year
2011
DOI
10.1177/0278364910387653
Output title
Learning spatial relationships between objects
Output type
D - Journal article
Volume title
International Journal of Robotics Research
Year
2011
DOI
10.1177/0278364911408155
Output title
Learning the Form of Causal Relationships Using Hierarchical ...
Output type
D - Journal article
Volume title
Cognitive Science
Year
2010
DOI
10.1111/j.1551-6709.2009.01058.x
Output title
Linear-use CPS translations in the enriched effect calculus
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2012
DOI
Output title
Localizing Objects While Learning Their Appearance
Output type
E - Conference contribution
Volume title
Computer Vision – ECCV 2010 : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV
Year
2010
DOI
10.1007/978-3-642-15561-1_33
Output title
Low-voltage activated Kv1.1 subunits are crucial for the processing ...
Output type
D - Journal article
Volume title
Journal of Physiology
Year
2011
DOI
10.1113/jphysiol.2010.203331
Output title
Machine Learning Markets
Output type
E - Conference contribution
Volume title
Proceedings of the 14th International Conference on Artificial Intelligence and Statistics
Year
2011
DOI
Output title
Mapping parallelism to multi-cores: a machine learning based ...
Output type
E - Conference contribution
Volume title
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
Year
2009
DOI
10.1145/1504176.1504189
Output title
Measure, Randomness and Sublocales
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2012
DOI
10.1016/j.apal.2011.12.014
Output title
Mechanisms for Stable, Robust, and Adaptive Development of Orientation ...
Output type
D - Journal article
Volume title
Journal of Neuroscience
Year
2013
DOI
10.1523/JNEUROSCI.1037-13.2013
Output title
Mechanizing the metatheory of LF
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2011
DOI
10.1145/1877714.1877721
Output title
Merged consensus clustering to assess and improve class discovery ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2010
DOI
10.1186/1471-2105-11-590
Output title
MMG: a probabilistic tool to identify submodules of metabolic ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2008
DOI
10.1093/bioinformatics/btn066
Output title
Mobile Access of Wide-Spectrum Networks: Design, Deployment and ...
Output type
E - Conference contribution
Volume title
INFOCOM, 2013 Proceedings IEEE
Year
2013
DOI
10.1109/INFCOM.2013.6566968
Output title
Model checking in the modal μ-calculus and generic solutions
Output type
D - Journal article
Volume title
Journal of Symbolic Computation
Year
2011
DOI
10.1016/j.jsc.2010.10.008
Output title
Model-based machine learning
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences
Year
2013
DOI
10.1098/rsta.2012.0222
Output title
Model-checking games for fixpoint logics with partial order ...
Output type
D - Journal article
Volume title
Information and Computation
Year
2011
DOI
10.1016/j.ic.2010.12.002
Output title
Modeling human function learning with Gaussian processes
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
Modeling human performance in statistical word segmentation
Output type
D - Journal article
Volume title
Cognition
Year
2010
DOI
10.1016/j.cognition.2010.07.005
Output title
Modeling the Emergence of Whisker Direction Maps in Rat Barrel ...
Output type
D - Journal article
Volume title
PLoS One
Year
2010
DOI
10.1371/journal.pone.0008778
Output title
Modelling place memory in crickets
Output type
D - Journal article
Volume title
Biological Cybernetics
Year
2009
DOI
10.1007/s00422-009-0338-1
Output title
Modelling System Administration Problems with CSPs
Output type
E - Conference contribution
Volume title
The 10th International Workshop on Constraint Modelling and Reformulation (ModRef 2011)
Year
2011
DOI
Output title
Models of Interaction as a Grounding for Peer to Peer Knowledge ...
Output type
C - Chapter in book
Volume title
Advances in Web Semantics I : Ontologies, Web Services and Applied Semantic Web
Year
2009
DOI
10.1007/978-3-540-89784-2_4
Output title
Modular verification of security protocol code by typing
Output type
E - Conference contribution
Volume title
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year
2010
DOI
10.1145/1706299.1706350
Output title
Monitoring External Resources in Java MIDP
Output type
D - Journal article
Volume title
Electronic Notes in Theoretical Computer Science
Year
2008
DOI
10.1016/j.entcs.2007.10.011
Output title
Motion planning and reactive control on learnt skill manifol ...
Output type
D - Journal article
Volume title
International Journal of Robotics Research
Year
2013
DOI
10.1177/0278364913482016
Output title
Multi-Agent Negotiation of Virtual Machine Migration Using the ...
Output type
E - Conference contribution
Volume title
Agent and Multi-Agent Systems. Technologies and Applications : 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings
Year
2012
DOI
10.1007/978-3-642-30947-2_16
Output title
Multiple atopy phenotypes and their associations with asthma: ...
Output type
D - Journal article
Volume title
Allergy
Year
2013
DOI
10.1111/all.12134
Output title
Multiple Texture Boltzmann Machines
Output type
E - Conference contribution
Volume title
Proceedings AISTATS 2012
Year
2012
DOI
Output title
Multi-task Gaussian Process Prediction
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 20
Year
2008
DOI
Output title
Natural Language Processing with Python
Output type
A - Authored book
Volume title
Year
2009
DOI
Output title
Nearly optimal solutions for the chow parameters problem and ...
Output type
E - Conference contribution
Volume title
Proceedings of the 44th symposium on Theory of Computing
Year
2012
DOI
10.1145/2213977.2214043
Output title
New privacy issues in mobile telephony: fix and verification
Output type
E - Conference contribution
Volume title
Proceedings of the 2012 ACM conference on Computer and communications security
Year
2012
DOI
10.1145/2382196.2382221
Output title
Nominal logic programming
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems
Year
2008
DOI
10.1145/1387673.1387675
Output title
Normal ventral telencephalic expression of Pax6 is required for ...
Output type
D - Journal article
Volume title
Neural Development
Year
2009
DOI
10.1186/1749-8104-4-19
Output title
Not all microseconds are equal: fine-grained per-flow measurements ...
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGCOMM 2010 conference
Year
2010
DOI
10.1145/1851182.1851188
Output title
Novice identification of melanoma : not quite as straightforward ...
Output type
D - Journal article
Volume title
Acta Dermato-Venereologica
Year
2011
DOI
Output title
Observational interpretation of CASL specifications
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2008
DOI
10.1017/S0960129507006536
Output title
Observations relating to the equivalences induced on model sets ...
Output type
D - Journal article
Volume title
Electronic Communications of the EASST
Year
2012
DOI
Output title
On Stochastic Optimal Control and Reinforcement Learning by Approximate ...
Output type
E - Conference contribution
Volume title
Robotics: Science and Systems VIII (RSS 2012)
Year
2012
DOI
Output title
On the Computational Complexity of Verifying One-Counter Pro ...
Output type
E - Conference contribution
Volume title
Proceedings of the 24th Annual IEEE Symposium on Logic In Computer Science (LICS '09)
Year
2009
DOI
10.1109/LICS.2009.37
Output title
On the quantitative analysis of deep belief networks
Output type
E - Conference contribution
Volume title
Proceedings of the 25th International Conference on Machine Learning (ICML '08)
Year
2008
DOI
10.1145/1390156.1390266
Output title
On Validity of Program Transformations in the Java Memory Mo ...
Output type
E - Conference contribution
Volume title
ECOOP 2008 — Object-Oriented Programming
Year
2008
DOI
10.1007/978-3-540-70592-5_3
Output title
On verifying Bio-PEPA models
Output type
E - Conference contribution
Volume title
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Year
2010
DOI
10.1145/1839764.1839769
Output title
One-counter Markov decision processes
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '10)
Year
2010
DOI
Output title
Opportunistic Belief Reconciliation During Distributed Inter ...
Output type
E - Conference contribution
Volume title
Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent Systems
Year
2010
DOI
First <
1 2 3 4 5 6 7 8 9
> Last
Showing outputs 201 - 250 of 401