Results 41 to 50 of about 1,419,974 (304)
Learning to end: Trainee therapists’ experiences of imposed therapeutic Endings
The aim of the study was to explore trainee therapists’ experiences of imposing therapy endings with their clients. In this context, endings were imposed by the conclusion of training, as opposed to client needs. Following in-depth interviews with seven
Jeremy Vernon, Robert D. Schweitzer
doaj +1 more source
In this paper we study {\em terminal embeddings}, in which one is given a finite metric $(X,d_X)$ (or a graph $G=(V,E)$) and a subset $K \subseteq X$ of its points are designated as {\em terminals}. The objective is to embed the metric into a normed space, while approximately preserving all distances among pairs that contain a terminal.
Michael Elkin +2 more
openaire +4 more sources
Size-Change Termination as a Contract
Termination is an important but undecidable program property, which has led to a large body of work on static methods for conservatively predicting or enforcing termination.
Gilray, Thomas +3 more
core +1 more source
ABSTRACT In pediatric patients, T‐cell lymphoblastic lymphoma (T‐LBL) survival exceeds 80%. Relapse remains associated with limited curative options. Frontline treatment is largely extrapolated from T‐cell acute lymphoblastic leukemia (T‐ALL) treatment, reflecting the ongoing debate, whether both entities represent distinct diseases or variants within ...
Marie C. Heider +4 more
wiley +1 more source
12th International Workshop on Termination (WST 2012) : WST 2012, February 19–23, 2012, Obergurgl, Austria / ed. by Georg Moser [PDF]
This volume contains the proceedings of the 12th International Workshop on Termination (WST 2012), to be held February 19–23, 2012 in Obergurgl, Austria.
Moser, Georg
core
ABSTRACT Objective To compare the efficacy and safety of roxarestat versus recombinant human erythropoietin (rhEPO) in the management of renal anemia in patients undergoing maintenance hemodialysis. Methods This was a prospective, open‐label, randomized controlled trial.
Lingling Chen, Junjie Zhu, Qiaonan Ge
wiley +1 more source
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates [PDF]
Termination is an important property of programs; notably required for programs formulated in proof assistants. It is a very active subject of research in the Turing-complete formalism of term rewriting systems, where many methods and tools have been ...
ADAM KOPROWSKI +22 more
core +5 more sources
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source
The brain is consisted of diverse neurons arising from a limited number of neural stem cells. Drosophila neural stem cells called neuroblasts (NBs) produces specific neural lineages of various lineage sizes depending on their location in the brain.
Phuong-Khanh Nguyen, Louise Y Cheng
doaj +1 more source
Proving Non-Termination via Loop Acceleration
We present the first approach to prove non-termination of integer programs that is based on loop acceleration. If our technique cannot show non-termination of a loop, it tries to accelerate it instead in order to find paths to other non-terminating loops
bagnara +11 more
core +1 more source

