169 research outputs found

    A Dual-Engine for Early Analysis of Critical Systems

    Get PDF
    This paper presents a framework for modeling, simulating, and checking properties of critical systems based on the Alloy language -- a declarative, first-order, relational logic with a built-in transitive closure operator. The paper introduces a new dual-analysis engine that is capable of providing both counterexamples and proofs. Counterexamples are found fully automatically using an SMT solver, which provides a better support for numerical expressions than the existing Alloy Analyzer. Proofs, however, cannot always be found automatically since the Alloy language is undecidable. Our engine offers an economical approach by first trying to prove properties using a fully-automatic, SMT-based analysis, and switches to an interactive theorem prover only if the first attempt fails. This paper also reports on applying our framework to Microsoft's COM standard and the mark-and-sweep garbage collection algorithm.Comment: Workshop on Dependable Software for Critical Infrastructures (DSCI), Berlin 201

    Other Experimental Therapies in Neimann Pick Diseases

    Get PDF
    How to Cite This Article: Taghdiri MM. Other Experimental Therapies in Neimann Pick Diseases. Iran J Child Neurol. 2015 Autumn;9:4(Suppl.1): 25. Pls see pdf.

    Type 2 Gaucher Disease (Acute Infantile Gaucher Disease or Neuropathic Type)

    Get PDF
    How to Cite this Article: Taghdiri MM. Type 2 Gaucher Disease (Acute Infantile Gaucher Disease or Neuropathic Type). Iran J Child Neurol Autumn 2012; 6:4 (suppl. 1):12. Pls see PDF.

    Neurological finding of Mitochondrial Syndromes (MERRF and MELAS)

    Get PDF
    Pls See PDF

    Adreno Leukodystrophy

    Get PDF
    How to Cite This Article: Taghdiri MM. Adreno Leukodystrophy. Iran J Child Neurol. Autumn 2014;8;4(Suppl.1):13.Pls see pdf

    Recurrent Episodes of Food Borne Botulism in a 7-Year Old Boy

    Get PDF
    ObjectiveBotulism is the acute, descending, flaccid paralysis that results when the neurotoxin of Clostridium botulinum blocks neuromuscular transmission. C botulinum toxin is the most poisonous substance that blocks neuromuscular transmission and causes death through airway and respiratory muscle paralysis; all forms of botulism manifest neurologically as asymmetric, descending, flaccid paralysis beginning with the cranial nerve musculature. Food-borne botulism results from the ingestion of food in which C botulinum has multiplied and produced its toxin.PatientWe report a new case of food-borne botulism in a 7 year old boy with recurrent episodes of weakness, difficulty in wallowing and speech; bilateral ptosis and mydriasis. He had positive history of the same symptoms, documented twice before. The patient's samples were sent for detection of toxin of Clostridium botulinum, and toxin of C. botulinum, type A was found in his stool sample, confirming our diagnosis. This case was unusual report because our patient has not history of canned food ingestion and also because recurrent episodes of paralysis in this case are unusual findings in botulism.ConclusionIn this report we want to emphasize that canned-food ingestion is not necessary for diagnosis of food-borne botulism and because delayed treatment leads to increase mortality and morbidity, treatment should be initiated promptly on the basis of clinical suspicion
    corecore