University Library Projects
About this community
Sub-communities within this community
Collections in this community
-
Cambridge University Research Outputs
Research outputs of the University of Cambridge -
Symplectic mapped items for data match
This collection contains all articles, datasets and conference objects to be harvested
Recent Submissions
-
A Formalised Theorem in the Partition Calculus
A paper on ordinal partitions by Erdős and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising ... -
Temporal dynamics predict symptom onset and cognitive decline in familial frontotemporal dementia
INTRODUCTION: We tested whether changes in functional networks predict cognitive decline and conversion from the presymptomatic prodrome to symptomatic disease in familial frontotemporal dementia. METHODS: For hypothesis ... -
Hierarchy, revisionism, and subordinate actors: The TPNW and the subversion of the nuclear order
(SAGE Publications, 2022)<jats:p> Why and how do weak states challenge the status quo? This article builds on analyses of hierarchy in International Relations to develop a more comprehensive and inclusive understanding of the concept of revisionism. ... -
Tau Beats Amyloid in Predicting Brain Atrophy in Alzheimer Disease: Implications for Prognosis and Clinical Trials.
(Society of Nuclear Medicine, 2022-06)
