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
Number of items: 48.


Arroyo, D, Li, SJ, Amigo, JM, Alvarez, G and Rhouma, R (2010) Comment on "Image encryption with chaotically coupled chaotic maps" Physica D-Nonlinear Phenomena, 239 (12). pp. 1002-1006.

Casey, MC and Damper, RI (2010) Editorial: Special Issue on Biologically-Inspired Information Fusion INFORM FUSION, 11 (1). pp. 2-3.

Ghodsi, M, Hassani, H and Sanei, S (2010) Extracting fetal heart signal from noisy maternal ECG by singular spectrum analysis Journal of Statistics and its Interface, Special Issue on the Application of SSA, 3 (3). pp. 399-411.

Gillam, L and Vartapetiance Salmasi, A (2010) DNA Dataveillance: Protecting the innocent? Journal of Information, Communication and Ethics in Society, 8 (3). pp. 270-288.

Goh, J, Tang, L and Al Turk, L (2010) Evolving the structure of hidden Markov models for micro aneurysms detection Proceedings of UK Workshop on Computational Intelligence. pp. 1-6.

Heather, JA (2010) Turnitoff: identifying and fixing a hole in current plagiarism detection software Journal of Assessment and Evaluation in Higher Education, 35 (6). pp. 647-660.

Li, CQ, Li, SJ, Lo, KT and Kyamakya, K (2010) A differential cryptanalysis of Yen-Chen-Wu multimedia cryptography system Journal of Systems and Software, 83 (8). pp. 1443-1452.

McEwan, AA and Schneider, S (2010) Modelling and analysis of the AMBA bus using CSP and B Concurrency and Computation: Practise and Experience, 22 (8). pp. 949-964.

Mitchell, TA, Bowden, R and Sarhadi, M (2010) Efficient Texture Analysis for Industrial Inspection International Journal of Production Research, 38 (4). pp. 967-984.

Moschoyiannis, Sotiris, Marinos, A and Krause, Paul (2010) Generating SQL queries from SBVR rules Lecture Notes in Computer Science: Semantic Web Rules, 6403. pp. 128-143.

Moschoyiannis, Sotiris, Razavi, A and Krause, Paul (2010) Transaction Scripts: Making Implicit Scenarios Explicit Electronic Notes in Theoretical Computer Science, 238 (6). pp. 63-79.

Orue, AB, Alvarez, G, Pastor, G, Romera, M, Montoya, F and Li, SJ (2010) A new parameter determination method for some double-scroll chaotic systems and its applications to chaotic cryptanalysis Communications in Nonlinear Science and Numerical Simulation, 15 (11). pp. 3471-3483.

Schneider, SA, Treharne, HE and Wehrheim, H (2010) A CSP approach to Control in Event-B Integrated Formal Methods/Lecture Notes in Computer Science, 6396. pp. 260-274.

Book Section

Li, B and Gillam, L (2010) Towards Application-Specific Service Level Agreements: Experiments in Clouds and Grids In: Cloud Computing: Principles, Systems and Applications. Springer. ISBN 9781849962407

Shields, MW, Moschoyiannis, S and Krause, PJ (2010) Behavioural Presentations and an Automata Theory of Components In: Proceedings of Real-time and Embedded Systems (RTES 2010). UNSPECIFIED.

Shields, MW, Moschoyiannis, S and Krause, PJ (2010) Primes in Component Languages In: Proceedings of Real-time and Embedded Systems (RTES 2010). UNSPECIFIED.


Culnane, Chris, Heather, James, Schneider, Steve, Srinivasan, Sriramkrishnan and Xia, Zhe (2010) Trustworthy Voting Systems Technical Report: System Design Technical Report. Department of Computing, University of Surrey. (Unpublished)

Conference or Workshop Item

Abdalla, M, Chevalier, C, Manulis, M and Pointcheval, D (2010) Flexible Group Key Exchange with On-Demand Computation of Subgroup Keys In: Third International Conference on Cryptology in Africa AFRICACRYPT 2010, 2010-05-03 - 2010-05-06, Stellenbosch, South Africa.

Abdel Halim, I, Sharp, J, Schneider, S and Treharne, H (2010) Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP In: 12th International Conference on Formal Engineering Methods, 2010-11-17 - 2010-11-19, Shanghai, China.

Briffa, JA, Culnane, Christopher and Treharne, Helen (2010) Imperceptible printer dot watermarking for binary documents In: Optics, photonics, and digital technologies for multimedia applications, 2010-04-12 - 2010-04-15, Brussels, Belgium.

Briffa, JA, Schaathun, HG and Wesemeyer, S (2010) An Improved Decoding Algorithm for the Davey-MacKay Construction In: IEEE International Conference on Communications (ICC), 2010, 2010-05-23 - 2010-05-27, Cape Town.

Casey, MC, Pavlou, A and Timotheou, A (2010) Mind the (Computational) Gap In: UK Workshop on Computational Intelligence (UKCI 2010), 2010-09-08 - 2010-09-10, University of Essex.

Gillam, L, Marinuzzi, J and Ioannou, P (2010) TurnItOff - Defeating Plagiarism Detection Systems In: 11th Higher Education Academy-ICS Annual Conference, 2010-08-24 - 2010-08-26, University of Durham.

Goh, J, Tang, LL, Saleh, G, Al Turk, L, Fu, Y and Browne, A (2010) Filtering Normal Retinal Images for Diabetic Retinopathy Screening Using Multiple Classifiers In: 9th International Conference on Information Technology and Applications in Biomedicine, 2009-11-04 - 2009-11-07, Larnaka, CYPRUS.

Granger, Robert (2010) On the Static Diffie-Hellman Problem on Elliptic Curves over Extension Fields In: The 16th International Conference on the Theory and Application of Cryptology and Information Security - Advances in Cryptology (ASIACRYPT 2010), 05-09 Dec 2010, Singapore.

