Automatic (i.e., computer-assisted) theorem proving (ATP) can come in many flavors. This document presents early steps in our effort towards defining object-oriented theorem proving (OOTP) as a new style of ATP. Traditional theorem proving (TTP) is the only well-known flavor of ATP so far. OOTP is a generalization of TTP. While TTP is strongly based on functional programming (FP), OOTP is stron...

Myc oncoproteins directly regulate transcription by binding to target genes, yet this only explains a fraction of the genes affected by Myc. mRNA turnover is controlled via AU-binding proteins (AUBPs) that recognize AU-rich elements (AREs) found within many transcripts. Analyses of precancerous and malignant Myc-expressing B cells revealed that Myc regulates hundreds of ARE-containing (ARED) ge...

Thrombotic thrombocytopenic purpura (TTP) is a rare but frequently fatal complication of SLE. It occurs in the context of both active and inactive lupus and carries a worse overall prognosis than idiopathic acquired TTP. Recent advances in the knowledge and treatment of TTP do not seem to have brought similar improvements in the management and outcome of TTP in SLE. The illumination of the role...

Systemic lupus erythematosus (SLE), is sometimes complicated by the rare fatal syndrome, Thrombotic thrombocytopenic purpura (TTP), but the occurrence of TTP as the initial manifestation of SLE is very rare. Since they have similarities in some features, the differentiation of TTP from SLE may be missed. SLE patients are also more prone to thrombotic events. Here we report a case with TTP and d...

INTRODUCTION Genetic and autoimmune risk factors contribute to the development of thrombotic thrombocytopenic purpura (TTP) but triggers are needed to bring about acute disease. The aim of the study was to investigate the association of neutrophil activation with acute TTP, to assess whether neutrophil activation changes during plasma exchange therapy and to show if complement- and neutrophil a...

The inclusion complexation behavior of 3-(2-thienyl)-[1,2,3]triazolo[1,5-a] pyridine (TTP) with native β-cyclodextrin and derivatized cyclodextrins was investigated. Stability constants for complexes with 1 : 1 molar ratios were calculated from phase solubility diagrams. The solubilizing efficiency of the TTP inclusion complex is enhanced in the order of DMβCD > HPβCD > βCD. The TTP-DMβCD inclu...

Precise regulation of mRNA decay is fundamental for robust yet not exaggerated inflammatory responses to pathogens. However, a global model integrating regulation and functional consequences of inflammation-associated mRNA decay remains to be established. Using time-resolved high-resolution RNA binding analysis of the mRNA-destabilizing protein tristetraprolin (TTP), an inflammation-limiting fa...

43K rapsyn is a peripheral protein specifically associated with the nicotinic acetylcholine receptor (nAChR) present in the postsynaptic membrane of the neuromuscular junction and of the electrocyte, and is essential for its clustering. Here, we demonstrate a novel specific phosphorylation of 43K rapsyn by endogenous protein kinase(s) present in Torpedo electrocyte nAChR-rich membranes and iden...

TTP (tristetraprolin) is an RNA-binding protein which regulates mRNA stability or translation or both. The molecular mechanisms which are responsible and which discriminate between regulation of mRNA stability and translation are not completely understood so far, but are clearly dependent on p38 MAPK (mitogen-activated protein kinase)/MK (MAPK-activated protein kinase) 2/3-mediated phosphorylat...

Thrombotic thrombocytopenic purpura (TTP) is a multisystemic disorder characterized by microangiopathic hemolytic anemia and thrombocytopenia, which may be accompanied by fever, renal, or neurologic abnormalities. Cases are divided into acute idiopathic TTP and secondary TTP. Autoimmune diseases, especially systemic lupus erythematosus, in association with TTP have been described so far in many...