Filter
Chapter (peer-reviewed)

Search results

  • 2002

    Feedback on children's stories via multiple interface agents

    Robertson, J. & Wiemer-Hastings, P., 2002, Intelligent Tutoring Systems: 6th International Conference, ITS 2002 Biarritz, France and San Sebastian, Spain, June 2–7, 2002 Proceedings. Cerri, S. A., Gouardères, G. & Paraguaçu, F. (eds.). p. 923-932 10 p. (Lecture Notes in Computer Science; vol. 2363).

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

    4 Citations (Scopus)
  • 2001

    Computational Space Efficience and Minimal Model Generation for Guarded Formulae

    Georgieva, L., Hustadt, U. & Schmidt, R., 2001, Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings. Vol. 2250. p. 85-99 15 p. (Lecture Notes in Computer Science; vol. 2250).

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

  • Models for pigment pattern formation in the skin of fishes

    Painter, K., 2001, Mathematical Models for Biological Pattern Formation. Vol. 121. p. 59-81 22 p. (IMA Volumes in Mathematics and its Applications; vol. 121).

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

  • Spatiotemporal pattern formation in early development: a review of primitive streak formation and somitogenesis

    Schnell, S., Painter, K., Maini, P. K. & Othmer, H. G., 2001, Mathematical Models for Biological Pattern Formation. Vol. 121. p. 11-37 27 p. (IMA Volumes in Mathematics and its Applications; vol. 121).

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

  • 2000

    Derivation of Petri net performance models from UML specifications of communications software

    King, P. J. B. & Pooley, R. J., 2000, Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings. Vol. 1786. p. 262-276 15 p. (Lecture Notes in Computer Science; vol. 1786).

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

    26 Citations (Scopus)
  • 1998

    Locally weighted autoregression

    Feng, Y. & Heiler, S., 1998, Econometrics in Theory and Practice: Festschrift for Hans Schneeweiß. Galata, R. & Küchenhoff, H. (eds.). Vol. Part II. p. 101-117 17 p.

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

  • 1996

    The Morava K-theory Hopf Ring for BP

    Kashiwabara, T., Strickland, N. & Turner, P. R., 1996, Algebraic Topology: New Trends in Localization and Periodicity: Barcelona Conference on Algebraic Topology, Sant Feliu de Guíxols, Spain, June 1–7, 1994. Vol. 136. p. 209-222 14 p.

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

  • 1994

    On key distribution via true broadcasting

    Just, M., Kranakis, E., Krizanc, D. & Van Oorschot, P., Nov 1994, Proceedings of the 2nd ACM Conference on Computer & Communications Security. Denning, D. (ed.). New York (New York): Association for Computing Machinery, p. 81-88 8 p. (Proceedings of the ACM Conferences; vol. 2).

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

    Open Access
  • 1992

    The flag-transitive affine planes of order 27

    Prince, A. R., 1992, Annals of Discrete Mathematics: Combinatorics '90 — Recent Trends and Applications, Proceedings of the Conference on Corn binatorics, Gaeta Italy. Vol. 52. p. 477-500 24 p.

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

  • 1991

    Conditions for active states in neural networks

    De Wilde, P., 1991, Neurocomputers and Attention: Connectionism and Neurocomputers. Holden, A. V. & Kri︠u︡kov, V. I. (eds.). Vol. 35. p. 695-700 6 p.

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