Search

Results: 31
Axioms for modelling cubical type theory in a topos
I Orton, AM Pitts
Jan 04, 2019
The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an object $I$ in a topos to give such a path-based model of type theory in which paths are just functions with...
Published by:
How is Respect and Social Inclusion Conceptualised by Older Adults in an Aspiring Age-Friendly City? A Photovoice Study in the North-West of England
The World Health Organisation (WHO) Global Age-Friendly Cities (AFC) Guide classifies key characteristics of an AFC according to eight domains. Whilst much age-friendly practice and research have focused on domains of the...
Published by:
Erratum:Compounds Related to Saudin and Three New Series of Diterpenoids from Clutia lanceolata (Journal of Natural Products (2023) 86: 5 (1129−1149) DOI

Re-examination and reinterpretation of the NOESY NMR data for 11 and 12 has led to reassignment of the relative stereochemical configurations at C-5 and C-10 for both compounds. The text discussing the relative configurations...

Published by:
The health impacts of women's low control in their living environment
We conducted a systematic review of observational evidence on the health impacts of women's low control/autonomy in the living environment in societies with profound gender discrimination and gender bias. Thirty observational...
Published by:
Erratum:Compounds Related to Saudin and Three New Series of Diterpenoids from Clutia lanceolata (Journal of Natural Products (2023) 86: 5 (1129−1149) DOI

Re-examination and reinterpretation of the NOESY NMR data for 11 and 12 has led to reassignment of the relative stereochemical configurations at C-5 and C-10 for both compounds. The text discussing the relative configurations...

Published by:
Interest in and Use of Smoking Cessation Support Across Pregnancy and Postpartum.
BACKGROUND: Limited research exists on interest in and use of smoking cessation support in pregnancy and postpartum. METHODS: A longitudinal cohort of pregnant smokers and recent ex-smokers were recruited in Nottinghamshire...
Published by:
Longitudinal cohort survey of women's smoking behaviour and attitudes in pregnancy
OBJECTIVES: To report the methods used to assemble a contemporary pregnancy cohort for investigating influences on smoking behaviour before, during and after pregnancy and to report characteristics of women recruited. DESIGN...
Published by:
Historical Demographic Processes Dominate Genetic Variation in Ancient Atlantic Cod Mitogenomes
Ancient DNA (aDNA) approaches have been successfully used to infer the long-term impacts of climate change, domestication, and human exploitation in a range of terrestrial species. Nonetheless, studies investigating such...
Published by:

|<

<

1

2

>

>|