Research areas

Find within research areas:

328161 - 328170 out of 406,826Page size: 10
Sort by: 1st author
  1. Published

    Seismic wavefield modeling of lower crustal and uppermost mantle heterogeneity below the Danish Basin

    Sandrin, A., Nielsen, Lars & Thybo, H., 2006, In: Eos Trans. AGU, Fall Meet. Suppl.. 87 (52), p. T31D-0492

    Research output: Contribution to journal › Journal article › Research

  2. Published

    Deep crustal seismic investigation across the Silkeborg Gravity High, Central Denmark

    Sandrin, A., Thybo, H., Nielsen, Lars, Lyngsie, S. B. & Keller, G. R., 2004, In: EOS : Transactions. 47, p. 1 page only

    Research output: Contribution to journal › Conference abstract in journal › Research

  3. Published

    Magnetic and electron microscope identification of Fe-minerals in four selected samples from the Tjårrojåkka Cu-prospect, Sweden.

    Sandrin, A., Waight, Tod & Elming, S. -., 2008. 1 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

  4. Published

    Geophysical targeting of Fe-Oxide Cu-(Au) deposits west of Kiruna, Sweden

    Sandrin, A., Berggren, R. & Elming, S., 2007, In: Journal of Applied Geophysics. 61, p. 92-101

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

  5. Published

    ESTRID (Esplosion Seismic Transect of a Rift In Denmark): Undersøgelse af en riftstruktur i Danmark

    Sandrin, A., 2005, In: Geologisk Tidsskrift. 1, p. 34-35

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

  6. Published

    Attachment patterns among young women diagnosed with bulimia nervosa and their mothers

    Sandros, C., 2007, kbh.: Museum Tusculanum. 118 p.

    Research output: Book/Report › Ph.D. thesis › Research

  7. Published

    Higher-Order Expression Procedures

    Sands, D., 1995, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). Association for Computing Machinery

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

  8. Published

    Total Correctness by Local Improvement in Program Transformation

    Sands, D., 1995, Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). Association for Computing Machinery, p. 221-232

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

  9. Published

    Laws of Parallel Synchronised Termination

    Sands, D., 1993, Theory and Formal Methods 1993: Proceedings of the first Imperial College, Dept. of Computing, Workshop on Theory and Formal Methods. Springer

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

  10. Published

    Proving the Correctness of Recursion-Based Automatic Program Transformations

    Sands, D., 1995, Sixth International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Lecture Notes in Computer Science, 915. Springer, p. 681-695

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

Previous 1...32813 32814 32815 32816 32817 32818 32819 32820 ...40683 Next