Biodiversity of the Gulf of Guinea Oceanic Islands

This open access book presents a comprehensive synthesis of the biodiversity of the oceanic islands of the Gulf of Guinea, a biodiversity hotspot off the west coast of Central Africa. Written by experts, the book compiles data from a plethora of sources – archives, museums, bibliography, official reports and previously unpublished data – to provide readers with the most updated information about the biological richness of these islands and the conservation issues they face. The Gulf of Guinea Oceanic Islands (Príncipe, São Tomé and Annobón and surrounding islets) present extraordinary levels of endemism across different animal, fungi and plant groups. This very high endemism likely results from the long geological history of the islands and their proximity to the diversity-rich continent. Many researchers, students and conservationists from across the globe are interested in documenting biodiversity on the islands, understanding the evolutionary origins of this diversity, and mitigating the impacts of global change on this unique archipelago. This book aims to be a primer for a broad audience seeking baseline biodiversity information and to serve as a roadmap for future research efforts aiming to fill knowledge gaps in understanding and conserving the unparalleled biodiversity of the Gulf of Guinea islands

The Sword of Judith

The Book of Judith tells the story of a fictitious Jewish woman beheading Holofernes, the general of a powerful army, to free her people. The story has fascinated artists and authors for centuries, and is becoming a major field of research in its own right. The Sword of Judith is the first multidisciplinary collection of essays to discuss representations of Judith throughout the centuries. Bringing together scholars from around the world, it transforms our understanding of Judith’s enduring story across a wide range of disciplines. The book includes sections on Judith in Christian, Jewish and secular textual traditions, as well as representations of Judith in art, music and theatre. The collection includes new archival source studies and the translation of unpublished manuscripts and texts previously unavailable in English

Biodiversity of the Gulf of Guinea Oceanic Islands

This open access book presents a comprehensive synthesis of the biodiversity of the oceanic islands of the Gulf of Guinea, a biodiversity hotspot off the west coast of Central Africa. Written by experts, the book compiles data from a plethora of sources – archives, museums, bibliography, official reports and previously unpublished data – to provide readers with the most updated information about the biological richness of these islands and the conservation issues they face. The Gulf of Guinea Oceanic Islands (Príncipe, São Tomé and Annobón and surrounding islets) present extraordinary levels of endemism across different animal, fungi and plant groups. This very high endemism likely results from the long geological history of the islands and their proximity to the diversity-rich continent. Many researchers, students and conservationists from across the globe are interested in documenting biodiversity on the islands, understanding the evolutionary origins of this diversity, and mitigating the impacts of global change on this unique archipelago. This book aims to be a primer for a broad audience seeking baseline biodiversity information and to serve as a roadmap for future research efforts aiming to fill knowledge gaps in understanding and conserving the unparalleled biodiversity of the Gulf of Guinea islands

Mindfulness-based interventions for diabetes treatment and prevention in South Asian young adults

This thesis addressed gaps in the literature regarding the effects of Mindfulness-based interventions (MBIs) for Type 2 diabetes (T2D) and sought to investigate the acceptability and feasibility of an MBI for a group at high risk for T2D, South Asians. A mixed-methods approach was utilised to produce four studies: 1) a systematic review evaluating the psychological and physiological effects of MBIs applied to T2D; 2) a modelling phase to gauge interest in, and cultural considerations for, a modified MBI for young adult South Asians as a diabetes prevention strategy; 3) an examination of the acceptability and feasibility of a modified MBI; and 4) a comparison of the perceived and objective effects of the modified MBI. The review found evidence for psychological benefits and mixed results for physiological effects. The modelling phase indicated that Mindfulness is acceptable to young South Asians pending minor adaptations. The subsequent feasibility study found the modified MBI to be acceptable and feasible, warranting a future full-scale trial. Across these studies, Mindfulness bore psychological benefits, and to a lesser degree physiological and behavioural benefits. The final study’s triangulation approach (using quantitative and qualitative methods) suggests the intervention has a potential positive impact on stress, anxiety, energy levels, emotional wellbeing, and systolic blood pressure in this sample

The Coq Proof Assistant : Reference Manual : Version 7.2

Coq is a proof assistant based on a higher-order logic. Coq allows to handle calculus mathematical assertions and to check mechanically proofs of these assertions. It helps to find formal proofs, and allows extraction of a certified program from the constructive proof of its formal specification. This document is the reference manual for the version V7.2 of Coq which is available from http://coq.inria.fr

The Coq Proof Assistant : Reference Manual : Version 7.2

Coq is a proof assistant based on a higher-order logic. Coq allows to handle calculus mathematical assertions and to check mechanically proofs of these assertions. It helps to find formal proofs, and allows extraction of a certified program from the constructive proof of its formal specification. This document is the reference manual for the version V7.2 of Coq which is available from http://coq.inria.fr