© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Computer Science: Publication Index 2011
- Multivariate multiscale entropy for brain consciousness analysis. Mosabber Uddin Ahmed, Ling Li, Jianting Cao, and Danilo P. Mandic. In Engineering in Medicine and Biology Society, EMBC, 2011 Annual International Conference of the IEEE, pages 182-196. IEEE EMBS, August 2011.
- Extracting QuickCheck Specifications from EUnit Test Cases. Thomas Arts, Pablo Lamela Seijas, and Simon Thompson. In Kenji Rikitake and Erik Stenman, editors, Erlang Workshop 2011, pages 182-196. ACM Press, September 2011.
- Self-Adaptive Authorization Framework for Policy Based RBAC/ABAC Models. Christopher Bailey, David W. Chadwick, and Rogrio de Lemos. In Proceedings of the 9th IEEE conference on Dependable, Autonomic and Secure Computing, pages 182-196. IEEE, December 2011.
- A study of loop style and abstraction in pedagogic practice. David J. Barnes and Dermot Shinners-Kennedy. In J. Hamer and M. de Raadt, editors, 13th Australasian Computer Education Conference (ACE 2011), volume 114 of Conferences in Research and Practice in Information Technology (CRPIT), pages 182-196. Australian Computer Society, Inc., January 2011.
- Towards the automatic design of decision tree induction algorithms.. R.C. Barros, A.C.P.L.F. de Carvalho, M.P. Basgalupp, and A.A. Freitas. In Proceedings of the GECCO-2011 First Workshop on Evolutionary Algorithms for Evolving Generic Algorithms, pages 182-196. ACM Press, July 2011.
- Preface: Selected papers of the Refinement Workshop Turku (2008). E.A. Boiten, J. Derrick, and G. Schellhorn. Science of Computer Programming, 76(9):182-196, September 2011.
- Perspicuity and granularity in refinement. E.A. Boiten. In J. Derrick, E.A. Boiten, and S. Reeves, editors, Proceedings 15th International Refinement Workshop, volume 55 of Electronic Proceedings in Theoretical Computer Science, pages 182-196, June 2011.
- Fortunate conjunctions revived: Feature binding with the 2f-ST2 model. H. Bowman, B. Wyble, S. Chennu, and P. Craston. In Proceedings of the 33rd Annual Conference of the Cognitive Science Society, pages 182-196. Cognitive Science Society, July 2011.
- Cognition, concurrency theory and reverberations in the brain: in search of a calculus of communicating (recurrent) neural systems. H. Bowman and Su Li. In Andrei Voronkov and Margarita Korovina, editors, Higher-Order Workshop on Automated Runtime Verification and Debugging, EasyChair Proceedings, Festschrift celebrating Howard Barringer's 60th Birthday, volume 1, page 27. EasyChair, first edition edition, December 2011.
- Existential Quantification as Incremental SAT. Jorg Brauer, Andy King, and Jael Kriener. In Ganesh Gopalakrishnan and Shaz Qadeer, editors, Twenty Third International Conference on Computer Aided Verification, Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, July 2011.
- Approximate Quantifier Elimination for Propositional Boolean Formulae. Jorg Brauer and Andy King. In Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, and Rajeev Joshi, editors, Third NASA Formal Methods Symposium, volume 6617 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, April 2011.
- Transfer Function Synthesis without Quantifier Elimination. Jorg Brauer and Andy King. In Gilles Barthe, editor, Twentieth European Symposium on Programming, volume 6602 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, March 2011.
- Motivating all our students?. J Carter, D Bouvier, R Cardell-Oliver, M Hamilton, S Kurkovsky, S Markham, OW McClung, R McDermott, C Riedesel, J Shi, and S White. 2011 SIGCSE conference proceedings and publications, 43:182-196, December 2011.
- Adapting non-hierarchical multilabel classification methods for hierarchical multilabel classification. R. Cerri, A.C.P.L.F. de Carvalho, and A.A. Freitas. Intelligent Data Analysis, 15(6):182-196, November 2011.
- Erlang by example. Francesco Cesarini and Simon Thompson. Video, October 2011. More details at http://shop.oreilly.com/product/0636920020240.do.
- A semantics for lazy assertions. Olaf Chitil. In Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2011, pages 182-196. ACM, January 2011.
- Strictcheck: a tool for testing whether a function is unnecessarily strict. Olaf Chitil. Technical Report 2-11, University of Kent, School of Computing, June 2011.
- Gesture-based input for drawing schematics on a mobile device. Daniel Chivers and Peter Rodgers. In Proceedings of the 15th International Conference on Information Visualization (IV11), pages 182-196. IEEE Computer Society, July 2011.
- The role of trna and ribosome competition in coupling the expression of different mrnas in saccharomyces cerevisiae. D. Chu, D. Barnes, and T. von der Haar. Nucleic Acids Research, 15(39):182-196, January 2011.
- A novel and versatile computational tool to model translation. Dominique Chu, Radu Zabet, and Tobias von der Haar. Bioinformatics, 28(2), November 2011. http://dx.doi.org/10.1093/bioinformatics/btr650.
- Optimal parameter settings for information processing in gene regulatory networks. Dominique F. Chu, Nicolae Radu Zabet, and Andrew N. W. Hone. BioSystems, pages 182-196, January 2011.
- Complexity: Against systems. D. Chu. Theory in Biosciences, pages 182-196, January 2011. http://www.ncbi.nlm.nih.gov/pubmed/21287293 or http://www.springerlink.com/content/27558w337h671737/ (online first ahead of print).
- Cooperative and Work-Integrated Education in Information Technology. Tony Clear, Gwyn Caxton, Simon Thompson, and Sally Fincher. In Richard Coll and Karsten Zegwaard, editors, Integrated Handbook for Cooperative and Work-Integrated Education, pages 182-196. World Associate of Cooperative Education, Inc., second edition, November 2011.
- Present perspectives on the automated classification of the g-protein coupled receptors (gpcrs) at the protein sequence level. M.N. Davies, D.E. Gloriam, A. Secker, A.A. Freitas, J. Timmis, and D.R.Flower. Current Topics in Medicinal Chemistry, 11(15):182-196, August 2011.
- Lag: Achieving transparent access to legacy data by leveraging grid environment. Yuhui Deng and Frank Wang. Future Generation Computer Systems, Volume 27, Issue 1:182-196, January 2011.
- What is the future of disk drives, death or rebirth?. Yuhui Deng. ACM Computing Surveys (CSUR), 43(3):30, April 2011.
- Proceedings 15th international refinement workshop. J. Derrick, E.A. Boiten, and S. Reeves, editors, volume 55 of Electronic Proceedings in Theoretical Computer Science, June 2011.
- Relational concurrent refinement: Timed refinement. John Derrick and Eerke Boiten. In Roberto Bruni and Juergen Dingel, editors, Formal Techniques for Distributed Systems, volume 6722 of Lecture Notes in Computer Science, pages 182-196, Reykjavik, June 2011. Springer.
- Representing practice: practice models, patterns, bundles . Isobel Falconer, Janet Finlay, and Sally Fincher. Learning, Media and Technology, 36(2):182-196, April 2011.
- Research design: necessary bricolage. Sally Fincher, Josh Tenenberg, and Anthony Robins. ICER '11 Proceedings of the seventh international conference on Computing education research, pages 27-32. ACM, August 2011.
- A commons leader's vade mecum. Sally Fincher and Josh Tenenberg. University of Kent Press, July 2011.
- Useful sharing. Sally Fincher. In Iain Hay, editor, Inspiring Academics: Learning with the World's Great University Teachers, chapter 22, pages 182-196. Open University Press, March 2011.
- A data mining approach for classifying dna repair genes into ageing-related or non-ageing-related. A.A. Freitas, O. Vasieva, and J.P. de Magalhaes. BMC Genomics, 12(27):182-196, January 2011.
- A review and appraisal of the dna damage theory of ageing. A.A. Freitas and J.P. de Magalhaes. Mutation Research, 728(1-2):182-196, July 2011.
- A Pearl on SAT Solving in Prolog (extended abstract). Jacob M. Howe and Andy King. Logic Programming Newsletter, 2011(3):182-196, March 2011.
- Selecting different protein representations and classification algorithms in hierarchical protein function prediction. C.N. Silla Jr. and A.A. Freitas. Intelligent Data Analysis, 15(6):182-196, November 2011.
- A survey of hierarchical classification across different application domains. C.N. Silla Jr. and A.A. Freitas. Data Mining and Knowledge Discovery, 22(1-2):182-196, January 2011.
- A family of real-time Java benchmarks. Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben Titzer, and Jan Vitek. Concurrency and Computation: Practice and Experience, 23(14):182-196, September 2011.
- Scheduling real-time garbage collection on uniprocessors. Tomas Kalibera, Filip Pizlo, Antony L. Hosking, and Jan Vitek. ACM Transactions on Computer Systems, 29(3):182-196, August 2011.
- Handles revisited: optimising performance and memory costs in a real-time collector. Tomas Kalibera and Richard Jones. In Proceedings of the 10th International Symposium on Memory Management (ISMM), pages 182-196. ACM, June 2011.
- Replicating real-time garbage collector. Tomas Kalibera. Concurrency and Computation: Practice and Experience, 23(14):182-196, September 2011.
- Implementing a data mining approach to episodic memory modelling for artificial companions. M.U. Keysermann, A.A. Freitas, and P.A. Vargas. In D. Kazakov and G. Tsoulas, editors, Proceedings of AISB11: Human Memory for Artificial Agents, pages 182-196. Society for the Study of Artificial Intelligence and the Simulation of Behaviour, April 2011.
- Appendix for RedAlert: Determinacy Inference for Prolog. Jael Kriener and Andy King. Technical Report 1-11, University of Kent, Canterbury, CT1 7NF, UK, May 2011. Refereed by ICLP 2011 reviewers.
- RedAlert: Determinacy Inference for Prolog. Jael Kriener and Andy King. Theory and Practice of Logic Programming, 11(4-5):182-196, July 2011.
- Extracting Properties from Test Cases by Refactoring. Huiqing Li, Simon Thompson, and Thomas Arts. In Steve Counsell, editor, Proceedings of the Refactoring and Testing Workshop (RefTest 2011), pages 182-196. IEEE digital library, March 2011.
- Power independent EMG based gesture recognition for robotics. Ling Li, D. Looney, C. Park, N.U. Rehman, and D.P. Mandic. In Engineering in Medicine and Biology Society, EMBC, 2011 Annual International Conference of the IEEE, pages 182-196. IEEE EMBS, August 2011.
- A Domain-Specific Language for Scripting Refactorings in Erlang. Huiqing Li and Simon Thompson. Technical Report 5-11, October 2011.
- Incremental Code Clone Detection and Elimination for Erlang Programs. Huiqing Li and Simon Thompson. In Dimitra Giannakopoulou and Fernando Orejas, editors, Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11), Lecture Notes in Computer Science, pages 182-196. Springer, March 2011.
- A User-extensible Refactoring Tool for Erlang Programs. Huiqing Li and Simon Thompson. Technical Report 4-11, University of Kent, October 2011.
- Building enterprise systems with odp - an introduction to open distributed processing. Peter F. Linington, Zoran Milosevic, Akira Tanaka, and Antonio Vallecillo. Innovation in Software Engineering and Software Development. Chapman and Hall/CRC Press, September 2011.
- Method of Creating a Presentation in Real Time. Saurabh Kumar Panjwani, Kentaro Toyama, Karl Fenech, Luana Micallef, and Natalie Linnell. Patent, US 2011/0029877 A1, February 2011.
- Improving lazy attribute selection. R.B. Pereira, A. Plastino, B. Zadrozny, L.H.C. Merschmann, and A.A. Freitas. Journal of Information and Data Management, 2(3):182-196, October 2011.
- Lazy attribute selection: Choosing attributes at classification time.. R.B. Pereira, A. Plastino, B. Zadrozny, L.H.C. Merschmann, and A.A. Freitas. Intelligent Data Analysis, 15(5):182-196, September 2011.
- A hybrid data mining metaheuristic for the p-median problem. A. Plastino, E.R. Fonseca, R. Fuchshuber, S.L. Martins, A.A. Freitas, M. Luis, and S. Salhi. Statistical Analysis and Data Mining, 4(3):182-196, June 2011.
- Multiple pheromone types and other extensions to the ant-miner classification rule discovery algorithm.. K.M. Salama, A.M. Abdelbar, and A.A. Freitas. Swarm Intelligence, 5(3-4):182-196, December 2011.
- A hardware abstraction layer in Java. Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, and Anders P. Ravn. ACM Transactions on Embedded Computing Systems, 10(4):182-196, November 2011.
- Implementation and application of functional languages: 20th international symposium, ifl 2008; hatfield, uk, september 2008; revised selected papers. Sven-Bodo Scholz and Olaf Chitil, editors, LNCS 5836. Springer-Verlag, September 2011.
- The novice programmer's "device to think with". Dermot Shinners-Kennedy and David J. Barnes. In Proceedings of the 42nd ACM technical symposium on Computer science education, SIGCSE '11, pages 182-196, New York, NY, USA, March 2011. ACM.
- Economic utility theory for memory management optimization. Jeremy Singer and Richard Jones. In Ian Rogers, editor, Proceedings of the workshop on Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, pages 182-196. ACM, July 2011. (Position paper).
- Recognising sketches of Euler diagrams augmented with graphs. Gem Stapleton, Aidan Delaney, Peter Rodgers, and Beryl Plimmer. In 2011 International Workshop on Visual Languages and Computing, volume 17 of International Conference on Distributed Multimedia Systems, pages 182-196, August 2011.
- A general method for drawing area-proportional euler diagrams. Gem Stapleton, Peter Rodgers, and John Howse. Journal of Visual Languages and Computing, 22(6):182-196, December 2011. In press, available online.
- Inductively Generating Euler Diagrams. Gem Stapleton, Peter Rodgers, John Howse, and Leishi Zhang. Transactions on Visualization and Computer Graphics, 16(1):182-196, January 2011. The pdf contains both the main paper and the appendices.
- Drawing Euler Diagrams with Circles: The Theory of Piercings. Gem Stapleton, Leishi Zhang, John Howse, and Peter Rodgers. IEEE Transactions on Visualization and Computer Graphics, 17(7):182-196, July 2011.
- Drawing Euler diagrams with circles and ellipses. Gem Stapleton and Peter Rodgers. In 2011 IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC 2011), volume 27, pages 182-196. IEEE, September 2011.
- Automatic Metro Map Layout Using Multicriteria Optimization. Jonathan Stott, Peter Rodgers, Juan Carlos Martinez-Ovando, and Stephen G. Walker. Transactions on Visualization and Computer Graphics, 16(1):182-196, January 2011. The pdf contains both the main paper and the appendices.
- Glancing and then looking: on the role of body, affect, and meaning in cognitive control. Li Su, Howard Bowman, and Philip Barnard. Frontiers in Cognition, 2(348):182-196, December 2011.
- Haskell: the craft of functional programming. Simon Thompson. Addison-Wesley, third edition, July 2011. More information at www.haskellcraft.com.
- A genetic programming method for protein motif discovery and protein classification. D.F. Tsunoda, A.A. Freitas, and H.S. Lopes. Soft Computing, 15(10):182-196, September 2011.
- Repeatability, reproducibility and rigor in systems research (invited paper). Jan Vitek and Tomas Kalibera. In Proceedings of the 11th International Conference on Embedded Software (EMSOFT), pages 182-196. ACM, October 2011.
- Delayed switching applied to memristor neural networks. Frank Z. Wang, Na Helian, Yike Guo, Sining Wu, Xiao Yang, Guan Lim, and Md Mamunur Rashid. Journal of Applied Physics, 111(7):4, December 2011.
- SketchSet: creating Euler diagrams using pen or mouse. Mengdi Wang, Beryl Plimmer, Paul Schmieder, Gem Stapleton, Peter Rodgers, and Aidan Delaney. In 2011 IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC 2011), pages 182-196. IEEE, September 2011.
- Towards requirements aware systems: Run-time resolution of design-time assumptions. Kristopher Welsh, Pete Sawyer, and Nelly Bencomo. In Perry Alexander, Corina Pasareanu, and John Hosking, editors, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pages 560-563. IEEE, November 2011.
- Attentional episodes in visual perception. B. Wyble, M. Potter, H. Bowman, and M. Nieuwenstein. Journal of Experimental Psychology: General, 140(3):182-196, August 2011.
- A hierarchical approach to represent relational data applied to clustering tasks. J.C. Xavier, A.M.P. Canuto, A.A. Freitas, L.M.G. Goncalves, and C.N. Silla J. In Proceedings of the 2011 International Joint Conference on Neural Networks, pages 182-196. IEEE Press, July 2011.
- A collaborative filtering approach for quasi-brain-death EEG analysis. Y. Xia, L.Li, J. Cao, M. Golz, and D. P. Mandic. In Acoustics, Speech and Signal Processing (ICASSP), 2011 IEEE International Conference on, pages 182-196. IEEE Society, IEEE Press, May 2011.