Results 191 to 200 of about 566,370 (267)

Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

open access: yesSome Tips on Writing Proof Scores in the OTS/CafeOBJ Method
The OTS/CafeOBJ method is an instance of the proof score approach to systems analysis, which has been mainly devoted by researchers in the OBJ community. We describe some tips on writing proof scores in the OTS/CafeOBJ method and use a mutual exclusion protocol to exemplify the tips.
openaire  

A Physiological Microfluidic Blood–Brain‐Barrier Model for In Vitro Study of Nanoparticle Trafficking and Accumulation

open access: yesAdvanced Healthcare Materials, EarlyView.
A human microfluidic blood‐brain barrier (mBBB) model enables spatially resolved comparison of nanoparticle trafficking. Extracellular vesicles (EVs), liposomes, and nanoplastics exhibit distinct transport and disruption behaviors, revealing that membrane composition and uptake pathways govern BBB interaction.
Bryan B. Nguyen   +9 more
wiley   +1 more source

Generating synthetic CEM from low-energy images using deep learning: A future without contrast media? A proof-of-concept study. [PDF]

open access: yesEur Radiol Exp
Zormpas-Petridis K   +9 more
europepmc   +1 more source

Recapitulating Endochondral Ossification for Bone Repair: From Development to Engineering Strategy

open access: yesAdvanced Healthcare Materials, EarlyView.
This review summarizes the developmental basis of endochondral ossification (ECO) and its applications in bone tissue engineering (BTE). It first outlines the key biological processes and signaling pathways underlying ECO, then discusses biomaterial‐based engineering strategies derived from these principles, and finally highlights future directions for
Yiqi Su   +8 more
wiley   +1 more source

Epidermal Patch Technologies for Integrated Healthcare and Infection Management

open access: yesAdvanced Healthcare Materials, EarlyView.
Epidermal patches have evolved from simple wound coverings into multifunctional, skin‐conformable platforms integrating drug delivery, biosensing, and therapeutic functionalities. This review highlights their material innovations, fabrication strategies, and intelligent designs, including hydrogels, microneedles, and flexible electronics, while ...
Yuqi Wang   +7 more
wiley   +1 more source

Fully Wireless and Flexible Valves for Multiplexed and Prolonged Intravesical Liquid Release

open access: yesAdvanced Healthcare Materials, EarlyView.
A fundamental mechanism for the simultaneous control of multiple magnetic valves is reported in a miniature soft robotic patch for intravesical drug delivery, enabling fully wireless and programmable liquid release. Integrated with a bioadhesive interface and induction‐coupling‐based liquid volume sensing, the soft robotic patch is promising to enable ...
Boyang Xiao   +5 more
wiley   +1 more source

Rapid Fabrication of Self‐Propelled and Steerable Magnetic Microcatheters for Precision Medicine

open access: yesAdvanced Materials, EarlyView.
A rapid Joule heating fabrication method for the production of self‐propelling, adaptive microcatheters, with tunable stiffness and integrated microfluidic channels is presented. Demonstrated through three microrobotic designs, including a steerable guiding catheter, an untethered wave‐crawling TubeBot, and a distal‐end propelled microcatheter, it was ...
Zhi Chen   +5 more
wiley   +1 more source

Home - About - Disclaimer - Privacy