Results 51 to 60 of about 288,301 (297)
A generic approach for the automatic verification of featured, parameterised systems [PDF]
A general technique is presented that allows property based feature analysis of systems consisting of an arbitrary number of components. Each component may have an arbitrary set of safe features.
Calder, M., Miller, A.
core
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 +6 more
wiley +1 more source
Baradaran featured on Marketplace
Baradaran featured on Marketplace Thursday, March 15, 2018 Associate Dean for Strategic Initiatives & Hosch Associate Professor Mehrsa Baradaran was featured on Marketplace regarding her thoughts on properly defining community banks for potential ...
Office of Communications and Public Relations
core +2 more sources
Pinellia ternata (Thunb.) Briet., a valuable herb native to China, is susceptible to the “sprout tumble” phenomenon because of high temperatures, resulting in a significant yield reduction.
Chen Bo +8 more
doaj +1 more source
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 +33 more
wiley +1 more source
Organoids in pediatric cancer research
Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
An 8-week feeding experiment aimed to investigate the effects of fermented soybean residue in diets on the growth performance, serum antioxidant parameters, intestinal digestive capacity, and microbial composition of the hindgut of Furong crucian carp ...
Hongquan Wang +6 more
doaj +1 more source
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
Preliminary study of BF/C2 on immune mechanism of grass carp against GCRV infection
BF/C2 is a crucial molecule in the coagulation complement cascade pathway and plays a significant role in the immune response of grass carp through the classical, alternative, and lectin pathways during GCRV infection.
Yuling Wei +4 more
doaj +1 more source
High-Efficiency Luminescence of Mn2+-Doped Two-Dimensional Hybrid Metal Halides and X-Ray Detection
Mn2+ doping in metal halide perovskites enables host-to-dopant energy transfer, creating new emission pathways for optoelectronic applications. However, achieving high-efficiency luminescence in 2D systems remains challenging.
Yue Fan +4 more
doaj +1 more source