Granger, Robert and Scott, Michael (2010) Faster Squaring in the Cyclotomic Subgroup of Sixth Degree Extensions In: The 13th International Conference on Practice and Theory in Public Key Cryptography (PKC 2010), 26-28 May 2010, Paris, France.

Guo, H, Meng, Y and Jin, Y (2010) Analysis of local communication load in shape formation of a distributed morphogenetic swarm robotic system In: 2010 IEEE Congress on Evolutionary Computation, 2010-07-18 - 2010-07-23, Barcelona.

Havell, B, Marshall, D, Hicks, Y, Rosin, P, Sanei, S and Aubrey, A (2010) Comparison of techniques for audio driven facial animation In: FAA 2010, 2010-10-21 - 2010-10-21, Edinburgh, UK.

Heather, J, Ryan, PYA and Teague, V (2010) Pretty good democracy for more expressive voting schemes In: 15th European Symposium on Research in Computer Security, 2010-09-20 - 2010-09-22, Athens, Greece.

Inden, B, Jin, Y, Haschke, R and Ritter, H (2010) NEATfields: Evolution of neural fields for visual discrimination and multiple pole balancing tasks In: Genetic and Evolutionary Computation Conference, 2010-07-07 - ?, Portland.

Jin, Y, Oh, S and Jeon, M (2010) Incremental approximation of nonlinear constraint functions for evolutionary constrained optimization In: Congress on Evolutionary Computation, 2010-07-18 - ?, Barcelona.

Jin, Y and Trommler, J (2010) A fitness-independent evolvability measure for evolutionary developmental systems In: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2010-05-02 - ?, Montreal.

Jones, B, Jin, Y, Sendhoff, B and Yao, X (2010) Emergent Distribution of Computational Workload in the Evolution of an Undulatory Animat.

Li, SJ, Ahmad, JJ, Saupe, D and Kuo, C-CJ (2010) An Improved DC Recovery Method from AC Coefficients of DCT-Transformed Images In: 17th IEEE International Conference on Image Processing (ICIP 2010), 2010-09-26 - 2010-09-29, Hong Kong, China.

Meng, Y, Jin, Y, Yin, J and Conforth, M (2010) Human activity detection using spiking neural networks regulated by a gene regulatory network In: International Joint Conference on Neural Networks, 2010-07-18 - 2010-07-23, Barcelona.

Meng, Y, Zheng, Y and Jin, Y (2010) A Morphogenetic Approach to Self-Reconfigurable Modular Robots using a Hybrid Hierarchical Gene Regulatory Network In: Artificial Life XII, 2010-08-19 - 2010-08-23, Odense, Denmark.

Newbold, N and Gillam, L (2010) The Linguistics of Readability: The Next Step for Word Processing In: Workshop on Computational Linguistics and Writing: Writing Processes and Authoring Aids (CL&W 2010). At NAACL-HLT 2010, 2010-06-01 - 2010-06-06, Los Angeles.

Qin, G, Bogdan, V and Gillam, Lee (2010) Background Filtering for Improving of Object Detection in Images In: 20th IEEE International Conference on Pattern Recognition (ICPR), 2010-08-23 - 2010-08-27, Istanbul, Turkey.

Schramm, L, Valente Martins, V, Jin, Y and Sendhoff, B (2010) Analysis of gene regulatory network motifs in evolutionary development of multi-cellular organisms In: Artificial Life XII, 2010-08-19 - 2010-08-23, Odense, Denmark.

Sporea, I and Grüning, A (2010) Modelling the McGurk Effect In: 18th European Symposium on Artificial Neural Networks (ESANN 2010), 2010-04-28 - ?, Bruges, Belgium.

Sporea, I and Grüning, A (2010) A distributed model of memory for the McGurk effect In: International Joint Conference on Neural Networks, 2010-07-18 - ?, Barcelona.

Steiner, T, Jin, Y and Sendhoff, B (2010) Evolving heterochrony for cellular differentiation using vector field embryogeny In: Genetic and Evolutionary Computation Conference, 2010-07-07 - 2010-07-11, Portland.

Williams, DM, Treharnea, H and Ho, ATS (2010) On the importance of one-time key pairs in buyer-seller watermarking protocols In: SECRYPT 2010, 2010-07-26 - 2010-07-28, Athens, Greece.

Xia, Z, Culnane, C, Heather, JA, Jonker, H, Ryan, PYA, Schneider, SA and Srinivasan, S (2010) Versatile Pret a Voter: Handling Multiple Election Methods with a Unified Interface In: Indocrypt, 2010-12-12 - 2010-12-15, Hyderabad, India.

Yu, X, Jin, Y, Tang, K and Yao, X (2010) Robust optimization over time -- A new perspective on dynamic optimization problems In: Congress on Evolutionary Computation, 2010-07-18 - ?, Barcelona.

Yusoff, N and Grüning, A (2010) Supervised Associative Learning in Spiking Neural Network In: Artificial Neural Networks – ICANN 2010, 2010-09-15 - 2010-09-18, Thessaloniki, Greece.

Yusoff, N and Grüning, A (2010) Supervised Associative Learning in Spiking Neural Network In: Artificial Neural Networks – ICANN 2010, 2010-09-15 - 2010-09-18, Thessaloniki, Greece.

Zheng, Y, Meng, Y and Jin, Y (2010) Fusing bottom-up and top-down pathways in neural networks for visual object recognition In: 2010 International Joint Conference on Neural Networks (IJCNN), 2010-07-18 - 2010-07-23, Barcelona.

This list was generated on Sat Jun 6 07:47:00 2020 UTC.

Information about this web site

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