Improving the Therapeutic Effect of Ultrasound Combined With Microbubbles on Muscular Tumor Xenografts With Appropriate Acoustic Pressure

Ultrasound combined with microbubbles (USMB) is a promising antitumor therapy because of its capability to selectively disrupt tumor perfusion.However, the antitumor effects of repeated USMB treatments have yet to be clarified.In this study, we established a VX2 muscular tumor xenograft model in Ladies Scarves rabbits, and performed USMB treatments

read more

Runtime Verification Through Forward Chaining

In this paper we present a novel rule-based approach for Runtime Verification of Sticker FLTL properties over finite but expanding traces.Our system exploits Horn clauses in implication form and relies on a forward chaining-based monitoring algorithm.This approach avoids the branching structure and exponential complexity typical of tableaux-based f

read more