Forskningsområder

Find indenfor forskningsområde:

2441 - 2450 ud af 4.691Pr. side: 10
Sortering: Udgivelsesdato
  1. Udgivet

    Infinitary term graph rewriting is simple, sound and complete

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  2. Udgivet

    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. (red.). Springer, s. 638-650 13 s. (Lecture notes in computer science, Bind 7574).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

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

    Juel, C., 2012, I: Journal of Applied Physiology. 112, s. 2121-2123 3 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  4. Udgivet

    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, s. 520-521

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  5. Udgivet

    Medical data breaches: notification delayed is notification denied

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. Udgivet

    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, I: Diversity and Distributions. 18, 8, s. 754-768

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  7. Udgivet

    Modes of convergence for term graph rewriting

    Bahr, P., 2012, I: Logical Methods in Computer Science. 8, 2, 60 s., 6.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  8. Udgivet

    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. (red.). Springer, s. 263-299 37 s. (Lecture notes in computer science, Bind 7342).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  9. Udgivet

    Momentum and hamiltonian in complex action theory

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  10. Udgivet

    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. (red.). Eurographics Association, s. 97-106 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1...241 242 243 244 245 246 247 248 ...470 Næste