The generation of too much information prohibits eecient resolution proof search in classical logics. Hence subsumption is used to discard redundant information and strategies have been developed to guide the proof search avoiding irrelevant information. The extension of the resolution method to temporal logics, for example that by Fisher for propositional linear-time temporal logics, further m...

Now that the Minamata Convention has come into effect, developing countries are struggling to phase out the use of mercury to protect people's health. Jan Dirk Herberman reports.

A method is proposed for suppressing Gaussian noise by extracting local singularities. The method is based on truncating Riemann series decomposition, whose components naturally characterize different orders of Hölder regularity. The approach yields a single-step filtering technique whose performance is comparable to three-step wavelet decomposition and thresholding techniques.

Small loops in the graphical representations of lowdensity parity-check codes are hypothesised to be detrimental to the code’s performance. In this paper we demonstrate a procedure for removing such loops from the graphs. An algorithm based on the code’s adjacency matrix is used to locate any unwanted loops, and then certain edges are exchanged within the graph to eliminate those loops (without...

Patients with type 2 diabetes and their physicians are often reluctant to begin insulin therapy--despite evidence of its efficacy. Here's help in overcoming this other form of "insulin resistance."