code: 002-0547

Verification condition (VC) generation is a fundamental part of many program analysis and applications, including proving program correctness, automatic test case generation, and proof carrying code. One might imagine VC applications would use the theoretically most appealing VC generation algorithm. This is often not the case. The most theoretically appealing algorithms are based upon weakest ...

Results Eleven patients with mean age of 12,7±7,7 years (median 14, ranging 1,5-23 years) were studied. These patients were on colchicine treatment for a mean of 5,5±4,2 years. In one patient initially etanercept was used however, this was switched to anakinra since there was no repsonse to anti TNF treatment. A total of 7 patiets were started anakinra, however, 2 had local reactions and 2 was ...

The antipyretic activity of a herbal formulation, TBR-002 was compared with that of andrographis paniculata, andrographis elongate and paracetamol in yeast-induced pyrexia in male albino rats, TBR-oo2 was found to be effective at an oral dose of 100 mg/kg in the inhibition if pyrexia. Its efficacy was almost comparable to that of paracetamol as well as andrographis elongate, the antipyretic act...

Methods Expression of TNFRSF1A transcripts was performed by RT-PCR in a range of human cells and tissues. Exon 2 splicing and transcriptional activity were analysed in HEK293T and SW480 cells by in vitro alternative splicing and luciferase assays, respectively. We constructed haplotypes containing rs4149570, rs767455 and rs1800692 in controls (n=70), TRAPS (n=111) and TRAPS-like patients (n=450...

NOV-002 is a novel therapeutic agent in development for oncology indications used in combination with chemotherapy. Clinical trials in Russia and the USA have demonstrated clinical activity and the present focus is on non-small cell lung cancer (NSCLC) patients. The active component of the drug is oxidized glutathione (GSSG) and this imparts multiple effects upon redox pathways both at the cell...