Research areas

Find within research areas:

4451 - 4500 out of 4,684Page size: 50
Sort by: 1st author
  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

    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

  3. Published

    Evaluation à la carte: non-strict evaluation via compositional data types

    Bahr, P., 2011, Proceedings of the 23rd Nordic Workshop on Programming Theory. Pettersson, P. & Seceleanu, C. (eds.). Mälardalen University, p. 38-40 3 p. (Technical Report, Vol. 254).

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

  4. 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

  5. Published

    From infinitary term rewriting to cyclic term graph rewriting and back

    Bahr, P., 11 Feb 2011, Proceedings of the 6th International Workshop on Computing with Terms and Graphs. Echahed, R. (ed.). p. 2 1 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 48).

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research

  6. Published

    Modes of convergence for term graph rewriting

    Bahr, P., 2011, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schauß, M. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 139-154 16 p. (Leibniz International Proceedings in Informatics, Vol. 10).

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

  7. Published

    Abstract models of transfinite reductions

    Bahr, P., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 49-66 18 p. (Leibniz International Proceedings in Informatics, Vol. 6).

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

  8. Transepithelial activation of human leukocytes by probiotics and commensal bacteria: Role of Enterobacteriaceae-type endotoxin

    Baeuerlein, A., Ackermann, S. & Parlesak, Alexandr, 2009, In: Microbiology and Immunology. 53, 4, p. 241-250 10 p.

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

  9. Published

    Paleoproterozic hydrothermal graphite-sulfide ± gold mineralisation from the Tasiilaq area, South-East Greenland

    Baden, K. & Kolb, J., 2016, København: Geological Survey of Denmark and Greenland. (Rapport GEUS, Rapp. Grønlands geol. Unders.).

    Research output: Book/Report › Report › Research

  10. Published

    Specialized roles for the two UDP-glucosyltransferases UGT85K2 and UGT85K3 in hydroxynitrile glucoside metabolism in Lotus japonicus

    Baden, C. K., Bjarnholt, Nanna, Jensen, K., Robsen, F., Olsen, C. E., Motawia, M. S., Møller, Birger Lindberg, Takos, A. M. & Rook, F., 2013. 1 p.

    Research output: Contribution to conference › Poster › Research

  11. Published

    The binding of UDP-glucosyltransferase to the cytochrome P450s in dhurrin biosynthesis

    Baden, C. K., Laursen, Tomas, Kannangara, R. M., Bertram, N., Cardenas Gomez, M. & Møller, Birger Lindberg, 2013. 1 p.

    Research output: Contribution to conference › Poster › Research

  12. Published

    Entropy as a Measure of Log Variability

    Back, C.O., Debois, S. & Slaats, Tijs, 14 Jun 2019, In: Journal on Data Semantics. 8, 2, p. 129–156 28 p.

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

  13. Published

    Dovne drenge eller dødbringende matematik?

    Bacher, C., Laursen, Kjeld Bagger, Iversen, S. M. & Ulriksen, Lars, 10 Mar 2012, In: MONA: Matematik og Naturfagsdidaktik. 2012, 1, p. 23-45 23 p.

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

  14. Consensus-building around the conceptualisation and implementation of sustainable healthy diets: a foundation for policymakers

    Bach-Faig, A., Wickramasinghe, K., Panadero, N., Fàbregues, S., Rippin, H., Halloran, A., Fresán, U., Pattison, M. & Breda, J., 2022, In: B M C Public Health. 22, 20 p., 1480.

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

  15. Published

    Application of unsupervised learning in weight-loss categorisation for weight management programs

    Babajide, O., Hissam, T., Palczewska, A., Astrup, A., Martinez, J. A., Oppert, J. M. & Sørensen, Thorkild I.A., 2019, The 10th IEEE International Conference on Dependable Systems, Services and Technologies. DESSERT'2019: Conference proceedings. IEEE, p. 94-101 8 p. 8770032

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

  16. Published

    Arsenic in drinking-water and risk for cancer in Denmark

    Baastrup, R., Sørensen, M., Balstrøm, Thomas, Frederiksen, K., Langtofte Larsen, C., Tjønneland, A., Overvad, K. & Raaschou-Nielsen, O. L., 2008, In: Environmental Health Perspectives. 116, 2, p. 231-237

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

  17. Published

    Skeletal muscle proteins important for work capacity are altered with type 2 diabetes - Effect of 10-20-30 training

    Baasch-Skytte, T., Gunnarsson, T. P., Fiorenza, Matteo & Bangsbo, Jens, 2021, In: Physiological Reports. 9, 1, 13 p., e14681.

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

  18. Published

    Efficacy of 10-20-30 training versus moderate-intensity continuous training on HbA1c, body composition and maximum oxygen uptake in male patients with type 2 diabetes: A randomized controlled trial

    Baasch-Skytte, T., Lemgart, C. T., Oehlenschläger, M. H., Petersen, P. E., Hostrup, Morten, Bangsbo, Jens & Gunnarsson, T. P., 2020, In: Diabetes, Obesity and Metabolism. 22, 5, p. 767-778 12 p.

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

  19. Published

    Klimatilpasning: udledning af regnvand fra veje og befæstede arealer

    Baaner, Lasse, 2014, In: Nordisk Miljörättslig Tidskrift/Nordic Environmental Law Journal. 2014, 2, p. 43-59 17 p.

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

  20. Published

    Plant diversity and regeneration in a disturbed isolated dry Afromontane forest in northern Ethiopia

    Aynekulu, E., Aerts, R., Denich, M., Nigussie, A., Friis, Ib, Sebsebe, D. & Boehmer, H. J., 2016, In: Folia Geobotanica. 51, 2, p. 115-127 13 p.

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

  21. Published

    Reversible representation and manipulation of constructor terms in the heap

    Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

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

  22. Published

    New Plant Records for the Ethiopian Flora from Benishangul Gumuz Region, Western Ethiopia

    Awas, T., Demissew, S., Nordal, I. & Friis, Ib, 2007, In: Walia. 25, p. 3-11

    Research output: Contribution to journal › Journal article › Research

  23. Published

    The soil-land use system in a sand spit area in the semi-arid coastal savanna region of Ghana: development, sustainability and threats

    Awadzi, T. W., Ahiabor, E. & Breuning-Madsen, H., 2008, In: West African journal of aplied ecology. 13, p. 181-194

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

  24. Published

    Natural Orbitals from Generalized Sturmian Calculations

    Avery, J. S. & Avery, James Emil, 2003, In: Advances in Quantum Chemistry. 43, p. 207-216

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

  25. Published

    Sturmians and generalized sturmians in quantum theory

    Avery, J. S. & Avery, James Emil, 2012, Molecular electronic structures of transition metal complexes II. Mingos, D. M. P., Day, P. & Dahl, J. P. (eds.). Springer, p. 53-99 47 p. (Structure and Bonding, Vol. 143).

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

  26. Published

    Kramers Pairs in configuration interaction

    Avery, J. S. & Avery, James Emil, 2003, In: Advances in Quantum Chemistry. 43, p. 185–206 22 p.

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

  27. Published

    Atomic Densities, Polarizabilities, and Natural Orbitals Derived from Generalized Sturmian Calculations

    Avery, J. S., Avery, James Emil, Aquilanti, V. & Caligiana, A., 2004, In: Advances in Quantum Chemistry. 47, p. 157-176

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

  28. Generalized Sturmians and Atomic Spectra

    Avery, James Emil & Avery, J., 2006, 1 ed. World Scientific. 240 p.

    Research output: Book/Report › Book › Research › peer-review

  29. Published

    Size-change termination and bound analysis

    Avery, James Emil, 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings. Hagiya, M. & Wadler, P. (eds.). Springer, p. 192-207 16 p. (Lecture notes in computer science, Vol. 3945).

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

  30. Published

    The generalized sturmian method for calculating spectra of atoms and ions

    Avery, James Emil & Avery, J. S., 2003, In: Journal of Mathematical Chemistry. 33, p. 145-162

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

  31. Published

    Automatic differentiation for diffusion operator integral variance reduction

    Auster, Johan Christoffer K, 18 Feb 2022, In: Journal of Computational Finance. 25, 4, p. 27-53 27 p., 2.

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

  32. Published

    JDOI variance reduction method and the pricing of American-style options

    Auster, Johan Christoffer K, Mathys, L. & Maeder, F., 2022, In: Quantitative Finance. 22, 4, p. 639-656

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

  33. Published

    Schwebstofftransport im Sylt-Rømø Tidebecken: Messungen und Modellierung

    Austen, I., Fanger, H., Kappenberg, J., Müller, A. & Pejrup, M., 1998, Ökosystem Wattenmeer. Austausch-, Transport und stoffumwandlungsprozesse. Berlin: Springer, p. 185-215

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

  34. Published

    The genus Willeysthenelais (Sigalionidae: Polychaeta) from Thai waters

    Aungtonya, C., Eibye-Jacobsen, Danny & Angsupanich, S., 2013, In: Phuket Marine Biological Center. Research Bulletin. 72, p. 19-30 12 p.

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

  35. Published

    Drilling comparison in "warm ice" and drill design comparison

    Augustin, L., Motoyama, H., Wilhelms, F., Talalay, P., Vasiliev, N. & Johnsen, S. J., 2007, In: Annals of Glaciology. 47, 1, p. 73-78 6 p.

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

  36. ORKG: Facilitating the Transfer of Research Results with the Open Research Knowledge Graph

    Auer, S., Stocker, M., Vogt, L., Fraumann, G. & Garatzogianni, A., 2021, In: Research Ideas and Outcomes. 7, e68513

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

  37. The association of serum uromodulin with allograft function and risk of urinary tract infection in kidney transplant recipients

    Attari, V. E., Maddah, A., Asl, Z. S., Jalili, Mahsa, Ardalan, M. R. & Mokari, S., 2021, In: Journal of Renal Injury Prevention. 10, 1, 6 p., e02.

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

  38. Published

    Species diversity and vegetation structure of woody plants in regenerating Juniperus forest replacing Eucalyptus in the conservation area of Gullele Botanic Garden, Addis Ababa, Ethiopia

    Atinafe, E., Weber, O., Friis, Ib & Seta, T., 2023, In: Webbia. 78, 2, p. 49-71

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

  39. Published

    Saturated fats and health: A reassessment and proposal for food-based recommendations: JACC State-of-the-Art Review

    Astrup, A., Magkos, Faidon, Bier, D. M., Brenna, J. T., de Oliveira Otto, M. C., Hill, J. O., King, J. C., Mente, A., Ordovas, J. M., Volek, J. S., Yusuf, S. & Krauss, R. M., 2020, In: Journal of the American College of Cardiology. 76, 7, p. 844-857 14 p.

    Research output: Contribution to journal › Review › Research › peer-review

  40. Published

    Topiramate: a new potential pharmacological treatment for obesity

    Astrup, A. & Toubro, S., 2004, In: Obesity. 12, Suppl., p. 167s-173s 7 p.

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

  41. Published

    Til Øllet: Sund med Øl i Glas og Gryde

    Astrup, A. & Skovenborg, E., 2016, Aarhus: Klim. 247 p.

    Research output: Book/Report › Book › Communication

  42. Published

    Effects of full-fat and fermented dairy products on cardiometabolic disease: Food is more than the sum of its parts

    Astrup, A., Geiker, Nina Rica Wium & Magkos, Faidon, 2019, In: Advances in Nutrition. 10, 5, p. 924S-930S 7 p.

    Research output: Contribution to journal › Review › Research › peer-review

  43. Published

    Kostrådene kunne bruge et kritisk eftersyn

    Astrup, A., 20 Jun 2017

    Research output: Other contribution › Net publication - Internet publication › Communication

  44. Sodium intake during pregnancy, but not other diet recommendations aimed at preventing cardiovascular disease, is positively related to risk of hypertensive disorders of pregnancy

    Arvizu, M., Bjerregaard, A. A., Madsen, M. T. B., Granstrom, C., Halldorsson, T. I., Olsen, Sjurdur F., Gaskins, A. J., Rich-Edwards, J., Rosner, B. A. & Chavarro, J. E., 2020, In: Journal of Nutrition. 150, 1, p. 159-166 8 p.

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

  45. Published

    Quantification of lipoprotein profiles by nuclear magnetic resonance spectroscopy and multivariate data analysis

    Aru, Violetta, Lam, C., Khakimov, Bekzod, Hoefsloot, H. C. J., Zwanenburg, G., Lind, M. V., Schäfer, H., van Duynhoven, J., Jacobs, D. M., Smilde, A. K. & Engelsen, Søren Balling, 2017, In: Trends in Analytical Chemistry. 94, p. 210-219 10 p.

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

  46. Published

    Effects of Water Stress, Defoliation and Crop Thinning on Vitis vinifera L. cv. Solaris: Part I: Plant Responses, Fruit Development and Fruit Quality

    Aru, Violetta, Nittnaus, A. P., Sørensen, Klavs Martin, Engelsen, Søren Balling & Toldam-Andersen, Torben, 2022, In: Metabolites. 12, 4, 15 p., 363.

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

  47. Published

    Deep Europe today: Geophysical synthesis of the upper mantle structure and lithospheric processes over 3.5 Ga

    Artemieva, I. M., Thybo, H. & Kaban, M. K., 2006, In: Geological Society Special Publication. 32, p. 11-41

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

  48. Published

    Cenozoic evolution of the thermal regime of the continental mantle in western USA: a comparative study constrained by petrologic data

    Artemieva, I., 2008, In: Geological Society of America. Abstracts with Programs. p. T-57

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

  49. Published

    The continental lithosphere

    Artemieva, I., 2009, In: Lithos. 109, 1-2, p. 23-46 24 p.

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

  50. Published

    Processes of lithosphere evolution: new evidence on the structure of the continental crust and uppermost mantle

    Artemieva, I., Mooney, W. D., Perchuc, E. & Thybo, H., 2002, In: Tectonophysics. 358, p. 1-15

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

Previous 1...86 87 88 89 90 91 92 93 94 Next