Research areas

Find within research areas:

2441 - 2450 out of 4,691Page size: 10
  1. Published

    Infinitary term graph rewriting is simple, sound and complete

    Bahr, P., 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 69-84 16 p. (Leibniz International Proceedings in Informatics, Vol. 15).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2. Published

    Jet-based local image descriptors

    Boesen Lindbo Larsen, A., Darkner, Sune, Dahl, A. L. & Steenstrup Pedersen, Kim, 2012, Computer Vision – ECCV 2012: 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III. Fitzgibbon, A., Lazebnik, S., Perona, P., Sato, Y. & Schmid, C. (eds.). Springer, p. 638-650 13 p. (Lecture notes in computer science, Vol. 7574).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Maximal Na+-K+-ATPase activity is upregulated in association with muscle activity

    Juel, C., 2012, In: Journal of Applied Physiology. 112, p. 2121-2123 3 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  4. Published

    Mechanics and mathematics in Joseph Liouville's research

    Lützen, Jesper, 2012, The Circulation of Science and Technology: Proceedings of the 4th International Conference of the European Society for the History of Science, Barcelona, 18-20 November 2010. Barcelona: SCHCT-IEC, p. 520-521

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  5. Published

    Medical data breaches: notification delayed is notification denied

    Kierkegaard, P., 2012, In: Computer Law & Security Review. 28, 2, p. 163-183 21 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. Published

    Modelling chestnut biogeography for American chestnut restoration

    Fei, S., Liang, L., Paillet, F. L., Steiner, K. C., Fang, J., Shen, Z., (王志恒), Z. W. & Hebard, F. V., 2012, In: Diversity and Distributions. 18, 8, p. 754-768

    Research output: Contribution to journal › Journal article › Research › peer-review

  7. Published

    Modes of convergence for term graph rewriting

    Bahr, P., 2012, In: Logical Methods in Computer Science. 8, 2, 60 p., 6.

    Research output: Contribution to journal › Journal article › Research › peer-review

  8. Published

    Modular tree automata

    Bahr, P., 2012, Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Gibbons, J. & Nogueira, P. (eds.). Springer, p. 263-299 37 p. (Lecture notes in computer science, Vol. 7342).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  9. Published

    Momentum and hamiltonian in complex action theory

    Nagao, K. & Nielsen, Holger Frits Bech, 2012, In: International Journal of Modern Physics A. 27, 14, p. 1250076 30 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  10. Published

    Multiphase flow of immiscible fluids on unstructured moving meshes

    Misztal, M. K., Erleben, Kenny, Bargteil, A., Fursund, J., Christensen, B. B., Bærentzen, J. A. & Bridson, R., 2012, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Kry, P. & Lee, J. (eds.). Eurographics Association, p. 97-106 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Previous 1...241 242 243 244 245 246 247 248 ...470 Next