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

Outputs (REF2)

11 - Computer Science and Informatics

University of Kent

1 2 3
> Last
Showing outputs 1 - 50 of 117
Output title
A Black-box Approach to Understanding Concurrency in DaCapo
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)
Year
2012
DOI
10.1145/2384616.2384641
Output title
A collaborative filtering approach for quasi-brain-death EEG ...
Output type
E - Conference contribution
Volume title
Acoustics, Speech and Signal Processing (ICASSP), 2011 IEEE International Conference on
Year
2011
DOI
10.1109/ICASSP.2011.5946486
Output title
A conceptual model for attribute aggregation
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2010
DOI
10.1016/j.future.2009.12.004
Output title
A Context and Content-Based Routing Protocol for Mobile Sensor ...
Output type
E - Conference contribution
Volume title
EWSN '09: Proceedings of the 6th European Conference on Wireless Sensor Networks
Year
2009
DOI
10.1007/978-3-642-00224-3_5
Output title
A Fresh Look at Novice Programmers’ Performance and Their Teachers’ ...
Output type
E - Conference contribution
Volume title
Proceedings of the final reports on Innovation and technology in computer science education (ITiCSE) 2013 working groups
Year
2013
DOI
10.1145/2543882.2543884
Output title
A hierarchical multi-label classification ant colony algorithm ...
Output type
D - Journal article
Volume title
Memetic Computing
Year
2010
DOI
10.1007/s12293-010-0045-4
Output title
A hyper-heuristic evolutionary algorithm for automatically designing ...
Output type
E - Conference contribution
Volume title
GECCO '12 Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference
Year
2012
DOI
10.1145/2330163.2330335
Output title
A Method of and System for Prediction of the State of Health ...
Output type
F - Patent/published patent application
Volume title
Year
2010
DOI
Output title
A New Sequential Covering Strategy for Inducing Classification ...
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2012
DOI
10.1109/TEVC.2012.2185846
Output title
A pearl on SAT and SMT solving in Prolog
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2012.02.024
Output title
A privacy preserving authorisation system for the cloud
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2012
DOI
10.1016/j.jcss.2011.12.019
Output title
A process-oriented architecture for complex system modelling
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2010
DOI
10.1002/cpe.1433
Output title
A semantics for lazy assertions
Output type
E - Conference contribution
Volume title
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Year
2011
DOI
10.1145/1929501.1929527
Output title
A study of Java object demographics
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGPLAN International Symposium on Memory Management (ISMM)
Year
2008
DOI
10.1145/1375634.1375652
Output title
A tale of three sites: resource and knowledge sharing amongst ...
Output type
E - Conference contribution
Volume title
International Computing Education Research Conference
Year
2013
DOI
10.1145/2493394.2493398
Output title
A Triangular Periodic Table of Elementary Circuit Elements
Output type
D - Journal article
Volume title
IEEE Transactions on Circuits and Systems I: Regular Papers
Year
2013
DOI
10.1109/TCSI.2012.2209734
Output title
Adaptive Neuromorphic Architecture (ANA)
Output type
D - Journal article
Volume title
Neural Networks
Year
2013
DOI
10.1016/j.neunet.2013.02.009
Output title
Agent-based Cloud Computing
Output type
D - Journal article
Volume title
IEEE Transactions on Services Computing
Year
2011
DOI
10.1109/TSC.2011.52
Output title
Alice, Greenfoot, and Scratch -- A Discussion
Output type
D - Journal article
Volume title
ACM Transactions on Computing Education
Year
2010
DOI
10.1145/1868358.1868364
Output title
Alting barriers: synchronisation with choice in Java using J ...
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2010
DOI
10.1002/cpe.1471
Output title
Architecting Fault Tolerance with Exception Handling: Verification ...
Output type
D - Journal article
Volume title
Journal of Computer Science and Technology
Year
2009
DOI
10.1007/s11390-009-9219-2
Output title
Architecture-based Resilience Evaluation for Self-adaptive S ...
Output type
D - Journal article
Volume title
Computing
Year
2013
DOI
10.1007/s00607-013-0311-7
Output title
Assessing the Effect of Visualizations on Bayesian Reasoning ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2012.199
Output title
Attention Increases the Temporal Precision of Conscious Perception: ...
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2009
DOI
10.1371/journal.pcbi.1000576
Output title
Attentional Episodes in Visual Perception
Output type
D - Journal article
Volume title
Journal of Experimental Psychology: General
Year
2011
DOI
10.1037/a0023612
Output title
Automatic Metro Map Layout Using Multicriteria Optimization
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2010.24
Output title
Automating the design of data mining algorithms: an evolutionary ...
Output type
A - Authored book
Volume title
Year
2010
DOI
Output title
BLGAN: Bayesian Learning and Genetic Algorithm for Supporting ...
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man, and Cybernetics—Part B
Year
2009
DOI
10.1109/TSMCB.2008.2004501
Output title
cAnt-Miner: An Ant Colony Classification Algorithm to Cope with ...
Output type
E - Conference contribution
Volume title
Ant Colony Optimization and Swarm Intelligence (Proc. ANTS 2008), LNCS 5217
Year
2008
DOI
10.1007/978-3-540-87527-7_5
Output title
Checking process-oriented operating system behaviour using CSP ...
Output type
E - Conference contribution
Volume title
ACM SIGOPS Operating Systems Review
Year
2010
DOI
10.1145/1713254.1713265
Output title
Circuit Elements With Memory: Memristors, Memcapacitors, and ...
Output type
D - Journal article
Volume title
Proceedings of the IEEE
Year
2009
DOI
10.1109/JPROC.2009.2021077
Output title
Clone detection and removal for Erlang/OTP within a refactoring ...
Output type
E - Conference contribution
Volume title
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09)
Year
2008
DOI
10.1145/1480945.1480971
Output title
Comprehending Finite Maps for Algorithmic Debugging of Higher-Order ...
Output type
E - Conference contribution
Volume title
PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Year
2008
DOI
10.1145/1389449.1389475
Output title
Computational limits to binary genes
Output type
D - Journal article
Volume title
J. R. Soc. Interface
Year
2010
DOI
10.1098/rsif.2009.0474
Output title
Concurrent Negotiation and Coordination for Grid Resource Co ...
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man, and Cybernetics—Part B: Cybernetics
Year
2010
DOI
10.1109/TSMCB.2009.2028870
Output title
Cryptanalysis of a novel authentication protocol conforming to ...
Output type
D - Journal article
Volume title
Computer Standards and Interfaces
Year
2009
DOI
10.1016/j.csi.2008.05.012
Output title
DEFCON: high-performance event processing with information s ...
Output type
E - Conference contribution
Volume title
USENIX ATC'10: Proceedings of the 2010 USENIX Annual Technical Conference
Year
2010
DOI
Output title
Delayed switching applied to memristor neural networks
Output type
D - Journal article
Volume title
Journal of Applied Physics
Year
2012
DOI
10.1063/1.3672409
Output title
Delayed Switching in Memristors and Memristive Systems
Output type
D - Journal article
Volume title
IEEE Electron Device Letters
Year
2010
DOI
10.1109/LED.2010.2049560
Output title
Drawing Euler Diagrams with Circles: The Theory of Piercings
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2010.119
Output title
Evolving Fuzzy Rules for Relaxed-Criteria Negotiation
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man, and Cybernetics—Part B: Cybernetics
Year
2008
DOI
10.1109/TSMCB.2008.928210
Output title
Existential Quantification as Incremental SAT
Output type
E - Conference contribution
Volume title
Twenty Third International Conference on Computer Aided Verification
Year
2011
DOI
10.1007/978-3-642-22110-1_17
Output title
Handles revisited: optimising performance and memory costs in ...
Output type
E - Conference contribution
Volume title
Proceedings of the 10th International Symposium on Memory Management (ISMM)
Year
2011
DOI
10.1145/1993478.1993492
Output title
Hodgkin-Huxley Axon is made of Memristors
Output type
D - Journal article
Volume title
International Journal of Bifurcation and Chaos
Year
2012
DOI
10.1142/S021812741230011X
Output title
How to Securely Break into RBAC: The BTG-RBAC Model
Output type
E - Conference contribution
Volume title
Computer Security Applications Conference, 2009. ACSAC'09. Annual
Year
2009
DOI
10.1109/ACSAC.2009.12
Output title
Identifying threshold concepts: from dead end to a new direc ...
Output type
E - Conference contribution
Volume title
International Computing Education Research Conference 2013
Year
2013
DOI
10.1145/2493394.2493396
Output title
Improving the interpretability of classification rules discovered ...
Output type
E - Conference contribution
Volume title
GECCO '13 Proceeding of the Fifteenth Annual Conference on Genetic and Evolutionary Computation
Year
2013
DOI
10.1145/2463372.2463382
Output title
Improving the performance of hierarchical classification with ...
Output type
E - Conference contribution
Volume title
6th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
Year
2008
DOI
10.1007/978-3-540-78757-0_5
Output title
Incompleteness of Relational Simulations in the Blocking Par ...
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2010
DOI
10.1016/j.scico.2010.07.003
Output title
Inducing decision trees with an ant colony optimization algo ...
Output type
D - Journal article
Volume title
Applied Soft Computing
Year
2012
DOI
10.1016/j.asoc.2012.05.028
1 2 3
> Last
Showing outputs 1 - 50 of 117