Results 11 to 20 of about 64,628 (273)
MMC: the Mono Model Checker [PDF]
Electronic Notes in Theoretical Computer Science, 2007 AbstractThe 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.
Ruys, Theo C., Aan de Brugh, Niels H.M.
core +6 more sources
Zhongguo dianli, 2023 Based on impedance analysis, this paper focuses on the circulation control of a modular multilevel converter (MMC) and conducts in-depth research on the stability impact of offshore wind farm integration based on a permanent magnetic synchronous ...
Shuting YANG +3 more
doaj +2 more sources
Fabrication of metal matrix composites under intensive shearing [PDF]
, 2008 Current processing methods for metal matrix composites (MMC) often produces agglomerated reinforced particles in the ductile matrix and also form unwanted brittle secondary phases due to chemical reaction between matrix and the reinforcement. As a result
Patel, JB +9 more
core +8 more sources
a2e-mmc/WRF: End of A2e MMC Project
, 2023 This is up to date with NCAR WRF release v4.3 (https://github.com/wrf-model/WRF/releases/tag/v4.3) and includes all solver modifications developed over the course of the Mesoscale-to-Microscale Coupling (MMC) project.
bonnland +29 more
core +1 more source
MMC-Net: Multi-modal network for cardiac MRI segmentation of ventricular structures, and myocardium
, 2022 Automatic segmentation of multi-modal Cardiac Magnetic Resonance Imaging (CMRI) scans is challenging due to the variant intensity distribution and unclear boundaries between the neighbouring tissues and other organs.
G. Jignesh Chowdary (12279142) +2 more
core +1 more source
Evaluation of Wear Behaviour Based on Mechanical Properties and Particle Size in LM26 MMC
Journal of Mechanical Engineering, 2022 Based on its superior casting and mechanical properties, LM26 is a well-known material in the automobile sector for the manufacturing of pistons for both diesel and gasoline engines.
Konda Lakshmi Chaitanya, Srinivas K.
doaj +1 more source
, 2021 Supplemental material, sj-docx-1-mmc-10.1177_20501579211033885 for The (other) two percent also matter: The construction of mobile phone refusers by Hananel Rosenberg and Kalia Vogelman-Natan in Mobile Media ...
Kalia Vogelman-Natan (11259737) +1 more
core +1 more source
Indian Journal of Ophthalmology. Case Reports, 2023 Recently, a new variation of transepithelial PRK, called TransPRK, was introduced, in which both the epithelium and stroma are removed in a single step, in one ablation profile.
Cem Ozturkmen +2 more
doaj +1 more source
Comparative Efficacy Of Albendazole Versus Placebo, Corticosteroids, Praziquantel And Antiepileptics In Treating Neurocysticercosis: A Meta-Analysis [PDF]
Journal of Advanced Pharmacy ResearchIntroduction: Neurocysticercosis (NCC), caused by Taenia solium, is a significant public health concern in areas with poor sanitation, presenting with symptoms like seizures and intracranial lesions.
happy modi +6 more
doaj +1 more source
A Case Series of Cutaneous Lupus Erythematosus Progressing to Systemic Lupus Erythematosus in a Lightning Phase [PDF]
Journal of Clinical and Diagnostic Research, 2023 Discoid Lupus Erythematosus (DLE) is a chronic, disfiguring, inflammatory skin disease characterised by erythematous, indurated, well-defined scaly plaques of varying sizes that resolve with atrophy, scarring, and pigmentary changes.
Rajkumar Kannan +3 more
doaj +1 more source