36 results
Homology and K-theory of dynamical systems IV. Further structural results on groupoid homology
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems , First View
- Published online by Cambridge University Press:
- 15 May 2024, pp. 1-27
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
VIEWS ON THE PAST, PRESENT AND FUTURE - (E.) Strazdins Fashioning the Future in Roman Greece. Memory, Monuments, Texts. Pp. xxiv + 368, ills. Oxford: Oxford University Press, 2023. Cased, £100, US$130. ISBN: 978-0-19-286610-3.
-
- Journal:
- The Classical Review , First View
- Published online by Cambridge University Press:
- 22 March 2024, pp. 1-3
-
- Article
- Export citation
Combining soft robotics and telerehabilitation for improving motor function after stroke
-
- Journal:
- Wearable Technologies / Volume 5 / 2024
- Published online by Cambridge University Press:
- 26 January 2024, e1
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A CATEGORICAL APPROACH TO THE BAUM–CONNES CONJECTURE FOR ÉTALE GROUPOIDS
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu , First View
- Published online by Cambridge University Press:
- 02 January 2024, pp. 1-46
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Are anxious and mixed depression two sides of the same coin? Similarities and differences in patients with bipolar I, II and unipolar disorders
-
- Journal:
- European Psychiatry / Volume 66 / Issue 1 / 2023
- Published online by Cambridge University Press:
- 12 September 2023, e75
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Fatigue in older persons: the role of nutrition
-
- Journal:
- Proceedings of the Nutrition Society / Volume 82 / Issue 1 / February 2023
- Published online by Cambridge University Press:
- 23 August 2022, pp. 39-46
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 4 / July 2022
- Published online by Cambridge University Press:
- 07 July 2022, pp. 555-572
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Analysis and Transformation of Constrained Horn Clauses for Program Verification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 15 November 2021, pp. 974-1042
-
- Article
-
- You have access
- Open access
- Export citation
Which patients with bipolar depression receive antidepressant augmentation? Results from an observational multicenter study
-
- Journal:
- CNS Spectrums / Volume 27 / Issue 6 / December 2022
- Published online by Cambridge University Press:
- 10 September 2021, pp. 731-739
-
- Article
- Export citation
Homology and K-theory of dynamical systems I. Torsion-free ample groupoids
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 42 / Issue 8 / August 2022
- Published online by Cambridge University Press:
- 04 June 2021, pp. 2630-2660
- Print publication:
- August 2022
-
- Article
- Export citation
The relationship between depression with anxious distress DSM-5 specifier and mixed depression: a network analysis
-
- Journal:
- CNS Spectrums / Volume 26 / Issue 3 / June 2021
- Published online by Cambridge University Press:
- 03 March 2020, pp. 251-257
-
- Article
- Export citation
Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 4 / July 2019
- Published online by Cambridge University Press:
- 27 May 2019, p. 629
-
- Article
-
- You have access
- Export citation
10 - Science Fiction in Continental Europe before the Second World War
- from Part I - Before the New Wave
-
-
- Book:
- The Cambridge History of Science Fiction
- Published online:
- 15 December 2018
- Print publication:
- 03 January 2019, pp 166-185
-
- Chapter
- Export citation
Solving Horn Clauses on Inductive Data Types Without Induction
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 452-469
-
- Article
-
- You have access
- Export citation
Predicate Pairing for program verification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 2 / March 2018
- Published online by Cambridge University Press:
- 04 December 2017, pp. 126-166
-
- Article
- Export citation
Towards an evaluation of physical loss pressure in the Italian seas for the implementation of the marine strategy framework directive
-
- Journal:
- Journal of the Marine Biological Association of the United Kingdom / Volume 98 / Issue 1 / February 2018
- Published online by Cambridge University Press:
- 13 June 2017, pp. 61-69
-
- Article
- Export citation
4 - Explicating Ignorance and Doubt: A Possible Worlds Approach
-
-
- Book:
- The Epistemic Dimensions of Ignorance
- Published online:
- 27 January 2017
- Print publication:
- 22 December 2016, pp 81-95
-
- Chapter
- Export citation
Proving correctness of imperative programs by linearizing constrained Horn clauses
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 635-650
-
- Article
- Export citation
Grape seed extract triggers apoptosis in Caco-2 human colon cancer cells through reactive oxygen species and calcium increase: extracellular signal-regulated kinase involvement
-
- Journal:
- British Journal of Nutrition / Volume 110 / Issue 5 / 14 September 2013
- Published online by Cambridge University Press:
- 25 February 2013, pp. 797-809
- Print publication:
- 14 September 2013
-
- Article
-
- You have access
- HTML
- Export citation
RF MEMS ohmic switches for matrix configurations
-
- Journal:
- International Journal of Microwave and Wireless Technologies / Volume 4 / Issue 4 / August 2012
- Published online by Cambridge University Press:
- 02 August 2012, pp. 421-433
-
- Article
- Export citation