Computer Science

  • Postal address

    United Kingdom

Filter
Conference contribution

Search results

  • 2010

    Linking multiple workflow provenance traces for interoperable collaborative science

    Missier, P., Ludäscher, B., Bowers, S., Dey, S., Sarkar, A., Shrestha, B., Altintas, I., Anand, M. K. & Goble, C., 2010, 2010 5th Workshop on Workflows in Support of Large-Scale Science, WORKS 2010. 5671861. (2010 5th Workshop on Workflows in Support of Large-Scale Science, WORKS 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Memes in Artificial Life Simulations of Life History Evolution

    Bullinaria, J., 19 Aug 2010, Proceedings of the Alife XII Conference. MIT Press, p. 823-830 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Modeling the contact between a rolling sphere and a compliant ground plane

    Azad, M., 2010, Austrelasian Conference on Robotics and Automation Association.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Monitoring of non-functional requirements using dynamic transformation of components

    Lahmar, I. B., Mukhtar, H. & Belaïd, D., 2010, 6th International Conference on Networking and Services, ICNS 2010, Includes LMPCNA 2010; INTENSIVE 2010. p. 61-66 6 p. 5460669. (6th International Conference on Networking and Services, ICNS 2010, Includes LMPCNA 2010; INTENSIVE 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Negative drift in populations

    Lehre, P. K., 2010, Parallel Problem Solving from Nature, PPSN XI - 11th International Conference, Proceedings. PART 1 ed. Vol. 6238 LNCS. p. 244-253 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6238 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    43 Citations (Scopus)

  • On the Compositionality of Round Abstraction

    Ghica, D. & Menaa, M., 1 Jan 2010, CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings. Gastin, P. & Laroussinie, F. (eds.). Springer, p. 417-431 15 p. (Lecture Notes in Computer Science; vol. 6269).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)

  • Open workflow infrastructure: A research agenda

    Stankovski, V., Missier, P., Goble, C. & Taylor, I., 2010, Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science, Wands '10. 6. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Optimizing Delivery Time in Multi-Objective Vehicle Routing Problems with Time Windows

    Garcia Najera, A. & Bullinaria, J., 1 Jan 2010, Parallel Problem Solving from Nature, PPSN XI: 11th International Conference, Kraków, Poland, September 11-15, 2010, Proceedings, Part II. Springer, Vol. 6239. p. 51-60 10 p. (Lecture Notes in Computer Science; vol. 6239).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Security analysis of the mode of JH hash function

    Bhattacharyya, R., Mandal, A. & Nandi, M., 2010, Fast Software Encryption - 17th International Workshop, FSE 2010, Revised Selected Papers. p. 168-191 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6147 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    29 Citations (Scopus)

  • Self-adapting Applications Based on QA Requirements in the Cloud Using Market-Based Heuristics

    Nallur, V. & Bahsoon, R., 1 Dec 2010, Towards a service-based internet. Di Nitto, E. & Yahyapour, R. (eds.). Berlin: Springer, p. 51-62 12 p. (Lecture Notes in Computer Science; vol. 6481).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    3 Citations (Scopus)
    322 Downloads (Pure)

  • Spread assessment for evolutionary multi-objective optimization

    Li, M. & Zheng, J., 2010, Evolutionary Multi-Criterion Optimization - 5th International Conference, EMO 2009, Proceedings. p. 216-230 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5467 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    42 Citations (Scopus)

  • Statistical Measurement of Information Leakage

    Chatzikokolakis, K., Chothia, T. & Guha, A., 1 Jan 2010, Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Esparza, J. & Majumdar, R. (eds.). Springer, p. 390-404 15 p. (Lecture Notes in Computer Science; vol. 6015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    56 Citations (Scopus)

  • Symbolic Domain Decomposition

    Carette, J., Sexton, A., Sorge, V. & Watt, S., 1 Jan 2010, Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Autexier, S., Calmet, J., Delahaye, D., Ion, PDF., Rideau, L., Rioboo, R. & Sexton, AP. (eds.). Springer, p. 172-188 17 p. (Lecture Notes in Computer Science; vol. 6167).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)

  • Tablaction: collaborative brainstorming system with stylus-fingertip interactions on tablet PCs

    Kim, H., Kwak, K., Jung, J., Myung, I. & Hahn, M., 2010, VRCAI '10: Proceedings of the 9th ACM SIGGRAPH Conference on Virtual-Reality Continuum and its Applications in Industry. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Taverna, reloaded

    Missier, P., Soiland-Reyes, S., Owen, S., Tan, W., Nenadic, A., Dunlop, I., Williams, A., Oinn, T. & Goble, C., 2010, Scientific and Statistical Database Management - 22nd International Conference, SSDBM 2010, Proceedings. p. 471-481 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6187 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The Benefit of Migration in Parallel Evolutionary Algorithms

    Lässig, J., Sudholt, D., Pelikan, M. & Branke, J., 11 Jul 2010, Proceedings of the 12th annual conference on Genetic and evolutionary computation. p. 1105-1112 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    25 Citations (Scopus)

  • The effectiveness of a new negative correlation learning algorithm for classification ensembles

    Wang, S. & Yao, X., 2010, Proceedings - 10th IEEE International Conference on Data Mining Workshops, ICDMW 2010. p. 1013-1020 8 p. 5693406. (Proceedings - IEEE International Conference on Data Mining, ICDM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)

  • The evolution of myExperiment

    De Roure, D., Goble, C., Aleksejevs, S., Bechhofer, S., Bhagat, J., Cruickshank, D., Fisher, P., Kollara, N., Michaelides, D., Missier, P., Newman, D., Ramsden, M., Roos, M., Wolstencroft, K., Zaluska, E. & Zhao, J., 2010, Proceedings - 2010 6th IEEE International Conference on e-Science, eScience 2010. p. 153-160 8 p. 5693912. (Proceedings - 2010 6th IEEE International Conference on e-Science, eScience 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Translational research and context in health monitoring systems

    Wan, J., 2010, CISIS 2010 - The 4th International Conference on Complex, Intelligent and Software Intensive Systems.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Understanding collaborative studies through interoperable workflow provenance

    Altintas, I., Anand, M. K., Crawl, D., Bowers, S., Belloum, A., Missier, P., Ludäscher, B., Goble, C. A. & Sloot, P. M. A., 2010, Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers. p. 42-58 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6378 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Very High Accuracy and Fast Dependency Parsing is not a Contradiction

    Bohnet, B., 23 Aug 2010, International Conference on Computational Linguistics. Tsinghua University Press, p. 89-97 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    272 Citations (Scopus)
  • 2011

    2D Mass-spring-like model for prediction of a Sponge's behaviour upon robotic interaction

    Arriola-Rios, V. E. & Wyatt, J., 17 Nov 2011, Research and Development in Intelligent Systems XXVIII: Incorporating Applications and Innovations in Intelligent Systems XIX Proceedings of AI-2011, the Thirty-first SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Bramer, M., Petridis, M. & Nolle, L. (eds.). 1 ed. Springer, p. 195-208 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • 3D fusion echocardiography improves transoeosphageal LV assessment

    Rajpoot, K., Augustine, D., Basagiannis, C., Noble, J. A., Becher, H. & Leeson, P., 2011, Functional Imaging and Modeling of the Heart - 6th International Conference, FIMH 2011, Proceedings. p. 161-162 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6666 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Achieving reproducibility by combining provenance with service and workflow versioning

    Woodman, S., Hiden, H., Watson, P. & Missier, P., 2011, WORKS'11 - Proceedings of the 6th Workshop on Workflows in Support of Large-Scale Science, Co-located with SC'11. p. 127-136 10 p. (WORKS'11 - Proceedings of the 6th Workshop on Workflows in Support of Large-Scale Science, Co-located with SC'11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A distributed and privacy preserving algorithm for identifying information hubs in social networks

    Ilyas, M. U., Shafiq, M. Z., Liu, A. X. & Radha, H., 15 Apr 2011, 2011 Proceedings IEEE INFOCOM. IEEE, p. 561-565 5 p. 5935226

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • An adaptive coupled-layer visual model for robust visual tracking

    Čehovin, L., Kristan, M. & Leonardis, A., Nov 2011, Computer Vision (ICCV), 2011 IEEE International Conference. IEEE Computer Society Press, p. 1363-1370 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    82 Citations (Scopus)

  • An Energy Efficient Link Layer Protocol for Power-Constrained Wireless Networks

    Soltani, S., Ilyas, M. U. & Radha, H., 4 Aug 2011, 2011 Proceedings of 20th International Conference on Computer Communications and Networks (ICCCN). IEEE, p. 1-6 6 p. 6006034

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • An experimental workflow development platform for historical document digitisation and analysis

    Neudecker, C., Schlarb, S., Dogan, Z. M., Missier, P., Sufi, S., Williams, A. & Wolstencroft, K., 2011, HIP'11 - Proceedings of the 2011 Workshop on Historical Document Imaging and Processing. p. 161-168 8 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Switching Planner for Combined Task and Observation Planning

    Göbelbecker, M., Gretton, C. & Dearden, R., 4 Aug 2011, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, p. 964-970 7 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 25, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    19 Citations (Scopus)

  • Automatic task resolution and adaptation in pervasive environments

    Ben Lahmar, I., Belaïd, D., Mukhtar, H. & Chaudhary, S., 2011, Adaptive and Intelligent Systems - Second International Conference, ICAIS 2011, Proceedings. p. 131-144 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6943 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Bi-clustering gene expression data using co-similarity

    Hussain, S. F., 2011, Advanced Data Mining and Applications - 7th International Conference, ADMA 2011, Proceedings. PART 1 ed. p. 190-200 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7120 LNAI, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Citations (Scopus)

  • Breaking DVB-CSA

    Tews, E., Wälde, J. & Weiner, M., 2011, Research in Cryptology - 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers. Armknecht, F. & Lucks, S. (eds.). Springer, Vol. 7242. p. 45-61 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Citations (Scopus)

  • End-User perception towards pervasive cardiac healthcare services: Benefits, acceptance, adoption, risks, security, privacy and trust

    Dhukaram, A. V., Baber, C., Elloumi, L., Van Beijnum, B. J. & De Stefanis, P., 31 Oct 2011, 2011 5th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, PervasiveHealth 2011. p. 478-484 7 p. 6038852. (2011 5th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, PervasiveHealth 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    20 Citations (Scopus)

  • Enumeration of AG-Groupoids

    Distler, A., Shah, M. & Sorge, V., 1 Jul 2011, Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Davenport, J., Farmer, WM., Urban, J. & Rabe, F. (eds.). Springer, p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 6824).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)

  • Evolution of Neural Symmetry and Its Coupled Alignment to Body Plan Morphology

    Jones, BHD., Soltoggio, A., Sendhoff, B., Yao, X. & Krasnogor, N., 16 Jul 2011, GECCO '11 Proceedings of the 13th annual conference on Genetic and evolutionary computation. Association for Computing Machinery , p. 235-242 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Exploiting probabilistic knowledge under uncertain sensing for efficient robot behaviour

    Hanheide, M., Gretton, C., Dearden, R., Hawes, N., Wyatt, J., Pronobis, A., Aydemir, A., Göbelbecker, M. & Zender, H., 2011, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. p. 2442-2449 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    38 Citations (Scopus)

  • Faster black-box algorithms through higher arity operators

    Doerr, B., Johannsen, D., Kötzing, T., Lehre, P. K., Wagner, M. & Winzen, C., 2011, FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI. p. 163-171 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    48 Citations (Scopus)

  • Fitness-levels for non-elitist populations

    Lehre, P. K., 2011, Genetic and Evolutionary Computation Conference, GECCO'11. p. 2075-2082 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    50 Citations (Scopus)

  • Fresh re-keying II: Securing multiple parties against side-channel and fault attacks

    Medwed, M., Petit, C., Regazzoni, F., Renauld, M. & Standaert, F. X., 2011, Smart Card Research and Advanced Applications - 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Revised Selected Papers. p. 115-132 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7079 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Geometric Nelder-Mead Algorithm on the Space of Genetic Programs

    Moraglio, A., Silva, S., Krasnogor, N. & Lanzi, PL., 16 Jul 2011, GECCO '11 Proceedings of the 13th annual conference on Genetic and evolutionary computation. Association for Computing Machinery , p. 1307-1314 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Citations (Scopus)

  • Geometric Surrogate-Based Optimisation for Permutation-Based Problems

    Moraglio, A., Kim, YH. & Yoon, Y., 16 Jul 2011, GECCO '11 Proceedings of the 13th annual conference companion on Genetic and evolutionary computation. Association for Computing Machinery , p. 133-134 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Citations (Scopus)

  • Home alone: Autonomous extension and correction of spatial representations

    Hawes, N., Hanheide, M., Hargreaves, J., Page, B., Zender, H. & Jensfelt, P., 13 May 2011, 2011 IEEE International Conference on Robotics and Automation (ICRA). p. 3907-3914 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Citations (Scopus)

  • How Crossover Helps in Pseudo-Boolean Optimization

    Kötzing, T., Sudholt, D. & Theile, M., 16 Jul 2011, GECCO '11 Proceedings of the 13th annual conference on Genetic and evolutionary computation. Association for Computing Machinery , p. 989-996 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    57 Citations (Scopus)

  • Identifying Influential Nodes in Online Social Networks Using Principal Component Centrality

    Ilyas, M. U. & Radha, H., 9 Jun 2011, 2011 IEEE International Conference on Communications (ICC). IEEE, p. 1-5 5 p. 5963147

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Interactive decryption of DECT phone calls

    McHardy, P., Schuler, A. & Tews, E., 2011, Proceedings of the Fourth ACM Conference on Wireless Network Security, WISEC 2011, Hamburg, Germany, June 14-17, 2011. Gollmann, D., Westhoff, D., Tsudik, G. & Asokan, N. (eds.). Association for Computing Machinery , p. 71-78 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)

  • Learning to predict how rigid objects behave under simple manipulation

    Kopicki, M., Zurek, S., Stolkin, R., Morwald, T. & Wyatt, J., 13 May 2011, 2011 IEEE International Conference on Robotics and Automation (ICRA). Institute of Electrical and Electronics Engineers (IEEE), p. 5722-5729 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    43 Citations (Scopus)

  • Mapping the Underworld: A Step-Change in the Approach to Utility Location and Designation

    Royal, A., Rogers, C., Atkins, P., Chapman, D., Chen, H., Cohn, AG., Foo, K., Goddard, K., Hayes, R., Hao, T., Lewin, PL., Metje, N., Muggleton, JM., Naji, A., Orlando, G., Pennock, SR., Redfern, MA., Saul, AJ., Swingler, SG. & Wang, P., 1 Jan 2011, ICPTT 2011: Sustainable Solutions For Water, Sewer, Gas, And Oil Pipelines. American Society of Civil Engineers (ASCE), p. 1589-1597 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • One-time trapdoor one-way functions

    Cathalo, J. & Petit, C., 2011, Information Security - 13th International Conference, ISC 2010, Revised Selected Papers. Springer Verlag, p. 283-298 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6531 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On the Effectiveness of Crossover for Migration in Parallel Evolutionary Algorithms

    Neumann, F., Oliveto, P., Rudolph, GT. & Sudholt, D., 16 Jul 2011, GECCO '11 Proceedings of the 13th annual conference on Genetic and evolutionary computation. Association for Computing Machinery , p. 1587-1594 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    31 Citations (Scopus)

  • On the impossibility of instantiating PSS in the standard model

    Bhattacharyya, R. & Mandal, A., 2011, Public Key Cryptography, PKC 2011 - 14th International Conference on Practice and Theory in Public Key Cryptography, Proceedings. p. 351-368 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6571 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Citation (Scopus)