Search Results

Platforms as Infrastructures for Mathematics Teachers' Work With Resources

• Authors : Tamborg, Andreas Lindenskov; Misfeldt, Morten;

Subjects: teaching; teachers; digital learning platforms

• Source: Tamborg, A L & Misfeldt, M 2019, Platforms as Infrastructures for Mathematics Teachers' Work With Resources. in S Rezat, L Fan, M Hattermann, J Schumacher & H Wuschke (eds), Proceedings of the Third

Record details

Abstract, Compositional Consistency:Isabelle/HOL Locales for Completeness à la Fitting

• Authors : From, Asta Halkjær; Schlichtkrull, Anders;

Subjects: abstract consistency property; completeness; Isabelle/HOL

• Source: From, A H & Schlichtkrull, A 2025, Abstract, Compositional Consistency : Isabelle/HOL Locales for Completeness à la Fitting. in Y Forster & C Keller (eds), 16th International Conference on

Record details

Epilogue:Textbooks as a Prism for the Politics of Secularization and “Cultural Heritage”

• Authors : Buchardt, Mette;

Subjects: Secularization; Education; History of Education

• Source: Buchardt, M 2024, Epilogue : Textbooks as a Prism for the Politics of Secularization and “Cultural Heritage”. in M Roos, J Westberg & H Edgren (eds), Secular Schooling in the long twentieth

Record details

Structural Dynamics, Vol. 3:linear stochastic dynamics: 5th edition

• Authors : Nielsen, Søren R.K.

Subjects: Stochastic Variables; Stochastic Processes; Monte Carlo Simulation Methods

• Source: Nielsen, S R K 2007, Structural Dynamics, Vol. 3 : linear stochastic dynamics: 5th edition. DCE Lecture notes, no. 11, vol. 3, vol. 3, 5 edn, Department of Civil Engineering, Aalborg University,

Record details

Sexual Aspects of Pregnancy and the Postpartum in Non-Mainstream Orientations

• Authors : Højgaard, Astrid Ditte; Dahl, Bente;

Subjects: Co-mother; Heteronormativity; Home insemination

• Source: Højgaard, A D & Dahl, B 2023, Sexual Aspects of Pregnancy and the Postpartum in Non-Mainstream Orientations. in S Geuens, A P Mivšek & W L. Gianotten (eds), Midwifery and Sexuality. Springer, pp.

Record details

Vibration Theory, Vol. 1B:linear vibration theory, MATLAB exercises

• Authors : Asmussen, J. C.; Nielsen, Søren R. K.

Subjects: MATLAB; Lecture; Exercises

• Source: Asmussen, J C & Nielsen, S R K 1996, Vibration Theory, Vol. 1B : linear vibration theory, MATLAB exercises. U/, no. 9601, Department of Mechanical Engineering, Aalborg University, Aalborg.

Record details

Age-related decline in aerobic potential in trained to well-trained cyclists

• Authors : Hyttel, Magnus Kristian; Kristiansen, Mathias Vedsø; Hansen, Ernst Albin

Subjects: Aerobic capacity; Cycling; Health

• Source: Hyttel, M K, Kristiansen, M V & Hansen, E A 2022, 'Age-related decline in aerobic potential in trained to well-trained cyclists', Journal of Science & Cycling, vol. 11, no. 2. <

Record details

A global perspective on training and education in child and adolescent psychiatry

• Authors : Deschamps, Peter; Jacobs, Brian; Hansen, Anna Sofie Kjærgaard ...

• Source: Deschamps, P, Jacobs, B, Hansen, A S K, Hunt, J, Piot, M A, Robertson, P, Pereira-Sanchez, V, Chachar, A, Alarcón, A C C, Daniel, H, Lewis, A L, Moussa, S, van der Schaaf, M, Teixeira da Rosa, A L S,

Record details

A sequent calculus for first-order logic formalized in Isabelle/HOL.

• Authors : From, Asta Halkjær; Schlichtkrull, Anders; Villadsen, Jørgen

Subjects: Isabelle/HOL; completeness; first-order logic

• Source: From, A H, Schlichtkrull, A & Villadsen, J 2023, 'A sequent calculus for first-order logic formalized in Isabelle/HOL.', Journal of Logic and Computation, vol. 33, no. 4, pp. 818-836.

Record details

Semantic density and gravity in lay-oriented medical knowledge communication:The case of the EPAR summary for the public

• Authors : Hill-Madsen, Aage

Subjects: medical discourse; expert-to-lay communication; knowledge mediation

• Source: Hill-Madsen, A 2022, 'Semantic density and gravity in lay-oriented medical knowledge communication : The case of the EPAR summary for the public', Nordic Journal of English Studies, vol. 21, no. 2,

Record details