(Automated) Inductive Theorem Proving (ITP) is a challenging field in automated reasoning and theorem proving. Typically, (Automated) Theorem Proving (TP) refers to methods, techniques and tools for automatically proving general (most often first-order) theorems. Nowadays, the field of TP has reached a certain degree of maturity and powerful TP systems are widely available and used. The situati...

OBJECTIVE To find the pattern of idiopathic thrombocytopenic purpura (ITP) (acute/chronic) and to describe presenting features and clinical characteristics of the disease in children below 14 years of age in a newly developed Arabian society. METHODS This retrospective, descriptive study was carried out at the Pediatric Department of the Hamad General Hospital, Hamad Medical Corporation, Qata...

The effects of various substrates and alternative substrates on the hydrolytic activity of beef heart mitochondrial ATPase was examined. It was found that ATP and ADP are competitive inhibitors of ITP hydrolysis, and that in the presence of either ATP or ADP, ITP hydrolysis showed positive cooperativity. IDP inhibited ITP hydrolysis and caused positive cooperativity. When ITP was present during...

Background: There are two forms of ITP: acute and chronic. The chronic form is defined by persistent thrombocytopenia for more than 12 months and mostly occurs among young women. The aim of the present study was to evaluate the clinical variables in adult patients with chronic ITP in West Iran. Patients and Methods: Between of 2007 and 2014, ninety adult patients with chronic ITP referred to...

Refractory immune thrombocytopenia (ITP) was previously defined as lack of a minimum response to splenectomy and the requirement for long-term treatment to reduce the risk of significant bleeding events. In this multicenter study, we included 37 patients with multirefractory ITP, defined as no response to splenectomy, rituximab, romiplostim, and eltrombopag. As compared with a historical cohort...

INTRODUCTION Intravenous immunoglobulin (IVIg) is an immune thrombocytopenia (ITP) therapy, which is associated with toxicities, limited availability, increasing utilization, and high cost. This study aimed to assess short- and long-term IVIg utilization in patients with ITP at two tertiary care centers in Ontario, Canada, to determine the proportion of IVIg used in ITP compared with all usage,...

Interpolation-based model checking (ITP) [14] is an efficient and complete model checking procedure. However, for large problems, interpolants generated by ITP might become extremely large, rendering the procedure slow or even intractable. In this work we present a novel technique for interpolant generation in the context of model checking. The main novelty of our work is that we generate small...

Immune thrombocytopenic purpura (ITP) is a common autoimmune disorder resulting in isolated thrombocytopenia. It is a bleeding disorder characterized by low platelet counts due to decreased platelet production as well as increased platelet destruction by autoimmune mechanisms. ITP can present either alone (primary) or in the setting of other conditions (secondary) such as infections or altered ...

Although autoimmune diseases are often concomitant, the coexistence of primary biliary cirrhosis (PBC) and immune (idiopathic) thrombocytopenic purpura (ITP) is rare. This is a review of the English-language literature regarding concomitant cases of PBC and ITP. Among 17 concomitant cases reported, including four diagnosed with Evans syndrome, which includes ITP symptoms, PBC was diagnosed firs...

The coexistence of immune (idiopathic) thrombocytopenic purpura (ITP) and Crohn’s disease (CD) is rare. We performed a review of cases of concomitant ITP and CD in the English and Japanese literature. Among 17 identified cases of concomitant ITP and CD, ITP was initially diagnosed in four cases and CD was initially diagnosed first in six cases. Simultaneous diagnoses were reported in the remain...