Model-checking is a successful technique for automatically verifying concurrent finite-state systems. When building a model-checker, a good compromise must be made between the expressive power of the property description formalism, the complexity of the model-checking problem, and the user-friendliness of the interface. We present a temporal logic and an associated model-checking method that at...

‎in this article we introduce $mu$-filtered fuzzy module with a family of fuzzy submodules.  it shows the relation between $mu$-filtered fuzzy modules and crisp filtered modules by level sets. we investigate fuzzy topology on the $mu$-filtered fuzzy module and apply that to introduce fuzzy completion. finally we extend krull's intersection theorem of fuzzy ideals by using concept $mu$-adic...

The DNA of bacteriophage Mu has been studied to characterize a region of inhomogeneous sequence that occurs at one end of the molecule. The kinetics of reassocation of tracer amounts of labeled host DNA in the presence of Mu DNA show that Mu DNA contains a complete selection of host sequences. These host sequences are shown to be covalently attached to phage-specific sequences and are present a...

PURPOSE A software program (MU-EPID) has been developed to perform patient specific IMRT pre-treatment QA verification using an electronic portal imaging device. METHODS The software converts measured images of intensity modulated beams delivered to an EPID, into fluence maps that can be imported in the treatment planning system. The dose can then be calculated in the patient anatomy and comp...

we study harmonic analysis on cocommutative kpc-hyper-groups‎, which is a generalization of djs-hypergroups‎, ‎introduced by kalyuzhnyi‎, ‎podkolzin and chapovsky‎. ‎we prove that there is a relationship between‎ ‎the associated measures $mu$ and $gamma mu$‎, ‎where $mu$ is‎ ‎a radon measure on kpc-hypergroup $q$ and $gamma$ is a character on $q$.

MOTIVATION In this study, a method is reported to perform IMRT and VMAT treatment delivery verification using 3D volumetric primary beam fluences reconstructed directly from planned beam parameters and treatment delivery records. The goals of this paper are to demonstrate that 1) 3D beam fluences can be reconstructed efficiently, 2) quality assurance (QA) based on the reconstructed 3D fluences ...