Sommario. Automatic verification deals with the validation by means of computers of correctness certificates. The related tools, usually called proof assistant or interactive provers, provide an interactive environment for the creation of formal certificates whose correctness can be assessed in a purely automatic way. Such systems have applications both in mathematics, where certificates are pr...

The cause of death shown on 191 death certificates was compared with the cause indicated by the hospital case notes, the consultants' opinions, and the necropsy findings. All 191 deaths occurred among medical hospital patients aged under 50. In 39 cases there was a major discrepancy between the two sources over the cause of death and in another 54 ther was a minor but epidemiologically importan...

In the framework of distributed network computing, it is known that, for every network predicate, each network configuration that satisfies this predicate can be proved using distributed certificates which can be verified locally. However, this requires to leak information about the identities of the nodes in the certificates, which might not be applicable in a context in which privacy is desir...

Once the definition of the CHP certificate is clear, demand for it can be organised in several ways. A well-designed system of mandatory demand, by means of an obligation to acquire a certain amount of CHP certificates each year, is effective to meet the policy target. The voluntary willingness to pay for CHP certificates is likely to be small, resulting in a very thin market. Finally, instead ...

OBJECTIVE The purpose of this study was to evaluate the possibility for collecting data on nosocomial infections by means of death certificates. METHODS The medical charts of children who died after 48 hours of their admission to a pediatric hospital were revised to get information about the causes of death. Death certificates were also revised to verify whether they were properly filled out....