Results 81 to 90 of about 12,026,488 (347)

Abstracting numeric constraints with Boolean functions [PDF]

, 2000
A simple, syntactic algorithm for abstracting numeric constraints for groundness analysis is presented and proved correct. The technique uses neither projection nor temporary variables, and plugs a gap in the abstract interpretation ...
Howe, J. M., Howe, Jacob M., King, A., Andy King, Jacob M. Howe, King, Andy   +5 more
core   +1 more source

Infection Control Practices for Vascular Access Management in Hemodialysis: Results From a Nationwide Survey of Japanese National University Hospitals

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Bloodstream infections due to repeated vascular access (VA) puncture and circuit connections remain major concerns in hemodialysis. Therefore, we examined current practices for glove, disinfectant, and personal protective equipment (PPE) use according to VA type in national university hospitals in Japan.
Aiko Yamada, Makoto Harada, Tadahiko Kikugawa, Takeshi Nakata, Koji Hashimoto, Tsuneo Konta, Yuji Kamijo   +6 more
wiley   +1 more source

MDAnalysis: A Python Package for the Rapid Analysis of Molecular Dynamics Simulations

SciPy, 2016
MDAnalysis (http://mdanalysis.org) is a library for structural and temporal analysis of molecular dynamics (MD) simulation trajectories and individual protein structures.
Richard J. Gowers, Max Linke, J. Barnoud, T. Reddy, M. Melo, Sean L. Seyler, J. Domanski, David L. Dotson, Sébastien Buchoux, Ian M. Kenney, O. Beckstein   +10 more
semanticscholar   +1 more source

indexing and abstracting. the abstracting processing

, 2006
1. indexing & abstracting. lecture 06 -- the abstracting processing. kuang-hua chen. department of library & information. national taiwan university. khchen@ntu.edu.tw. 2/30. language & information processing system.
陳光華
core  

Abstracting in the context of spontaneous learning

, 2007
There is evidence that spontaneous learning leads to relational understanding and high positive affect. To study spontaneous abstracting, a model was constructed by combining the RBC model of abstraction with Krutetskii’s mental activities.
Williams, G
core   +1 more source

A Bibliometric Analysis of Publications in Uremic Toxins From 1991 to 2024

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Uremic toxins are a growing area of research in nephrology, with significant implications in the progression and treatment of chronic kidney disease (CKD) and the management of end‐stage kidney disease (ESKD). This bibliometric analysis aims to evaluate the global research trends, key contributors, and the impact of publications in ...
Yuh‐Shan Ho, Karim M. Soliman, Wisit Cheungpasitporn, Wannasit Wathanavasin, Ahmed Daoud, Ahmed I. Kamal, Balázs Szamosfalvi, Tibor Fülöp   +7 more
wiley   +1 more source

Therapeutic Apheresis in Nigeria: A Multi‐Center Summary of Abstracts From the Inaugural Nigerian Society for Apheresis Scientific Meeting

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Therapeutic apheresis (TA) is an established treatment modality for hematologic, neurologic, and immunologic disorders, yet access remains severely limited in sub‐Saharan Africa. Donor apheresis, including platelet apheresis collection from healthy donors, represents an important complementary modality supporting blood product ...
Nosa Bazuaye, Chimezie Okwuonu, Evelyn Idam, Folasade Adelekan‐Popoola, Shakirat Gold‐Olufadi, Olufunto Olufela Kalejaiye, Abdullateef Ogala, Zinnah Aloziem, Blossom Amamchukwu, Patience Elimia, Mkpoikanabasi Obot‐Obot, Henry Mbakwe, Praises Maduagwuna, Olatunji Akinrodoye, Chiamaka Anyanwu, Benjamin Anyanwu, Adedamola Akinsiku, Oluwatoyin A. Akinsiku, Muzamil O. Hassan, Fatiu A. Arogundade, Olalekan E. Ojo, Homayemem Weli, Jesupelumi Adenihun, Aderemi Adelaja, Ebun Bamgboye, Olalekan Olatise, Ade E. Faponle, Ayoola Odeyemi, Michael Muoka, Stephen Asaolu, Qudrat Busari, Blessing Dawudu, Michael Naiyeju, Rasheed A. Balogun   +33 more
wiley   +1 more source

Indexing and abstracting

, 2010
This presentation outlines sets of alternative processes for traditional library indexing and abstracting practices. To do this it first describes the apparent goal of indexing and abstracting.
Eric Lease Morgan
core  

Experience With Performing Rheocarna Therapy via the Single‐Needle Method for Treatment of Chronic Limb‐Threatening Ischemia

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction This study investigated the safety and efficacy of single‐needle Rheocarna therapy for chronic limb‐threatening ischemia (CLTI) with wounds. Methods Six patients with CLTI involving ulcers unresponsive to revascularization underwent single‐needle Rheocarna treatment.
Yasutaka Yamauchi, Rie Tanaka, Reona Kawahira, Shingo Nabeta, Kouhei Naoi, Kazuhito Kitajima, Akira Wada, Tomonari Takagi, Norihiko Ohura, Akira Miyamoto   +9 more
wiley   +1 more source

Understanding Abstracting Structural Explanations [PDF]

, 2022
In the literature on explanation, philosophers have proposed different conceptions of structural explanations. In this paper, I explore how several seemingly disparate accounts of structural explanation can be tied together with a central notion of ...
Wilkenfeld, Daniel
core