منابع مشابه
About treatment of idiopathic thrombocytopenic purpura (ITP).
Their treatment results with megadose methylprednisolone (MDMP) support fairly closely our complete remission results, though theirs was a retrospective evaluation. In our prospective, comparative study, antiplatelet antibodies were also determined3. Their 80% complete remission rate (mistakenly written as 66% in the text) with MDMP administration was much better than other therapeutic approach...
متن کاملLenalidomide-Associated ITP
Lenalidomide is a potent immunomodulatory agent being used increasingly for treatment of hematologic malignancies including multiple myeloma and myelodysplasia. The common toxicities of lenalidomide, including dose-limiting myelosuppression, are well described. However, the immunomodulatory properties of lenalidomide may give rise to unexpected autoimmune complications. Herein, we describe a ca...
متن کاملA quick ITP tutorial
The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e., specifications in membership equational logic with an initial algebra semantics. The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements.
متن کاملThe Itp Tool's Manual *
The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e., specifications in membership equational logic with an initial algebra semantics. The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements. 1 Getting started To run the current version of the ...
متن کاملMaude ITP 2.0 Tutorial
The present tutorial describes the main features, commands, and proof techniques supported by the Maude ITP 2.0 inductive theorem
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Journal of Hematology
سال: 1994
ISSN: 0361-8609,1096-8652
DOI: 10.1002/ajh.2830460318