The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion violations in cil programs. The design of mmc is inspired by the Java PathFinder (jpf), a model checker for Java programs. The performance of mmc is comparable to jpf. This paper introduces mmc and presents its main archit...

The main aim of this research is to determine the best material for manufacturing of steering knuckle in order to reduce the weight using aluminum alloy and Metal Matrix Composite (MMC). To achieve this purpose, the Modal test has been performed to study vibrational behavior of steering knuckle. CAD Model has been prepared by using coordinate measuring machine (CMM). Finally, the Finite Element...

The Matrix Model of Computation (MMC) is a new Turing-complete virtual machine that serves as a formal container for the structural representation and analysis of systems, and finds applications in diverse areas such as Business, Software Engineering and Theoretical Physics. The MMC is a unifying notion in Systemics. It allows uniform, interoperable techniques to be applied to systems in genera...

BMY 25282, a newly designed analogue of mitomycin C (MMC), was assessed for its non-cross-resistant cytotoxic and biochemical action against MMC-resistant human colon carcinoma cells. The analogue has an amidine substituted at position 7 of MMC and has a more efficient intracellular activation to its active species than MMC. In this study we demonstrated that BMY 25282 can overcome MMC resistan...

The recently introduced Turing-complete Matrix Model of Computation (MMC) is a connectionist, massively parallel, formal mathematical model that can be set up as a network of artificial neurons and represent any other ANN. The model is hierarchically structured and has a natural ontology determined by the information stored in the model. The MMC is naturally self-organizing and dynamically stab...

This paper demonstrates that the sum and difference of the upper and lower arm voltages are suitable variables for deriving a generalized state-space model of an MMC which settles at a constant equilibrium in steady-state operation, while including the internal voltage and current dynamics. The presented modelling approach allows for separating the multiple frequency components appearing within...

This paper presents the harmonic state space (HSS) modeling of a three-phase modular multilevel converter (MMC). MMC is a converter system with a typical multi-frequency response due to its significant harmonics in the arm currents, capacitor voltages, and control signals. These internal harmonic dynamics can have a great influence on the operation characteristics of MMC. However, the conventio...

OBJECT Myelomeningocele (MMC) is a primary neurulation defect that is associated with devastating neurological disabilities in affected newborns. To better characterize the in utero neurodegenerative process of MMC, the authors investigated the changes in vascular organization, apoptosis, and the presence of inflammatory cells during gestation by using a mutant mouse model of MMC. METHODS The...

A human colon carcinoma cell line resistant to mitomycin C (MMC) was obtained by repeated exposure of a previously described sensitive parental line, HCT 116, to MMC in vitro. Xenografts grown from the MMC-resistant phenotype were not inhibited in MMC-treated animals, while MMC treatment produced growth inhibition in parental cell xenografts. The MMC-resistant phenotype exhibited a greater amou...