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

Outputs (REF2)

11 - Computer Science and Informatics

University of Warwick

1 2
> Last
Showing outputs 1 - 50 of 99
Output title
3-D scalable medical image compression with optimized volume ...
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2010
DOI
10.1109/TMI.2010.2052628
Output title
A comparison and user-based evaluation of models of textual information ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2011
DOI
10.1186/1471-2105-12-69
Output title
A computational theory of episodic memory formation in the h ...
Output type
D - Journal article
Volume title
Behavioural Brain Research
Year
2010
DOI
10.1016/j.bbr.2010.03.027
Output title
A DAG scheduling scheme on heterogeneous computing systems using ...
Output type
D - Journal article
Volume title
Journal of Parallel and Distributed Computing
Year
2013
DOI
10.1016/j.jpdc.2013.05.005
Output title
A fast RPC system for virtual machines
Output type
D - Journal article
Volume title
IEEE Transactions on Parallel and Distributed Systems
Year
2013
DOI
10.1109/TPDS.2012.199
Output title
A Harmonic Algorithm for the 3D Strip Packing Problem
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2013
DOI
10.1137/070691607
Output title
A multiresolution framework for local similarity based image ...
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2012
DOI
10.1016/j.patcog.2012.01.023
Output title
A New Approximation Method for Set Covering Problems, with Applications ...
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2009
DOI
10.1137/080736831
Output title
A payment-based incentive and service differentiation scheme ...
Output type
D - Journal article
Volume title
IEEE Transactions on Parallel and Distributed Systems
Year
2008
DOI
10.1109/TPDS.2007.70778
Output title
A removal lemma for systems of linear equations over finite ...
Output type
D - Journal article
Volume title
Israel Journal of Mathematics
Year
2012
DOI
10.1007/s11856-011-0080-y
Output title
A Stochastic Power Network Calculus for Integrating Renewable ...
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2012
DOI
10.1109/JSAC.2012.120703
Output title
Adoption and use of Web 2.0 in scholarly communications
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2010
DOI
10.1098/rsta.2010.0155
Output title
Algorithmic Games for Full Ground References
Output type
E - Conference contribution
Volume title
Proceedings of the 39th International Colloquium on Automata, Languages and Programming (ICALP'12)
Year
2012
DOI
10.1007/978-3-642-31585-5_30
Output title
Algorithmic probabilistic game semantics - Playing games with ...
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2013
DOI
10.1007/s10703-012-0173-1
Output title
Algorithms for distributed functional monitoring
Output type
D - Journal article
Volume title
ACM Transactions on Algorithms
Year
2011
DOI
10.1145/1921659.1921667
Output title
Almost tight bounds for reordering buffer management
Output type
E - Conference contribution
Volume title
STOC '11 Proceedings of the 43rd annual ACM symposium on Theory of computing
Year
2011
DOI
10.1145/1993636.1993717
Output title
Almost-Sure Model-Checking of Reactive Timed Automata
Output type
E - Conference contribution
Volume title
Proceedings of the 9th IEEE International Conference on Quantitative Evaluation of Systems (QEST 2012)
Year
2012
DOI
10.1109/QEST.2012.10
Output title
An Affine Symmetric Image Model and Its Applications
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2010
DOI
10.1109/TIP.2010.2045692
Output title
An approach to source-code plagiarism detection and investigation ...
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2012
DOI
10.1109/TC.2011.223
Output title
An investigation of the performance portability of OpenCL
Output type
D - Journal article
Volume title
Journal of Parallel and Distributed Computing
Year
2013
DOI
10.1016/j.jpdc.2012.07.005
Output title
An O(log k)-competitive algorithm for generalized caching
Output type
E - Conference contribution
Volume title
Proceedings of the 23rd ACM-SIAM Symposium on Discrete Algorithms (SODA '12)
Year
2012
DOI
10.1145/2095116.2095249
Output title
An unsupervised conditional random fields approach for clustering ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2008
DOI
10.1093/bioinformatics/btn375
Output title
Anonymizing bipartite graph data using safe groupings
Output type
D - Journal article
Volume title
The VLDB Journal
Year
2010
DOI
10.1007/s00778-009-0167-9
Output title
Approximation Algorithms for Submodular Multiway Partition
Output type
E - Conference contribution
Volume title
2011 IEEE 52nd Annual Symposium on Foundations of Computer Science (FOCS)
Year
2011
DOI
10.1109/FOCS.2011.34
Output title
Automatic recognition of conceptualization zones in scientific ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2012
DOI
10.1093/bioinformatics/bts071
Output title
BioIMAX : a web 2.0 approach for easy exploratory and collaborative ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2011
DOI
10.1186/1471-2105-12-297
Output title
Choice, difficulty, and confidence in the brain
Output type
D - Journal article
Volume title
Neuroimage
Year
2010
DOI
10.1016/j.neuroimage.2010.06.073
Output title
Cluster synchronization in networks of coupled nonidentical dynamical ...
Output type
D - Journal article
Volume title
Chaos: An Interdisciplinary Journal of Nonlinear Science
Year
2010
DOI
10.1063/1.3329367
Output title
Collapsible pushdown automata and recursion schemes
Output type
E - Conference contribution
Volume title
23rd Annual IEEE Symposium on Logic in Computer Science, 2008 (LICS'08)
Year
2008
DOI
10.1109/LICS.2008.34
Output title
Color-decoupled photo response non-uniformity for digital image ...
Output type
D - Journal article
Volume title
IEEE Transactions on Circuits and Systems for Video Technology
Year
2012
DOI
10.1109/TCSVT.2011.2160750
Output title
Compact representation of contours using directional grid chain ...
Output type
D - Journal article
Volume title
Signal Processing: Image Communication
Year
2008
DOI
10.1016/j.image.2007.11.002
Output title
Computational models of schizophrenia and dopamine modulation ...
Output type
D - Journal article
Volume title
Nature Reviews Neuroscience
Year
2008
DOI
10.1038/nrn2462
Output title
Connectivity-guaranteed and obstacle-adaptive deployment schemes ...
Output type
D - Journal article
Volume title
IEEE Transactions on Mobile Computing
Year
2009
DOI
10.1109/TMC.2009.31
Output title
Considering Suppressed Packets Improves Buffer Management in ...
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2012
DOI
10.1137/110856745
Output title
Continuous sampling from distributed streams
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2012
DOI
10.1145/2160158.2160163
Output title
Convergence analysis of a class of nonsmooth gradient system ...
Output type
D - Journal article
Volume title
IEEE Transactions on Circuits and Systems I: Regular Papers
Year
2008
DOI
10.1109/TCSI.2008.925816
Output title
Critical Factors for Technology Integration in Game-Based Pervasive ...
Output type
D - Journal article
Volume title
IEEE Transactions on Learning Technologies
Year
2010
DOI
10.1109/TLT.2010.16
Output title
Data-abstraction refinement: a game semantic approach
Output type
D - Journal article
Volume title
International Journal on Software Tools for Technology Transfer
Year
2010
DOI
10.1007/s10009-010-0143-0
Output title
Decision time, slow inhibition, and theta rhythm
Output type
D - Journal article
Volume title
The Journal of Neuroscience
Year
2010
DOI
10.1523/JNEUROSCI.0945-10.2010
Output title
Delay Bounds in Communication Networks with Heavy-Tailed and ...
Output type
D - Journal article
Volume title
IEEE Transactions on Information Theory
Year
2012
DOI
10.1109/TIT.2011.2173713
Output title
Democratization in a passive dendritic tree : an analytical ...
Output type
D - Journal article
Volume title
Journal of Computational Neuroscience
Year
2008
DOI
10.1007/s10827-008-0075-9
Output title
Depression uncouples brain hate circuit
Output type
D - Journal article
Volume title
Molecular Psychiatry
Year
2013
DOI
10.1038/mp.2011.127
Output title
Developing an optimized application hosting framework in Clo ...
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2013
DOI
10.1016/j.jcss.2013.02.003
Output title
Developing resource consolidation frameworks for moldable virtual ...
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2012
DOI
10.1016/j.future.2012.05.015
Output title
Differential triggering of spontaneous glutamate release by P/Q-, ...
Output type
D - Journal article
Volume title
Nature Neuroscience
Year
2013
DOI
10.1038/nn.3563
Output title
Emergent synchronous bursting of oxytocin neuronal network
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2008
DOI
10.1371/journal.pcbi.1000123
Output title
Enhancement of plant metabolite fingerprinting by machine le ...
Output type
D - Journal article
Volume title
Plant Physiology
Year
2010
DOI
10.1104/pp.109.150524
Output title
Enhancing learning management systems to better support computer ...
Output type
D - Journal article
Volume title
ACM SIGCSE Bulletin
Year
2008
DOI
10.1145/1473195.1473239
Output title
Estimating the weight of metric minimum spanning trees in sublinear ...
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2009
DOI
10.1137/060672121
Output title
Evolutionary analysis of regulatory sequences (EARS) in plan ...
Output type
D - Journal article
Volume title
Plant Journal
Year
2010
DOI
10.1111/j.1365-313X.2010.04314.x
1 2
> Last
Showing outputs 1 - 50 of 99