Efficacy is proved

TPA: Termination Proved Automatically

TPA is a tool for proving termination of term rewrite systems (TRSs) in a fully automated fashion. The distinctive feature of TPA is the support for relative termination and the use of the technique of semantic labelling with natural numbers. Thanks to the latter TPA is capable of delivering automated termination proofs for some difficult TRSs for which all other tools fail.

Alpha-1-antitrypsin replacement therapy: will its efficacy ever be proved?

Cytologically proved malignant pleural effusions.

We read with interest the report by Assi and colleagues1 on the distribution of transudates and exudates between cytolog¬ ically proved malignant pleural effusions. The authors found that one of the 98 patients with malignant pleural effusions enrolled in the study, had a borderline transudate and had congestive heart failure at the time of the thoracentesis. The authors concluded that cytologi...

Priority Inheritance Protocol Proved Correct

In real-time systems with threads, resource locking and priority scheduling, one faces the problem of Priority Inversion. This problem can make the behaviour of threads unpredictable and the resulting bugs can be hard to find. The Priority Inheritance Protocol is one solution implemented in many systems for solving this problem, but the correctness of this solution has never been formally verif...

Not Proved: Reply to Wynn

A complete survey of the published data reveals that the pattern of results (“successes” and “failures”) of attempted replications and variations of Wynn (1992) is neither as positive and robust nor as well tested as Wynn (2000) claims. The findings are inconsistent within and across studies using Wynn’s original addition and subtraction conditions as well as those using similar procedures but ...