Filter
Chapter (peer-reviewed)

Search results

  • 2010

    Adaptive High-Speed Processor Simulation

    Topham, N., Franke, B., Jones, D. & Powell, D., 2010, Processor and System-on-Chip Simulation. Leupers, R. & Temam, O. (eds.). Springer US, p. 145-159 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Experiences in Developing Ubiquitous Applications

    Cano Reyes, J., Cano, J-C., Calafate, C. T. & Manzoni, P., 2010, Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends: New Issues and Trends. IGI Global, p. 97 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Modelling and analysis of the NF-κB pathway in Bio-PEPA

    Ciocchetta, F., Degasperi, A., Hillston, J. & Heath, J., 2010, Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies. Springer-Verlag GmbH, Vol. XII. p. 229-262 34 p. (Lecture Notes in Computer Science; vol. 5945).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • 2009

    Chronos: A tool for interactive scheduling and visualisation of task hierarchies

    Luz, S., Masoodian, M., McKenzie, D. & Broeck, W. V., 4 Aug 2009, Information Visualization. p. 241-246 6 p. (Proceedings of the International Conference on Information Visualisation).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Automatic 3D modeling of skulls by scatter search and heuristic features

    Ballerini, L., Cordón, O., Damas, S. & Santamaria, J., 2009, Applications of Soft Computing: Updating the State of Art. Springer Berlin Heidelberg, p. 149-158 10 p. (Advances in Soft Computing; vol. 52).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Extended Measurement Calculus

    Danos, V., Kashefi, E., Panangaden, P. & Perdrix, S., 2009, Semantic Techniques in Quantum Computation. Gay, S. & Mackie, I. (eds.). Cambridge University Press, p. 235-310 76 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Process Algebra Modelling Styles for Biomolecular Processes

    Calder, M. & Hillston, J., 2009, Transactions on Computational Systems Biology XI. Springer-Verlag GmbH, p. 1-25 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Referring and gaze alignment: accessibility is alive and well in situated dialogue

    Bard, E., Hill, R., Arai, M. & Foster, M. E., 2009, Proceedings of CogSci 2009. Taatgen, N. & van Rijn, H. (eds.). Cognitive Science Society, p. 1246-1251 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Open Access
    File
  • Semantics-Based Process Support for Grid Applications

    Nadarajan, G., Manataki, A. & Chen-Burger, J., 2009, Grid Technology for Maximizing Collaborative Decision Management and Support: Advancing Effective Virtual Organizations. Bessis, N. (ed.). IGI Global, p. 61-82 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • The Elimination of Meaning in Computational Theories of Mind

    Schweizer, P., 2009, Reduction: Between the Mind and the Brain. Hieke, A. & Leitgeb, H. (eds.). Ontos Verlag, p. 117-133 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Women in Computing

    Gürer, D., Light, J., Björkman, C., Davies, R., Hancock, M., Condon, A., Craig, A., Galpin, V., Martin, U., Pohl, M., Wiltner, S., Suriya, M., Spertus, E., Cohoon, J. M., Townsend, G. C. & Gabbert, P., 2009, Wiley Encyclopedia of Computer Science and Engineering. John Wiley & Sons Inc., p. 3099-3122 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2008

    Adapting referring expressions to the task environment

    Guhe, M. & Bard, E., 2008, Proceedings of CogSci 2008. Cognitive Science Society, p. 2404-2409 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Open Access
    File
  • A logic for parametric polymorphism with effects

    Simpson, A. & Mogelberg, R., 2008, Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers. Springer-Verlag GmbH, Vol. 4941. p. 142-156 15 p. (Lecture Notes in Computer Science; vol. 4941).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Open Access
    File
  • Model-Based Target Sonification in Small Screen Devices: Perception and Action

    Eslambolchilar, P., Crossan, A., Murray-Smith, R., Dalzel-Job, S. & Pollick, F., 2008, Handbook of Research on User Interface Design and Evaluation for Mobile Technology. IGI Global, p. 478-506 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Modelling the CoCoME with the JAVA/A Component Model

    Knapp, A., Janisch, S., Hennicker, R., Clark, A., Gilmore, S., Hacklinger, F., Baumeister, H. & Wirsing, M., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (eds.). Springer-Verlag GmbH, Vol. 5153. p. 207-237 31 p. (Lecture Notes in Computer Science; vol. 5153).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • What tunes accesibility of referring expressions in task-related dialogue?

    Bard, E., Hill, R. & Foster, M. E., 2008, Proceedings of CogSci 2008. Cognitive Science Society, p. 945-950

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Open Access
    File
  • 2007

    Incentives and Information Security

    Anderson, R., Moore, T., Nagaraja, S. & Ozment, A., 1 Dec 2007, Algorithmic Game Theory. Nisan, N., Roughgarden, T., Tardos, E. & Vazirani, V. V. (eds.). Cambridge University Press, p. 633-649 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
  • Visualisation of parallel data streams with temporal mosaics

    Luz, S. & Masoodian, M., 16 Jul 2007, Information Visualization. p. 197-202 6 p. (Proceedings of the International Conference on Information Visualisation).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • An Introduction to Conditional Random Fields for Relational Learning

    Sutton, C. & McCallum, A., 2007, Introduction to Statistical Relational Learning. MIT Press, p. 93-128 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Data integration in eHealth: a domain/disease specific roadmap

    Ure, J., Procter, R., Martone, M., Porteous, D., Lloyd, S., Lawrie, S., Job, D., Baldock, R., Philp, A., Liewald, D., Rakebrandt, F., Blaikie, A., McKay, C., Anderson, S., Ainsworth, J., van Hemert, J., Blanquer, I., Sinnott, R., Barillot, C., Gibaud, F. B., & 17 othersWilliams, A., Hartswood, M., Watson, P., Smith, L., Burger, A., Kennedy, J., Gonzalez-Velez, H., Stevens, R., Corcho, O., Morton, R., Linksted, P., Deschenes, M., McGilchrist, M., Johnson, P., Voss, A., Gertz, R. & Wardlaw, J., 2007, From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences. Vol. 126. p. 144-53 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Generative or Discriminative? Getting the Best of Both Worlds

    Lasserre, J., Bishop, C. M., Bernardo, J. M. (ed.), Bayarri, M. J. (ed.), Berger, J. O. (ed.), Dawid, A. P. (ed.), Heckerman, D. (ed.), Smith, A. F. M. (ed.) & West, M. (ed.), 2007, Bayesian Statistics 8. Oxford University Press, Vol. 8. p. 3-24 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • The complexity of independence-friendly fixpoint logic

    Bradfield, J. & Kreutzer, S., 2007, Foundations of the Formal Sciences V, Infinite Games. Bold, S., Löwe, B., Räsch, T. & van Benthem, J. (eds.). London: College Publications, p. 39-62 (Studies in Logic; vol. 11).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    File
  • 2006

    Accounting for Discourse Relations: Constituency and Dependency

    Webber, B., 1 Nov 2006, Intelligent Linguistic Architectures: Variations on Themes by Ronald M. Kaplan. Butt, M., Dalrymple, M. & King, T. H. (eds.). CSLI Publications, p. 339-360

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    File
  • f-SWRL: A Fuzzy Extension of SWRL

    Pan, J. Z., Stoilos, G., Stamou, G., Tzouvaras, V. & Horrocks, I., 25 Aug 2006, Journal on Data Semantics VI. Spaccapietra, S., Aberer, K. & Cudré-Mauroux, P. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 28-46 19 p. (Lecture Notes in Computer Science; vol. 4090).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Automatic Analysis of Lebedev Interference Patterns

    Lavrenko, V. & Lavrenko, P. N., Feb 2006, Analytical Ultracentrifugation VIII. Wandrey, C. & Cölfen, H. (eds.). Springer Berlin Heidelberg, p. 23-28 6 p. (Progress in Colloid and Polymer Science; vol. 131).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Approximate nearest neighbor regression in very high dimensions

    Vijayakumar, S. & Schaal, S., 2006, Nearest-Neighbor Methods in Learning and Vision. MIT Press, p. 103-142 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Cellular kinetic modeling of the microbial metabolism

    Goryanin, I. I., Lebedeva, G. V., Mogilevskaya, E. A., Metelkin, E. A. & Demin, O. V., 2006, Microbial Proteomics: Functional Biology of Whole Organisms. John Wiley & Sons Inc., p. 437-488 52 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Comparison of Generative and Discriminative Techniques for Object Detection and Classification

    Ulusoy, I. & Bishop, C., 2006, Toward Category-Level Object Recognition. Ponce, J., Hebert, M., Schmid, C. & Zisserman, A. (eds.). Springer Berlin Heidelberg, p. 173-195 23 p. (Lecture Notes in Computer Science; vol. 4170).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2005

    A generic approach to software support for linguistic annotation using XML

    Carletta, J., McKelvie, D., Isard, A., Mengel, A., Klein, M. & Møller, M. B., Oct 2005, Corpus Linguistics: Readings in a Widening Discipline: Open Linguistics (Paperback). Sampson, G. & McCarthy, D. (eds.). Continuum, p. 449-459 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Enabling change in healthcare structures through teleconferencing

    Kane, B., Luz, S., Menezes, G. & Hollywood, D. P., 25 Jul 2005, CBMS. p. 76-81 6 p. (Proceedings - IEEE Symposium on Computer-Based Medical Systems).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Enabling change in healthcare structures through teleconferencing

    Kane, B., Luz, S., Menezes, G. & Hollywood, D. P., 25 Jul 2005, CBMS. p. 76-81 6 p. (Proceedings - IEEE Symposium on Computer-Based Medical Systems).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Automatic hypertext keyphrase detection

    Kelleher, D. & Luz, S., Jul 2005, Proceedings of IJCAI. p. 1608-1609 2 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Communication Systems: A Unified Model of Socially Intelligent Systems

    Nickles, M., Rovatsos, M., Brauer, W. & Weiß, G., 2005, Communication Systems: A Unified Model of Socially Intelligent Systems: Scalability of Complex Social Systems. Fischer, K., Florian, M. & Malsch, T. (eds.). Springer Berlin Heidelberg, p. 289-313 25 p. (Lecture Notes in Computer Science; vol. 3413).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Constructing visual function through prenatal and postnatal learning

    Bednar, J. A. & Miikkulainen, R., 2005, Neuroconstructivism, Vol. 2: Perspectives and Prospects. Mareschal, D., Johnson, M. H., Sirois, S., Spratling, M., Thomas, M. S. C. & Westermann, G. (eds.). Oxford University Press, p. 13-37 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Constructive Set Theories and their Category-theoretic Models

    Simpson, A., 2005, From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Crosilla, L. & Schuster, P. (eds.). Oxford University Press, p. 41-59 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Kinetic modelling of the E. coli metabolism

    Demin, O., Plyusnina, T., Lebedeva, G., Zobova, E., Metelkin, E., Kolupaev, A., Goryanin, I. & Tobin, F., 2005, Systems Biology: Definitions and Perspectives. Alberghina, L. & Westerhoff, H. V. (eds.). Springer Berlin Heidelberg, Vol. 13. p. 31-67 37 p. (Topics in Current Genetics).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Object Recognition via Local Patch Labelling

    Bishop, C. & Ulusoy, I., 2005, Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures. Winkler, J., Niranjan, M. & Lawrence, N. (eds.). Springer Berlin Heidelberg, Vol. 3635. p. 1-21 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • On the Organisation of Agent Experience: Scaling Up Social Cognition

    Rovatsos, M. & Paetow, K., 2005, Socionics: Scalability of Complex Social Systems. Fischer, K., Florian, M. & Malsch, T. (eds.). Springer-Verlag, p. 155-175 21 p. (Lecture Notes in Computer Science; vol. 3413).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
  • Reduction in a linear lambda-calculus with applications to operational semantics

    Simpson, A., 2005, Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings. Springer-Verlag GmbH, p. 219-234 15 p. (Lecture Notes in Computer Science; vol. 3467).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Open Access
    File
  • Understanding gaussian process regression using the equivalent kernel

    Sollich, P. & Williams, C. KI., 2005, Deterministic and statistical methods in machine learning. Springer-Verlag, p. 211-228 18 p. (Lecture Notes in Computer Science; vol. 3635).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2004

    Referential form, word duration, and modelling the listener in spoken dialogue

    Bard, E. & Aylett, M., Dec 2004, Approaches to studying world-situated Language usage: Bridging the language-as-product and language-as-actions traditions. Trueswell, J. C. & Tanenhaus, M. K. (eds.). MIT Press, p. 173-191 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Clumps, Clusters and Classification

    Bishop, C., 2004, Computer Systems: Theory, Technology, and Applications. Herbert, A. & Jones, K. (eds.). Springer New York, p. 39-49 11 p. (Monographs in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Kinetic modelling as a modern technology to explore and modify living cells

    Demin, O. V., Lebedeva, G., Kolupaev, A. G., Zobova, EA., Plyusnina, T. Y., Lavrova, AI., Dubinsky, A., Goryacheva, EA., Tobin, F. & Goryanin, I., 2004, Modelling in Molecular Biology. Springer Berlin Heidelberg, p. 59-103 45 p. (Natural Computing Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • The Organization and integrative function of the post-synaptic proteome

    Grant, S., Husi, H., Choudhary, J., Cumiskey, M., Blackstock, W. & Armstrong, D., 2004, Excitatory-Inhibitory Balance: Synapses, Circuits, Systems. KLUWER ACADEMIC/PLENUM PUBL, p. 13-44 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • 2003

    The Role of Internally Generated Neural Activity in Newborn and Infant Face Preferences

    Bednar, J., 2003, The Development of Face Processing in Infancy and Early Childhood: Current Perspectives. Pascalis, O. & Slater, A. (eds.). Nova Science Publishers, p. 133-142

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2002

    Comparing Functional Paradigms for Exact Real-number Computation

    Bauer, A., Escardó, M. & Simpson, A., 2002, Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. Springer-Verlag GmbH, p. 488-500 13 p. (Lecture Notes in Computer Science; vol. 2380).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Open Access
    File
  • Robot learning

    Schaal, S., Atkeson, CG., Vijayakumar, S. & Tevatia, G., 2002, The Handbook Of Brain Theory And Neural Networks. p. 983-987 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • 2001

    Reasoning in Higraphs with Loose Edges

    Anderson, S., Power, J. & Tourlas, K., 2001, Human-Centric Computing Languages and Environments, IEEE CS International Symposium on. Institute of Electrical and Electronics Engineers (IEEE), p. 23-29 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 1999

    A Survey of Automated Deduction

    Bundy, A., 1999, Artificial Intelligence Today: Recent Trends and Developments. Wooldridge, M. J. & Veloso, M. (eds.). Springer Berlin Heidelberg, p. 153-174 22 p. (Lecture Notes in Computer Science; vol. 1600).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Hyperproof : abstraction, visual preference and multimodality

    Oberlander, J., Stenning, K. & Cox, R., 1999, Logic, Language and Computation. Moss, L. S., Ginzburg, J. & de Rijke, M. (eds.). Stanford, CA, USA: CSLI Publications/Center for the Study of Language and Information, Vol. 2. p. 222-236 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    File