University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Academic/Research unit is "Faculty of Engineering and Physical Sciences > Computer Science"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | E | G | H | I | J | K | L | M | N | S | T | V | W | Y | Z
Number of items: 51.


Abdelhalim, I, Schneider, S and Treharne, H (2012) An Optimization Approach for Effective Formalized fUML Model Checking.

Ahmad, JJ, Li, SJ, Sadeghi, A-R and Schneider, T (2012) CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm In: FC 2012: Financial Cryptography and Data Security, 2012-02-27 - 2012-03-02, Bonaire, the Netherlands Antilles.

Ahmadi, Omran and Granger, Robert (2012) On isogeny classes of Edwards curves over finite fields Journal of Number Theory, 132 (6). pp. 1337-1358.

Albukhanajer, WA, Jin, Y, Briffa, JA and Williams, G (2012) Evolutionary Multi-Objective Optimization of Trace Transform for Invariant Feature Extraction In: 2012 IEEE congres on Evolutionary Computation (CEC), 2012-06-10 - 2012-06-15, Brisbane, Australia.


Bateman, PJ, Ho, ATS and Briffa, JA (2012) Image Forensics of High Dynamic Range Imaging In: 10th International Workshop, IWDW 2011, 2011-10-23 - 2011-10-26, Atlantic City.

Burton, C, Culnane, C, Heather, J, Peacock, T, Ryan, P, Schneider, S, Srinivasan, S, Teague, V, Wen, R and Xia, Z (2012) A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission In: EVOTE 2012, 2012-07-11 - 2012-07-14, Lochau/Bregenz, Austria.

Burton, C, Culnane, C, Heather, JA, Peacock, T, Ryan, PYA, Schneider, SA, Srinivasan, S, Teague, V, Wen, R and Xia, Z (2012) Using Pret a Voter in Victorian State elections In: 2012 Electronic Voting Technology/Workshop on Electronic Voting, 2012-08-06 - 2012-08-07.

Bush, D and Jin, Y (2012) Calcium control of triphasic hippocampal STDP JOURNAL OF COMPUTATIONAL NEUROSCIENCE, 33 (3). pp. 495-514.


Casey, MC, Pavlou, A and Timotheou, A (2012) Audio-Visual Localization with Hierarchical Topographic Maps: Modeling the Superior Colliculus Neurocomputing, 97. pp. 344-356.

Chrol-Cannon, J, Grüning, A and Jin, Y (2012) The Emergence of Polychronous Groups under Varying Input Patterns, Plasticity Rules and Network Connectivities In: IJCNN The 2012 International Joint Conference on Neural Networks, 2012-06-10 - 2012-06-15, Brisbane, QLD.

Clark, JY (2012) Automated plant identification using artificial neural networks In: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB), 2012-05-09 - 2012-05-12, San Diego.

Clark, JY, Corney, DPA and Tang, HL (2012) Automated Plant Identification using Artificial Neural Networks In: CIBCB'12, 2012-05-09 - 2012-05-12, San Diego, USA.

Cornelsen, S, Karrenbauer, A and Li, SJ (2012) Leveling the Grid In: 14th Workshop on Algorithm Engineering and Experiments (ALENEX 2012), 2012-01-16 - ?, Kyoto, Japan.

Corney, DP, Tang, HL, Clark, JY, Hu, Y and Jin, J (2012) Automating digital leaf measurement: the tooth, the whole tooth, and nothing but the tooth. PLoS One, 7 (8).

Corney, DPA, Clark, JY, Tang, HL and Wilkin, P (2012) Automatic Extraction of Leaf Characters from Herbarium Specimens Taxon: International Journal of Plant Taxonomy, Phylogeny and Evolution, 61 (1). pp. 231-244.


Efthimiou, E, Fotinea, S-E, Hanke, T, Glauert, J, Bowden, R, Braffort, A, Collet, C, Maragos, P and Lefebvre-Albaret, F (2012) Sign Language technologies and resources of the Dicta-Sign project In: 5th Workshop on the Representation and Processing of Sign Languages: Interactions between Corpus and Lexicon. Language Resources and Evaluation Conference (LREC), 2012-05-21 - 2012-05-27, Istanbul, Turkey.


