Results 111 to 120 of about 731,225 (373)
Microbialites are common throughout the rock record and key to our understanding of Earth history, yet a relatively common microscopy technique—cathodoluminescence (CL)—has not previously been leveraged to understand them. In this contribution, we examine microbialites of varying ages (modern to Proterozoic) with CL and report on the patterns and ...
Cedric J. Hagen+11 more
wiley +1 more source
ABSTRACT Objective Cognitive Behavioral Therapy‐Ten (CBT‐T) is a 10‐session manualized eating disorder (ED) treatment protocol for nonunderweight EDs. CBT‐T was developed to increase access to treatment and reduce wait times, as it can be delivered in half the time as existing CBT approaches for EDs.
Laura Dixon+11 more
wiley +1 more source
ABSTRACT Background Focussed and programme‐led interventions have been of increased interest in the eating disorders (EDs) field as a potential solution to barriers in accessing timely, effective treatments. Little is known about the mechanisms through which these treatments work or for whom they are most suitable.
Daniel Wilson+2 more
wiley +1 more source
The syntax of DRAGOON: Evaluation and recommendations [PDF]
Several different ways to add linguistic support for object-oriented programming to the Ada programming language have been proposed and developed in recent years.
Holloway, C. Michael
core +1 more source
Abstract Implantable cardioverter defibrillators (ICDs) reliably prevent death due to life‐threatening arrhythmias; this may become less relevant in people with more severe heart failure who are reaching the end of life (EOL). This review aimed to explore the ICD deactivation process and identify ethical issues, especially around the initiation of ...
Siobhan C. Murray+2 more
wiley +1 more source
ABSTRACT To better understand what facilitates reconciliation after violent conflict, we examined the relevance of intergroup contact, conflict appraisals and emotions for reconciliation in post‐conflict Colombia. The first study with Colombian students (N1 = 260) was run shortly after the peace treaty with the Colombian Revolutionary Armed Forces ...
Helen Landmann+2 more
wiley +1 more source
DBGen is a tool for Coq developers. It takes as input the definition of a term structure with bindings annotations and generates definitions and properties for lifting and substitution in the De Bruijn setting, up to the substitution lemma.
Polonowski, Emmanuel
core +1 more source