Forskningsområder

Find indenfor forskningsområde:

328051 - 328060 ud af 406.681Pr. side: 10
Sortering: 1. forfatter
  1. Udgivet

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

    Sandrin, A., 2005, I: Geologisk Tidsskrift. 1, s. 34-35

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

  2. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  3. Udgivet

    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

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  4. Udgivet

    A Compositional Semantics of Combining Forms for Gamma Programs

    Sands, D., 1993, International Conference on Formal Methods in Programming and Their Applications. LNCS

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  5. Udgivet

    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, s. 221-232

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  6. Udgivet

    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

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  7. Udgivet

    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, s. 681-695

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  8. Udgivet

    Old maps, channel change, serendipity and loss: medieval fishweirs on the Fergus Estuary, Co. Clare, Ireland

    Sands, R., O’Sullivan, A., Daly, Aoife Maeliosa & Dillon, M., 1 jan. 2016, I: Journal of Wetland Archaeology. 16, 1, s. 17-32 16 s.

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

  9. Udgivet

    Autism and developmental disability caused by KCNQ3 gain-of-function variants

    Sands, T. T., Miceli, F., Lesca, G., Beck, A. E., Sadleir, L. G., Arrington, D. K., Schönewolf-Greulich, B., Moutton, S., Lauritano, A., Nappi, P., Soldovieri, M. V., Scheffer, I. E., Mefford, H. C., Stong, N., Heinzen, E. L., Goldstein, D. B., Perez, A. G., Kossoff, E. H., Stocco, A., Sullivan, J. A. & 15 flere, Shashi, V., Gerard, B., Francannet, C., Bisgaard, A., Tümer, Asuman Zeynep, Willems, M., Rivier, F., Vitobello, A., Thakkar, K., Rajan, D. S., Barkovich, A. J., Weckhuysen, S., Cooper, E. C., Taglialatela, M. & Cilio, M. R., 2019, I: Annals of Neurology. 86, 2, s. 181-192 12 s.

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

  10. Udgivet

    Combination of exercise and GLP-1 receptor agonist treatment reduces severity of metabolic syndrome, abdominal obesity, and inflammation: a randomized controlled trial

    Sandsdal, Rasmus Michael, Juhl, C. R., Jensen, Simon Birk Kjær, Lundgren, J. R., Janus, C., Blond, Martin Bæk, Rosenkilde, M., Bogh, A. F., Gliemann, Lasse, Jensen, Jens-Erik Beck, Antoniades, C., Stallknecht, Bente Merete, Holst, Jens Juul, Madsbad, Sten & Torekov, Signe Sørensen, 2023, I: Cardiovascular Diabetology. 22, 1, 12 s., 41.

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

Forrige 1...32802 32803 32804 32805 32806 32807 32808 32809 ...40669 Næste