Search Results - "Normalisation"

Refine Results
  1. 1
    Type theory in a type theory with quotient inductive types

    Type theory in a type theory with quotient inductive types by Kaposi, Ambrus

    Published 2017
    Subjects: Get full text
  2. 2
    Development and application of an enhanced lipidomic profiling methods using stable isotope-assisted LC-MS.

    Development and application of an enhanced lipidomic profiling methods using stable isotope-assisted LC-MS. by Jaber, Malak

    Published 2019
    Subjects: Get full text
  3. 3
    Exploring the micro-politics of normalisation: Narratives of pleasure, self-control and desire in a sample of young Australian ‘party drug’ users

    Exploring the micro-politics of normalisation: Narratives of pleasure, self-control and desire in a sample of young Australian ‘party drug’ users by Pennay, Amy, Moore, David

    Published 2010
    Subjects: Get full text
  4. 4
    Australian councils unelected by the citizens in an Indigenous setting: The case of Nhulunbuy in the Northern Territory

    Australian councils unelected by the citizens in an Indigenous setting: The case of Nhulunbuy in the Northern Territory by Pearson, Cecil

    Published 2012
    Subjects: Get full text
  5. 5
    Normalisation by evaluation for dependent types

    Normalisation by evaluation for dependent types by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2016
    Subjects: “…Normalisation by evaluation…”
    Get full text
  6. 6
    Normalisation by evaluation for type theory, in type theory

    Normalisation by evaluation for type theory, in type theory by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2017
    Subjects: “…normalisation by evaluation; dependent types; internal type theory; logical relations; Agda…”
    Get full text
  7. 7
    Discussing illicit drugs in public internet forums: Visibility, stigma, and pseudonymity.

    Discussing illicit drugs in public internet forums: Visibility, stigma, and pseudonymity. by Barratt, Monica

    Published 2011
    Subjects: Get full text
    Get full text
  8. 8
    Affect and "normality" in GDR LGBT autobiography 1980-1990

    Affect and "normality" in GDR LGBT autobiography 1980-1990 by Osborn, S.A.

    Published 2018
    Subjects: Get full text
  9. 9
    The debated construct of labour exploitation: a scoping review of wage abuse

    The debated construct of labour exploitation: a scoping review of wage abuse by Carlino, Martina

    Published 2022
    Subjects: Get full text
  10. 10
    A robust similarity measure for volumetric image registration with outliers

    A robust similarity measure for volumetric image registration with outliers by Snape, Patrick, Pszczolkowski, Stefan, Zafeiriou, Stefanos, Tzimiropoulos, Georgios, Ledig, Christian, Rueckert, Daniel

    Published 2016
    Subjects: “…Image registration; Lucas–Kanade; Normalised gradient; Free-form deformation…”
    Get full text
  11. 11
    Citizens who inject drugs: the 'Fitpack' study

    Citizens who inject drugs: the 'Fitpack' study by Lenton, Simon, Kerry, K., Tan-Quigley, A., Greig, R.

    Published 2000
    Subjects: “…drug - injecting - needles - needle exchange - pharmacy - health aspects - legal aspects - social aspects - harm reduction - policy - public attitudes - advocacy - HIV - AIDS - dependence - crime - deviance - normalisation - stigma…”
    Get full text
  12. 12
    Determining Accessibility to Tourist Attractions

    Determining Accessibility to Tourist Attractions by Al Kahtani, S., Xia, Jianhong (Cecilia), Veenendaal, Bert

    Published 2013
    Subjects: Get full text
  13. 13
    A comparative analysis of landslide mapping techniques using earth observation (EO) data

    A comparative analysis of landslide mapping techniques using earth observation (EO) data by Akanazu, Lilian Akudo

    Published 2025
    Subjects: Get full text
  14. 14
    Automatic conceptual analysis for plagiarism detection

    Automatic conceptual analysis for plagiarism detection by Dreher, Heinz

    Published 2007
    Subjects: Get full text
    Get full text
  15. 15
    A unified approach to the Clenshaw summation and the recursive computation of very high degree and order normalised associated Legendre functions

    A unified approach to the Clenshaw summation and the recursive computation of very high degree and order normalised associated Legendre functions by Holmes, S., Featherstone, Will

    Published 2002
    Subjects: “…Spherical Harmonic Expansions - Fully Normalised Associated Legendre Functions - Clenshaw Summation - Recursion - Horner's Scheme…”
    Get full text
  16. 16
    Measuring accessibility to tourist attractions

    Measuring accessibility to tourist attractions by Al Kahtani, S., Xia, Jianhong (Cecilia), Veenendaal, Bert

    Published 2011
    Subjects: Get full text
  17. 17
    Exploring the micro-politics of normalised drug use in the social lives of a group of young 'party drug' users in Melbourne, Australia

    Exploring the micro-politics of normalised drug use in the social lives of a group of young 'party drug' users in Melbourne, Australia by Pennay, Amy

    Published 2012
    Subjects: Get full text
  18. 18
    Assisted query formulation using normalised word vector and dynamic ontological filtering

    Assisted query formulation using normalised word vector and dynamic ontological filtering by Dreher, Heinz, Williams, Robert

    Published 2006
    Subjects: Get full text
    Get full text
  19. 19
    Culturally-based adaptive learning and concept analytics to guide educational website content integration

    Culturally-based adaptive learning and concept analytics to guide educational website content integration by Reiners, Torsten, Dreher, Heinz

    Published 2009
    Subjects: “…Normalised Word Vector algorithm…”
    Get full text
    Get full text
  20. 20
    The power of normalised word vectors for automatically grading essays

    The power of normalised word vectors for automatically grading essays by Williams, Robert

    Published 2006
    Subjects: “…Normalised Word Vectors…”
    Get full text
    Get full text

Search Tools: