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: Imperial College London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Imperial College London

1 2 3 4 5
> Last
Showing outputs 1 - 50 of 201
Output title
A Basis Illumination Approach to BRDF Measurement
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2010
DOI
10.1007/s11263-008-0151-7
Output title
A Bayesian Hierarchical Model for the Analysis of a Longitudinal ...
Output type
D - Journal article
Volume title
Magnetic Resonance in Medicine
Year
2009
DOI
10.1002/mrm.21807
Output title
A Combined Manifold Learning Analysis of Shape and Appearance ...
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2011
DOI
10.1109/TMI.2011.2162529
Output title
A computational model for multi-variable differential calcul ...
Output type
D - Journal article
Volume title
Information and Computation
Year
2013
DOI
10.1016/j.ic.2012.11.006
Output title
A constraint sampling approach for multi-stage robust optimi ...
Output type
D - Journal article
Volume title
Automatica
Year
2012
DOI
10.1016/j.automatica.2011.12.002
Output title
A Content-Based Publish/Subscribe Matching Algorithm for 2D Spatial ...
Output type
E - Conference contribution
Volume title
ACM/IFIP/USENIX 12th International Middleware Conference
Year
2011
DOI
10.1007/978-3-642-25821-3_11
Output title
A differential operator and weak topology for Lipschitz maps
Output type
D - Journal article
Volume title
Topology and Its Applications
Year
2010
DOI
10.1016/j.topol.2010.03.003
Output title
A Dynamic Texture-Based Approach to Recognition of Facial Actions ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2010
DOI
10.1109/TPAMI.2010.50
Output title
A fluid analysis framework for a Markovian process algebra
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2010
DOI
10.1016/j.tcs.2010.02.001
Output title
A General Framework for Context-Specific Image Segmentation Using ...
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2013
DOI
10.1109/TMI.2013.2252431
Output title
A generalised framework for dispute derivations in assumption-based ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2013
DOI
10.1016/j.artint.2012.09.010
Output title
A hierarchy of reverse bisimulations on stable configuration ...
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2012
DOI
10.1017/S0960129511000429
Output title
A Language for Differentiable Functions
Output type
E - Conference contribution
Volume title
16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
Year
2013
DOI
10.1007/978-3-642-37075-5_22
Output title
A Lightweight Policy System for Body Sensor Networks
Output type
D - Journal article
Volume title
IEEE Transactions on Network and Service Management
Year
2009
DOI
10.1109/TNSM.2009.03.090301
Output title
A logical interpretation of the lambda-calculus into the pi-calculus, ...
Output type
E - Conference contribution
Volume title
20th International Conference on Concurrency Theory (CONCUR'09)
Year
2009
DOI
10.1007/978-3-642-04081-8_7
Output title
A Method Specialisation and Virtualised Execution Environment ...
Output type
E - Conference contribution
Volume title
4th International Conference on Virtual Execution Environments
Year
2008
DOI
10.1145/1346256.1346264
Output title
A model for Java with wildcards
Output type
E - Conference contribution
Volume title
22nd European Conference on Object-Oriented Programming (ECOOP 2008)
Year
2008
DOI
10.1007/978-3-540-70592-5_2
Output title
A Performance Model of Zoned Disk Drives with I/O Request Re ...
Output type
E - Conference contribution
Volume title
6th International Conference on the Quantitative Evaluation of Systems
Year
2009
DOI
10.1109/QEST.2009.31
Output title
A policy-based publish/subscribe middleware for sense-and-react ...
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2011
DOI
10.1016/j.jss.2010.10.023
Output title
A spiking neuron model of cortical broadcast and competition
Output type
D - Journal article
Volume title
Consciousness and Cognition
Year
2008
DOI
10.1016/j.concog.2006.12.005
Output title
A stochastic minimum principle and an adaptive pathwise algorithm ...
Output type
D - Journal article
Volume title
Automatica
Year
2013
DOI
10.1016/j.automatica.2013.02.053
Output title
A type safe state abstraction for coordination in J-like lan ...
Output type
D - Journal article
Volume title
Acta Informatica
Year
2008
DOI
10.1007/s00236-008-0079-y
Output title
A unifying approach to product-forms in networks with finite ...
Output type
E - Conference contribution
Volume title
ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS'10)
Year
2010
DOI
10.1145/1811039.1811043
Output title
Abductive logic programming agents with destructive database ...
Output type
D - Journal article
Volume title
Annals of Mathematics and Artificial Intelligence
Year
2011
DOI
10.1007/s10472-011-9253-y
Output title
Access Control via Belnap Logic: Intuitive, Expressive, and Analyzable ...
Output type
D - Journal article
Volume title
ACM Transactions on Information and System Security
Year
2011
DOI
10.1145/1952982.1952991
Output title
Adaptive Routing in Network-on-Chips Using a Dynamic-Programming ...
Output type
D - Journal article
Volume title
IEEE Transactions on Industrial Electronics
Year
2011
DOI
10.1109/TIE.2010.2081953
Output title
Advice from Belnap Policies
Output type
E - Conference contribution
Volume title
22nd IEEE Computer Security Foundations Symposium
Year
2009
DOI
10.1109/CSF.2009.8
Output title
Agent strands in the action language nC+.
Output type
D - Journal article
Volume title
Journal of Applied Logic
Year
2008
DOI
10.1016/j.jal.2007.06.007
Output title
Agent Strategies for ABA-based Information-seeking and Inquiry ...
Output type
E - Conference contribution
Volume title
20th European Conference on Artificial Intelligence (ECAI 2012)
Year
2012
DOI
10.3233/978-1-61499-098-7-324
Output title
Ambient Intelligence: A Survey
Output type
D - Journal article
Volume title
ACM Computing Surveys
Year
2011
DOI
10.1145/1978802.1978815
Output title
An Algorithm for the Global Optimization of a Class of Continuous ...
Output type
D - Journal article
Volume title
Journal of Optimization Theory and Applications
Year
2009
DOI
10.1007/s10957-008-9473-4
Output title
An Authorization Framework Resilient to Policy Evaluation Fa ...
Output type
E - Conference contribution
Volume title
15th European Symposium on Research in Computer Security (ESORICS 2010)
Year
2010
DOI
10.1007/978-3-642-15497-3_29
Output title
An Integrated Workbench for Model-Based Engineering of Service ...
Output type
D - Journal article
Volume title
IEEE Transactions on Services Computing
Year
2010
DOI
10.1109/TSC.2010.19
Output title
An Opportunistic Authority Evaluation Scheme for Data Security ...
Output type
E - Conference contribution
Volume title
5th ACM Symposium on Information, Computer and Communications Security
Year
2010
DOI
10.1145/1755688.1755709
Output title
Argumentation-Based Reinforcement Learning for RoboCup Soccer ...
Output type
E - Conference contribution
Volume title
20th European Conference on Artificial Intelligence (ECAI'12)
Year
2012
DOI
10.3233/978-1-61499-098-7-342
Output title
Automated Abdominal Multi-Organ Segmentation With Subject-Specific ...
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2013
DOI
10.1109/TMI.2013.2265805
Output title
Automated Abstractions for Contract Validation
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
DOI
10.1109/TSE.2010.98
Output title
Automated Discovery of Food Webs from Ecological Data Using Logic-Based ...
Output type
D - Journal article
Volume title
PLOS One
Year
2011
DOI
10.1371/journal.pone.0029028
Output title
Automatic analysis of DMA races using model checking and k-i ...
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2011
DOI
10.1007/s10703-011-0124-2
Output title
Bare canonicity of representable cylindric and polyadic alge ...
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2013
DOI
10.1016/j.apal.2013.04.002
Output title
Being bored? Recognising natural interest by extensive audiovisual ...
Output type
D - Journal article
Volume title
Image and Vision Computing
Year
2009
DOI
10.1016/j.imavis.2009.02.013
Output title
BURN: Enabling Workload Burstiness in Customized Service Ben ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
DOI
10.1109/TSE.2011.58
Output title
BUSY PERIODS IN FLUID QUEUES WITH MULTIPLE EMPTYING INPUT ST ...
Output type
D - Journal article
Volume title
Journal of Applied Probability
Year
2010
DOI
10.1239/jap/1276784904
Output title
Camdoop: Exploiting In-network Aggregation for Big Data Appl ...
Output type
E - Conference contribution
Volume title
USENIX Symposium on Networked Systems Design and Implementation NSDI 12
Year
2012
DOI
Output title
Capacity of strong attractor patterns to model behavioural and ...
Output type
E - Conference contribution
Volume title
Neural Information Processing Systems (NIPS) 2013
Year
2013
DOI
Output title
Characterization of the proteasome interaction network using ...
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences of the United States of America
Year
2008
DOI
10.1073/pnas.0801870105
Output title
Circularly polarized spherical illumination reflectometry
Output type
D - Journal article
Volume title
ACM Transactions on Graphics
Year
2010
DOI
10.1145/1882261.1866163
Output title
CLASSICAL BI: ITS SEMANTICS AND PROOF THEORY
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2010
DOI
10.2168/LMCS-6(3:3)2010
Output title
Combining Long Short-Term Memory and Dynamic Bayesian Networks ...
Output type
D - Journal article
Volume title
IEEE Journal of Selected Topics in Signal Processing
Year
2010
DOI
10.1109/JSTSP.2010.2057200
Output title
Combining statistics and arguments to compute trust.
Output type
E - Conference contribution
Volume title
9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10)
Year
2010
DOI
1 2 3 4 5
> Last
Showing outputs 1 - 50 of 201