Gillam, L, Li, B and O'Loughlin, J (2012) Teaching Clouds: Lessons Taught and Lessons Learnt In: Cloud Computing for Teaching and Learning: Strategies for Design and Implementation. IGI Global.

Gillam, L, Li, B, O'Loughlin, J and Singh Tomar, AP (2012) Fair Benchmarking for Cloud Computing Systems Project Report. University of Surrey.

Gillam, L, Newbold, N and Cooke, N (2012) Educated guesses and equality judgements: using search engines and pairwise match for external plagiarism detection In: 4th PAN workshop, 2012-09-17 - 2012-09-20, Rome, Italy.

Gillam, L and Vartapetiance, A (2012) Cyber Law, Cyber Ethics and Online Gambling In: Investigating Cyber Law and Cyber Ethics. IGI Global, pp. 78-99. ISBN 1613501323

Gillam, L and Vartapetiance, A (2012) Deception Detection for the Tangled Web ACM SIGCAS Computers and Society, 42 (1). pp. 34-47.

Gillam, L and Vartapetiance, A (2012) Quite Simple Approaches for Authorship Attribution, Intrinsic Plagiarism Detection and Sexual Predator Identification In: 4th PAN workshop; CLEF 2012, 2012-09-17 - 2012-09-20, Rome, Italy.

Goh, J, Tang, HL, Peto, T and Saleh, G (2012) An evolutionary approach for determining hidden Markov model for medical image analysis 2012 IEEE Congress on Evolutionary Computation, CEC 2012.

Grüning, A and Sporea, I (2012) Supervised Learning of Logical Operations in Layered Spiking Neural Networks with Spike Train Encoding Neural Processing Letters, volume.


Hawtin, R, Hammond, M, Gillam, L and Curtis, G (2012) EPSRC-JISC report: Cost Analysis of Cloud Computing for Research UNSPECIFIED. EPSRC.

Heather, JA, Llewellyn, MH, Teague, VJ and Wen, R (2012) On the Side-Effects of Introducing E-voting In: VoteID 2011: Third International Conference, 2011-09-28 - 2011-09-29, Tallinn, Estonia.


Inden, B, Jin, Y, Haschke, R and Ritter, H (2012) Evolving neural fields for problems with large input and output spaces Neural Networks, 28. pp. 24-39.

Ioannou, P, Casey, MC and Gruning, A (2012) Evaluating the Effect of Spiking Network Parameters on Polychronization In: 22nd International Conference on Artificial Neural Networks, 2012-09-11 - 2012-09-14.


Javed, Y, Nazir, M, Khan, MM, Khayam, SA and Li, SJ (2012) Captchæcker: Reconfigurable CAPTCHAs Based on Automated Security and Usability Analysis In: 4th Symposium on Configuration Analytics and Automation (SafeConfig 2011), 2011-10-31 - 2011-11-01, Arlington, VA, USA.

Jin, Y, Guo, H and Meng, Y (2012) A Hierarchical Gene Regulatory Network for Adaptive Multirobot Pattern Formation IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 42 (3). pp. 805-816.


Krause, PJ, Perez-Minana, E and Thornton, J (2012) Bayesian Networks for the management of Greenhouse Gas emissions in the British agricultural sector Environmental Modelling and Software, 35. pp. 132-148.


Li, SJ (2012) On the Performance of Secret Entropy Coding: A Perspective Beyond Security In: Autonomous Systems: Developments and Trends. Studies in Computational Intelligence, 391 . Springer, pp. 389-401. ISBN 978-3-642-24805-4

Li, SJ, Sadeghi, A-R, Heisrath, S, Schmitz, R and Ahmad, JJ (2012) hPIN/hTAN: A lightweight and low-cost e-banking solution against untrusted computers In: 15th International Conference on Financial Cryptography and Data Security (FC 2011), 2011-02-28 - 2011-03-04, Gros Islet, St. Lucia.


Moler, F, Nguyen, HN, Roggenbach, M, Schneider, SA and Treharne, H (2012) Combining event-based and state-based modelling for railway verification Technical Report. (Unpublished)

