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: King's College London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

King's College London

First <
1 2 3 4
> Last
Showing outputs 101 - 150 of 159
Output title
On the complexity of modal axiomatisations over many-dimensional ...
Output type
C - Chapter in book
Volume title
Advances in Modal Logic, Volume 8
Year
2010
DOI
Output title
On the Design and Implementation of Higher Order Differential ...
Output type
D - Journal article
Volume title
Ieee Transactions On Audio Speech And Language Processing
Year
2012
DOI
10.1109/TASL.2011.2159204
Output title
On the Use of Cooperative Physical Layer Network Coding for Energy ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON COMMUNICATIONS
Year
2013
DOI
10.1109/TCOMM.2013.012913.120288
Output title
Optimal design of forward error correction for fairness maximisation ...
Output type
D - Journal article
Volume title
Iet Communications
Year
2010
DOI
10.1049/iet-com.2009.0394
Output title
Optimal Power Allocation for Fading Channels in Cognitive Radio ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
Year
2009
DOI
10.1109/TWC.2009.071448
Output title
Optimal Sensing Time and Power Allocation in Multiband Cognitive ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON COMMUNICATIONS
Year
2011
DOI
10.1109/TCOMM.2010.110310.090473
Output title
Packet Error Outage for Coded Systems Experiencing Fast Fading ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
Year
2013
DOI
10.1109/TWC.2012.121812.111785
Output title
Partially Grounded Planning as Quantified Boolean Formula
Output type
E - Conference contribution
Volume title
Proceedings of the twenty-third international conference on automated planning and scheduling (ICAPS 2013)
Year
2012
DOI
Output title
Periodic-Finite-Type Shift Spaces
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON INFORMATION THEORY
Year
2011
DOI
10.1109/TIT.2011.2143910
Output title
Plan Recognition as Planning
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI09) PROCEEDINGS : Pasadena, California, USA, 11-17 July
Year
2009
DOI
Output title
Plan-based Policies for Efficient Multiple Battery Load Mana ...
Output type
D - Journal article
Volume title
Journal Artificial Intelligence Research
Year
2012
DOI
10.1613/jair.3643
Output title
Planning Modulo Theories: Extending the Planning Paradigm
Output type
E - Conference contribution
Volume title
Twenty-Second International Conference on Automated Planning and Scheduling
Year
2012
DOI
Output title
Planning with Problems Requiring Temporal Coordination
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference
Year
2008
DOI
Output title
Population-based Local Search for Protein Folding Simulation ...
Output type
D - Journal article
Volume title
COMPUTATIONAL BIOLOGY AND CHEMISTRY
Year
2009
DOI
10.1016/j.compbiolchem.2009.06.006
Output title
Portable acoustic device for detection of coconut palms infested ...
Output type
D - Journal article
Volume title
CROP PROTECTION
Year
2010
DOI
10.1016/j.cropro.2009.09.002
Output title
Posture, Workspace, and Manipulability of the Metamorphic Multifingered ...
Output type
D - Journal article
Volume title
Journal of Mechanisms and Robotics
Year
2011
DOI
10.1115/1.4003414
Output title
Predictive coding as a model of biased competition in visual ...
Output type
D - Journal article
Volume title
Vision Research
Year
2008
DOI
10.1016/j.visres.2008.03.009
Output title
Predictive Coding as a Model of Response Properties in Cortical ...
Output type
D - Journal article
Volume title
Journal of Neuroscience
Year
2010
DOI
10.1523/JNEUROSCI.4911-09.2010
Output title
PrIMe : A Methodology for Developing Provenance-Aware Applic ...
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Year
2011
DOI
10.1145/2000791.2000792
Output title
Primitives for motor adaptation reflect correlated neural turning ...
Output type
D - Journal article
Volume title
Neuron
Year
2009
DOI
10.1016/j.neuron.2009.10.001
Output title
Property matching and weighted matching
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2008
DOI
10.1016/j.tcs.2008.01.006
Output title
Quadratic-Stability Analysis of Fuzzy-Model-Based Control Systems ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON FUZZY SYSTEMS
Year
2010
DOI
10.1109/TFUZZ.2009.2037744
Output title
Reasoning about preferences in argumentation frameworks
Output type
D - Journal article
Volume title
ARTIFICIAL INTELLIGENCE
Year
2009
DOI
10.1016/j.artint.2009.02.001
Output title
Revision, Acceptability and Context
Output type
A - Authored book
Volume title
Year
2010
DOI
Output title
Robust Detection of Stochastic Nuclear Quadrupole Resonance ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON SIGNAL PROCESSING
Year
2008
DOI
10.1109/TSP.2008.923809
Output title
Robust Scheduling in Spatial Reuse TDMA Wireless Networks
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
Year
2008
DOI
10.1109/T-WC.2008.070505
Output title
Rolling Indentation Probe for Tissue Abnormality Identification ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON ROBOTICS
Year
2011
DOI
10.1109/TRO.2011.2127210
Output title
Rolling Mechanical Imaging for Tissue Abnormality Localization ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2010
DOI
10.1109/TBME.2009.2032164
Output title
Secure Lossless Aggregation Over Fading and Shadowing Channels ...
Output type
D - Journal article
Volume title
IEEE Transactions on Smart Grid
Year
2011
DOI
10.1109/TSG.2011.2162431
Output title
Self-organizing agent communities for autonomic resource man ...
Output type
D - Journal article
Volume title
ADAPTIVE BEHAVIOR
Year
2013
DOI
10.1177/1059712312462247
Output title
Soft Goals Can Be Compiled Away
Output type
D - Journal article
Volume title
Journal Artificial Intelligence Research
Year
2009
DOI
10.1613/jair.2857
Output title
SOS-Based Stability Analysis of Polynomial Fuzzy-Model-Based ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON FUZZY SYSTEMS
Year
2010
DOI
10.1109/TFUZZ.2010.2050890
Output title
Speeding up random walks with neighbourhood exploration
Output type
E - Conference contribution
Volume title
Proceedings of the twenty-first annual ACM-SIAM symposium on discrete algorithms
Year
2010
DOI
Output title
Stability Analysis and Performance Design for Fuzzy-Model-Based ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON FUZZY SYSTEMS
Year
2009
DOI
10.1109/TFUZZ.2008.928600
Output title
Stability analysis of interval type-2 fuzzy-model-based control ...
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics
Year
2008
DOI
10.1109/TSMCB.2008.915530
Output title
Stochastic protein folding simulation in the three-dimensional ...
Output type
D - Journal article
Volume title
COMPUTATIONAL BIOLOGY AND CHEMISTRY
Year
2008
DOI
10.1016/j.compbiolchem.2008.03.004
Output title
Temporal Planning with Preferences and Time-Dependent Continuous ...
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty Second International Conference on Automated Planning and Scheduling
Year
2012
DOI
Output title
The "runs" conjecture
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2011
DOI
10.1016/j.tcs.2010.06.019
Output title
The Cover Time of Random Geometric Graphs
Output type
D - Journal article
Volume title
RANDOM STRUCTURES AND ALGORITHMS
Year
2011
DOI
10.1002/rsa.20320
Output title
The cover time of the giant component of a random graph
Output type
D - Journal article
Volume title
RANDOM STRUCTURES AND ALGORITHMS
Year
2008
DOI
10.1002/rsa.20201
Output title
The Cover Times of Random Walks on Random Uniform Hypergraph ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2013
DOI
10.1016/j.tcs.2013.01.020
Output title
The Flip Markov Chain and a Randomising P2P Protocol
Output type
E - Conference contribution
Volume title
28th Annual ACM Symposium on Principles of Distributed Computing
Year
2009
DOI
10.1145/1582716.1582742
Output title
The Impact of Meta-Tracing on VM Design and Implementation
Output type
D - Journal article
Volume title
SCIENCE OF COMPUTER PROGRAMMING
Year
2013
DOI
10.1016/j.scico.2013.02.001
Output title
The Open Provenance Model Core Specification (v1.1)
Output type
D - Journal article
Volume title
FUTURE GENERATION COMPUTER SYSTEMS
Year
2011
DOI
10.1016/j.future.2010.07.005
Output title
Three-Dimensional Microwave Breast Imaging : Dispersive Dielectric ...
Output type
D - Journal article
Volume title
Ieee Transactions on Medical Imaging
Year
2009
DOI
10.1109/TMI.2008.2008959
Output title
Three-dimensional microwave imaging of realistic numerical breast ...
Output type
D - Journal article
Volume title
Medical Physics
Year
2010
DOI
10.1118/1.3443569
Output title
Towards a natural language semantics without functors and op ...
Output type
D - Journal article
Volume title
Journal of Logic, Language & Information
Year
2008
DOI
10.1007/s10849-007-9039-0
Output title
Transcriptome classification reveals molecular subtypes in p ...
Output type
D - Journal article
Volume title
BMC GENOMICS
Year
2012
DOI
10.1186/1471-2164-13-472
Output title
Transcriptome map of mouse isochores
Output type
D - Journal article
Volume title
BMC GENOMICS
Year
2011
DOI
10.1186/1471-2164-12-511
Output title
Transferring Human Impedance Behaviour to Heterogeneous Variable ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON ROBOTICS
Year
2013
DOI
10.1109/TRO.2013.2256311
First <
1 2 3 4
> Last
Showing outputs 101 - 150 of 159