Food and Drug Administration’s modernization plan for its 510(k) process may not be all sweet music to the industry. In a joint statement on Monday describing the modernization effort, Commissioner ...

This paper introduces an interesting class of predicates that come in pairs, so-called total and partial predicates. It will be shown that such predicates contribute to an explanation for the weak and ...

A computer program is identified with the strongest predicate describing every relevant observation that can be made of the behaviour of a computer executing that program. A programming language is a ...