University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Browse by Publication

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 10.

Moller, F, Nguyen, HN, Roggenbach, M, Schneider, S and Treharne, H (2013) Defining and model checking abstractions of complex railway models using CSP||B Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7857 L. 193 - 208. ISSN 0302-9743

Gilbert, A and Bowden, R (2013) A picture is worth a thousand tags: Automatic web based image tag expansion Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7725 L (PART 2). 447 - 460. ISSN 0302-9743

Razin, N, Sungurov, D, Mottl, V, Torshin, I, Sulimova, V, Seredin, O and Windridge, D (2012) Application of the multi-modal relevance vector machine to the problem of protein secondary structure prediction Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7632 L. 153 - 165. ISSN 0302-9743

Shen, M, Xu, K, Zhong, Y, Liu, H and Wang, N (2012) Routing on demand: Toward the energy-aware traffic engineering with OSPF

Lim, D, Ong, Y-S, Jin, Y and Sendhoff, B (2008) Evolutionary optimization with dynamic fidelity computational models

Wei, K and Heather, J (2007) A theorem-proving approach to verification of fair non-repudiation protocols Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4691 L. 202 - 219.

Schaathun, HG and Cohen, GD (2006) Nested codes for constrained memory and for dirty paper

Wei, K and Heather, J (2005) Embedding the stable failures model of CSP in PVS Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3771 L. 246 - 265. ISSN 0302-9743

Okabe, T, Jin, Y, Olhofer, M and Sendhoff, B (2004) On test functions for evolutionary multi-objective optimization

Jin, Y and Sendhoff, B (2003) Trade-off between performance and robustness: An evolutionary multiobjective approach

This list was generated on Fri Aug 29 09:05:07 2014 IST.

Information about this web site

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