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

Outputs (REF2)

11 - Computer Science and Informatics

University of Cambridge

First <
1 2 3 4
> Last
Showing outputs 101 - 150 of 184
Output title
Natural language processing in aid of FlyBase curators.
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2008
DOI
10.1186/1471-2105-9-193
Output title
Neighbor-specific BGP: An algebraic exploration
Output type
E - Conference contribution
Volume title
Proceedings - International Conference on Network Protocols, ICNP
Year
2010
DOI
10.1109/ICNP.2010.5762759
Output title
Nominal System T
Output type
E - Conference contribution
Volume title
POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Year
2010
DOI
10.1145/1706299.1706321
Output title
NURBS with Extraordinary Points: High-degree, Non-uniform, Rational ...
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON GRAPHICS
Year
2009
DOI
10.1145/1531326.1531352
Output title
On optimising personal network size to manage information fl ...
Output type
E - Conference contribution
Volume title
CIKM-CNIKM
Year
2009
DOI
10.1145/1651274.1651279
Output title
On the construction of free algebras for equational systems
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2009
DOI
10.1016/j.tcs.2008.12.052
Output title
On the expressivity of symmetry in event structures
Output type
E - Conference contribution
Volume title
25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010)
Year
2010
DOI
10.1109/LICS.2010.37
Output title
On the interaction of multiple routing algorithms
Output type
E - Conference contribution
Volume title
Proceedings of the 7th Conference on Emerging Networking EXperiments and Technologies, CoNEXT'11
Year
2011
DOI
10.1145/2079296.2079303
Output title
On the mathematical synthesis of equational logics
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
DOI
Output title
Opportunistic radio SLAM for indoor navigation using smartphone ...
Output type
E - Conference contribution
Volume title
Record - IEEE PLANS, Position Location and Navigation Symposium
Year
2012
DOI
10.1109/PLANS.2012.6236873
Output title
Optimised to Fail: Card Readers for Online Banking.
Output type
E - Conference contribution
Volume title
Financial Cryptography
Year
2009
DOI
10.1007/978-3-642-03549-4_11
Output title
Ott: Effective tool support for the working semanticist
Output type
D - Journal article
Volume title
J FUNCT PROGRAM
Year
2010
DOI
10.1017/S0956796809990293
Output title
Parser lexicalisation through self-learning
Output type
E - Conference contribution
Volume title
Proceedings of the North American Conference of the Association for Computational Computational Linguistics
Year
2013
DOI
Output title
Pedestrian localisation for indoor environments.
Output type
E - Conference contribution
Volume title
UbiComp
Year
2008
DOI
10.1145/1409635.1409651
Output title
Pico: No More Passwords!
Output type
E - Conference contribution
Volume title
Security Protocols Workshop
Year
2011
DOI
10.1007/978-3-642-25867-1_6
Output title
Portable compiler optimisation across embedded programs and microarchitectures ...
Output type
E - Conference contribution
Volume title
Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
Year
2009
DOI
10.1145/1669112.1669124
Output title
Power Optimized Transceivers for Future Switched Networks
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
Year
2013
DOI
10.1109/TVLSI.2013.2283300
Output title
Practical Linguistic Steganography using Contextual Synonym Substitution ...
Output type
D - Journal article
Volume title
Computational Linguistics
Year
2013
DOI
10.1162/COLI_a_00176
Output title
Predicting the Performance of Virtual Machine Migration.
Output type
E - Conference contribution
Volume title
MASCOTS
Year
2010
DOI
10.1109/MASCOTS.2010.13
Output title
PRESERVATION UNDER EXTENSIONS ON WELL-BEHAVED FINITE STRUCTU ...
Output type
D - Journal article
Volume title
SIAM J COMPUT
Year
2008
DOI
10.1137/060658709
Output title
Price versus privacy: an experiment into the competitive advantage ...
Output type
D - Journal article
Volume title
Electronic Commerce Research
Year
2013
DOI
10.1007/s10660-013-9130-3
Output title
Probabilistic Group Recommendation via Information Matching
Output type
E - Conference contribution
Volume title
22nd International World Wide Web Conference
Year
2013
DOI
Output title
Projection Design for Statistical Compressive Sensing: A Tight ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON SIGNAL PROCESSING
Year
2013
DOI
10.1109/TSP.2013.2245661
Output title
Proof-producing synthesis of ML from higher-order logic.
Output type
E - Conference contribution
Volume title
ICFP
Year
2012
DOI
10.1145/2364527.2364545
Output title
Proximity Coherence for Chip Multiprocessors
Output type
E - Conference contribution
Volume title
PACT 2010: PROCEEDINGS OF THE NINETEENTH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES
Year
2010
DOI
10.1145/1854273.1854293
Output title
Quasirandom Load Balancing
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2012
DOI
10.1137/100799216
Output title
Quasirandom rumor spreading
Output type
E - Conference contribution
Volume title
Proceedings of the 19th ACM-SIAM Symposium on Discrete Algorithms (SODA’08)
Year
2008
DOI
Output title
Real-Time Spatiotemporal Stereo Matching Using the Dual-Cross-Bilateral ...
Output type
E - Conference contribution
Volume title
ECCV (3)
Year
2010
DOI
10.1007/978-3-642-15558-1_37
Output title
Requirements of Low Power Photonic Networks for Distributed Shared ...
Output type
E - Conference contribution
Volume title
2011 OPTICAL FIBER COMMUNICATION CONFERENCE AND EXPOSITION (OFC/NFOEC) AND THE NATIONAL FIBER OPTIC ENGINEERS CONFERENCE
Year
2011
DOI
Output title
Resilience of the Internet Interconnection Ecosystem
Output type
N - Research report for external body
Volume title
Year
2011
DOI
Output title
Resolving Inductive Definitions with Binders in Higher-Order ...
Output type
E - Conference contribution
Volume title
ESOP
Year
2009
DOI
10.1007/978-3-642-00590-9_4
Output title
RF-Based Initialisation for Inertial Pedestrian Tracking
Output type
E - Conference contribution
Volume title
Proceedings of the 7th International Conference on Pervasive Computing
Year
2009
DOI
10.1007/978-3-642-01516-8_17
Output title
Rhythm and Randomness in Human Contact.
Output type
E - Conference contribution
Volume title
ASONAM
Year
2010
DOI
10.1109/ASONAM.2010.57
Output title
Robust Argumentative Zoning for Sensemaking in Scholarly Doc ...
Output type
D - Journal article
Volume title
NLP4DL/AT4DL
Year
2011
DOI
10.1007/978-3-642-23160-5_10
Output title
Robust design of microbial strains.
Output type
D - Journal article
Volume title
Bioinformatics
Year
2012
DOI
10.1093/bioinformatics/bts590
Output title
Robust multipath routing in large wireless networks.
Output type
E - Conference contribution
Volume title
INFOCOM
Year
2011
DOI
10.1109/INFCOM.2011.5935103
Output title
Robust Regression with Twinned Gaussian Processes
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 20
Year
2009
DOI
Output title
Routing in Equilibrium
Output type
E - Conference contribution
Volume title
The 19th International Symposium on Mathematical Theory of Networks and Systems
Year
2010
DOI
Output title
Satori: Enlightened Page Sharing
Output type
E - Conference contribution
Volume title
USENIX Annual Technical Conference
Year
2009
DOI
Output title
Second-order and dependently-sorted abstract syntax
Output type
E - Conference contribution
Volume title
Twenty-Third Annual IEEE Symposium on Logic in Computer Science
Year
2008
DOI
10.1109/LICS.2008.38
Output title
Security Economics and the Internal Market
Output type
N - Research report for external body
Volume title
Year
2008
DOI
Output title
Security Engineering
Output type
A - Authored book
Volume title
Year
2010
DOI
Output title
Semantic Classification with Distributional Kernels.
Output type
E - Conference contribution
Volume title
COLING
Year
2008
DOI
Output title
Sketching across design domains: Roles and formalities
Output type
D - Journal article
Volume title
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Year
2012
DOI
10.1017/S0890060412000133
Output title
Slacker Semantics: Why Superficiality, Dependency and Avoidance ...
Output type
E - Conference contribution
Volume title
EACL
Year
2009
DOI
Output title
Smart bridges, smart tunnels: Transforming wireless sensor networks ...
Output type
D - Journal article
Volume title
AD HOC NETW
Year
2010
DOI
10.1016/j.adhoc.2010.04.002
Output title
SociableSense: exploring the trade-offs of adaptive sampling ...
Output type
E - Conference contribution
Volume title
MOBICOM
Year
2011
DOI
10.1145/2030613.2030623
Output title
Specification and verification of ARM hardware and software
Output type
C - Chapter in book
Volume title
Design and Verification of Microprocessor Systems for High-Assurance Applications
Year
2010
DOI
10.1007/978-1-4419-1539-9_8
Output title
Statistical Anaphora Resolution in Biomedical Texts.
Output type
E - Conference contribution
Volume title
COLING
Year
2008
DOI
Output title
Statistical Metaphor Processing
Output type
D - Journal article
Volume title
Computational Linguistics
Year
2013
DOI
10.1162/COLI_a_00124
First <
1 2 3 4
> Last
Showing outputs 101 - 150 of 184