Moran, Murat, Heather, James and Schneider, Steve (2012) Verifying anonymity in voting systems using CSP Formal Aspects of Computing.

Moschoyiannis, Sotiris, Krause, Paul and Georgiou, P (2012) An animation tool for exploring transactions in a de In: 6th IEEE International conference on Digital Ecosystems Technologies (DEST), 2012-06-18 - 2012-06-20, Campione d'Italia.


Nieto, JMG, Manulis, M, Poettering, B, Rangasamy, J and Stebila, D (2012) Publicly Verifiable Ciphertexts In: 8th International Conference, SCN 2012, 2012-09-05 - 2012-09-07, Amalfi, Italy.

Nieto, JMG, Manulis, M and Sun, D (2012) Fully Private Revocable Predicate Encryption In: 17th Australasian Conference, ACISP 2012, 2012-07-09 - 2012-07-11, Wollongong, NSW, Australia.

Notley, S and Grüning, A (2012) Improved Spike-Timed Mappings using a Tri-Phasic Spike Timing-Dependent Plasticity Rule In: The 2012 International Joint Conference on Neural Networks (IJCNN), 2012-06-10 - 2012-06-15.


Schmitz, R, Li, S, Grecos, C and Zhang, X (2012) A New Approach to Commutative Watermarking-Encryption In: 13th IFIP TC 6/TC 11 International Conference (CMS 2012), 2012-09-03 - 2012-09-05, Canterbury, UK.

Schneider, SA, Srinivasan, S, Culnane, C, Heather, JA and Xia, Z (2012) Prêt à Voter with Write-Ins In: VoteID 2011: Third International Conference, 2011-09-28 - 2011-09-29, Tallinn, Estonia.

Schneider, SA, Treharne, HE and Wehrheim, H (2012) The Behavioural Semantics of Event-B Refinement Formal Aspects of Computing: applicable formal methods.

Schramm, L, Jin, Y and Sendhoff, B (2012) Evolution and Analysis of Genetic Networks for Stable Cellular Growth and Regeneration ARTIFICIAL LIFE, 18 (4). pp. 425-444.

Sporea, I and Grüning, A (2012) Classification of Distorted Patterns by Feed-forward Spiking Neural Networks In: International Conference on Articifial Neural Networks 2012, 2012-09-11 - 2012-09-14, Lausanne, Switzerland.

Subramaniam, SR, Georgakis, A, Ling, BWK, Goh, J, Tang, HL, Peto, T and Saleh, G (2012) Optimal and simultaneous designs of Hermitian transforms and masks for reducing intraclass separations of feature vectors for anomaly detection of diabetic retinopathy images Proceedings of the 2012 8th International Symposium on Communication Systems, Networks and Digital Signal Processing, CSNDSP 2012.


Tang, HL, Alghamdi, HS and Alshomrani, S (2012) Hybrid ACO and TOFA feature selection approach for text classification 2012 IEEE Congress on Evolutionary Computation, CEC 2012.


Vartapetiance, A and Gillam, L (2012) 'I don't know where he's not': Does Deception Research yet offer a basis for Deception Detectives? In: 13th Conference of the European Chapter of the Association for Computational Linguistics, 2012-04-23 - 2012-04-27, Avignon.


Wahab, AWA, Ho, ATS and Li, S (2012) Inter-Camera Model Image Source Identification with Conditional Probability Features In: IIEEJ 3rd Image Electronics and Visual Computing Workshop (IEVC 2012), 2012-11-21 - 2012-11-24, Kuching, Malyasia.


Yusoff, N and Grüning, A (2012) Learning Anticipation through Priming in Spatio-Temporal Neural Networks

Yusoff, N, Grüning, A and Notley, S (2012) Pair-associate Learning with Modulated Spike-Time Dependent Plasticity In: 22nd International Conference on Artificial Neural Networks, 2012-09-11 - 2012-09-14, Lausanne, Switzerland.


Zhu, KF, Li, SJ and Saupe, D (2012) An objective method of measuring texture preservation for camcorder performance evaluation In: IS&T/SPIE Electronic Imaging 2012, 2012-01-22 - 2012-01-26, Burlingame, CA, USA.

This list was generated on Fri Apr 3 20:32:52 2020 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800